Mathematik für Faule: Divoidtheorie und Polynomalgebra/Der Satz von Gauß–Wantzel

Satz (Beschreibung des Kreisteilungspolynoms):

Das -te Kreisteilungspolynom ist gegeben durch

.

Der Grad dieses Polynoms ist .

Beweis: Es ist , das -te Kreisteilungsdivoid, gegeben durch das Zerfällungsdivoid von und daher Galoissch über . Jeder Selbstdipfeil überführt ein Element der Form in ein ebensolches derselben Ordnung. Daher wird das Polynom von jedem Selbstdipfeil festgelassen und hat (dem Satz von Artin gemäß) Koeffizienten in ; es ist daher zumindest ein Vielfaches des -ten Kreisteilungspolynoms.

Fortsetzung folgt.