Lemma 19.6
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 19 Dedekindbereich/Endliche Erweiterung/Separabel/Kähler-Modul/Eigenschaften/Fakt