| |
| Autor |
 Erzeugung eines Körpers |
|
LamyOriginal
Aktiv 
Dabei seit: 20.11.2018
Mitteilungen: 232
 |
Hallo Forum,
ich habe Probleme mit folgender Algebra Aufgabe:
K ein Körper mit $2^{12}=4096$ Elementen, zeigen Sie, dass es ein Element $\alpha \neq 1$ in K gibt mit $a^{13}=1$ und dass $K=\mathbb{F}_2(\alpha)$ gilt.
Wir wissen K Körper von Primpotenzordung mit $|K|=4096$. Wir hatten einen Satz: Es gibt bis auf Isomorphie genau einen Körper mit $q=p^n$ Elementen, p Primzahl: den Zerfällungskörper von $f:=x^q-x$ über $\mathbb{F}_p$, hier mit $p=2, n=12$, also $q=4096$.
Nun müssen wir also zeigen, dass es ein Element $\alpha$ gibt mit $\alpha^{13}=\alpha \cdot \alpha^{12}=1$ und $\alpha^{12}=\alpha^{-1}$, kann ich es irgendwie mit Einheiten zeigen? Falls $\alpha$ eine Nullstelle von f ist, gilt ja $\alpha^q=\alpha$, aber eigentlich gilt doch immer $\alpha^{ord}=e$...
Und die Isomorphie mit Körpern mit $2^{12}$ Elementen sind ja $\alpha$ NST, dann $\mathbb{F}_2(\alpha)\cong \mathbb{F}_2[x] / \langle f \rangle \cong \mathbb{F}_{2^{12}}$
Danke für jeden Tipp!
|
 Notiz  Profil
 Quote
 Link |
ochen
Senior 
Dabei seit: 09.03.2015
Mitteilungen: 3089
Herkunft: der Nähe von Schwerin
|      Beitrag No.1, eingetragen 2021-01-26
|
Hallo,
wie lässt sich denn $P=X^{4096}-X$ in kleinere Polynome zerlegen?
|
Notiz Profil
Quote
Link |
LamyOriginal
Aktiv
Dabei seit: 20.11.2018
Mitteilungen: 232
| Beitrag No.2, vom Themenstarter, eingetragen 2021-01-26
|
2021-01-26 14:48 - ochen in Beitrag No. 1 schreibt:
Hallo,
wie lässt sich denn $P=X^{4096}-X$ in kleinere Polynome zerlegen?
Hallo,
wegen $deg(P)=q=4096$ in $K$ kann es höchstens $q$ Nullstellen haben, also sind alle Elemente von $K$ Nullstellen von $P$ mit $P=x^q-x=\prod_{\alpha \in K} (x-\alpha)$, also $K$ Zerfällungskörper und das Element $\alpha\neq 1$ ist eine NST von P, für das wir zeigen müssen, dass $\alpha^{13}=1$, oder?
|
Notiz Profil
Quote
Link | | Folgende Antworten hat der Fragesteller vermutlich noch nicht gesehen. |
ochen
Senior
Dabei seit: 09.03.2015
Mitteilungen: 3089
Herkunft: der Nähe von Schwerin
| Beitrag No.3, eingetragen 2021-01-26
|
Kannst du es nicht vorher in Polynome in $\mathbb F_2$ zerlegen:
\[
X^{4096}-X=X(X^{4095}-1)=X(X^{13\cdot 315}-1)=X(X^{13}-1)\cdots
\]
Kennst du die geometrische Reihe?
|
Notiz Profil
Quote
Link |
Triceratops
Aktiv 
Dabei seit: 28.04.2016
Mitteilungen: 5461
Herkunft: Berlin
 |  Beitrag No.4, eingetragen 2021-01-26
|
Vorweg: Der Titel ist irreführend, hier geht es nicht um Zerfällungskörper.
Der erste Teil der Beh. ist äquivalent dazu, dass $K^{\times}$ ein Element der Ordnung $13$ besitzt. Das ist nach dem Satz von Cauchy (der hier trivial ist, weil die Gruppe zyklisch ist) dazu äquivalent, dass $13$ ein Teiler der Ordnung $2^{12}-1 = 4095$ ist. Das kann man per Hand einsehen (Division mit Rest etwa, das Ergebnis ist $4095 = 13 \cdot 315$).
Die Frage ist nur, warum ein Element $\alpha$ der Ordnung $13$ bereits $K$ als Körper erzeugen sollte; die erzeugte multiplikative Gruppe $\langle \alpha \rangle = \{\alpha^z : z \in \IZ\} = \{u \in K^{\times} : u^{13}=1\}$ hat ja nur $13$ Elemente. Ich würde mir jetzt einmal die multiplikative Ordnung von $1 + \alpha$ anschauen.
|
Notiz Profil
Quote
Link |
|
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2021 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die
Nutzungsbedingungen,
die Distanzierung,
die Datenschutzerklärung und das Impressum.
[Seitenanfang]
|
Home / Seite ohne Frame
Wie unterstütze ich den Matheplaneten mit Geld?
