Kurs:Körper- und Galoistheorie/Kreisteilungspolynom/Produkt ist X^n-1/Fakt/Faktreferenznummer

Lemma 19.9 (Körper- und Galoistheorie (Osnabrück 2018-2019))