##  [Dominio de Factorización Única](/es/node/60202) 

 Definición

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

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

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

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

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

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

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

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

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.