Atomic domain

Summary

An atomic domain is an integral domain in which every nonzero nonunit is a finite product of irreducible elements. It asks for the existence of factorizations, but not for their uniqueness. Every Noetherian domain is atomic, and more generally every domain with the ascending chain condition on principal ideals. A unique factorisation domain is exactly an atomic domain in which every irreducible element is prime.