Nonfactorial Domain

An integral domain in which unique factorization into irreducibles fails: there exist nonzero nonunits that admit two distinct factorizations into irreducible elements that are not associates, so the domain is not a unique factorization domain (UFD).