Dominio de factorización única

Un dominio de factorización única (DFU) es un sistema algebraico, 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.