Dedekindbereich/Divisorenklassengruppe/Definition
Divisorenklassengruppe
Es sei ein Dedekindbereich. Es sei die Gruppe der Divisoren und sei die Untergruppe der Hauptdivisoren. Dann nennt man die Restklassengruppe
die Divisorenklassengruppe von .