Galoisgruppe

Sei ${\displaystyle F/K}$  (lies: „${\displaystyle F}$  über ${\displaystyle K}$ “) eine Körpererweiterung. Das heißt: ${\displaystyle K}$  und ${\displaystyle F}$  sind Körper und der Körper ${\displaystyle K}$  ist als Unterring in ${\displaystyle F}$  enthalten. Damit ist ${\displaystyle F}$  zugleich ein (nicht notwendig endlichdimensionaler) ${\displaystyle K}$ -Vektorraum.

In dieser Situation heißt die Gruppe aller Körperautomorphismen des Erweiterungskörpers ${\displaystyle F}$ , die den Grundkörper ${\displaystyle K}$  elementweise festlassen, die Galoisgruppe von ${\displaystyle F}$  über ${\displaystyle K}$  und wird mit ${\displaystyle \operatorname {Gal} (F/K)}$  bezeichnet, formal

${\displaystyle \operatorname {Gal} (F/K)=\lbrace \,\varphi \in \operatorname {Aut} (F)\mid \forall k\in K\colon \varphi (k)=k\,\rbrace }$ .

Dies kann auch so formuliert werden: Die Galoisgruppe von ${\displaystyle F}$  über ${\displaystyle K}$  besteht genau aus den Körperautomorphismen von ${\displaystyle F}$ , die zugleich Vektorraumendomorphismen von ${\displaystyle F}$  als ${\displaystyle K}$ -Vektorraum sind.

Sei ${\displaystyle K}$  ein Körper. Als Galoisgruppe des Polynoms ${\displaystyle f}$  im Polynomring ${\displaystyle K[x]}$  wird die Gruppe ${\displaystyle \operatorname {Gal} (F/K)}$  bezeichnet, wobei ${\displaystyle F}$  ein Zerfällungskörper des Polynoms ${\displaystyle f}$  ist. Man spricht in diesem Fall auch von dem Zerfällungskörper, da Zerfällungskörper – und damit die Galoisgruppe eines Polynoms – bis auf Isomorphie eindeutig bestimmt sind.

Der Zerfällungskörper ${\displaystyle F}$  eines Polynoms ist normal über dem Grundkörper ${\displaystyle K}$ . In diesem Fall ist die – hier endlichdimensionale – Körpererweiterung ${\displaystyle F/K}$  bereits dann galoissch, wenn die über ${\displaystyle K}$  irreduziblen Faktoren von ${\displaystyle f}$  separabel sind. Der Artikel Galoistheorie behandelt den Begriff der Galoisgruppe eines Polynoms, für diesen Fall genügt die unten genannte erste Fassung des Hauptsatzes – der Hauptsatz für endliche Galoiserweiterungen.

Besonders nützlich ist die Galoisgruppe, wenn die Körpererweiterung ${\displaystyle F/K}$  eine Galoiserweiterung (s. u.) ist. In der Literatur wird oft nur in diesem Falle von „Galoisgruppe“ gesprochen. Die in diesem Artikel verwendete Gruppe der ${\displaystyle K}$ -Automorphismen von ${\displaystyle F}$  wird dann mit ${\displaystyle \operatorname {Aut} _{K}(F)}$  bezeichnet.

• Die Galoisgruppe ist eine Untergruppe der Automorphismengruppe von ${\displaystyle F}$ .
• Ist die Körpererweiterung ${\displaystyle F/K}$  endlich, d. h. ist ${\displaystyle F}$  endlichdimensional über ${\displaystyle K}$ , so ist die Gruppenordnung von ${\displaystyle \operatorname {Gal} (F/K)}$  kleiner gleich dem Erweiterungsgrad ${\displaystyle [F\mathbin {:} K]}$ . In diesem Fall existiert für jedes Körperelement ${\displaystyle \alpha \in F}$  das Minimalpolynom ${\displaystyle f=m_{K,\alpha }}$  von ${\displaystyle \alpha }$  über ${\displaystyle K}$ . Ist ${\displaystyle F/K}$  eine endliche Galoiserweiterung, dann gilt ${\displaystyle |\operatorname {Gal} (F/K)|=[F\mathbin {:} K]}$ .
• Sei ${\displaystyle F}$  ein Zerfällungskörper des Polynoms ${\displaystyle f}$  über ${\displaystyle K}$ . Jeder Automorphismus aus der Galoisgruppe ${\displaystyle \operatorname {Gal} (F/K)}$  des Polynoms ${\displaystyle f}$  bildet eine Nullstelle von ${\displaystyle f}$  wieder auf eine Nullstelle ab. Die Galoisgruppe operiert also auf der Menge ${\displaystyle N=\lbrace \,u_{1},u_{2},\dots ,u_{n}\,\rbrace }$  der Nullstellen von ${\displaystyle f}$  im Körper ${\displaystyle F}$  als Permutationsgruppe und ist damit isomorph zu einer Untergruppe der symmetrischen Gruppe ${\displaystyle S_{n}}$ . Für ein separables, über ${\displaystyle K}$  irreduzibles Polynom ${\displaystyle f}$  ist diese Operation sogar transitiv, das heißt zu zwei verschiedenen Nullstellen ${\displaystyle u_{j}\neq u_{k}}$  gibt es ein Element ${\displaystyle \varphi }$  der Galoisgruppe, das ${\displaystyle u_{j}}$  auf ${\displaystyle u_{k}}$  abbildet: ${\displaystyle \varphi (u_{j})=u_{k}}$ .

