Kurs:Körper- und Galoistheorie/17/Klausur mit Lösungen

Aufgabe	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	${}\sum$
Punkte	3	3	0	0	1	3	3	0	0	0	0	8	0	12	0	0	33

Aufgabe (3 Punkte)

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Ein irreduzibles Element ${}p$ in einen kommutativen Ring ${}R$.
2. Ein Ideal ${}{\mathfrak {a}}\subseteq R$ in einem kommutativen Ring ${}R$.
3. Ein separables Polynom ${}P\in K[X]$ über einem Körper ${}K$.
4. Eine (endliche) Galoiserweiterung ${}K\subseteq L$.
5. Eine auflösbare Körpererweiterung ${}K\subseteq L$.
6. Ein aus einer Teilmenge ${}M\subseteq E$ einer Ebene ${}E$ konstruierbarer Punkt ${}P\in E$.

Lösung

1. Eine Nichteinheit ${}p$ in einem kommutativen Ring heißt irreduzibel, wenn eine Faktorisierung ${}p=ab$ nur dann möglich ist, wenn einer der Faktoren eine Einheit ist.
2. Ein Ideal ist eine nichtleere Teilmenge ${}{\mathfrak {a}}\subseteq R$, für die die beiden folgenden Bedingungen erfüllt sind:
   1. Für alle ${}a,b\in {\mathfrak {a}}$ ist auch ${}a+b\in {\mathfrak {a}}$.
   2. Für alle ${}a\in {\mathfrak {a}}$ und ${}r\in R$ ist auch ${}ra\in {\mathfrak {a}}$.
