Lemma 22.3
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 22 Dedekindbereich/Galoiserweiterung/Zerlegungsgruppe/Einfache Eigenschaften/Fakt
