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 .