3. Ein Polynom ${}P\in K[X]$ heißt separabel, wenn es über keinem Erweiterungskörper ${}K\subseteq L$ mehrfache Nullstellen besitzt.
4. Eine endliche Körpererweiterung ${}K\subseteq L$ heißt eine Galoiserweiterung, wenn

   ${}{\#\left(\operatorname {Gal} \,(L{|}K)\right)}=\operatorname {grad} _{K}L\,$

   gilt.

5. Eine Körpererweiterung ${}K\subseteq L$ heißt auflösbar, wenn es eine Radikalerweiterung ${}K\subseteq M$ mit ${}L\subseteq M$ gibt.
6. Ein Punkt ${}P\in E$ heißt aus ${}M$ konstruierbar, wenn es eine Folge von Punkten

   $P_{1},\ldots ,P_{n}=P$

   derart gibt, dass ${}P_{i}$ jeweils aus ${}M\cup \{P_{1},\ldots ,P_{i-1}\}$ in einem Schritt konstruierbar ist.

Aufgabe (3 Punkte)

Formuliere die folgenden Sätze.

1. Der Satz von Lagrange für die Ordnung eines Elementes.
2. Der Satz über die Konstruktion von Zerfällungskörpern.
3. Der Satz über die Beschreibung der Galoisgruppe von Kreisteilungskörpern über ${}\mathbb {Q}$.

Lösung

1. Es sei ${}G$ eine endliche Gruppe und sei ${}g\in G$ ein Element. Dann teilt die Ordnung von ${}g$ die Gruppenordnung.
2. Es sei ${}K$ein Körper und ${}F$ ein Polynom aus ${}K[X]$. Dann gibt es einen Erweiterungskörper ${}K\subseteq L$ derart, dass ${}F$ über ${}L$ in Linearfaktoren zerfällt.
3. Es sei ${}K_{n}$ der ${}n$- te Kreisteilungskörper. Dann ist ${}\mathbb {Q} \subseteq K_{n}$ eine Galoiserweiterung mit der Galoisgruppe

   ${}\operatorname {Gal} \,(K_{n}{|}\mathbb {Q} )\cong {\left(\mathbb {Z} /(n)\right)}^{\times }\,.$

   Dabei entspricht der Einheit ${}a\in {\left(\mathbb {Z} /(n)\right)}^{\times }$ derjenige Automorphismus ${}\varphi _{a}\in \operatorname {Gal} \,(K_{n}{|}\mathbb {Q} )$, der eine ${}n$-te Einheitswurzel ${}\zeta$ auf ${}\zeta ^{a}$ abbildet.

Aufgabe (0 Punkte)

Lösung /Aufgabe/Lösung

Aufgabe (0 Punkte)

Lösung /Aufgabe/Lösung

Aufgabe (1 Punkt)

Zeige, dass das Bild eines Ideals unter einem Ringhomomorphismus nicht unbedingt wieder ein Ideal ist.

Lösung

Beispielsweise ist ${}\mathbb {Q}$ in ${}\mathbb {Q}$ ein Ideal (das Einheitsideal), aber ${}\mathbb {Q}$ ist als Teilmenge von ${}\mathbb {R}$ kein Ideal.

Aufgabe (3 Punkte)

Es sei ${}G$ eine Gruppe. Zeige, dass sich Gruppenelemente ${}g\in G$ und Gruppenhomomorphismen ${}\varphi$ von ${}\mathbb {Z}$ nach ${}G$ über die Korrespondenz

$g\longmapsto (n\mapsto g^{n}){\text{ und }}\varphi \longmapsto \varphi (1)$

entsprechen.

Lösung

Es sei ${}g\in G$ fixiert. Dass die Abbildung

$\varphi _{g}\colon \mathbb {Z} \longrightarrow G,\,n\longmapsto g^{n},$

ein Gruppenhomomorphismus ist, ist eine Umformulierung der Potenzgesetze. Wegen ${}\varphi _{g}(1)=g^{1}=g$ erhält man aus der Potenzabbildung das Gruppenelement zurück. Umgekehrt ist ein Gruppenhomomorphismus ${}\varphi \colon \mathbb {Z} \rightarrow G$ durch ${}\varphi (1)$ eindeutig festgelegt, da ${}\varphi (n)=(\varphi (1))^{n}$ für ${}n$ positiv und ${}\varphi (n)={\left((\varphi (1))^{-1}\right)}^{-n}$ für ${}n$ negativ gelten muss.

Aufgabe (3 Punkte)

Beweise den Isomorphiesatz für Gruppen.

Lösung

Wir wenden Satz 5.10 (Körper- und Galoistheorie (Osnabrück 2018-2019)) auf ${}Q=G/\operatorname {kern} \varphi$ und die kanonische Projektion ${}q\colon G\rightarrow G/\operatorname {kern} \varphi$ an. Dies induziert einen Gruppenhomomorphismus

${\tilde {\varphi }}\colon G/\operatorname {kern} \varphi \longrightarrow H$

mit ${}\varphi ={\tilde {\varphi }}\circ q$, der surjektiv ist. Sei ${}[x]\in G/\operatorname {kern} \varphi$ und ${}[x]\in \operatorname {kern} {\tilde {\varphi }}$. Dann ist

${}{\tilde {\varphi }}([x])=\varphi (x)=e_{H}\,,$

also ${}x\in \operatorname {kern} \varphi$. Damit ist ${}[x]=e_{Q}$, d.h. der Kern von ${}{\tilde {\varphi }}$ ist trivial und nach Lemma 4.9 (Körper- und Galoistheorie (Osnabrück 2018-2019)) ist ${}{\tilde {\varphi }}$ auch injektiv.

Aufgabe (0 Punkte)

Lösung /Aufgabe/Lösung

Aufgabe (0 Punkte)

Lösung /Aufgabe/Lösung

Aufgabe (0 Punkte)

Lösung /Aufgabe/Lösung

Aufgabe (0 Punkte)

Lösung /Aufgabe/Lösung

Aufgabe (8 (3+5) Punkte)

Es seien ${}p,q\in \mathbb {Q} _{\geq 0}$ und sei

${}f={\sqrt {p}}+{\sqrt {q}}\,.$

a) Zeige, dass es ein Polynom ${}Q\in \mathbb {Q} [X]$ der Form

${}G=X^{4}+cX^{2}+d\,$

mit ${}G(f)=0$ gibt.

b) Es seien nun zusätzlich ${}p$ und ${}q$ verschiedene Primzahlen. Zeige, dass das Polynom ${}G$ aus Teil a) das Minimalpolynom zu ${}f$ ist.

Lösung

a) Es ist

${}f^{2}=({\sqrt {p}}+{\sqrt {q}})^{2}=p+q+2{\sqrt {p}}{\sqrt {q}}=p+q+2{\sqrt {pq}}\,$

und

${}f^{4}=({\sqrt {p}}+{\sqrt {q}})^{4}=(p+q+2{\sqrt {pq}})^{2}=p^{2}+2pq+q^{2}+4pq+4(p+q){\sqrt {pq}}\,.$

Es ist also ${}f^{4}$ eine ${}\mathbb {Q}$- Linearkombination aus ${}1$ und ${}{\sqrt {pq}}$. Daher kann man ${}f^{4}$ auch als ${}\mathbb {Q}$-Linearkombination von ${}f^{0}=1$ und ${}f^{2}$ ausdrücken, und dies ergibt ein annullierendes Polynom wie gewünscht.

b) Es ist

${}\mathbb {Q} \subset \mathbb {Q} [{\sqrt {p}}]\subset \mathbb {Q} [{\sqrt {p}},{\sqrt {q}}]\,,$

wobei die Teilerweiterungen den Grad zwei besitzen. Daher hat nach der Gradformel die Gesamterweiterung den Grad vier. Wegen

