Kreisteilungspolynom
Unter dem -ten Kreisteilungspolynom versteht man dasjenige Polynom größten Grades mit Leitkoeffizient 1, das teilt, jedoch zu allen mit teilerfremd ist. Seine Nullstellen sind genau die primitiven -ten Einheitswurzeln , wobei die zu teilerfremden Zahlen zwischen und durchläuft. Die Bezeichnung "Kreisteilungspolynom" stammt vom geometrischen Problem der Kreisteilung, also der Konstruktion eines regelmäßigen Vielecks mit Zirkel und Lineal.
Eigenschaften
Wir notieren das -te Kreisteilungspolynom mit .
Zerlegung in Linearfaktoren ergibt
Daher ist der Grad von gleich , der Anzahl der zu teilerfremden Zahlen unterhalb . Die hierdurch definierte Funktion hat als Eulersche Phi-Funktion in der Zahlentheorie eine erhebliche Bedeutung.
Umgekehrt gilt die Produktdarstellung
Das n-te Kreisteilungspolynom ist irreduzibel und damit Minimalpolynom jeder primitiven n-ten Einheitswurzel. Damit ist der Restklassenring ein Körper, und zwar der kleinste Körper, für den man den Einheitskreis in der komplexen Ebene so in gleichlange Teile zerlegen kann, dass alle Unterteilungspunkte zu dem Körper gehören. Man nennt diesen Körper daher auch Kreisteilungskörper.
Verallgemeinerung
Der Begriff des Kreisteilungspolynoms kann auf die Einheitswurzeln über einem beliebigen Körper verallgemeinert werden. Auf diese Weise ergeben sich insbesondere alle endlichen Körper als Kreisteilungskörper über ihrem Primkörper.