Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Vorlesung 16/kontrolle

Die Galoiskorrespondenz

Der folgende Satz heißt auch Hauptsatz der Galoistheorie oder Satz über die Galoiskorrespondenz. Er stiftet eine unmittelbare Beziehung zwischen den Zwischenkörpern einer endlichen Galoiserweiterung und Untergruppen der Galoisgruppe. Er bildet die Grundlage dafür, gruppentheoretische Aussagen auf Körpererweiterungen anzuwenden.

Satz Satz 16.1 ändern

Es sei ${}K\subseteq L$ eine endliche Galoiserweiterung mit der Galoisgruppe ${}G=\operatorname {Gal} \,(L{|}K)$.

Dann sind die Zuordnungen

$M\longmapsto \operatorname {Gal} \,(L{|}M){\text{ und }}H\longmapsto \operatorname {Fix} \,(H)$

zueinander inverse Abbildungen zwischen der Menge der Zwischenkörper ${}M$, ${}K\subseteq M\subseteq L$, und der Menge der Untergruppen von ${}G$.

Bei dieser Korrespondenz werden die Inklusionen umgekehrt.

Beweis

Diese Abbildungen sind wohldefiniert und kehren nach Lemma 15.3 die Inklusion um. Es sei ${}M$ ein Zwischenkörper. Nach Korollar 15.7 ist ${}M\subseteq L$ eine Galoiserweiterung, also ist ${}\operatorname {Fix} \,(\operatorname {Gal} \,(L{|}M))=M$ nach Satz 15.6.
Es sei nun ${}H$ vorgegeben mit dem Fixkörper ${}M=\operatorname {Fix} \,(H)$. Nach dem Satz von Artin ist ${}M\subseteq L$ eine Galoiserweiterung mit Galoisgruppe ${}H=\operatorname {Gal} \,(L{|}M)$.

$\Box$

Für einen Automorphismus ${}\varphi \in \operatorname {Gal} \,(L{|}K)$ und einen Zwischenkörper ${}M$, ${}K\subseteq M\subseteq L$, ist ${}M'=\varphi (M)$ wieder ein Zwischenkörper, der zu ${}M$ ${}K$- isomorph ist. Zwischen den zugehörigen Galoisgruppen ${}\operatorname {Gal} \,(L{|}M)$ und ${}\operatorname {Gal} \,(L{|}M')$ gilt die folgende Beziehung.

Satz Referenznummer erstellen

Es sei ${}K\subseteq L$ eine endliche Galoiserweiterung und sei ${}M$, ${}K\subseteq M\subseteq L$, ein Zwischenkörper. Es sei ${}\psi \in G=\operatorname {Gal} \,(L{|}K)$ und ${}M'=\psi (M)$.

Dann gilt in der Galoisgruppe ${}G$ die Beziehung

