Kreisteilungspolynom

In der Algebra werden Kreisteilungspolynome (auch: zyklotomische Polynome) verwendet, um Unterteilungen des Einheitskreises in gleiche Teile zu untersuchen. Unter dem <math>n</math>-ten Kreisteilungspolynom <math>\Phi_n</math> versteht man das ganzzahlige Polynom größten Grades mit Leitkoeffizient 1, das <math>x^n - 1</math> teilt, jedoch zu allen <math>x^d - 1</math> mit <math>d < n</math> teilerfremd ist. Seine Nullstellen über <math>\mathbb{C}</math> sind genau die primitiven <math>n</math>-ten Einheitswurzeln <math>e^{2 \pi \cdot \mathrm i k / n}</math>, wobei <math>k</math> die zu <math>n</math> teilerfremden Zahlen zwischen <math>1</math> und <math>n</math> durchläuft.

Die Bezeichnung „Kreisteilungspolynom“ stammt vom geometrischen Problem der Kreisteilung, also der Konstruktion eines regelmäßigen Vielecks unter Beschränkung auf die euklidischen Werkzeuge Zirkel und Lineal. Für welche <math>n</math>-Ecke dies gelingt, findet sich im Artikel konstruierbares Polygon.

Eigenschaften

Die Zerlegung des <math>n</math>-ten Kreisteilungspolynoms in Linearfaktoren ergibt

<math>\Phi_n(x) = \!\!\!\! \prod_{1 \leq k \leq n\atop \operatorname{ggT}(k, n) = 1}

\!\!\!\! \left(x - e^{2 \pi \cdot \mathrm i k / n}\right)

</math>

Daher ist der Grad von <math> \Phi_n </math> gleich <math>\varphi(n)</math>, der Anzahl der zu <math>n</math> teilerfremden Zahlen, die nicht größer als <math>n</math> sind. Die hierdurch definierte Funktion <math>\varphi</math> hat als Eulersche Phi-Funktion in der Zahlentheorie eine erhebliche Bedeutung.

Umgekehrt gilt die Produktdarstellung

<math>x^n - 1 = \prod_{1\leq k\leq n} \left(x- e^{2 \pi \cdot \mathrm i k / n} \right) = \prod_{d \mid n} \prod_{1 \leq k \leq n\atop \operatorname{ggT}(k, n) = d} \left(x- e^{2 \pi \cdot \mathrm i k / n} \right) = \prod_{d \mid n} \Phi_{n/d}(x) = \prod_{d\mid n} \Phi_d(x).</math>

Das <math>n</math>-te Kreisteilungspolynom hat ganzzahlige Koeffizienten, liegt also in <math>\mathbb{Z}[x]</math>. Es ist dort und in <math>\mathbb{Q}[x]</math> ein irreduzibles Polynom, folglich Minimalpolynom jeder primitiven <math>n</math>-ten Einheitswurzel. Somit ist der Restklassenring <math>\mathbb Q[x]/(\Phi_n)</math> sogar ein Körper, und zwar der kleinste, worin der Einheitskreis der komplexen Ebene derart in <math>n</math> gleich lange Teile zerlegt werden kann, dass sämtliche Unterteilungspunkte zu dem Körper gehören. Er wird daher Kreisteilungskörper genannt.

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.

Beispiele

Ist n eine Primzahl (z. B. n = 2, 3, 5, 7, 11, 13), dann gilt

<math>\Phi_n(x) = 1+x+x^2+\cdots+x^{n-1} = \sum_{i=0}^{n-1} x^i.</math>

Allgemeiner: Ist <math>n=p^m</math> eine Primzahlpotenz (z. B. n = 2, 3, 4, 5, 7, 8, 9, 11, 13, 16), dann gilt

<math>\Phi_n(x) = 1+x^{p^{m-1}}+x^{2p^{m-1}}+\cdots+x^{(p-1)p^{m-1}} = \sum_{i=0}^{p-1} x^{i p^{m-1}}.</math>

Ist n = 2p das Doppelte einer ungeraden Primzahl p (z. B. n = 6, 10, 14), dann gilt

<math>\Phi_{2p}(x) = 1-x+x^2-\cdots+x^{p-1} = \sum_{i=0}^{p-1} (-x)^i.</math>

