Kategorie:Theorie der Divisorenklassengruppe (normaler Bereich)/Definitionen