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

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

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

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

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

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

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

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

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.