Mit diesen Regeln lassen sich (mit Ausnahme von n = 12 und n = 15) die folgenden Kreisteilungspolynome bestimmen:

<math>\begin{align}

\Phi_1(x) &= x-1 \\ \Phi_2(x) &= x+1 \\ \Phi_3(x) &= x^2 + x + 1 \\ \Phi_4(x) &= x^2 + 1 \\ \Phi_5(x) &= x^4 + x^3 + x^2 + x + 1 \\ \Phi_6(x) &= x^2 - x + 1 \\ \Phi_7(x) &= x^6 + x^5 + x^4 + x^3 + x^2 + x + 1 \\ \Phi_8(x) &= x^4 + 1 \\ \Phi_9(x) &= x^6 + x^3 + 1 \\ \Phi_{10}(x) &= x^4 - x^3 + x^2 - x + 1 \\ \Phi_{11}(x) &= x^{10} + x^9 + x^8 + x^7 + x^6 + x^5 + x^4 + x^3 + x^2 + x + 1 \\ \Phi_{12}(x) &= x^4 - x^2 + 1 \\ \Phi_{13}(x) &= x^{12} + x^{11} + x^{10} + x^9 + x^8 + x^7 + x^6 + x^5 + x^4 + x^3 + x^2 + x + 1 \\ \Phi_{14}(x) &= x^6 - x^5 + x^4 - x^3 + x^2 - x + 1 \\ \Phi_{15}(x) &= x^8 - x^7 + x^5 - x^4 + x^3 - x + 1 \\ \Phi_{16}(x) &= x^8 + 1 \end{align}</math>

Einige weitere Beispiele, die sich mit den obigen Regeln berechnen lassen:

<math>\begin{align}

\Phi_{25}(x) &= x^{20} + x^{15} + x^{10} + x^5 + 1 \\ \Phi_{49}(x) &= x^{42} + x^{35} + x^{28} + x^{21} + x^{14} + x^7 + 1 \\ \Phi_{125}(x) &= x^{100} + x^{75} + x^{50} + x^{25} + 1 \end{align}</math>

Weitere Berechnungsmöglichkeiten

Wie eingangs erwähnt, gilt die Produktdarstellung

<math>x^n - 1 = \prod_{d \mid n} \Phi_d(x)</math>.

Sind nun die Kreisteilungspolynome <math>\Phi_d(x)</math> für d < n bekannt, so lässt sich <math>\Phi_n(x)</math> per Polynomdivision berechnen. Für n = 21 ergibt sich so beispielsweise

<math>(x^{21}-1) = \Phi_{1}(x) \cdot \Phi_{3}(x) \cdot \Phi_{7}(x) \cdot \Phi_{21}(x),</math>

also

<math>\begin{align}\Phi_{21}(x)

 &= \frac{x^{21}-1}{ (x-1) \cdot (x^2 + x + 1) \cdot (x^6 + x^5 + x^4 + x^3 + x^2 + x + 1) } \\
 &= \ldots
 = x^{12}-x^{11}+x^9-x^8+x^6-x^4+x^3-x+1.

\end{align}</math>

Ein anderer Ansatz folgt aus der multiplikativen Version der Möbius-Inversion, welche die Gleichung

<math>\Phi_n(x) = \prod_{d\mid n} (x^d - 1)^{\mu(n/d)}</math>

liefert, wobei <math>\mu</math> die Möbiusfunktion bezeichnet. Für n = 21 ergibt sich so

<math>\begin{align}\Phi_{21}(x)

 &= (x^1 - 1)^{\mu(21/1)} \cdot (x^3 - 1)^{\mu(21/3)} \cdot (x^7 - 1)^{\mu(21/7)} \cdot (x^{21} - 1)^{\mu(21/21)} \\
 &= \frac{x - 1}{x^3 - 1} \cdot \frac{x^{21}-1}{x^7 - 1} \\
 &= \frac{1}{x^2+x+1} \cdot (x^{14}+x^7+1).

\end{align}</math> Wie man sieht, lässt sich dieser Ausdruck mit weniger Aufwand als im vorigen Beispiel vereinfachen. Außerdem sind keine Kenntnisse über andere Kreisteilungspolynome nötig.

Ein weiterer Ansatz folgt zusammen mit der Fourierdarstellung von Funktionen des größten gemeinsamen Teilers ebenso aus der Möbius-Inversion, welche die Gleichung

