Quadratischer Zahlbereich/Endlichkeit der Klassengruppe/Fakt

Es sei ${\displaystyle {}R=A_{D}}$ ein quadratischer Zahlbereich.

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