atomic domain

integral domain in which every non-zero non-unit is a finite product of irreducible elements