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

Aufwärmaufgaben

Aufgabe Referenznummer erstellen

Es sei ${}p$ eine Primzahl und sei ${}K\subseteq L$ eine Körpererweiterung vom Grad ${}p$. Zeige, dass die Galoisgruppe von ${}L$ über ${}K$ entweder genau eine oder genau zwei Untergruppen besitzt. Wie viele Zwischenkörper besitzt die Körpererweiterung, wann ist die Erweiterung galoissch?

Aufgabe Referenznummer erstellen

Es sei ${}K\subseteq L$ eine endliche Körpererweiterung mit Galoisgruppe ${}\operatorname {Gal} \,(L{|}K)$. Zeige, dass die Zuordnung

$H\longmapsto \operatorname {Fix} \,(H),$

die einer Untergruppe ihren Fixkörper zuordnet, stets injektiv ist.

Aufgabe Referenznummer erstellen

Es sei ${}p$ eine Primzahl. Erstelle Inklusionsdiagramme für die Zwischenkörper der Körpererweiterung ${}{\mathbb {F} }_{p}\subseteq {\mathbb {F} }_{p^{n}}$ für ${}n=4,6,8,12$. Wie sehen die zugehörigen Inklusionsdiagramme der Untergruppen der Galoisgruppe aus?

Aufgabe Referenznummer erstellen

Es sei ${}K\subseteq L$ eine Galoiserweiterung mit Galoisgruppe

${}\operatorname {Gal} \,(L{|}K)\cong {\left(\mathbb {Z} /(p)\right)}^{n}\,,$

wobei ${}p$ eine Primzahl sei. Bestimme die Untergruppen der Galoisgruppen und skizziere ein Inklusionsdiagramm für die Untergruppen, die Zwischenkörper und die Potenzmenge von ${}\{1,\ldots ,n\}$.

Aufgabe Referenznummer erstellen

Bestimme die Nullstellen von ${}X^{6}+108$ in Beispiel 17.9 und beschreibe, wie die Automorphismen auf diesen Nullstellen wirken. Welche Nullstellen sind konjugiert?

Aufgabe Referenznummer erstellen

Bestimme die Zwischenkörper in Beispiel 17.9.

Aufgabe * Referenznummer erstellen

Es sei ${}K\subseteq L$ eine endliche Galoiserweiterung mit Galoisgruppe ${}G$ und es seien ${}H_{1},H_{2}\subseteq G$ Untergruppen mit den zugehörigen Fixkörpern ${}K_{1}=\operatorname {Fix} \,(H_{1})$ und ${}K_{2}=\operatorname {Fix} \,(H_{2})$. Zeige, dass der Durchschnitt ${}K_{1}\cap K_{2}$ gleich dem Fixkörper zu ${}H$ ist, wobei ${}H$ die von ${}H_{1}$ und ${}H_{2}$ erzeugte Untergruppe bezeichnet (das ist die kleinste Untergruppe von ${}G$, die sowohl ${}H_{1}$ als auch ${}H_{2}$ enthält).

Aufgabe Referenznummer erstellen

Es sei ${}{\mathbb {F} }_{q}$ ein endlicher Körper. Beschreibe den Frobeniushomomorphismus als Abbildung von ${}{\mathbb {F} }_{q}^{\times }\cong \mathbb {Z} /(q-1)$ in sich selbst. Woran erkennt man nach dieser Übersetzung die Bijektivität des Frobenius? Wie sehen die Iterationen aus? Wie kann man die Fixelemente zu einer solchen Iteration als Kern beschreiben?

Aufgabe Referenznummer erstellen

Wir betrachten den Körper ${}{\mathbb {F} }_{9}$ mit ${}9$ Elementen. Für welche Untergruppen ${}H\subseteq {\mathbb {F} }_{9}^{\times }$ ist ${}H\cup \{0\}$ ein Körper, für welche nicht?

Eine Gruppe heißt einfach, wenn sie genau zwei Normalteiler enthält (nämlich sich selbst und die triviale Gruppe).

Aufgabe Referenznummer erstellen

Es sei ${}K\subseteq L$ eine Galoiserweiterung derart, dass die Galoisgruppe einfach sei. Zeige, dass ein Zwischenkörper ${}M$, ${}K\subseteq M\subseteq L$, nur dann galoissch über ${}K$ ist, wenn er gleich ${}K$ oder ${}L$ ist.

Aufgabe Referenznummer erstellen

Es sei ${}G$ eine einfache, nicht kommutative Gruppe. Zeige, dass ${}G$ eine Untergruppe besitzt, die kein Normalteiler ist.

Aufgabe Referenznummer erstellen

Es seien ${}K\subseteq L$ und ${}R\subseteq S$ Galoiserweiterungen derart, dass ihre Galoisgruppen ${}\operatorname {Gal} \,(L{|}K)$ und ${}\operatorname {Gal} \,(S{|}R)$ isomorph sind. Stifte eine inklusionserhaltende Bijektion zwischen den Zwischenkörper der ersten und den Zwischenkörpern der zweiten Erweiterung.

Aufgaben zum Abgeben

Aufgabe (3 Punkte)Aufgabe 17.13 ändern

Es sei ${}K\subseteq L$ eine endliche Galoiserweiterung und sei ${}M$, ${}K\subseteq M\subseteq L$, ein Zwischenkörper. Zeige, dass die folgenden Aussagen äquivalent sind.

1. Für alle ${}\psi \in \operatorname {Gal} \,(L{|}K)$ ist ${}\psi (M)=M$.
2. Die Untergruppe ${}\operatorname {Gal} \,(L{|}M)\subseteq \operatorname {Gal} \,(L{|}K)$ ist nur zu sich selbst konjugiert.

Aufgabe (3 Punkte)Referenznummer erstellen

Zeige, dass ${}X^{4}-5\in \mathbb {Q} [{\mathrm {i} }][X]$ irreduzibel ist. Zeige, dass die Körpererweiterung

${}\mathbb {Q} [{\mathrm {i} }]\subseteq \mathbb {Q} [{\mathrm {i} }][X]/{\left(X^{4}-5\right)}\,$

galoissch ist, bestimme die Galoisgruppe und sämtliche Zwischenkörper.

Aufgabe (3 Punkte)Referenznummer erstellen

Es sei ${}S_{3}$ die Gruppe der bijektiven Abbildungen auf einer dreielementigen Menge. Bestimme die Untergruppen von ${}S_{3}$ und welche zueinander konjugiert sind. Welche Untergruppen sind Normalteiler? Man gebe eine Galoiserweiterung mit Galoisgruppe ${}S_{3}$ an und bestimme die zu den Untergruppen gehörenden Zwischenkörper.

Aufgabe (3 Punkte)Referenznummer erstellen

Es sei ${}G$ eine zyklische Gruppe. Zeige, dass ${}G$ genau dann einfach ist, wenn ${}G$ endlich und ihre Ordnung eine Primzahl ist.

Aufgabe (3 Punkte)Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}F\in K[X]$ ein irreduzibles separables Polynom. Es sei vorausgesetzt, dass die Galoisgruppe des Zerfällungskörpers ${}L$ von ${}F$ kommutativ sei. Zeige, dass dann ${}L\cong K[X]/(F)$ ist.