Atomic domain (source code)

= Atomic domain
{wiki}

An atomic domain is an <integral domain> in which every nonzero nonunit is a finite product of <irreducible elements>. Every <unique factorization domain> is atomic, but atomicity alone does not imply uniqueness.