Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Arbeitsblatt 14

Aufwärmaufgaben

Aufgabe

Zeige, dass man in Satz 14.3  (2) nicht auf die Bedingung der Irreduzibilität verzichten kann.

Aufgabe

Zeige, dass man in Satz 14.3 die äquivalenten Bedingungen durch die folgende Eigenschaft ergänzen kann:

Zu jeder Körpererweiterung ${}K\subseteq M$ und zu zwei ${}K$- Algebrahomomorphismen

$\varphi _{1},\varphi _{2}\colon L\longrightarrow M$

ist ${}\varphi _{1}(L)=\varphi _{2}(L)$.

Aufgabe

Es sei ${}q\in \mathbb {Q}$ eine rationale Zahl, die in ${}\mathbb {Q}$ keine dritte Wurzel besitzt, sodass ${}\mathbb {Q} \subseteq L=\mathbb {Q} [X]/(X^{3}-q)$ eine Körpererweiterung vom Grad ${}3$ ist. Zeige anhand der verschiedenen äquivalenten Formulierungen von Satz 14.3, dass diese Körpererweiterung nicht normal ist. Man gebe die verschiedenen Einbettungen von ${}L$ in ${}{\mathbb {C} }$ an.

Aufgabe

Es sei  ${}q\in \mathbb {Q}$  eine rationale Zahl und es sei ${}L$ der Zerfällungskörper von ${}X^{3}-q$. Welchen Grad besitzt ${}L$ (über ${}\mathbb {Q}$)? Man gebe für jeden möglichen Grad Beispiele an.

Tipp: Man betrachte eine Einbettung ${}L\subseteq {\mathbb {C} }$ und den Durchschnitt ${}L\cap \mathbb {R}$.

Aufgabe

Es sei  ${}K\subseteq L$  eine endliche normale Körpererweiterung und ${}M$, ${}K\subseteq M\subseteq L$, ein Zwischenkörper, der über ${}K$ nicht normal sei. Zeige, dass es einen weiteren Zwischenkörper  ${}M'\neq M$  gibt, der zu ${}M$ isomorph ist.

Aufgabe

Finde für den Körper ${}L$ aus Beispiel 14.9 eine endliche Körpererweiterung ${}L\subseteq L'$ mit ${}L'\subseteq {\mathbb {C} }$ und so, dass ${}L'$ über ${}\mathbb {Q}$ normal ist. Beschreibe einen ${}\mathbb {Q}$- Automorphismus ${}\varphi \colon L'\rightarrow L'$ mit ${}\varphi (L)\neq L$.

Aufgabe

Wir betrachten die Körpererweiterung ${}\mathbb {Q} \subseteq M$ aus Beispiel 14.9. Zeige anhand der verschiedenen äquivalenten Formulierungen von Satz 14.3, dass diese Körpererweiterung nicht normal ist.

Aufgabe

Es sei ${}K$ ein Körper, ${}D$ eine endliche kommutative Gruppe und  ${}K\subseteq L$  eine ${}D$- graduierte Körpererweiterung. Zu jedem Primpotenzteiler ${}p^{r}$ von ${}{\#\left(D\right)}$ enthalte ${}K$ eine ${}p^{r}$-te primitive Einheitswurzel. Zeige, dass  ${}K\subseteq L$  eine separable Körpererweiterung ist.

Aufgabe

Bestimme für die Körpererweiterung ${}{\mathbb {F} }_{3}\subseteq {\mathbb {F} }_{9}$, welche Elemente aus ${}{\mathbb {F} }_{9}$ untereinander konjugiert sind.

Aufgaben zum Abgeben

Aufgabe (4 Punkte)

Man gebe in jeder Charakteristik Beispiele für eine normale Körpererweiterung  ${}K\subseteq L$  vom Grad ${}3$.

Aufgabe (3 Punkte)

Es sei  ${}K\subseteq L$  eine endliche Körpererweiterung und seien ${}M_{1},M_{2}$ Zwischenkörper, die beide über ${}K$ normal seien. Zeige, dass auch  ${}K\subseteq M_{1}\cap M_{2}$  normal ist.

Aufgabe (4 Punkte)

Es sei ${}K$ ein Körper, ${}D$ eine endliche kommutative Gruppe und  ${}K\subseteq L$  eine ${}D$- graduierte Körpererweiterung. Zu jedem Primpotenzteiler ${}p^{r}$ von ${}{\#\left(D\right)}$ enthalte ${}K$ eine ${}p^{r}$-te primitive Einheitswurzel. Zeige, dass  ${}K\subseteq L$  eine normale Körpererweiterung ist.

Aufgabe (4 Punkte)

Es sei  ${}K\subseteq L$  eine endliche normale und separable Körpererweiterung. Es sei  ${}x\in L$  mit ${}x^{n}=a\in K$, wobei ${}\operatorname {grad} _{K}K(x)=n$ sei. Zeige, dass ${}L$ ${}n$ verschiedene ${}n$-te Einheitswurzeln besitzt.

Aufgabe (4 Punkte)

Bestimme für die Körpererweiterung ${}{\mathbb {F} }_{2}\subseteq {\mathbb {F} }_{8}$, welche Elemente aus ${}{\mathbb {F} }_{8}$ untereinander konjugiert sind.