${}\mathbb {Q} [f]\subseteq \mathbb {Q} [{\sqrt {p}},{\sqrt {q}}]\,$

kommt als Grad des Minimalpolynoms nur ${}1,2,4$ in Frage. Wegen ${}f^{2}=p+q+2{\sqrt {pq}}$ ist die irrationale Zahl ${}{\sqrt {pq}}\in \mathbb {Q} [f]$, sodass der Grad eins ausgeschlossen ist. Es ist

${}{\begin{aligned}f^{3}&={\left(p+q+2{\sqrt {pq}}\right)}{\left({\sqrt {p}}+{\sqrt {q}}\right)}\\&=(p+q)({\sqrt {p}}+{\sqrt {q}})+2{\sqrt {pq}}{\left({\sqrt {p}}+{\sqrt {q}}\right)}\\&=(p+q)({\sqrt {p}}+{\sqrt {q}})+2p{\sqrt {q}}+2q{\sqrt {p}}\\&=(p+3q){\sqrt {q}}+(3p+q){\sqrt {p}}.\end{aligned}}$

Durch Subtraktion mit

${}(p+3q)f=(p+3q){\left({\sqrt {p}}+{\sqrt {q}}\right)}\,$

ergibt sich

$2(p-q){\sqrt {p}}\in \mathbb {Q} [f]$

und damit

${\sqrt {p}}\in \mathbb {Q} [f]$

und letztlich

${}\mathbb {Q} [f]=\mathbb {Q} [{\sqrt {p}},{\sqrt {q}}]\,.$

Aufgabe (0 Punkte)

Lösung /Aufgabe/Lösung

Aufgabe (12 Punkte)

Beweise den Satz über die galoistheoretische Charakterisierung von auflösbaren Körpererweiterungen in Charakteristik ${}0$.

Lösung

Es sei zuerst die Körpererweiterung ${}K\subseteq L$ auflösbar, und zwar sei ${}L\subseteq M$ eine Körpererweiterung derart, dass ${}K\subseteq M$ eine Radikalerweiterung ist. Es sei ${}m$ dabei ein gemeinsamer „Radikalexponent“ der beteiligten einfachen Radikalerweiterungen. Da wir in Charakteristik ${}0$ sind, können wir zu ${}M$ eine ${}m$-te primitive Einheitswurzel ${}\zeta$ adjungieren und erhalten eine ${}m$-Radikalerweiterung ${}K\subseteq M'=M(\zeta )$. Wir ersetzen ${}M'$ durch seine normale Hülle ${}M^{\prime \prime }$, die nach Lemma 22.5 (Körper- und Galoistheorie (Osnabrück 2018-2019)) ebenfalls eine ${}m$-Radikalerweiterung von ${}K$ ist. Da wir in Charakteristik ${}0$ sind, ist ${}K\subseteq M^{\prime \prime }$ eine Galoiserweiterung. Wir können also davon ausgehen, dass eine Kette

${}K=L_{0}\subseteq K(\zeta )=L_{1}\subseteq L_{2}\subseteq \ldots \subseteq L_{k}=M\,$

vorliegt, wobei ${}K\subseteq M$ galoissch ist und wo die sukzessiven Körpererweiterungen ${}L_{i}\subseteq L_{i+1}$ einfache Radikalerweiterungen sind. Es sei ${}G=\operatorname {Gal} \,(M{|}K)$ und wir setzen

${}G_{i}=\operatorname {Gal} \,(M{|}L_{i})\,.$

Dabei gelten nach Lemma 16.3 (Körper- und Galoistheorie (Osnabrück 2018-2019))  (2) die natürlichen Inklusionen

${}G_{k}=\{\operatorname {Id} \}\subseteq G_{k-1}\subseteq G_{k-2}\subseteq \ldots \subseteq G_{1}\subseteq G_{0}=G\,.$

Da die Zwischenerweiterungen ${}L_{i}\subseteq L_{i+1}$ für ${}i\geq 1$ einfache Radikalerweiterungen und in ${}L_{1}$ die benötigten Einheitswurzeln vorhanden sind, folgt aus Satz 18.5 (Körper- und Galoistheorie (Osnabrück 2018-2019)), dass es sich um Galoiserweiterungen mit abelscher Galoisgruppe handelt. Aufgrund von Satz 17.5 (Körper- und Galoistheorie (Osnabrück 2018-2019))  (2) sind daher die ${}G_{i+1}$ Normalteiler in ${}G_{i}$ und die Restklassengruppen ${}G_{i}/G_{i+1}$ sind kommutativ. Die Erweiterung ${}K\subseteq K(\zeta )=L_{1}$ besitzt nach Aufgabe 20.21 (Körper- und Galoistheorie (Osnabrück 2018-2019)) ebenfalls eine abelsche Galoisgruppe. Daher liegt insgesamt eine Filtrierung vor, die ${}G$ als auflösbar erweist. Da ${}K\subseteq L$ eine Galoiserweiterung ist, gilt wieder nach Satz 17.5 (Körper- und Galoistheorie (Osnabrück 2018-2019)) die Beziehung

