Kommutative Ringtheorie/Verschiedene Charakterisierungen für faktoriell/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Charakterisierung von faktoriellen Bereichen

Sei ein Integritätsbereich. Dann sind folgende Aussagen äquivalent.

  1. ist faktoriell.
  2. Jede Nichteinheit besitzt eine Faktorzerlegung in irreduzible Elemente, und diese Zerlegung ist bis auf Umordnung und Assoziiertheit eindeutig.
  3. Jede Nichteinheit besitzt eine Faktorzerlegung in irreduzible Elemente, und jedes irreduzible Element ist ein Primelement.
Zum Beweis, Alternativen Beweis erstellen