Un dominio íntegro en el que todo elemento no nulo y no unidad se factoriza en elementos irreducibles y dicha factorización es única salvo orden y multiplicación por unidades; abreviado comúnmente UFD.

Principio

La factorización única extiende el teorema fundamental de la aritmética a dominios generales: los elementos se descomponen en átomos irreducibles y la ambigüedad multiplicativa se restringe a unidades y permutación de factores.

Demostración

Z es un UFD porque todo entero se factoriza de forma única (salvo signo y orden) en primos; los anillos de polinomios k[x1,...,xn] sobre un cuerpo son UFDs por el lema de Gauss e inducción en el número de variables.

Aplicación incorrecta

Asumir que la factorización única se cumple en todo dominio noetheriano o que irreducible = primo en general; existen dominios noetherianos donde los irreducibles no dan unicidad o donde primos e irreducibles divergen.

Consecuencia

En un UFD, las cuestiones de divisibilidad y el cálculo de mcd son manejables; los elementos primos e irreducibles coinciden de modo que se simplifica la aritmética y la factorización de ideales en ideales primos principales cuando el dominio es PID.

Inversión

Un dominio que no satisface factorización única presenta factorizaciones distintas no asociadas del mismo elemento; este fallo motiva el estudio de grupos de clases, invariantes de factorización y fenómenos aritméticos no únicos.

Límite

UFD requiere el contexto de un dominio íntegro; no implica que todos los ideales sean principales ni se deduce solo de la noetherianidad; propiedades locales pueden cumplirse sin que el dominio sea UFD globalmente.

Tensión semántica

Los términos 'irreducible' y 'primo' son cercanos pero distintos; transferir sin cuidado la intuición de los enteros (primos = irreducibles) puede inducir error en anillos donde estas nociones se separan, creando tensión en el razonamiento factorable.

Síntesis

Un UFD es un dominio íntegro donde la descomposición atómica es canónica salvo unidades y orden: los elementos se factoran en irreducibles de forma única, proporcionando una aritmética multiplicativa controlada análoga a la de los enteros.