Antworte auf:  Erzeugung eines Körpers von LamyOriginal
Forum:  Körper und Galois-Theorie, moderiert von: Buri Gockel

[Zur Forum-Gliederung] [Wie man Fragen beantwortet] [Themenstart einblenden]

  Alle registrierten Mitglieder können Mitteilungen schreiben.
Benutzername:
Passwort:
Nachricht-Icon:                   
                  
              
Nachricht:


 
 


Input assistance tools (JavaScript): [Link extern intern] [MathML?] [$$?]
[fed-area] [LaTeX-inline] [LaTeX-display] [Tikz] [hide-area][show-area] [Source code [num.]][?]
 Show Preview      Write using fedgeo formula editor or Latex.

Smilies for your message:
😃 😄 😁 🙂 🙃 😉 🤗 🤫 🤔 🙄 😴 🤒 😎 😮 😲 😂
🙁 😖 😒 😐 😡 👌 👍 👎 🤢 🤧 🥵 🥶 😵 🤯 😛 😷
Optionen: Deaktiviere HTML in dieser Nachricht
Deaktiviere MATHML in dieser Nachricht. Wenn Dein Text $-Zeichen enthält, die nicht LaTeX-Formeln begrenzen.
Deaktiviere Smilies in dieser Nachricht
Zeige die Signatur (Kann in 'Mein Profil' editiert werden.)
    [Abbrechen]
 
Beachte bitte die [Forumregeln]


Themenübersicht
Triceratops
Aktiv
Dabei seit: 28.04.2016
Mitteilungen: 5553
Herkunft: Berlin

 Beitrag No.4, eingetragen 2021-01-26 23:08    [Diesen Beitrag zitieren]

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.


ochen
Senior
Dabei seit: 09.03.2015
Mitteilungen: 3153
Herkunft: der Nähe von Schwerin

 Beitrag No.3, eingetragen 2021-01-26 16:30    [Diesen Beitrag zitieren]

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?


LamyOriginal
Aktiv
Dabei seit: 20.11.2018
Mitteilungen: 247
 Beitrag No.2, eingetragen 2021-01-26 14:56    [Diesen Beitrag zitieren]

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?


ochen
Senior
Dabei seit: 09.03.2015
Mitteilungen: 3153
Herkunft: der Nähe von Schwerin

 Beitrag No.1, eingetragen 2021-01-26 14:48    [Diesen Beitrag zitieren]

Hallo,

wie lässt sich denn $P=X^{4096}-X$ in kleinere Polynome zerlegen?


LamyOriginal
Aktiv
Dabei seit: 20.11.2018
Mitteilungen: 247
 Themenstart: 2021-01-26 14:31    [Diesen Beitrag zitieren]

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!


 
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]