Lemma 14.4
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 14 Dedekindbereich/Divisorenklassengruppe/Nenneraufnahme/Fakt