Galoistheorie
Die Galoistheorie ist ein Teilgebiet der Algebra. In klassischer Sicht beschäftigt sich die Galoistheorie mit den Symmetrien der Nullstellen von Polynomen. Diese Symmetrien können grundsätzlich durch Gruppen von Permutationen, also Untergruppen der symmetrischen Gruppe, beschrieben werden. Évariste Galois entdeckte, dass diese Symmetrien Aussagen über die Lösbarkeit der Gleichung erlauben. In moderner Sicht werden Körpererweiterungen mit Hilfe ihrer Galoisgruppe untersucht.
Die Galoistheorie hat viele Anwendungen bei klassischen Problemen, wie etwa
- „Welche regelmäßigen Polygone lassen sich mit Zirkel und Lineal konstruieren?“,
- „Warum kann ein Winkel nicht dreigeteilt werden?“ (wieder nur mit Zirkel und Lineal),
- „Warum kann zu einem Würfel nicht die Seite eines Würfels mit doppeltem Volumen konstruiert werden?“ (auch „Delisches Problem (der Kubusverdopplung)“ genannt),
- „Warum kann man zu einem Kreis kein Quadrat mit gleichem Flächeninhalt konstruieren, das heißt, warum ist die Quadratur des Kreises mit Zirkel und Lineal unmöglich?“ und
- „Warum gibt es keine allgemeingültige Formel zur Berechnung der Nullstellen von Polynomen fünften oder höheren Grades, die nur mit den vier Grundrechenarten und Wurzelziehen auskommt?“ (Der Satz von Abel-Ruffini).
Klassische Definition einer Galoisgruppe
Eine „Symmetrie der Nullstellen von Polynomen“ ist eine Permutation der Nullstellen, so dass jede algebraische Gleichung über diesen Nullstellen auch dann noch gültig ist, nachdem man die Nullstellen mittels der Permutation vertauscht hat. Diese Permutationen bilden eine Gruppe. Abhängig von den Koeffizienten, die in den algebraischen Gleichungen erlaubt sind, ergeben sich unterschiedliche Permutationen. Durch Untersuchen dieser algebraischen Gleichungen und Permutationen lässt sich die Galoisgruppe eines Polynoms bestimmen.
Galois selbst beschrieb eine Methode, mit der eine einzelne von den Nullstellen erfüllte Gleichung konstruiert werden kann (die sog. Galois-Resolvente), so dass die Galois-Gruppe aus den Symmetrien dieser einen Gleichung besteht.
Bestimmung der Galoisgruppe über alle Permutationen im Ausschlussverfahren
Die Galoisgruppe des Polynoms <math>\left(x^2 - 5\right)^2 - 24</math> soll über dem Körper der rationalen Zahlen bestimmt werden. Durch zweifaches Wurzelziehen, zusammen mit der Beziehung <math>5 \pm 2\sqrt{6} = (\sqrt{2} \pm \sqrt{3})^2</math>, ergeben sich die Nullstellen, die selbst keine rationalen Zahlen sind:
- <math>x_1 = +\sqrt{2} + \sqrt{3}</math> ,
- <math>x_2 = +\sqrt{2} - \sqrt{3}</math> ,
- <math>x_3 = -\sqrt{2} + \sqrt{3}</math> ,
- <math>x_4 = -\sqrt{2} - \sqrt{3}</math> .
Es gibt <math>4! = 24</math> Möglichkeiten, diese vier Nullstellen zu permutieren (zu vertauschen):
| Nr. | Permutation | Nr. | Permutation | Nr. | Permutation | Nr. | Permutation |
|---|---|---|---|---|---|---|---|
| 1 | <math>\left(x_1,x_2,x_3,x_4\right)</math> | 7 | <math>\left(x_2,x_1,x_3,x_4\right)</math> | 13 | <math>\left(x_3,x_1,x_2,x_4\right)</math> | 19 | <math>\left(x_4,x_1,x_2,x_3\right)</math> |
| 2 | <math>\left(x_1,x_2,x_4,x_3\right)</math> | 8 | <math>\left(x_2,x_1,x_4,x_3\right)</math> | 14 | <math>\left(x_3,x_1,x_4,x_2\right)</math> | 20 | <math>\left(x_4,x_1,x_3,x_2\right)</math> |
| 3 | <math>\left(x_1,x_3,x_2,x_4\right)</math> | 9 | <math>\left(x_2,x_3,x_1,x_4\right)</math> | 15 | <math>\left(x_3,x_2,x_1,x_4\right)</math> | 21 | <math>\left(x_4,x_2,x_1,x_3\right)</math> |
| 4 | <math>\left(x_1,x_3,x_4,x_2\right)</math> | 10 | <math>\left(x_2,x_3,x_4,x_1\right)</math> | 16 | <math>\left(x_3,x_2,x_4,x_1\right)</math> | 22 | <math>\left(x_4,x_2,x_3,x_1\right)</math> |
| 5 | <math>\left(x_1,x_4,x_2,x_3\right)</math> | 11 | <math>\left(x_2,x_4,x_1,x_3\right)</math> | 17 | <math>\left(x_3,x_4,x_1,x_2\right)</math> | 23 | <math>\left(x_4,x_3,x_1,x_2\right)</math> |
| 6 | <math>\left(x_1,x_4,x_3,x_2\right)</math> | 12 | <math>\left(x_2,x_4,x_3,x_1\right)</math> | 18 | <math>\left(x_3,x_4,x_2,x_1\right)</math> | 24 | <math>\left(x_4,x_3,x_2,x_1\right)</math> |
Aber nicht alle diese Permutationen gehören auch zur Galoisgruppe. Dies liegt daran, dass alle algebraischen Gleichungen mit ausschließlich rationalen Koeffizienten, die die Variablen <math>x_1</math>, <math>x_2</math>, <math>x_3</math> und <math>x_4</math> enthalten, auch unter den Permutationen der Galoisgruppe ihre Gültigkeit bewahren müssen. Betrachtet man beispielsweise
- <math>x_1 + x_4 = 0</math>,
so ist diese Gleichung nicht für alle Vertauschungen der Nullstellen erfüllt. Unter der Permutation, die <math>x_1</math> und <math>x_2</math> gleich lässt und <math>x_3</math> und <math>x_4</math> vertauscht, entsteht bei der Gleichung eine falsche Aussage, denn <math>x_1 + x_3</math> ist ungleich <math>0</math>. Deshalb gehört diese Permutation (Nr. 2) nicht zur Galois-Gruppe. Entsprechendes gilt für die Permutationen Nr. 4, 5, 6, 7, 9, 10, 12, 13, 15, 16, 18, 19, 20, 21, 23 in der Tabelle, denn als Summe von zwei der vier Nullstellen sind lediglich die Gleichungen <math>x_2+x_3=x_3+x_2=0</math> und <math>x_4+x_1=0</math> richtig.
Eine weitere algebraische Gleichung mit rationalen Koeffizienten, die die Nullstellen erfüllen, ist
- <math>(x_1 + x_2)^2 - 8 = 0</math>.
Deshalb können zusätzlich die Permutationen Nr. 3, 11, 14 und 22 ausgeschlossen werden, denn es ist <math>(x_1 + x_3)^2 - 8 \ne 0</math>, <math>(x_2 + x_4)^2 - 8 \ne 0</math>, <math>(x_3 + x_1)^2 - 8 \ne 0</math> und <math>(x_4 + x_2)^2 - 8 \ne 0</math>.
Übrig bleiben vier Permutationen: Nr. 1, 8, 17 und 24. Da es sich bei dem Polynom <math>\left(x^2 - 5\right)^2 - 24</math> um ein über <math>\Q</math> irreduzibles Polynom 4. Grades handelt, besteht die Galoisgruppe aus mindestens vier Elementen. Also bilden diese vier Permutationen die Galoisgruppe des Polynoms <math>\left(x^2 - 5\right)^2 - 24</math>:
- <math>\left(x_1,x_2,x_3,x_4\right)\mapsto\left(x_1,x_2,x_3,x_4\right)</math>
- <math>\left(x_1,x_2,x_3,x_4\right)\mapsto\left(x_2,x_1,x_4,x_3\right)</math>
- <math>\left(x_1,x_2,x_3,x_4\right)\mapsto\left(x_3,x_4,x_1,x_2\right)</math>
- <math>\left(x_1,x_2,x_3,x_4\right)\mapsto\left(x_4,x_3,x_2,x_1\right)</math>
oder in Zyklenschreibweise:
- <math>\operatorname{id}</math> (Identität), <math>(x_1 x_2)(x_3 x_4)</math>, <math>(x_1 x_3)(x_2 x_4)</math> und <math>(x_1 x_4)(x_2 x_3)</math>.
Diese Gruppe ist isomorph zur Kleinschen Vierergruppe.
Bestimmung der Galoisgruppe mit Hilfe eines primitiven Elementes
Alternativ kann die Galoisgruppe auch mit Hilfe eines primitiven Elementes bestimmt werden. Hier liegt ein Spezialfall vor, denn die Nullstelle <math>x_1</math> ist – ebenso wie die Nullstelle <math>x_2, x_3</math> oder <math>x_4</math> – bereits solch ein primitives Element. Mit
- <math>x_1^2 = 5 + 2\sqrt{6}</math>, <math>\quad x_1^3 = 11\sqrt{2} + 9\sqrt{3} \quad</math> und <math> \quad x_1^4 = 49 + 20\sqrt{6}</math>
erhält man die Gleichungen:
- <math>x_1^3 - 9 x_1 = 2 \sqrt{2} \quad</math> und <math>\quad x_1^3 - 11 x_1 = -2 \sqrt{3}</math>.
Damit lassen sich <math>\textstyle \sqrt{2}</math> und <math>\textstyle \sqrt{3}</math> als Polynom mit der Variablen <math>x_1</math> ersetzen:
- <math>\sqrt{2} = \tfrac{1}{2} ( x_1^3 - 9 x_1) </math> und <math> \sqrt{3} = -\tfrac{1}{2} (x_1^3 - 11 x_1)</math>.
Somit ergeben sich auch die vier Nullstellen als Polynome <math>p_1, p_2, p_3, p_4</math> mit der Variablen <math>x_1</math>:
- <math>x_1 = p_1(x_1) = + x_1</math>,
- <math>x_2 = p_2(x_1) = + x_1^3 - 10\ x_1</math>,
- <math>x_3 = p_3(x_1) = - x_1^3 + 10\ x_1</math>,
- <math>x_4 = p_4(x_1) = - x_1</math>.
Im allgemeinen Fall müssen zu dem primitiven Element das zugehörige Minimalpolynom sowie dessen weitere Nullstellen bestimmt werden. Bei diesem Beispiel ist jedoch das Minimalpolynom von <math>x_1</math> das Ausgangspolynom mit den bereits bekannten weiteren Nullstellen <math>x_2, x_3</math> und <math>x_4</math>. (Zum allgemeinen Vorgehen: siehe Beispiel zum Satz vom primitiven Element.) Ersetzt man nun in den Polynomen <math>p_1,\dotsb, p_4</math> die Variable <math>x_1</math> durch <math>x_2, x_3</math> oder <math>x_4</math>, so ergeben sich wiederum die Nullstellen <math>x_1, x_2, x_3, x_4</math> des Ausgangspolynoms, allerdings in einer anderen Reihenfolge. Diese Permutationen der Nullstellen bilden die Galoisgruppe.<ref>Nieper-Wißkirchen, Universität Augsburg: "Galoissche Theorie", S. 126, Proposition 4.8 und Beispiel, <templatestyles src="Webarchiv/styles.css" />{{#if:20190715130507
| {{#ifeq: 20190715130507 | *
| {{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }} (Archivversionen)
| {{#iferror: {{#time: j. F Y|20190715130507}}
| {{#if: || }}Der Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
| {{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y|20190715130507}} im Internet Archive{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
}}
| {{#if:
| {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
| {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
| 16= {{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| 9 = {{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!{{#if: || }}
}}
| c|{{{webciteID}}}}} {{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }} ({{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
| {{#if:
| Vorlage:Webarchiv/Today
| {{#if:
| Vorlage:Webarchiv/Generisch
| {{#if: online | {{#invoke:WLink|getEscapedTitle|online}} | {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}} }}
}}}}}}}}{{#if:
| Vorlage:Webarchiv/archiv-bot
}}{{#invoke:TemplatePar|check
|all = url=
|opt = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
|errNS = 0
|template = Vorlage:Webarchiv
|format = *
|preview = 1
}}{{#ifexpr: {{#if:20190715130507|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
}}{{#if:
| {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
| web.archive.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}}
| webcitation.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}}
| archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
}}{{#if:
| {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
| }}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
}}
| {{#if:
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
}}
}}{{#if:{{#invoke:URLutil|isHostPathResource|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf}}
|| {{#if: || }}
}}{{#if: online
| {{#if: {{#invoke:WLink|isBracketedLink|online}}
| {{#if: || }}
}}
| {{#if: || }}
}}{{#switch:
|addlarchives|addlpages= {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
}}{{#ifeq: {{#invoke:Str|find|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf%7Carchiv}} |-1
|| {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf%7C4}}%7Chttp}} |-1
|| {{#switch: {{#invoke:Webarchiv|getdomain|https://www.math.uni-augsburg.de/de/prof/alg/Downloads/Einfuehrung-in-die-Algebra.pdf }}
| abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org =
| #default = {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
}}
}}
}}</ref>
Einsetzen von <math>x_1</math> liefert die Identität, die übrigen Beziehungen ergeben sich durch Nachrechnen:
- <math>p_1(x_1) = x_1, \quad p_2(x_1) = x_2, \quad p_3(x_1) = x_3, \quad p_4(x_1) = x_4 \quad \Longrightarrow \quad \sigma_1:\left(x_1,x_2,x_3,x_4\right)\mapsto\left(x_1,x_2,x_3,x_4\right)</math>,
- <math>p_1(x_2) = x_2, \quad p_2(x_2) = x_1, \quad p_3(x_2) = x_4, \quad p_4(x_2) = x_3 \quad \Longrightarrow \quad \sigma_2:\left(x_1,x_2,x_3,x_4\right)\mapsto\left(x_2,x_1,x_4,x_3\right)</math>,
- <math>p_1(x_3) = x_3, \quad p_2(x_3) = x_4, \quad p_3(x_3) = x_1, \quad p_4(x_3) = x_2 \quad \Longrightarrow \quad \sigma_3:\left(x_1,x_2,x_3,x_4\right)\mapsto\left(x_3,x_4,x_1,x_2\right)</math>,
- <math>p_1(x_4) = x_4, \quad p_2(x_4) = x_3, \quad p_3(x_4) = x_2, \quad p_4(x_4) = x_1 \quad \Longrightarrow \quad \sigma_4:\left(x_1,x_2,x_3,x_4\right)\mapsto\left(x_4,x_3,x_2,x_1\right)</math>.
{<math>\textstyle \sigma_1,\sigma_2,\sigma_3,\sigma_4</math>} ist damit die Galoisgruppe des Polynoms <math>\left(x^2 - 5\right)^2 - 24</math>.
Berechnung der Galoisgruppe mit Hilfe der Galois-Resolvente
Die Galoisgruppe eines Polynoms ist in der Regel nicht leicht zu bestimmen. Insbesondere im Standardfall eines Polynoms mit ganzzahligen Koeffizienten können allerdings genügend genaue numerische Näherungen der Nullstellen dazu verwendet werden, die Galoisgruppe zu berechnen.
{{#if: Lagrange-Resolvente#Galois-Resolvente|{{#ifexist:Lagrange-Resolvente#Galois-Resolvente|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Heute übliche Definition einer Galoisgruppe
Seit den 1920er-Jahren definiert man die Galoisgruppe auf Basis des Körper-Begriffs, der auf Richard Dedekind zurückgeht: Ausgehend von einer Körpererweiterung <math>L/K</math> definiert man die Galoisgruppe <math>\operatorname{Gal}(L/K)</math> als die Gruppe aller Körperautomorphismen von <math>L</math>, welche die Elemente von <math>K</math> einzeln festhalten.
Dabei ist <math>L</math> ein Zerfällungskörper des gegebenen Polynoms, also ein kleinster Erweiterungskörper von <math>K</math>, in dem das Polynom in Linearfaktoren zerfällt. Er heißt normaler oder Galoisscher Erweiterungskörper von <math>K</math>. Die Galoisgruppe, bestehend aus denjenigen Automorphismen von <math>L</math>, die den Unterkörper <math>K</math> elementweise fest lassen, lässt damit notwendig auch jeden Term fest, dessen Wert ein Element aus <math>K</math> ist.
Der Bezug zum klassischen Vorgehen von Galois ergibt sich, wenn man einen Automorphismus <math>\sigma</math> der Galoisgruppe auf eine Nullstelle <math>\alpha</math> des entsprechenden Polynoms <math>p(x) = x^n + a_{n-1} x^{n-1} + \dots + a_0</math> anwendet:
- <math>p(\alpha) = \alpha^n + a_{n-1} \alpha^{n-1} + \dots + a_0 = 0</math>.
- <math>p(\sigma(\alpha)) = (\sigma(\alpha))^n + a_{n-1} (\sigma(\alpha))^{n-1} + \dots + a_0</math>.
Weil <math>\sigma</math> ein Körperhomomorphismus ist und außerdem die Koeffizienten des Polynoms als Elemente des Körpers <math>K</math> fest lässt, ergibt sich:
- <math>p(\sigma(\alpha)) = \sigma(\alpha^n + a_{n-1} \alpha^{n-1} + \dots + a_0) = \sigma(p(\alpha)) = \sigma(0) = 0</math>.
Also ist <math>\sigma(\alpha)</math> ebenfalls eine Nullstelle des Polynoms <math>p</math>. Dies bedeutet, dass der Automorphismus <math>\sigma</math> die Nullstellen vertauscht. Die Galoisgruppe operiert somit auf der Menge der Nullstellen des Polynoms und wirkt dort als Permutationsgruppe.
{{#invoke:Vorlage:Anker|f |errCat=Wikipedia:Vorlagenfehler/Vorlage:Anker |errHide=1}}Die Kenntnisse über auflösbare Gruppen in der Gruppentheorie erlaubt uns, herauszufinden, ob ein Polynom durch Radikale auflösbar ist, und zwar abhängig davon, ob dessen Galoisgruppe auflösbar ist oder nicht. Jede Körpererweiterung <math>L/K</math> gehört zu einer Faktorgruppe der Hauptreihe der Galoisgruppe. Falls eine Faktorgruppe der Hauptreihe zyklisch von der Ordnung <math>n</math> ist, ist die zugehörige Körpererweiterung eine radikale Erweiterung, und die Elemente von <math>L</math> können als die <math>n</math>-ten Wurzeln eines Elements aus <math>K</math> aufgefasst werden.
Wenn alle Faktorgruppen der Hauptreihe zyklisch sind, wird die Galoisgruppe als auflösbar bezeichnet, und alle Elemente des zugehörigen Körpers können durch sukzessives Wurzelziehen, Produktbilden und Summieren aus den Elementen des Grundkörpers (normalerweise <math>\Q</math>) erhalten werden.
Einer der größten Triumphe der Galoistheorie war der Beweis, dass für jedes <math>n>4</math> ein Polynom mit Grad <math>n</math> existiert, welches nicht durch Radikale auflösbar ist. Dies beruht auf der Tatsache, dass für <math>n>4</math> die symmetrische Gruppe <math>S_n</math> einen einfachen nichtzyklischen Normalteiler enthält.
Bestimmung der Galoisgruppe als Automorphismengruppe
Für das oben angegebene Beispiel sollen die Elemente der Galoisgruppe nun als Körperautomorphismen bestimmt werden. Die Nullstellen des Polynoms <math>\textstyle \left(x^2 - 5\right)^2 - 24</math> sind
- <math>x_1 = +\sqrt{2} + \sqrt{3}</math> ,
- <math>x_2 = +\sqrt{2} - \sqrt{3}</math> ,
- <math>x_3 = -\sqrt{2} + \sqrt{3}</math> ,
- <math>x_4 = -\sqrt{2} - \sqrt{3}</math> .
Der Zerfällungskörper ist somit <math>\Q(x_1,x_2,x_3,x_4) = \Q(\sqrt{2},\sqrt{3})</math>. Eine Basis für <math>\Q(\sqrt{2},\sqrt{3})</math> als Vektorraum über <math>\Q</math> ist <math>\{ 1,\sqrt{2},\sqrt{3},\sqrt{6} \}</math>, d. h. jedes Element aus <math>\Q(\sqrt{2},\sqrt{3})</math> ist von der Form <math> a+b\sqrt{2}+c\sqrt{3}+d\sqrt{6}</math> mit <math>a,b,c,d</math> aus <math>\Q</math>. Es handelt sich somit bei <math>\Q(\sqrt{2},\sqrt{3})</math> um eine algebraische Körpererweiterung vom Grad 4 über <math>\Q</math>. Die Ordnung der Galoisgruppe stimmt mit dem Grad der Körpererweiterung überein, ihre Elemente permutieren – wie oben gezeigt – die Nullstellen des Polynoms folgendermaßen:
- <math>\sigma_1:\left(x_1,x_2,x_3,x_4\right)\mapsto\left(x_1,x_2,x_3,x_4\right)</math>
- <math>\sigma_2:\left(x_1,x_2,x_3,x_4\right)\mapsto\left(x_2,x_1,x_4,x_3\right)</math>
- <math>\sigma_3:\left(x_1,x_2,x_3,x_4\right)\mapsto\left(x_3,x_4,x_1,x_2\right)</math>
- <math>\sigma_4:\left(x_1,x_2,x_3,x_4\right)\mapsto\left(x_4,x_3,x_2,x_1\right)</math>
<math>\sigma_1</math> (als Permutation) bleibt die Identität, wird nun allerdings zu einem Körperautomorphismus <math>\sigma_1'</math> von <math>\Q(\sqrt{2},\sqrt{3})</math>:
- <math>\sigma_1':a + b\sqrt{2} + c\sqrt{3} + d\sqrt{6}\mapsto a + b\sqrt{2} + c\sqrt{3} + d\sqrt{6}</math>.
Man sieht, dass unter <math>\sigma_2</math> bei der Permutation der vier Nullstellen stets <math>\sqrt{3}</math> und <math>-\sqrt{3}</math> vertauscht werden. Der zugehörige Körperautomorphismus <math>\sigma_2'</math> lautet somit:
- <math>\sigma_2':a + b\sqrt{2} + c\sqrt{3} + d\sqrt{6}\mapsto a + b\sqrt{2} - c\sqrt{3} - d\sqrt{6}</math>.
Dabei bleibt der Körper <math>\Q(\sqrt{2})</math> elementweise fest. Entsprechendes gilt bei <math>\sigma_3</math> für <math>\sqrt{2}</math> und <math>-\sqrt{2}</math>. Unter <math>\sigma_4</math> ändert sich bei beiden Wurzeln das Vorzeichen. Die entsprechenden Körperautomorphismen sind:
- <math>\sigma_3':a + b\sqrt{2} + c\sqrt{3} + d\sqrt{6}\mapsto a - b\sqrt{2} + c\sqrt{3} - d\sqrt{6}</math> mit dem Fixkörper <math>\Q(\sqrt{3})</math> und
- <math>\sigma_4':a + b\sqrt{2} + c\sqrt{3} + d\sqrt{6}\mapsto a - b\sqrt{2} - c\sqrt{3} + d\sqrt{6}</math> mit dem Fixkörper <math>\Q(\sqrt{6})</math>.
<math>\sigma_2'</math>, <math>\sigma_3'</math> und <math>\sigma_4'</math> sind zu sich selbst invers, bilden also zusammen mit der Identität jeweils eine Untergruppe der Galoisgruppe. Mehr echte Untergruppen gibt es nicht, denn die Hinzunahme eines weiteren Elementes würde bereits die ganze Galoisgruppe erzeugen. Die Hintereinanderausführung von <math>\sigma_2'</math> und <math>\sigma_3'</math> ergibt <math>\sigma_4'</math>, damit ist die Galoisgruppe isomorph zur Kleinschen Vierergruppe und insbesondere kommutativ. Deshalb sind alle Untergruppen der Galoisgruppe auch Normalteiler. Also sind nach dem Hauptsatz der Galoistheorie <math>\Q(\sqrt{2})</math>, <math>\Q(\sqrt{3})</math> und <math>\Q(\sqrt{6})</math> die einzigen Zwischenkörper der Körpererweiterung <math>\Q(\sqrt{2},\sqrt{3})</math>. Die Zwischenkörper selbst sind Körpererweiterungen vom Grad 2 über <math>\Q</math>.
Bestimmung der Galoisgruppe durch Matrizenrechnung
Im Falle eines Polynoms, das zu einem normalen oder Galoisschen Körper gehört, ist die Bestimmung der Galoisgruppe auch mit Hilfe der Matrizenrechnung möglich.
Ist ein Polynom <math>f(x)</math> vom Grade <math>n</math> irreduzibel über <math>\Q</math> und die Gleichung <math>f(x) = 0</math> normal<ref>B. L. van der Waerden, Algebra I, 8. Auflage 1971, § 41, Ende. Normal bedeutet hier, dass der durch Adjunktion einer Nullstelle des Polynoms <math>f(x)</math> entstehende Körper schon normal ist, d. h. dass in ihm <math>f(x)</math> vollständig in Linearfaktoren zerfällt. Ein Beispiel für ein Polynom, das nicht normal ist, findet man im Artikel Galoisgruppe, Abschnitt Galoisgruppe eines kubischen Polynoms.</ref> über <math>\Q</math>, so liefert jede Nullstelle <math>x_i</math> <math>\left(i = 1, \dots, n\right)</math> des Polynoms <math>f(x)</math> mit ihren Potenzen <math>1, x_i, x_i^2, \dots, x_i^{n-1}</math> eine Basis des Erweiterungskörpers (nämlich des Zerfällungskörpers von <math>f</math>), der aus <math>\Q</math> durch Adjunktion nur einer dieser Nullstellen entsteht<ref>B. L. van der Waerden, Algebra I, 8. Auflage 1971, § 40, Beispiel, in Verbindung mit § 46, Folgerung („Jede separable endliche Erweiterung ist einfach“). Siehe auch einfache Körpererweiterung.</ref>. Sind die Nullstellen <math>x_i</math> bekannt, so kann man auch ihre Potenzen <math>x_i^2, \dots, x_i^{n-1}</math> ermitteln. Stellt man diese in Matrixform bezüglich einer gemeinsamen Basis dar, so lässt sich damit die Automorphismengruppe berechnen.
Für das oben angegebene, über <math>\Q</math> irreduzible und normale Polynom <math>\textstyle \left(x^2 - 5\right)^2 - 24</math> mit den Nullstellen <math>x_1, \dots, x_4</math> erhält man
- <math>x_1^2 = 5 + 2\sqrt{6}</math>, <math>\quad x_1^3 = 11\sqrt{2} + 9\sqrt{3}</math>
- <math>x_2^2 = 5 - 2\sqrt{6}</math>, <math>\quad x_2^3 = 11\sqrt{2} - 9\sqrt{3}</math>
- <math>x_3^2 = x_2^2 = 5 - 2\sqrt{6}</math>, <math>\quad x_3^3 = -x_2^3 = -11\sqrt{2} + 9\sqrt{3}</math>
- <math>x_4^2 = x_1^2 = 5 + 2\sqrt{6}</math>, <math>\quad x_4^3 = -x_1^3 = -11\sqrt{2} - 9\sqrt{3}</math>
Alle Potenzen sind Linearkombinationen von <math>1</math>, <math>\sqrt{2}</math>, <math>\sqrt{3}</math> und <math>\sqrt{6}</math>. Diese sind linear unabhängig, daher wählt man <math>\{1, \sqrt{2}, \sqrt{3}, \sqrt{6}\}</math> als gemeinsame Basis. Mit ihrer Hilfe erzeugt man nun Matrizen <math>M_{x_i}\left(i = 1, \dots, 4\right)</math>, deren Zeilenvektoren der Reihe nach die Elemente <math>1, x_i, x_i^2, x_i^3</math> jeweils in Abhängigkeit von den Elementen der gemeinsamen Basis darstellen.
- <math>M_{x_1} = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 1 & 0 \\ 5 & 0 & 0 & 2 \\ 0 & 11 & 9 & 0 \end{pmatrix}</math> (die Zeilen stellen <math>1</math>, <math>x_1</math>, <math>x_1^2</math> und <math>x_1^3</math> in Abhängigkeit von <math>1</math>, <math>\sqrt{2}</math>, <math>\sqrt{3}</math> und <math>\sqrt{6}</math> dar)
- <math>M_{x_2} = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & -1 & 0 \\ 5 & 0 & 0 & -2 \\ 0 & 11 & -9 & 0 \end{pmatrix}</math> (die Zeilen stellen <math>1</math>, <math>x_2</math>, <math>x_2^2</math> und <math>x_2^3</math> in Abhängigkeit von <math>1</math>, <math>\sqrt{2}</math>, <math>\sqrt{3}</math> und <math>\sqrt{6}</math> dar)
- <math>M_{x_3} = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & -1 & 1 & 0 \\ 5 & 0 & 0 & -2 \\ 0 & -11 & 9 & 0 \end{pmatrix}</math> (die Zeilen stellen <math>1</math>, <math>x_3</math>, <math>x_3^2</math> und <math>x_3^3</math> in Abhängigkeit von <math>1</math>, <math>\sqrt{2}</math>, <math>\sqrt{3}</math> und <math>\sqrt{6}</math> dar)
- <math>M_{x_4} = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & -1 & -1 & 0 \\ 5 & 0 & 0 & 2 \\ 0 & -11 & -9 & 0 \end{pmatrix}</math> (die Zeilen stellen <math>1</math>, <math>x_4</math>, <math>x_4^2</math> und <math>x_4^3</math> in Abhängigkeit von <math>1</math>, <math>\sqrt{2}</math>, <math>\sqrt{3}</math> und <math>\sqrt{6}</math> dar)
Die Matrizen <math>M_{x_i}</math> haben wegen der linearen Unabhängigkeit ihrer Zeilen vollen Rang und sind daher invertierbar. Die Transformation <math>A_{x_i,x_j}</math> einer Matrix <math>M_{x_i}</math> in eine andere Matrix <math>M_{x_j}</math> stellt denjenigen Automorphismus des Erweiterungskörpers dar, welcher <math>x_i</math> auf <math>x_j</math> abbildet. Die <math>A_{x_i,x_j}</math> sind Lösungen der Gleichungen <math>M_{x_i} \cdot A_{x_i,x_j} = M_{x_j}</math>, wegen der Invertierbarkeit der <math>M_{x_i}</math> gilt <math>A_{x_i,x_j} = M_{x_i}^{-1} \cdot M_{x_j}</math>. Um die Automorphismengruppe zu ermitteln, genügt es, eine der Matrizen <math>M_{x_i}</math> zu invertieren und diese Inverse mit den anderen Matrizen zu multiplizieren. Denn für ein festes <math>M_{x_i}^{-1}</math> sind diese Matrizenprodukte alle verschieden und ihre Anzahl stimmt mit der Anzahl der Automorphismen des Erweiterungskörpers überein.
Wegen <math>\quad \sqrt{2} = - \tfrac92 x_1 + \tfrac{1}{2} x_1^3</math> , <math>\quad \sqrt{3} = \tfrac{11}{2} x_1 - \tfrac{1}{2} x_1^3 \quad</math> und <math>\quad \sqrt{6} = - \tfrac52 + \tfrac{1}{2} x_1^2 \quad</math> ist
- <math>M_{x_1}^{-1} = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & -\tfrac{9}{2} & 0 & \tfrac{1}{2} \\ 0 & \tfrac{11}{2} & 0 & -\tfrac{1}{2} \\ -\tfrac{5}{2} & 0 & \tfrac{1}{2} & 0 \end{pmatrix}</math> (die Zeilen stellen <math>1</math>, <math>\sqrt{2}</math>, <math>\sqrt{3}</math> und <math>\sqrt{6}</math> in Abhängigkeit von <math>1</math>, <math>x_1</math>, <math>x_1^2</math> und <math>x_1^3</math> dar).
Damit ergeben sich:
- <math>A_{x_1,x_1} = M_{x_1}^{-1} \cdot M_{x_1} = I</math> (Einheitsmatrix, entspricht der identischen Abbildung)
- <math>A_{x_1,x_2} = M_{x_1}^{-1} \cdot M_{x_2} = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \end{pmatrix}</math> (die Zeilen stellen jeweils das Bild von <math>1</math>, <math>\sqrt{2}</math>, <math>\sqrt{3}</math> und <math>\sqrt{6}</math> in Abhängigkeit von <math>1</math>, <math>\sqrt{2}</math>, <math>\sqrt{3}</math> und <math>\sqrt{6}</math> dar)
Durch diesen Automorphismus geht <math>\sqrt{3}</math> in <math>-\sqrt{3}</math> und <math>\sqrt{6}</math> in <math>-\sqrt{6}</math> über. Invariant bleibt <math>\sqrt{2}</math>, somit ist <math>\Q(\sqrt{2})</math> der zugehörige Fixkörper. Wegen <math>A_{x_1,x_2}^2 = I</math> gehört zu ihm die Untergruppe <math>\{I, A_{x_1,x_2}\}</math>.
- <math>A_{x_1,x_3} = M_{x_1}^{-1} \cdot M_{x_3} = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & -1 \end{pmatrix}</math> (die Zeilen stellen jeweils das Bild von <math>1</math>, <math>\sqrt{2}</math>, <math>\sqrt{3}</math> und <math>\sqrt{6}</math> in Abhängigkeit von <math>1</math>, <math>\sqrt{2}</math>, <math>\sqrt{3}</math> und <math>\sqrt{6}</math> dar)
Durch diesen Automorphismus geht <math>\sqrt{2}</math> in <math>-\sqrt{2}</math> und <math>\sqrt{6}</math> in <math>-\sqrt{6}</math> über. Invariant bleibt <math>\sqrt{3}</math>, somit ist <math>\Q(\sqrt{3})</math> der zugehörige Fixkörper. Wegen <math>A_{x_1,x_3}^2 = I</math> gehört zu ihm die Untergruppe <math>\{I, A_{x_1,x_3}\}</math>.
- <math>A_{x_1,x_4} = M_{x_1}^{-1} \cdot M_{x_4} = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix}</math> (die Zeilen stellen jeweils das Bild von <math>1</math>, <math>\sqrt{2}</math>, <math>\sqrt{3}</math> und <math>\sqrt{6}</math> in Abhängigkeit von <math>1</math>, <math>\sqrt{2}</math>, <math>\sqrt{3}</math> und <math>\sqrt{6}</math> dar)
Durch diesen Automorphismus geht <math>\sqrt{2}</math> in <math>-\sqrt{2}</math> und <math>\sqrt{3}</math> in <math>-\sqrt{3}</math> über. Invariant bleibt <math>\sqrt{6}</math>, somit ist <math>\Q(\sqrt{6})</math> der zugehörige Fixkörper. Wegen <math>A_{x_1,x_4}^2 = I</math> gehört zu ihm die Untergruppe <math>\{I, A_{x_1,x_4}\}</math>.
Wegen <math>A_{x_1,x_2}^2 = A_{x_1,x_3}^2 = A_{x_1,x_4}^2 = I</math> ist auch die Isomorphie der Automorphismengruppe zur Kleinschen Vierergruppe unmittelbar ersichtlich. Ansonsten kann man die Gruppenstruktur anhand der Verknüpfungstafel oder anhand der Ordnungen der Gruppenelemente ermitteln.
Das Verfahren zeigt den konkreten Zusammenhang zwischen den Nullstellen des Polynoms und den Vektorraumeigenschaften des zugehörigen Erweiterungskörpers und stellt so die Verbindung zur Automorphismengruppe her. Die erforderlichen Berechnungen von Potenzen und Matrizen können mit Hilfe von Computerprogrammen durchgeführt werden. Zudem sind, wie man am obigen Beispiel sieht, Invarianten der Automorphismen und damit Fixkörper einfach zu bestimmen.
Verwendet man anstelle der obigen Basis <math>\{1, x_i, x_i^2, \dots, x_i^{n-1}\}</math> eine Normalbasis <math>\{\sigma(x)\mid \sigma\in G(L/K)\}</math>, so gelangt man unmittelbar zu den obigen Permutationsmatrizen <math>A_{x,\sigma(x)}</math>. Allerdings ist das Auffinden einer Normalbasis in der Regel aufwendiger als die Berechnung der Potenzen <math>x_i^k \, (k=1,\dots, n-1)</math>.
Hauptsatz der Galoistheorie
Der Hauptsatz der Galoistheorie erlaubt die einfache Bestimmung aller Körper <math>Z</math>, die zwischen einem Körper <math>K</math> und einer endlichen Galoiserweiterung <math>L</math> liegen. Dazu reicht es, alle Untergruppen der Galoisgruppe zur Erweiterung <math>L/K</math> zu suchen.
Im Einzelnen gilt:
Der Körper <math>L</math> ist galoissch über jedem Zwischenkörper <math>Z</math>, und es existiert eine inklusionsumkehrende Bijektion
- <math>\begin{align} \{\mathrm{Zwischenk\ddot orper}\} &\to \{\text{Untergruppen von }\operatorname{Gal}(L/K)\} \\
Z &\mapsto \operatorname{Gal}(L/Z) \end{align}</math> Ihre Umkehrabbildung ist gegeben durch <math>H\mapsto L^H</math>, wobei <math>L^H</math> den Fixkörper von <math>L</math> unter <math>H</math> bezeichnet.
Normale Körpererweiterungen <math>M/K</math> entsprechen unter dieser Bijektion Normalteilern von <math>\operatorname{Gal}(L/K)</math>.
Außerdem gilt:
- <math> [Z\colon K] = \frac {|\operatorname{Gal}(L/K)|}{|\operatorname{Gal}(L/Z)|}</math>
- <math>Z \subset Z'\ \Rightarrow\ \operatorname{Gal}(L/Z') \subset \operatorname{Gal}(L/Z)</math>
Eine etwas allgemeinere Formulierung wird im Artikel Galoisgruppe erläutert.
Kroneckerscher Satz
Der Kroneckersche Satz zu Galoiserweiterungen des Körpers der rationalen Zahlen <math>\Q</math> ist einer der klassischen Sätze des Mathematikers Leopold Kronecker und gilt als einer der schönsten Sätze der algebraischen Zahlentheorie. Der Satz besagt:<ref name="M. Artin">Michael Artin: Algebra. 1998, S. 652.</ref><ref>Der kroneckersche Satz wird auch mit dem Namen von Heinrich Weber verbunden und als Satz von Kronecker-Weber bezeichnet. Er wird gelegentlich auch als „Jugendtraum von Kronecker“ bezeichnet.</ref>
- Jede Galoiserweiterung <math>L/{\Q}</math> mit abelscher Galoisgruppe <math>\mathrm{Gal}(L/{\Q})</math> ist in einem der Kreisteilungskörper <math>\mathbb Q(\zeta_n) \; (n \in \N)</math> enthalten.
Verallgemeinerungen
Im Fall einer unendlichen Erweiterung <math>L/K</math> kann man die Automorphismengruppe <math>\mathrm{Aut}(L/K)</math> mit der so genannten Krulltopologie (nach W. Krull) versehen. Ist <math>L/K</math> separabel und normal (also eine Galoiserweiterung), gibt es dann eine natürliche Bijektion zwischen Teilerweiterungen <math>K\subseteq Z\subseteq L</math> und abgeschlossenen Untergruppen von <math>\operatorname{Gal}(L/K)</math>.
Ist <math>L/K</math> eine nicht notwendigerweise algebraische unendliche Erweiterung, so gibt es keine derartige allgemeine Theorie mehr: Ist beispielsweise <math>L</math> ein vollkommener Körper der Charakteristik <math>p>0</math>, so ist durch
- <math>F_p\colon L\to L,\quad x\mapsto x^p</math>
ein Körperautomorphismus definiert, der so genannte Frobeniushomomorphismus. Die von <math>F_p</math> erzeugte Untergruppe <math>H</math> von <math>\mathrm{Aut}\left(L/\mathbb{F}_p\right)</math> ist im Allgemeinen »viel« kleiner als die Gruppe der Automorphismen von <math>L</math>, aber es gilt <math>L^H=\mathbb F_p</math>. Ist <math>L</math> ein algebraischer Abschluss von <math>\mathbb{F}_p</math>, so liegt allerdings die vom Frobeniusautomorphismus erzeugte Untergruppe dicht in <math>\mathrm{Gal}\left(\bar{\mathbb{F}_p}/\mathbb{F}_p\right)</math>, das heißt ihr Abschluss ist gleich der Galoisgruppe.
Ist jedoch <math>L/K</math> eine Körpererweiterung mit <math>L^{\mathrm{Gal}(L/K)}=K</math> (das impliziert nicht, dass L/K algebraisch und damit insbesondere nicht galoissch ist), so gilt trotzdem noch: <math>H\mapsto L^H</math> und <math>M\mapsto \mathrm{Gal}(L/M)</math> sind zueinander inverse, inklusionsumkehrende Bijektionen zwischen der Menge der kompakten Untergruppen von <math>\mathrm{Gal}(L/K)</math> und der Menge der Zwischenkörper <math>K\subseteq M\subseteq L</math>, bei denen <math>L</math> galoissch über <math>M</math> ist.
Es gibt auch eine Verallgemeinerung der Galoistheorie für Ringerweiterungen statt Körpererweiterungen.
Das Umkehrproblem der Galoistheorie
Es ist einfach, Körpererweiterungen mit einer beliebigen vorgegebenen endlichen Gruppe als Galoisgruppe zu konstruieren, wenn man den Grundkörper nicht festlegt. Alle endlichen Gruppen treten daher als Galoisgruppen auf.
Dazu wählt man einen Körper <math>K</math> und eine endliche Gruppe <math>G</math>. Nach dem Satz von Cayley ist <math>G</math> isomorph zu einer Untergruppe der symmetrischen Gruppe auf den Elementen von <math>G</math>. Wählt man Variablen <math>\{X_a\}_{a \in G}</math> für jedes Element <math>a</math> von <math>G</math> und adjungiert sie zu <math>K</math>, so erhält man <math>F = K\left(\left\{X_a\right\}\right)</math>. In <math>F</math> enthalten ist der Körper <math>L</math> der symmetrischen rationalen Funktionen in den <math>\{X_a\}</math>. Dann ist <math>\operatorname{Gal}(F/L) = S_{|G|}</math>, und der Fixkörper <math>M = F^G</math> von <math>F</math> unter <math>G</math> hat Galoisgruppe <math>G = \operatorname{Gal}(F/M)</math> nach dem Hauptsatz der Galoistheorie.
Das skizzierte Vorgehen stellt die Strategie von Emmy Noether (1918)<ref>Emmy Noether, Gleichungen mit vorgeschriebener Gruppe, Mathematische Annalen, Band 78, 1918, S. 221–229, SUB Göttingen</ref> für die Lösung des inversen Galoisproblems dar<ref>Meredith Blue, Galois theory and Noether’s problem, Proc. Thirty-Fourth Annual Meeting Florida Section MAA, 2001, pdf</ref>, wobei sie als Grundkörper <math>K=\mathbb Q</math> die rationalen Zahlen betrachtete. Ist der Fixkörper <math>M</math> ein rationaler Funktionenkörper über den rationalen Zahlen, kann man nach Noether mit dem Irreduzibilitätssatz von Hilbert eine Galoissche Körpererweiterung von <math>\mathbb Q</math> konstruieren mit Galoisgruppe <math>G</math>. Ein Gegenbeispiel für ihre Strategie wurde allerdings 1969 von Richard Swan gefunden. Es ist ein im Allgemeinen ungelöstes Problem, wie und ob man eine solche Konstruktion für einen festen Grundkörper, etwa <math>\mathbb{Q}</math>, ausführen kann.
Das allgemeine Umkehrproblem der Galoistheorie fragt für einen gegebenen Körper <math>K</math> und speziell <math>K=\mathbb Q</math> (die rationalen Zahlen) danach, ob jede endliche Gruppe als Galoisgruppe einer Körpererweiterung von <math>K</math> realisiert werden kann. Falls <math>K</math> ein endlicher Körper ist, ist dies nicht der Fall, da in diesem Fall die Galoisgruppe zyklisch ist. Das Umkehrproblem ist aber für jede endliche Gruppe für den Fall des Funktionenkörpers in einer Variablen über den komplexen Zahlen oder allgemeiner über algebraisch abgeschlossenen Körpern mit Charakteristik 0 lösbar. Schon für den Fall des Körpers der rationalen Zahlen <math>\mathbb Q</math> gibt es nur Teilresultate. Für endliche abelsche Gruppen über <math>\mathbb Q</math> wurde das Umkehrproblem bereits im 19. Jahrhundert gelöst (Leopold Kronecker, Heinrich Weber), und es ist auch für endliche auflösbare Gruppen (Igor Schafarewitsch) und für die sporadischen Gruppen über <math>\mathbb Q</math> mit Ausnahme der Mathieugruppe M23 gelöst (für die Mathieugruppen Heinrich Matzat, für die Monstergruppe John Griggs Thompson, womit gleichzeitig auch die meisten Fälle der sporadischen Gruppen erledigt waren).
Literatur
- Emil Artin: Die Galoissche Theorie. 3. Auflage. Harri Deutsch, 1988, ISBN 3-8171-1714-0.
- Deutsche Erstausgabe Teubner 1959.
- Englische Ausgabe: Galois Theory. Dover Publications, 1998, ISBN 0-486-62342-4. Online-Version. Die amerikanische Erstauflage erschien 1948.
- {{#invoke:Vorlage:Literatur|f}}
- Jörg Bewersdorff: Algebra für Einsteiger: Von der Gleichungsauflösung zur Galois-Theorie. 2004, 6. Auflage, 2019, Springer-Spektrum, ISBN 978-3-658-26151-1, doi:10.1007/978-3-658-26152-8.
- Jean-Pierre Tignol: Galois’ Theory of Algebraic Equations. 2001, 2. Auflage 2016, World Scientific, ISBN 978-981-4704-69-4, doi:10.1142/9719
- Daniel Grieser: Grundideen der Galois-Theorie: Eine Kurzeinführung für Interessierte (fast) ohne Vorkenntnisse. In: Mathematische Bildung -- Mathematische Leistung. Festschrift für Michael Neubrand zum 60. Geburtstag. Verlag Franzbecker, 2007.
- Siegfried Bosch: Algebra. 1993, 9. Auflage 2020, Springer-Spektrum, ISBN 978-3-662-61648-2, doi:10.1007/978-3-662-61649-9.
- Gunter Malle, Heinrich Matzat: Inverse Galois Theory. Springer-Verlag, ISBN 3-540-62890-8, {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}}.
- Harold M. Edwards: Galois Theory. (= Graduate Texts in Mathematics, 101). Springer Verlag, 1984, ISBN 0-387-90980-X.
Weblinks
|1|= – Kursmaterialien |0|-= |#default= –
}}{{#if:| {{#ifeq: {{{lang}}} | de | {{#ifeq: 0 | 0 | }} | ({{#invoke:Multilingual|format|{{{lang}}}|slang=!|shift=m}}) }}}}{{#invoke:TemplatePar|check
|opt= 1= 2= lang= suffix= |template=Vorlage:Wikiversity |cat=Wikipedia:Vorlagenfehler/Schwesterprojekt }}
- Fields and Galois Theory – eine Einführung in die Galoistheorie von J. S. Milne. (englisch, PDF, 971 KiB)
- Galois Theory – kurze Zusammenfassung der wichtigsten Ergebnisse der Galoistheorie (englisch)
- The Evariste Galois Archive – mehrsprachiges Projekt mit Originaldokumenten von Evariste Galois, einer Kurzbiographie über Galois, einer Liste von Monographien über Galois sowie etlichen Weblinks
- Die Ideen der Galois-Theorie – relativ elementare Einführung in die Galoistheorie von Jörg Bewersdorff
Einzelnachweise
<references />
{{#ifeq: s | p | | {{#if: 4155901-0sh8505287200562218 | |
}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: s | p | {{#if: 4155901-0 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: s | p | {{#if: 4155901-0 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: s | p | {{#if: sh85052872 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: s | p | {{#if: sh85052872 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: s | p | {{#if: | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: s | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv/Archiv-URL
- Wikipedia:Vorlagenfehler/Parameter:URL
- Wikipedia:Vorlagenfehler/Parameter:Linktext
- Wikipedia:Vorlagenfehler/Vorlage:Webarchiv/Linktext fehlt
- Wikipedia:Vorlagenfehler/Schwesterprojekt
- Wikipedia:GND fehlt
- Wikipedia:Normdaten-TYP falsch oder fehlend
- Wikipedia:GND in Wikipedia fehlt, in Wikidata vorhanden
- Wikipedia:GND in Wikipedia vorhanden, fehlt jedoch in Wikidata
- Wikipedia:LCCN in Wikipedia fehlt, in Wikidata vorhanden
- Wikipedia:LCCN in Wikipedia vorhanden, fehlt jedoch in Wikidata
- Wikipedia:VIAF in Wikipedia fehlt, in Wikidata vorhanden
- Wikipedia:VIAF in Wikipedia vorhanden, fehlt jedoch in Wikidata
- Körpertheorie
- Teilgebiet der Mathematik
- Évariste Galois