Property: unique factorization domain

Definition: A domain in which every nonzero nonunit is a product of irreducible elements, unique up to equivalence

Metaproperties

This property has the following metaproperties
  • passes to localizations
This property does not have the following metaproperties