Zahlbereich/Endlichkeit der Klassengruppe/Fakt

Es sei ${}R$ ein Zahlbereich.

Dann ist die Divisorenklassengruppe von ${}R$ eine endliche Gruppe.

Zum Beweis, Alternativen Beweis erstellen