Beschreibung

Definition

Ein Polynom (Algebra) das durch das Produkt der Linearfaktoren zu primitiven n-ten Einheitswurzeln entsteht, d.h. wird das -te Kreisteilungspolynom genannt.

Eigenschaften

Grad

Da Kreisteilungspolynome das Produkt von Linearfaktoren errechnet aus Primitive Einheitswurzel ist, kann man den Grad erhalten, indem die Primitiven Einheitswurzeln zählt. Dazu kann man die Eulersche Phi Funktion verwenden:

Produkte

Für alle gilt [^1]

Kreisteilungspolynome sind Ganzzahlig

Es gilt für alle .

In speziellen Fällen lassen sich explizite Formeln angeben.

  • Für Primzahl
  • Für Primzahlpotenz Zum Beispiel

Irreduzibel

Die Kreisteilungspolynome sind irreduzibel in und aber nicht notwendigerweise in Endlicher Körper.

Berechnung

Kreisteilungspolynome lassen sich durch die Formel berechnen, wobei die Möbius Mu Funktion ist.

Beweis: Es gilt . Das ist bloß eine Summatorische Funktion mit Multiplikation statt Summe geschrieben. Wir können also den Möbiusschen Umkehrsatz anwenden und erhalten die obere Formel.

Rechenformel

Sei eine Primzahl und eine dazu teierfremde Zahl. Dann gilt

  • in einem Körper der Charakteristik

Beispiele

Liste aller Kreisteilungspolynome

Polynom

Kreisteilungspolynom 5

Verwenden wir die Möbiustransformation: Das hätte man sich eigentlich denken können, denn es müsste Primitive Einheitswurzel geben. Wenn man also die Nullstelle als Linearfaktor aus dem Polynom entfernt, sollte man das gesuchte Polynom erhalten. Da ein Polynom von Grad ist, müsste genauso aussehen, wie . Wir können uns das zu Nutze machen, da rechnen in viel leichter ist. \begin{align}\frac{x^5-1}{x-1} &= \frac{(x^5-1)(x^4+1)(x^2+1)(x+1)}{x^8-1}\\ &= (x^4+1)(x^2+1)(x+1) \\&= (x^4+1)(x^3+x^2+x+1) \\&= x^4+x^3+x^2+x+1\end{align} Da und so weiter.

Kreisteilungspolynom 6

. Das erhält man, indem man die Formel oben verwendet und die Gleichung nach auflöst.

Kreisteilungspolynome Primzahlen

Für eine Primzahl hat das Kreisteilungspolynom die Form Beweis: Die Nullstellen des Polynom sind die -ten Einheitswurzel. Diese bilden eine Zyklische Gruppe von Primzahlordnung . Damit gibt es Erzeuger der Gruppe und damit Primitive Einheitswurzel. ist eine primitive Einheitswurzel, also sind es alle andere. Entfernen wir daher den Linearfaktor der Einheitswurzel aus , dann müssten wir erhalten. denn

Übungen

McEliece Übung 7-1

Zeige, wenn ungerade, dann gilt

Wenn ungerade, dann sind und teilerfremd und es gilt: Da ungerade ist, ist auch ungerade und es gilt: Zerlege den Wert in in Primfaktoren: . Gibt es ein mit , dann ist . In dem Fall ist

Gibt es kein mit , dann ist . In dem Fall gilt Für jeden Teiler Faktor gibt es einen eineindeutigen anderen Teiler , den man erhält, indem man die Zahl des ersten Promzahlexponenten zwischen und wechselt. Für jeden Faktor aus dem oberen Produkt gibt es damit einen eineindeutigen anderen Faktor , sodass Die Produkte, bei denen haben also immer ein Gegenstück, bei dem sich das Minus auslöscht. Damit gilt

Ich glaube, das bringt uns nicht weiter, ich brobiere es stattdessen mit der Möbiustransformation:

McEliece Übung 7-2

Uns fällt auf, dass in allen Kreisteilungspolynom außer im ersten der konstante Term ist. Steckt da eine Regel dahinter?

Ja, es ist eine Regel. Man erhält ein Kreisteilungspolynom durch: Das ist ein rationaler Bruch von Polynomen der Form . Man kann den Bruch in ein Produkt aus Polynomen umschreiben, indem man den Schritten aus dem Beispiel Kreisteilungspolynom 6 folgt. Der konstante Term ist dann das Produkt aller konstanten Terme der Polynomfaktoren. Diese tauchen, wie ich in McEliece Übung 7-1 gezeigt habe in Paaren auf. Also muss der konstante Term sein.

McEliece Übung 7-4

Berechne einige Polynome

a)

b)

&= \frac{\Phi_5(x^7)}{\Phi_5(x)} \\ &= \frac{\Phi_5(x^7)(x-1)}{x^5-1} \\ &= \frac{\Phi_5(x^7)(x-1)(x^5+1)(x^{10}+1)(x^{20}+1)}{x^{40}-1}\\ &= -(x^{28}+x^{21}+x{14}+x^7+1)(x-1)(x^5+1)(x^{10}+1)(x^{20}+1)\\ &= -(x^{22}-x^{21}+x^{15}-x^{14}+x^8-x^7+x-1)(x^5+1)(x^{10}+1)\\ &= -(x^{22}-x^{21}+x^{20}-x^{19}+x^{15}-x^{14}+x^{13}-x^{12}+x^8-x^7+x^6-x^5+x-1)(x^{10}+1)(x^{20}+1) \\ &= -(-x^{24}+x^{23}-x^{21}+x^{20}-x^{19}+x^{18}-x^{17}+x^{16}-x^{14}+x^{13}-x^{12}+x^{11}-x^{10}+x^8-x^7+x^6-x^5+x-1)(x^{20}+1)\\ &= -(-x^{24}+x^{23}-x^{19}+x^{18}-x^{17}+x^{16}-x^{14}+x^{13}-x^{12}+x^{11}-x^{10}+x^8-x^7+x^6-x^5+x-1)\\ &= x^{24}-x^{23}+x^{19}-x^{18}+x^{17}-x^{16}+x^{14}-x^{13}+x^{12}-x^{11}+x^{10}-x^8+x^7-x^6+x^5-x+1)\end{align}$$ ### c) $\Phi_{40}$ ## McEliece Übung 7-6 Sei $K$ ein Feld der Charakterisitik $2$. Berechne - $\Phi_{10}(x) = \Phi_5(x^{2-1}) = \Phi_5(x) = x^4+x^3+x^2+x+1$ - $\Phi_{12}(x) = \Phi_3(x^{4-2}) = \Phi_3(x^4+x^2+1)$ - $\Phi_{14}(x) = \Phi_7(x) = x^6+x^5+x^4+x^3+x^2+x+1$ - $\Phi_{16}(x) = \Phi_1(x^{16-8}) = x^{8}-1$ y [[lit_mcelieceFiniteFieldsComputer2012]] [^1]: Gerkmann - Lemma 13.4