Es sei R {\displaystyle {}R} ein Zahlbereich.
Dann ist die Divisorenklassengruppe von R {\displaystyle {}R} eine endliche Gruppe.