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