Zahlbereich/Divisorenklassengruppe/Charakterisierung von faktoriell/Fakt

Es sei ein Zahlbereich und es bezeichne die Divisorenklassengruppe von . Dann sind folgende Aussagen äquivalent.

  1. ist ein Hauptidealbereich.
  2. ist faktoriell.
  3. Es ist .