${}\operatorname {Gal} \,(L{|}K)=G/\operatorname {Gal} \,(M{|}L)\,,$

sodass auch ${}\operatorname {Gal} \,(L{|}K)$ wegen Lemma 21.3 (Körper- und Galoistheorie (Osnabrück 2018-2019)) eine auflösbare Gruppe ist.

Es sei nun vorausgesetzt, dass die Galoisgruppe ${}G=\operatorname {Gal} \,(L{|}K)$ auflösbar ist, und sei

${}\{\operatorname {Id} \}=G_{k}\subseteq G_{k-1}\subseteq G_{k-2}\subseteq \ldots \subseteq G_{1}\subseteq G_{0}=G\,$

eine Filtrierung mit Untergruppen derart, dass jeweils ${}G_{i+1}\subseteq G_{i}$ ein Normalteiler ist mit abelscher Restklassengruppe ${}G_{i}/G_{i+1}$. Wir setzen ${}L_{i}=\operatorname {Fix} \,(G_{i})$, sodass nach Lemma 16.3 (Körper- und Galoistheorie (Osnabrück 2018-2019))  (1) und Satz 16.6 (Körper- und Galoistheorie (Osnabrück 2018-2019)) die Körperkette

${}K=L_{0}\subseteq L_{1}\subseteq \ldots \subseteq L_{k}=L\,$

vorliegt. Dabei sind nach Korollar 16.7 (Körper- und Galoistheorie (Osnabrück 2018-2019)) die Körpererweiterungen ${}L_{i}\subseteq L$ galoissch, und ihre Galoisgruppen sind ${}G_{i}$ gemäß Satz 17.1 (Körper- und Galoistheorie (Osnabrück 2018-2019)). Da die ${}G_{i+1}$ Normalteiler in ${}G_{i}$ sind, sind aufgrund von Satz 17.5 (Körper- und Galoistheorie (Osnabrück 2018-2019)) die Körpererweiterungen ${}L_{i}\subseteq L_{i+1}$ galoissch mit Galoisgruppe ${}\operatorname {Gal} \,(L_{i+1}{|}L_{i})=G_{i}/G_{i+1}$. Diese sukzessiven Erweiterungen sind also Galoiserweiterungen mit abelscher Galoisgruppe. Es sei ${}m$ der Exponent von ${}G$. Es sei ${}L\subseteq M$ ein ${}m$-ter Kreisteilungskörper, also ein Zerfällungskörper von ${}X^{m}-1$ über ${}L$, und sei ${}\zeta \in M$ eine ${}m$-te primitive Einheitswurzel. Es ist somit ${}M=L(\zeta )$. Wir setzen ${}M_{i}=L_{i}(\zeta )$ (innerhalb von ${}M$) und haben dann die Körperkette

${}K\subseteq M_{0}=K(\zeta )\subseteq M_{1}\subseteq \ldots \subseteq M_{k}=M\,.$

Hierbei gilt ${}M_{i+1}=M_{i}L_{i+1}$. Nach Satz 20.7 (Körper- und Galoistheorie (Osnabrück 2018-2019)) ist ${}M_{i}\subseteq M_{i+1}$ ebenfalls galoissch, und es gilt die Untergruppenbeziehung

${}\operatorname {Gal} \,(M_{i+1}{|}M_{i})=\operatorname {Gal} \,(L_{i+1}{|}L_{i+1}\cap M_{i})\subseteq \operatorname {Gal} \,(L_{i+1}{|}L_{i})\,,$

sodass diese Galoisgruppen auch abelsch sind. Da die ${}m$-te primitive Einheitswurzel ${}\zeta$ zu ${}M_{0}$ gehört, sind die Erweiterungen ${}M_{i}\subseteq M_{i+1}$ allesamt Kummererweiterungen und damit nach Korollar 18.4 (Körper- und Galoistheorie (Osnabrück 2018-2019)) auch Radikalerweiterungen. Da auch ${}K\subseteq M_{0}=K(\zeta )$ eine (einfache) Radikalerweiterung ist, ist insgesamt ${}K\subseteq M$ eine Radikalerweiterung, die ${}L$ umfasst. Somit ist ${}K\subseteq L$ auflösbar.

Aufgabe (0 Punkte)

Lösung /Aufgabe/Lösung

Aufgabe (0 Punkte)

Lösung /Aufgabe/Lösung