El fenómeno en un dominio íntegro (a menudo el anillo de enteros de un cuerpo de números) por el que un elemento admite dos o más factorizaciones distintas en elementos irreducibles que no están relacionadas por multiplicación por unidades, violando la unicidad de la descomposición en primos.

Principio

La factorización única se cumple en dominios de ideales principales y en dominios de factorización única; el fracaso ocurre cuando los ideales se factoran de forma única pero los elementos no, típicamente indicado por un grupo de clases no trivial o por la presencia de irreducibles que no son primos.

Demostración

En el anillo de enteros de ciertas extensiones cuadráticas, un entero puede escribirse como producto de irreducibles de dos maneras no equivalentes (por ejemplo un entero pequeño que factoriza tanto como producto de dos irreducibles distintos), exhibiendo factores irreducibles distintos no asociados por unidades.

Aplicación incorrecta

Tratar cada elemento irreducible como si fuera primo, o asumir la factorización única a nivel de elementos en anillos donde solo está garantizada la factorización de ideales, lo que conduce a deducciones erróneas sobre divisibilidad y máximos comunes divisores.

Consecuencia

La no unicidad de la factorización motiva el paso de la factorización a nivel de elementos a enfoques ideal‑teóricos o al estudio del grupo de clases; exige invariantes (grupo de clases, métricas de longitudes de factorización) y modifica los argumentos aritméticos habituales.

Inversión

En un dominio de factorización única todo elemento no nulo no unidad tiene una factorización en primos única salvo por el orden y por factores unitarios; por tanto, la no unicidad desaparece cuando el grupo de clases es trivial o cuando el dominio es un UFD.

Límite

Abarca dominios íntegros y anillos de enteros algebraicos; no se aplica a anillos generales con divisores de cero ni a contextos donde la factorización se define de otra manera (módulos, anillos no conmutativos) sin una traducción del concepto.

Tensión semántica

Existe tensión entre las nociones de «primo» e «irreducible»: en no‑UFD estas nociones divergen y muchos argumentos elementales clásicos que dependen de su equivalencia fallan.

Síntesis

La Factorización No Única refleja la realidad aritmética de que elementos en ciertos dominios íntegros pueden factorizarse de múltiples maneras no equivalentes; comprender este fallo conduce a remedios ideal‑teóricos y a invariantes estructurales como el grupo de clases que restauran una forma diferente de unicidad.