Man kann jedem Zwischenkörper ${\displaystyle L}$  der Erweiterung ${\displaystyle F/K}$  die Untergruppe der Galoisgruppe ${\displaystyle G=\operatorname {Gal} (F/K)}$  zuordnen, deren Elemente ${\displaystyle L}$  elementweise fest lassen, und umgekehrt jeder Untergruppe ${\displaystyle H}$  von ${\displaystyle \operatorname {Gal} (F/K)}$  den Zwischenkörper, den sie fixiert. Nach Hungerford (1981) wird hier für beide Zuordnungen, die beide auch als Galoiskorrespondenz bezeichnet werden, die „Priming-Notation“ verwendet:

${\displaystyle L':=\operatorname {Gal} (F/L):=\lbrace \,\varphi \in \operatorname {Gal} (F/K)\mid \forall l\in L\colon \varphi (l)=l\,\rbrace }$ 

${\displaystyle H':=\lbrace \,f\in F\mid \forall \eta \in H\colon \eta (f)=f\,\rbrace }$ 

Für Zwischenkörper ${\displaystyle L}$  und ${\displaystyle M}$  der Erweiterung, Untergruppen ${\displaystyle H}$  und ${\displaystyle J}$  von ${\displaystyle G}$  gelten folgende Beziehungen, dabei bezeichnet ${\displaystyle 1}$  die triviale Gruppe:

1. ${\displaystyle F'=1}$  und ${\displaystyle K'=G}$ ,
2. ${\displaystyle 1'=F}$ ,
3. ${\displaystyle L\subseteq M\Rightarrow M'\leq L'}$ ,
4. ${\displaystyle H\leq J\Rightarrow J'\subseteq H'}$ ,
5. ${\displaystyle L\subseteq L''}$  und ${\displaystyle H\leq H''}$ ,
6. ${\displaystyle L'=L'''}$  und ${\displaystyle H'=H'''}$ .

Die Körpererweiterung ${\displaystyle F/K}$  heißt hier Galoiserweiterung, wenn sie normal und separabel ist. Dies ist genau dann der Fall, wenn ${\displaystyle G'=K}$  gilt, wenn also die Galoisgruppe außer dem Grundkörper keine weiteren Elemente von ${\displaystyle F}$  fixiert. Da in allen Fällen ${\displaystyle K'=G}$  gilt, ist die Erweiterung genau dann galoissch, wenn ${\displaystyle K=K''}$  ist. Dieselbe Bedingung gilt für Zwischenkörper ${\displaystyle L}$ : Die Erweiterung ${\displaystyle F/L}$  ist genau dann eine Galoiserweiterung, wenn ${\displaystyle L=L''}$  gilt. Die Begriffe normal und separabel werden im Artikel Körpererweiterung unabhängig von den hier verwendeten Zuordnungen definiert. Dort wird im Abschnitt Galoiserweiterung dieselbe für den Fall definiert, dass die Erweiterung algebraisch ist. Die hier verwendete Definition lässt nach Emil Artin und Hungerford (1981) auch nicht algebraische Erweiterungen zu.

Nach Hungerford (1981) heißt eine Untergruppe ${\displaystyle X}$  der Galoisgruppe oder ein Zwischenkörper ${\displaystyle X}$  der Erweiterung abgeschlossen, wenn ${\displaystyle X=X''}$  gilt.

• Alle Objekte ${\displaystyle X=Y'}$ , die als Bilder der oben beschriebenen Korrespondenzen auftreten, sind abgeschlossen (nach 6.).
• Die triviale Untergruppe ${\displaystyle 1}$ , ${\displaystyle G}$  und ${\displaystyle F}$  sind abgeschlossen.
• Die Erweiterung ${\displaystyle F/K}$  ist genau dann eine Galoiserweiterung, wenn ${\displaystyle K}$  abgeschlossen ist.

Mit den am Anfang des Abschnitts vereinbarten Bezeichnungen gilt:

• Wenn ${\displaystyle L}$  abgeschlossen ist und ${\displaystyle [M\mathbin {:} L]}$  endlich ist, dann ist ${\displaystyle M}$  abgeschlossen und es gilt ${\displaystyle [L'\mathbin {:} M']=[M\mathbin {:} L]}$ .
• Wenn ${\displaystyle H}$  abgeschlossen ist und ${\displaystyle [J\mathbin {:} H]}$  endlich ist, dann ist ${\displaystyle J}$  abgeschlossen und ${\displaystyle [H'\mathbin {:} J']=[J\mathbin {:} H]}$ .
• Speziell gilt (für ${\displaystyle H=1}$ ): Jede endliche Untergruppe der Galoisgruppe ist abgeschlossen.
• Wenn ${\displaystyle F}$  eine endlichdimensionale Galoiserweiterung von ${\displaystyle K}$  ist, dann sind alle Zwischenkörper und alle Untergruppen der Galoisgruppe abgeschlossen und die Galoisgruppe hat die Ordnung ${\displaystyle [F\mathbin {:} K]}$ .

Ist ${\displaystyle F}$  eine endlichdimensionale Galoiserweiterung von ${\displaystyle K}$ , dann vermittelt die Galoiskorrespondenz eine Bijektion zwischen der Menge der Zwischenkörper und der Menge der Untergruppen der Galoisgruppe. Diese Korrespondenz bildet den Teilmengenverband der Zwischenkörper (mit der Ordnung ${\displaystyle \subset }$ ) auf den Verband der Untergruppen (mit der Ordnung ${\displaystyle >}$ ) ordnungstreu ab, wobei die Teilmengenbeziehung umgekehrt wird. Dabei gilt:

1. Die relative Dimension von zwei Zwischenkörpern ist gleich dem relativen Index der korrespondierenden Untergruppen.
2. ${\displaystyle F}$  ist galoissch über jedem Zwischenkörper ${\displaystyle L}$ . Die Galoisgruppe ${\displaystyle \operatorname {Gal} (F/L)}$  stimmt mit der Untergruppe ${\displaystyle L'}$  überein.
3. Ein Zwischenkörper ${\displaystyle L}$  ist galoissch über ${\displaystyle K}$  genau dann, wenn die korrespondierende Untergruppe ${\displaystyle L'}$  ein Normalteiler der Galoisgruppe ${\displaystyle G=\operatorname {Gal} (F/K)}$  ist. In diesem Fall ist die Faktorgruppe ${\displaystyle G/L'}$  isomorph zur Galoisgruppe ${\displaystyle \operatorname {Gal} (L/K)}$  des Körpers ${\displaystyle L}$  über ${\displaystyle K}$ .

Ist ${\displaystyle F}$  eine algebraische, nicht notwendig endlichdimensionale Galoiserweiterung von ${\displaystyle K}$ , dann vermittelt die Galoiskorrespondenz eine Bijektion zwischen der Menge aller Zwischenkörper und der Menge der abgeschlossenen Untergruppen der Galoisgruppe. Diese Korrespondenz bildet den Teilmengenverband der Zwischenkörper (mit der Ordnung ${\displaystyle \subset }$ ) auf den Verband der abgeschlossenen Untergruppen (mit der Ordnung ${\displaystyle >}$ ) ordnungstreu ab, wobei die Teilmengenbeziehung umgekehrt wird. Dabei gilt:

1. ${\displaystyle F}$  ist galoissch über jedem Zwischenkörper ${\displaystyle L}$ . Die Galoisgruppe ${\displaystyle \operatorname {Gal} (F/L)}$  stimmt mit der Untergruppe ${\displaystyle L'}$  überein.
2. Ein Zwischenkörper ${\displaystyle L}$  ist galoissch über ${\displaystyle K}$  genau dann, wenn die korrespondierende Untergruppe ${\displaystyle L^{\prime }}$  ein Normalteiler der Galoisgruppe ${\displaystyle G=\operatorname {Gal} (F/K)}$  ist. In diesem Fall ist die Faktorgruppe ${\displaystyle G/L'}$  isomorph zur Galoisgruppe ${\displaystyle \operatorname {Gal} (L/K)}$  des Körpers ${\displaystyle L}$  über ${\displaystyle K}$ .

• Die komplexen Zahlen sind ein Körper und enthalten den Körper der reellen Zahlen. Also ist ${\displaystyle \mathbb {C} /\mathbb {R} }$  eine Körpererweiterung. Da ${\displaystyle \mathbb {C} }$  ein Vektorraum der Dimension 2 über ${\displaystyle \mathbb {R} }$  ist (${\displaystyle (1,\mathrm {i} )}$  ist eine Basis), gilt ${\displaystyle [\mathbb {C} \mathbin {:} \mathbb {R} ]=2}$ . Die Galoisgruppe enthält die Identität und die komplexe Konjugation. Die Wurzelmenge des Minimalpolynoms ${\displaystyle f=X^{2}+1}$  ist ${\displaystyle \lbrace \,\mathrm {i} ,-\mathrm {i} \,\rbrace }$ . Die Identität bildet diese beiden Elemente wieder auf sich selbst ab, während sie von der komplexen Konjugation permutiert werden. Also ist die Galoisgruppe eingeschränkt auf die Wurzelmenge isomorph zur symmetrischen Gruppe ${\displaystyle S_{2}}$ .
• Weitere ausführliche Beispiele für die Berechnung einer Galoisgruppe:
  • als Gruppe von Permutationen,
  • als Gruppe von Körperautomorphismen,
  • mit Hilfe des Satzes vom primitiven Element,
  • zu einer algebraischen Gleichung mittels deren Galois-Resolvente und im Fall ganzzahliger Koeffizienten mit genügend genauen numerischen Näherungen der Lösungen.
• Sei ${\displaystyle F=K(x)}$  der Körper der rationalen Funktionen ${\displaystyle \rho }$  über ${\displaystyle K}$ . Dann ist für jede Zahl ${\displaystyle a\in K\setminus \{0\}}$  die durch ${\displaystyle \varphi _{a}\colon \rho (x)\mapsto \rho (ax)}$  definierte Abbildung ein ${\displaystyle K}$ -Automorphismus. Ist der Körper ${\displaystyle K}$  unendlich, so gibt es unendlich viele dieser Automorphismen und die Galoisgruppe ${\displaystyle G=\operatorname {Gal} (F/K)}$  ist eine unendliche Gruppe. Ist das Element ${\displaystyle a\neq 0}$  selbst keine Einheitswurzel, dann ist die von dem Automorphismus ${\displaystyle \varphi _{a}}$  erzeugte Untergruppe von ${\displaystyle G}$  nicht abgeschlossen.
• Der Körper der reellen Zahlen lässt keine nichttrivialen Automorphismen zu, denn seine Anordnung ist eine algebraische Invariante: Es ist ${\displaystyle r\leq s}$  für zwei reelle Zahlen genau dann, wenn ${\displaystyle s-r}$  ein Quadrat ist. Daher ist der Körper der reellen Zahlen über keinem seiner echten Teilkörper galoissch, dasselbe gilt für den Körper der reellen algebraischen Zahlen.
• Allgemeiner trifft das auf alle euklidischen Körper zu: die Galoisgruppe eines euklidischen Körpers über einem seiner Teilkörper ist immer die triviale Gruppe.

Das folgende ausführliche Beispiel zeigt am Polynom ${\displaystyle f(x)=x^{3}-2}$ , wie mit Hilfe der Galoisgruppe Zwischenkörper bestimmt werden können.

Der von der reellen Zahl ${\displaystyle \xi _{1}={\sqrt[{3}]{2}}}$  über ${\displaystyle \mathbb {Q} }$  erzeugte Zahlkörper ${\displaystyle L_{1}=\mathbb {Q} \left({\sqrt[{3}]{2}}\right)}$  hat als Galoisgruppe die triviale Gruppe, da keine weiteren Nullstellen des Minimalpolynoms ${\displaystyle f(x)=x^{3}-2}$  von ${\displaystyle \xi _{1}}$  im (reellen!) Zahlkörper ${\displaystyle L_{1}}$  liegen. Diese Erweiterung ist also nicht galoissch. Ihr Grad ist 3, da ${\displaystyle L_{1}}$  isomorph zu dem Faktorring ${\displaystyle \mathbb {Q} (x)/(f)}$  ist (siehe Faktorring). Dasselbe gilt für die beiden Zahlkörper ${\displaystyle L_{2}=\mathbb {Q} (\xi _{2})}$  und ${\displaystyle L_{3}=\mathbb {Q} (\xi _{3})}$ , die von den beiden nichtreellen Wurzeln ${\displaystyle \xi _{2}={\sqrt[{3}]{2}}\cdot \exp \left({\frac {2\pi \mathrm {i} }{3}}\right)}$  und ${\displaystyle \xi _{3}={\sqrt[{3}]{2}}\cdot \exp \left({\frac {4\pi \mathrm {i} }{3}}\right)}$  von ${\displaystyle f}$  über ${\displaystyle \mathbb {Q} }$  erzeugt werden. Alle drei Körper sind isomorphe Zwischenkörper des Zerfällungskörpers ${\displaystyle F}$  des Polynoms ${\displaystyle f}$ .

Da der Grundkörper ${\displaystyle \mathbb {Q} }$  als Körper mit der Charakteristik 0 perfekt ist, ist der gesuchte Zerfällungskörper ${\displaystyle F=\mathbb {Q} (\xi _{1},\xi _{2},\xi _{3})}$  eine Galoiserweiterung von ${\displaystyle \mathbb {Q} }$  und die Galoisgruppe ${\displaystyle G}$  muss transitiv auf den Nullstellen von ${\displaystyle f}$  operieren. Die einzige echte Untergruppe der symmetrischen Gruppe ${\displaystyle S_{3}}$ , die transitiv auf ${\displaystyle \lbrace \,1,2,3\,\rbrace }$  operiert, ist der von dem 3-Zyklus ${\displaystyle (1,2,3)}$  erzeugte Normalteiler der ${\displaystyle S_{3}}$ , die alternierende Gruppe ${\displaystyle A_{3}}$ . Da wir bereits drei echte Zwischenkörper identifiziert haben und die ${\displaystyle A_{3}}$  keine echten Untergruppen hat, kann es sich noch nicht um die volle Galoisgruppe handeln. Diese kann also nur die volle symmetrische Gruppe sein, es gilt also

${\displaystyle \operatorname {Gal} (F/\mathbb {Q} )=S_{3}}$ .

Neben den Zwischenkörpern, die wir schon identifiziert haben, muss noch ein normaler Zwischenkörper ${\displaystyle E}$  vorhanden sein, der zweidimensional über ${\displaystyle \mathbb {Q} }$  ist (Index von ${\displaystyle A_{3}}$ ). Dieser bleibt fix unter zyklischen Vertauschungen der Nullstellen, das trifft nur auf den Kreisteilungskörper der dritten Einheitswurzeln zu, der durch die Einheitswurzel ${\displaystyle \omega =\exp \left({\frac {2\pi \mathrm {i} }{3}}\right)={\frac {\xi _{2}}{\xi _{1}}}={\frac {\xi _{3}}{\xi _{2}}}={\frac {\xi _{1}}{\xi _{3}}}}$  erzeugt wird. Alle Ergebnisse werden in dem Diagramm unten gezeigt.

 

Die Zwischenkörper können nun unter anderem dazu verwendet werden, verschiedene Darstellungen des Zerfällungskörpers zu gewinnen:

• ${\displaystyle F=\mathbb {Q} (\xi _{1},\xi _{2},\xi _{3})}$ , dies folgt – ganz ohne Galoistheorie – aus seiner Definition als Zerfällungskörper.
• ${\displaystyle F=\mathbb {Q} (\xi _{1},\xi _{2})}$ : Dass zwei Nullstellen zur Erzeugung genügen, folgt aus der Tatsache, dass zwischen den Körpern, die durch eine Nullstelle erzeugt werden und ${\displaystyle F}$  keine weiteren Körper liegen.
• ${\displaystyle F=E(\xi _{1})=\mathbb {Q} (\omega ,\xi _{1})}$ : Hier wird die (in diesem Fall einzige maximale) Subnormalreihe der Galoisgruppe nachgebildet (in der Graphik der Pfad rechts außen). Die relativen Erweiterungen in ${\displaystyle \mathbb {Q} \subset E\subset E(\xi _{1})}$  sind alle galoissch und ihre Galoisgruppen sind einfache abelsche Gruppen.
• ${\displaystyle F}$  lässt sich auch als einfache Körpererweiterung darstellen: ${\displaystyle \omega +\xi _{1}}$  ist sicher ein Element von ${\displaystyle F}$  und wird von keinem nichttrivialen Element der Galoisgruppe fixiert. Daher ist ${\displaystyle F=\mathbb {Q} (\omega +\xi _{1})}$ .

Natürlich können in allen genannten Darstellungen die Nullstellen ${\displaystyle \xi _{k}}$  beliebig ausgetauscht werden.

• Thomas W. Hungerford: Algebra. 5. Auflage. Springer, 1989, ISBN 0-387-90518-9.