<math>\Phi_n(x) = \prod\limits_{k=1}^n{(x^{\operatorname{ggT}(k,n)}-1)^{\cos (\frac{2\pi k}{n})}}</math>

ergibt.<ref>{{#invoke:Vorlage:Literatur|f}}{{#if:

       | {{#if: Vorlage:Cite book/ParamBool
               | Vorlage:Toter Link/archivebot
               | Vorlage:Webarchiv/archiv-bot
         }}
  }}{{#invoke:TemplatePar|check
   |all    = title=
   |opt    = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical=  name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx=  accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
   |cat      = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
   |errNS    = 0
   |template = Vorlage:Cite journal
   |format   = 
   |preview  = 1
  }}Vorlage:Cite book/URL{{#if:  | Vorlage:Cite book/Meldung }}{{#if:        | Vorlage:Cite book/Meldung }}{{#if: Elemente der Mathematik
     || Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
        | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
       | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:Schramm|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}</ref>

Das Koeffizientenproblem

Auffällig ist, dass in allen bisherigen Beispielen als Koeffizienten nur −1, 0 und +1 aufgetreten sind. Tatsächlich hat A. Migotti 1883 zeigen können, dass dies immer der Fall ist, sofern n das Produkt von zwei unterschiedlichen Primzahlen ist.<ref>A. Migotti: Zur Theorie der Kreisteilungsgleichung. Sitzber. Math.-Naturwiss. Classe der Kaiser. Akad. der Wiss., Wien 87 (1883), 7–14.</ref> Andererseits war spätestens seit 1931 bekannt, dass dies nicht immer so ist: Issai Schur zeigte in einem Brief an Edmund Landau, dass die Koeffizienten in Kreisteilungspolynomen beliebig groß werden können.<ref>Emma Lehmer: On the magnitude of the coefficients of the cyclotomic polynomial. Bull. Amer. Math. Soc. 42 (1936), no. 6, 389–392.</ref>

Das kleinste n, für das ein Koeffizient ungleich −1, 0 oder +1 möglich ist, ist <math>n = 3 \cdot 5 \cdot 7 = 105</math>. Und tatsächlich tritt hier der Koeffizient −2 auf. Mit einer der oben beschriebenen Methoden lässt sich das folgende Kreisteilungspolynom leicht berechnen:

<math>\begin{align}

\Phi_{105}(x) = & \ x^{48} + x^{47} + x^{46} - x^{43} - x^{42} - 2 x^{41} - x^{40} - x^{39} + x^{36} + x^{35} + x^{34} + x^{33} + x^{32} + x^{31} - x^{28} - x^{26} \\ - & \ x^{24} - x^{22} - x^{20} + x^{17} + x^{16} + x^{15} + x^{14} + x^{13} + x^{12} - x^9 - x^8 - 2 x^7 - x^6 - x^5 + x^2 + x + 1 \end{align}</math>

Das erste Kreisteilungspolynom mit einem Koeffizienten, der vom Betrag her größer als 2 ist, tritt für <math>n = 5 \cdot 7 \cdot 11 = 385</math> auf:

<math>\begin{align}

\Phi_{385}(x) = & \ x^{240} + x^{239} + x^{238} + x^{237} + x^{236} - x^{233} - x^{232} - x^{231} - x^{230} - 2 x^{229} \ [\dots] \\ & \ [\dots] + x^{134} + x^{133} + 2 x^{132} + 2 x^{131} + 2 x^{130} + 2 x^{129} + 2 x^{128} + x^{127} + x^{126} - x^{124} - 2 x^{123} - 2 x^{122} - 3 x^{121} \\ - & \ 3 x^{120} - 3 x^{119} - 2 x^{118} - 2 x^{117} - x^{116} + x^{114} + x^{113} + 2 x^{112} + 2 x^{111} + 2 x^{110} + 2 x^{109} + 2 x^{108} + x^{107} + x^{106} \ [\dots] \end{align}</math>

Siehe auch OEIS A013594.<ref>OEIS A013594</ref>

Weblinks

• {{#if: | {{{author}}} | Eric W. Weisstein }}: Cyclotomic Polynomial. In: MathWorld (englisch). {{#if: | {{#ifeq: {{#property:P2812}} | {{{id}}} | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}

Einzelnachweise

<references />