Kategorie:Theorie der Divisorenklassengruppe (Dedekindbereich)/Definitionen