Zahlbereich/Divisorenklassengruppe/Charakterisierung von faktoriell/Fakt
Es sei ein Zahlbereich und es bezeichne die Divisorenklassengruppe von . Dann sind folgende Aussagen äquivalent.
- ist ein Hauptidealbereich.
- ist faktoriell.
- Es ist .
Es sei ein Zahlbereich und es bezeichne die Divisorenklassengruppe von . Dann sind folgende Aussagen äquivalent.