Property: unique factorization domain

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

(No citations retrieved.)

Metaproperties:

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