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

(No citations retrieved.)

- passes to localizations
- passes to polynomial rings

- is local (counterexample)
- passes to $I$-adic completions (counterexample)
- passes to power series ring (counterexample)