Kommutative Ringtheorie/Verschiedene Charakterisierungen für faktoriell/Fakt

Charakterisierung von faktoriellen Bereichen

Sei ${}R$ ein Integritätsbereich. Dann sind folgende Aussagen äquivalent.

1. ${}R$ ist faktoriell.
2. Jede Nichteinheit ${}f\neq 0$ besitzt eine Faktorzerlegung in irreduzible Elemente, und diese Zerlegung ist bis auf Umordnung und Assoziiertheit eindeutig.
3. Jede Nichteinheit ${}f\neq 0$ besitzt eine Faktorzerlegung in irreduzible Elemente, und jedes irreduzible Element ist ein Primelement.

Zum Beweis, Alternativen Beweis erstellen