unique factorization domain

integral domain where every nonzero element is uniquely expressible as a product of prime elements