Para que un dominio noetheriano sea dominio de factorización única debe de verificarse que todo elemento irreducible del anillo sea primo.