Lemma 17.17
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 17 Kreisteilungskörper/Primzahlpotenz/Einheitswurzel/Diskriminante/Fakt