Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Arbeitsblatt 18

Aufwärmaufgaben

Aufgabe

Es sei ${}K\subseteq L$ eine endliche Körpererweiterung und sei ${}\varphi \in \operatorname {Gal} \,(L{|}K)$ ein ${}K$ - Automorphismus. Es sei ${}\lambda$ ein Eigenwert von ${}\varphi$ . Zeige, dass ${}\lambda$ eine Einheitswurzel ist.

Aufgabe

Es sei ${}K\subseteq L$ eine endliche Körpererweiterung und sei ${}\delta \in G^{\vee }$ ein Charakter auf der Galoisgruppe ${}G=\operatorname {Gal} \,(L{|}K)$ . Man mache sich die Gleichheit

L_{\delta }={\left\{x\in L\mid \varphi (x)=\delta (\varphi )\cdot x{\text{ für alle }}\varphi \in G\right\}}=\bigcap _{\varphi \in G}\operatorname {Eig} _{\delta (\varphi )}{\left(\varphi \right)}

klar.

Aufgabe

Bestimme die Eigenwerte und die Eigenräume des Frobeniushomomorphismus auf ${}{\mathbb {F} }_{125}$ .

Aufgabe

Bestimme die Eigenwerte und die Eigenräume des Frobeniushomomorphismus auf ${}{\mathbb {F} }_{p^{p}}$ .

Aufgabe

Zeige, dass die Körpererweiterung ${}\mathbb {Z} /(13)\subseteq {\mathbb {F} }_{2197}$ eine Kummererweiterung zum Exponenten ${}3$ ist.

Aufgabe

Bestimme die Matrizen zu sämtlichen Körperautomorphismen in Beispiel 17.9 bezüglich einer geeigneten Basis.

Aufgabe *

Es sei ${}K$ ein Körper, ${}D$ eine endliche kommutative Gruppe und ${}K\subseteq L$ eine ${}D$ - graduierte Körpererweiterung. Der Körper ${}K$ enthalte eine ${}m$ -te primitive Einheitswurzel, wobei ${}m$ der Exponent von ${}D$ sei. Zeige, dass es ein Element ${}v\in L$ derart gibt, dass die Menge

{\left\{\varphi (v)\mid \varphi \in \operatorname {Gal} \,(L{|}K)\right\}}

eine ${}K$ -Basis von ${}L$ bildet.

Aufgabe *

Es sei ${}D=\mathbb {Z} /(n)$ und sei ${}K$ ein Körper, der eine ${}n$ -te primitive Einheitswurzel ${}\zeta$ enthält. Es sei ${}L$ eine ${}D$ - graduierte Körpererweiterung von ${}K$ . Beschreibe die Matrizen der ${}K$ - Algebraautomorphismen auf ${}L$ (also die Elemente der Galoisgruppe ${}\operatorname {Gal} \,(L{|}K)$ ) bezüglich einer geeigneten ${}K$ -Basis von ${}L$ .

Aufgabe *

Bestimme den Zerfällungskörper ${}L$ zum Polynom ${}X^{4}-7\in \mathbb {Q} [X]$ .
Was ist der Grad ${}\mathbb {Q} \subseteq L$ ?
Ist die Körpererweiterung graduierbar (mit welcher graduierenden Gruppe?).
Was sind die homogenen Automorphismen, welche Gruppe bilden sie?
Ist die Galoisgruppe ${}\operatorname {Gal} \,(L{|}\mathbb {Q} )$ abelsch?
Handelt es sich um eine Kummererweiterung (zu welchem Exponenten)?

Aufgabe

Es sei ${}\zeta _{n}\in {\mathbb {C} }$ eine ${}n$ -te primitive Einheitswurzel, und ${}K=\mathbb {Q} [\zeta _{n}]$ der zugehörige Kreisteilungskörper. Zeige, dass es galoissche Körpererweiterungen ${}K\subseteq L$ gibt, deren Galoisgruppe zyklisch der Ordnung ${}n$ ist.

Aufgabe

Es seien ${}F,G\in \mathbb {Z} [X]$ normierte Polynome mit der Eigenschaft, dass ${}F=GH$ ist mit ${}H\in \mathbb {Q} [X]$ . Zeige, dass ${}H\in \mathbb {Z} [X]$ ist.

Aufgabe

Formuliere und beweise das „verschobene Eisensteinkriterium“. Man gebe auch ein Beispiel eines Polynoms ${}P\in \mathbb {Q} [X]$ , wo man die Irreduzibilität nicht mit dem Eisensteinkriterium, aber mit dem verschobenen Eisensteinkriterium nachweisen kann.

Aufgabe

Formuliere und beweise das umgekehrte Eisensteinkriterium, bei dem die Rollen des Leitkoeffizienten und des konstanten Koeffizienten vertauscht werden.