${}\operatorname {Gal} \,(L{|}M')=\psi \operatorname {Gal} \,(L{|}M)\psi ^{-1}\,.$

Beweis

Es sei ${}\varphi \in \operatorname {Gal} \,(L{|}M')$. Wir schreiben ${}\varphi =\psi {\left(\psi ^{-1}\varphi \psi \right)}\psi ^{-1}$ und müssen zeigen, dass ${}\psi ^{-1}\varphi \psi$ zu ${}\operatorname {Gal} \,(L{|}M)$ gehört. Es sei dazu ${}x\in M$. Dann ist ${}{\left(\psi ^{-1}\varphi \psi \right)}(x)=\psi ^{-1}(\varphi (\psi (x)))$. Dabei gehört ${}\psi (x)\in M'$ und somit ist ${}\varphi (\psi (x))=\psi (x)$. Also ist

${}\psi ^{-1}(\varphi (\psi (x)))=\psi ^{-1}(\psi (x))=x\,.$

Die umgekehrte Inklusion ergibt sich genauso bzw. folgt direkt daraus, dass beide Gruppen die gleiche Anzahl besitzen.

$\Box$

Korollar Korollar 16.3 ändern

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

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.

Beweis

Siehe Aufgabe 16.11.

$\Box$

Wir wissen nach Korollar 15.7, dass bei einer Galoiserweiterung ${}K\subseteq L$ und einem Zwischenkörper ${}K\subseteq M\subseteq L$ auch die hintere Erweiterung ${}M\subseteq L$ galoissch ist. Die Erweiterung ${}K\subseteq M$ muss hingegen nicht galoisch sein, vielmehr liefert die folgende Aussage ein Kriterium.

Satz Satz 16.4 ändern

Es sei ${}K\subseteq L$ eine endliche Galoiserweiterung und ${}M$, ${}K\subseteq M\subseteq L$, ein Zwischenkörper. Dann gelten folgende Aussagen.

1. Die Körpererweiterung ${}K\subseteq M$ ist genau dann eine Galoiserweiterung, wenn die Untergruppe ${}\operatorname {Gal} \,(L{|}M)\subseteq \operatorname {Gal} \,(L{|}K)$ ein Normalteiler ist.
2. Sei ${}K\subseteq M$ eine Galoiserweiterung. Dann besteht zwischen den Galoisgruppen die natürliche Restklassenbeziehung

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

   Bei dieser Zuordnung wird ein Automorphismus ${}\varphi \in \operatorname {Gal} \,(L{|}K)$ auf ${}M$ eingeschränkt.

Beweis

(1). Da die Körpererweiterung ${}K\subseteq M$ separabel ist, muss aufgrund von Satz 15.6 nur die Normalität betrachtet werden. Nach Satz 14.3  (4) ist die Körpererweiterung ${}K\subseteq M$ genau dann normal, wenn jeder ${}K$- Automorphismus von ${}L$ den Unterkörper ${}M$ in sich selbst überführt. Dies ist wegen Korollar 16.3 genau dann der Fall, wenn ${}\operatorname {Gal} \,(L{|}M)$ unter jeder Konjugation auf sich selbst abgebildet wird, also nach Lemma 5.4 ein Normalteiler ist.
(2). Es sei nun ${}K\subseteq M$ normal. Dann ist ${}\varphi (M)=M$ für jedes ${}\varphi \in \operatorname {Gal} \,(L{|}K)$ und somit gibt es eine natürliche Abbildung

$\operatorname {Gal} \,(L{|}K)\longrightarrow \operatorname {Gal} \,(M{|}K),\,\varphi \longmapsto \varphi {|}_{M}.$

Diese ist offensichtlich ein Gruppenhomomorphismus. Aufgrund von Satz 14.3 gibt es für einen Automorphismus ${}\psi \in \operatorname {Gal} \,(M{|}K)$ eine Fortsetzung zu einem Automorphismus ${}{\tilde {\psi }}\in \operatorname {Gal} \,(L{|}K)$. Daher ist der Gruppenhomomorphismus surjektiv. Der Kern davon ist offenbar ${}\operatorname {Gal} \,(L{|}M)$, sodass sich die behauptete Isomorphie aus Korollar 5.11 ergibt.

$\Box$

Beispiele zur Galoiskorrespondenz

Die zuletzt genannte Aussage ist natürlich im Fall, dass eine Galoiserweiterung mit abelscher Galoisgruppe vorliegt, unmittelbar anwendbar. In dieser Situation ist also jeder Zwischenkörper über dem Grundkörper galoissch.

Beispiel Referenznummer erstellen

Es sei ${}{\mathbb {F} }_{p}\subseteq {\mathbb {F} }_{q}$ mit ${}q=p^{n}$ eine Körpererweiterung endlicher Körper. Nach Satz 15.10 ist dies eine Galoiserweiterung mit zyklischer Galoisgruppe der Ordnung ${}n$, die vom Frobeniushomomorphismus ${}\Phi$ erzeugt wird. Die Galoisgruppe ist also isomorph zu ${}\mathbb {Z} /(n)$. Die Untergruppen von ${}\mathbb {Z} /(n)$ sind von der Form

${}H=\langle m\rangle =\{0,m,2m,\ldots ,(k-1)m\}\,$

mit einem Teiler ${}m$ von ${}n$, wobei ${}k={\frac {n}{m}}$ die Ordnung der Untergruppe ist. Der zugehörige Fixkörper ist der Fixkörper zu ${}\Phi ^{m}$, der nach Korollar 15.11 isomorph zu ${}{\mathbb {F} }_{p^{m}}$ ist, und ${}H$ ist die Galoisgruppe von ${}{\mathbb {F} }_{p^{m}}\subseteq {\mathbb {F} }_{p^{n}}$.

Zu jeder Untergruppe ${}H=\langle m\rangle$ gibt es die Restklassenabbildung

$\mathbb {Z} /(n)\longrightarrow (\mathbb {Z} /(n))/H\cong \mathbb {Z} /({m}).$

Gemäß Satz 16.4 ist die Restklassengruppe dabei die Galoisgruppe von ${}{\mathbb {F} }_{p}\subseteq {\mathbb {F} }_{p^{m}}$, und der Frobenius ${}\Phi$ von ${}{\mathbb {F} }_{p^{n}}$ wird dabei auf den Frobenius von ${}{\mathbb {F} }_{p^{m}}$ eingeschränkt.

Insbesondere hängen die Anzahl und die Inklusionsbeziehungen der Zwischenkörper von ${}{\mathbb {F} }_{p}\subseteq {\mathbb {F} }_{p^{n}}$ nur von ${}n$ und nicht von der Primzahl ab.

Proposition Proposition 16.6 ändern

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.

Dann ist jeder Zwischenkörper ${}M$, ${}K\subseteq M\subseteq L$, von der Form ${}M=\bigoplus _{d\in E}L_{d}$ mit einer eindeutig bestimmten Untergruppe ${}E\subseteq D$.

Beweis

Die Körpererweiterung ${}K\subseteq L$ ist nach Satz 13.9 eine Galoiserweiterung mit Galoisgruppe ${}G=\operatorname {Char} \,(D,K)$. Da ${}K$ hinreichend viele Einheitswurzeln besitzt, entsprechen sich die Untergruppen von ${}D$ und von ${}G$ über die Charakter-Korrespondenz

$E\longmapsto E^{\perp }={\left\{\chi \in G\mid \chi (d)=1{\text{ für alle }}d\in E\right\}}$

und

$H\longmapsto H^{\perp }={\left\{d\in D\mid \chi (d)=1{\text{ für alle }}\chi \in H\right\}}.$

Zu jeder Untergruppe ${}E\subseteq D$ ist ${}\bigoplus _{d\in E}L_{d}$ ein Zwischenkörper. Da wegen der Galoiskorrespondenz die Anzahl der Zwischenkörper mit der Anzahl der Untergruppen der Galoisgruppe, und diese mit der Anzahl der Untergruppen in ${}D$ übereinstimmt, ist jeder Zwischenkörper von dieser Form und insbesondere graduiert.

$\Box$

Zu einer Untergruppe ${}H\subseteq G$ ist dabei

${}\operatorname {Fix} \,(H)=\bigoplus _{d\in H^{\perp }}L_{d}\,,$

und zu einem Unterkörper ${}M=L_{E}=\bigoplus _{d\in E}L_{d}$ ist

${}\operatorname {Gal} \,(L{|}M)=E^{\perp }={\left\{\chi \in D^{\vee }\mid \chi (d)=1{\text{ für alle }}d\in E\right\}}\,.$

Die Galoisgruppe von

${}M=L_{E}\,$

über ${}K$ ist gleich

${}\operatorname {Gal} \,(M{|}K)=E^{\vee }=D^{\vee }/E^{\perp }\,.$

Die bijektive Beziehung zwischen Zwischenkörpern und Untergruppen der graduierenden Gruppe im Galoisfall wird manchmal auch als Kogaloiskorrespondenz bezeichnet. Bei ihr werden Inklusionen erhalten und drehen sich nicht wie bei der Galoiskorrespondenz um (bei der Bijektion zwischen Untergruppen und ihrem Charakterdual drehen sich die Inklusionen um).

Beispiel Referenznummer erstellen

Wir knüpfen an Beispiel 9.14 an. Aufgrund von Satz 13.9 liegt eine Galoiserweiterung vor. Die graduierende Gruppe ist ${}D=\mathbb {Z} /(2)\times \mathbb {Z} /(2)$. Neben der trivialen Untergruppe und ${}D$ selbst gibt es noch die drei Untergruppen ${}\{(0,0),(1,0)\},\,\{(0,0),(0,1)\},\,\{(0,0),(1,1)\}$, die den Zwischenkörpern

$\mathbb {Q} ,\,\mathbb {Q} ({\sqrt {2}}),\,\mathbb {Q} ({\sqrt {3}}),\,\mathbb {Q} ({\sqrt {6}}),\,L$

entsprechen. Wegen Proposition 16.6 gibt es keine weiteren Zwischenkörper. Die Galoisgruppe ist ${}G=D^{\vee }\cong \mathbb {Z} /(2)\times \mathbb {Z} /(2)$ nach Satz 13.9. Zur Untergruppe ${}E=\{(0,0),(1,0)\}\subseteq D$ gehört dabei ${}E^{\perp }$ (das der Galoisgruppe $\operatorname {Gal} \,(L_{E}{|}\mathbb {Q} )$ entspricht), das aus dem konstanten Charakter und der Abbildung

$\chi \colon D\longrightarrow \mathbb {Q} ^{\times }$

besteht, die ${}E$ auf ${}1$ und ${}D\setminus E$ auf ${}-1$ abbildet. Dazu gehört wiederum der durch

$1\longmapsto 1,\,{\sqrt {2}}\longmapsto {\sqrt {2}},\,{\sqrt {3}}\longmapsto -{\sqrt {3}},\,{\sqrt {6}}\longmapsto -{\sqrt {6}}$

festgelegte ${}\mathbb {Q}$-Automorphismus ${}\varphi$.

Beispiel Beispiel 16.8 ändern

Wir betrachten die ${}\mathbb {Z} /(6)$- graduierte Körpererweiterung

${}\mathbb {Q} \subseteq L=\mathbb {Q} [{\sqrt[{3}]{2}},{\sqrt {-3}}]=\mathbb {Q} [{\sqrt[{6}]{-108}}]=\mathbb {Q} [X]/(X^{6}+108)\,.$

Die Graduierung ist durch ${}L_{i}=\mathbb {Q} \cdot x^{i}$ mit ${}x={\sqrt[{6}]{-108}}={\sqrt[{3}]{2}}\cdot {\sqrt {-3}}$ gegeben. Es ist ${}{\sqrt {-3}}=-{\frac {1}{6}}x^{3}$ und ${}{\sqrt[{3}]{2}}={\frac {1}{18}}x^{4}$. Da es in ${}\mathbb {Q}$ keine primitive dritte Einheitswurzel gibt, ist ${}\operatorname {Char} \,(\mathbb {Z} /(6),\mathbb {Q} ^{\times })\cong \mathbb {Z} /(2)$ und daher gibt es nur zwei homogene Automorphismen (somit ist dies auch keine Kummererweiterung.). Dennoch handelt es sich um eine Galoiserweiterung. Zunächst gehört

${}\zeta _{3}={\frac {-1+{\sqrt {-3}}}{2}}={\frac {-6-x^{3}}{12}}\,$

zu ${}L$ und es ist ${}\mathbb {Q} (\zeta _{3})=\mathbb {Q} ({\sqrt {-3}})=L_{0}\oplus L_{3}$. Ein weiterer (mit der Graduierung verträglicher) Zwischenkörper ist ${}\mathbb {Q} {\left({\sqrt[{3}]{2}}\right)}=L_{0}\oplus L_{2}\oplus L_{4}$. Die durch ${}x^{i}\mapsto (-1)^{i}x^{i}$ gegebene Abbildung ist ein homogener Automorphismus ${}\varphi$ mit ${}\varphi ^{2}=\operatorname {Id}$. Aber auch die Zuordnung ${}x^{i}\mapsto (\zeta _{3})^{i}x^{i}$ definiert einen (nicht-homogenen) Automorphismus ${}\psi$ mit ${}\psi ^{3}=\operatorname {Id}$. Es gibt also insgesamt ${}6$ Automorphismen und daher liegt eine Galoiserweiterung vor. Dabei ist

${}(\varphi \circ \psi )(x)=\varphi (\psi (x))=\varphi {\left(\zeta _{3}x\right)}=\varphi {\left({\frac {-6x-x^{4}}{12}}\right)}={\frac {6x-x^{4}}{12}}\,$

und

${}(\psi \circ \varphi )(x)=\psi (\varphi (x))=\psi (-x)=-\psi (x)=-{\frac {-6x-x^{4}}{12}}={\frac {6x+x^{4}}{12}}\,.$

Daher ist die Galoisgruppe nicht kommutativ, und es muss ${}\operatorname {Gal} \,(L{|}\mathbb {Q} )=S_{3}$ sein. Der Körper ${}\psi {\left(\mathbb {Q} {\left({\sqrt[{3}]{2}}\right)}\right)}$ ist ein nichthomogener Zwischenkörper.

Fußnoten

<< | Kurs:Körper- und Galoistheorie (Osnabrück 2011) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)