##  [Dominio No Factorial](/es/node/64039) 

 Definición

Un dominio íntegro en el que falla la factorización única en irreducibles: existen no nulos no unidades que admiten dos factorizaciones distintas en irreducibles que no son asociados, por lo que el dominio no es un dominio de factorización única (UFD).

 

 

 

 

 

 





## Principio

Principio

La factorización única organiza la estructura multiplicativa mediante primos/irreducibles; un dominio no factorial revela los límites de este principio organizador y suele requerir técnicas a nivel de ideales o del grupo de clases de divisores para medir el fallo.

 

 

 

 

 





## Demostración

Demostración

Ejemplo clásico y concreto: Z[√-5], donde 6 = 2·3 = (1+√-5)(1-√-5) proporciona dos factorizaciones no equivalentes en irreducibles. En general, el comportamiento no-UFD se mide por grupos de clases no triviales en dominios de Dedekind o por ideales no principales explícitos.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Aplicar argumentos basados en UFD (factorización prima única, razonamientos simples con MCD) en un dominio no factorial produce afirmaciones de unicidad falsas, cálculos de MCD incorrectos y confusión entre irreducible y primo.

 

 

 

 

 





## Consecuencia

Consecuencia

Reconocer la no factorialidad obliga a pasar a invariantes a nivel de ideales (grupo de clases, factorización en ideales primos) o a nociones alternativas de factorización (atomicidad, elasticidad), permitiendo un análisis aritmético y estructural correcto del dominio.

 

 

 

 

## Inversión

Inversión

La inversión es la clase de dominios factoriales (UFDs) donde la factorización es única salvo unidades y orden; el contraste destaca cuándo hay que reemplazar invariantes a nivel de elementos por invariantes a nivel de ideales.

 

 

 

 

 





## Límite

Límite

Se aplica a dominios íntegros (anillos conmutativos sin divisores de cero); excluye anillos con divisores de cero, donde la factorización se comporta de otra forma y las nociones de irreducible/primo requieren tratamiento separado.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Existe tensión entre 'irreducible' y 'primo' en dominios no factoriales: los irreducibles no tienen por qué ser primos, y esta distinción está en el núcleo de muchos contraejemplos; hay que distinguir la factorización a nivel de elementos de la factorización idealística o divisoría.

 

 

 

 

 





## Síntesis

Síntesis

Un dominio no factorial es un dominio íntegro en el que la estructura multiplicativa a nivel de elementos resiste la factorización única: aparecen descomposiciones irreducibles no equivalentes, lo que conduce al uso del grupo de clases, la factorización en ideales y invariantes de factorización refinados para comprender la aritmética.