Un dominio de factorización única (DFU) es una estructura algebraica, específicamente, es un dominio de integridad en el cual todo elemento se descompone de forma única (salvo producto por unidades) como producto de elementos primos (o elementos irreducibles).
En los DFU se verifica que un elemento es primo si y sólo si es irreducible.
ciertos elementos admiten más de una factorización.
De hecho en este mismo anillo los cuatro factores no son ideales primos, pues los ideales que generan en
no lo son: por lo tanto Un resultado importante sobre este tipo de anillos es que si A es un DFU entonces A[X] también lo es.