Die Untersuchung der Beziehung zwischen Körpererweiterungen und Gruppen von Körperautomorphismen, die algebraische Wurzeln permutieren; sie stellt eine Entsprechung zwischen Zwischenkörpern und Untergruppen einer Automorphismengruppe her und verbindet Fragen der Lösbarkeit mit gruppentheoretischen Eigenschaften.

Prinzip

Normalität und Separabilität einer Erweiterung erzeugen eine Automorphismengruppe, deren Untergruppengitter das Gitter der Zwischenkörper widerspiegelt; die Galois-Korrespondenz ordnet Untergruppen fixe Körper und umgekehrt und organisiert die Erweiterungsstruktur durch Symmetrie.

Demonstration

Klassisches Beispiel: Für eine endliche separable normale Erweiterung E/F (Galoiserweiterung) gibt es eine Bijektion zwischen Zwischenkörpern K (F ⊂ K ⊂ E) und Untergruppen H ≤ Gal(E/F), gegeben durch K ↦ Gal(E/K) und H ↦ E^H (der fixe Körper). Konkretes Szenario: der Zerfällungskörper von x^3−2 über Q hat Galoisgruppe S_3; die Zwischenkörper korrespondieren zu Untergruppen und erklären die Lösbarkeit durch Radikale oder deren Fehlen.

Fehlanwendung

Zu glauben, jede algebraische Erweiterung sei Galois und habe daher eine einfache Untergruppen–Körper-Korrespondenz; Separabilität in positiver Charakteristik zu vernachlässigen; oder die Galoisgruppe nur als Permutationsgruppe auf aufgelisteten Wurzeln zu behandeln, ohne die Körperstruktur und die Topologie im unendlichen Fall zu berücksichtigen.

Konsequenz

Wenn anwendbar, übersetzt die Galoistheorie Körperprobleme in Gruppentheorie: Klassifikation von Erweiterungen, Bestimmung der Lösbarkeit durch Radikale, explizite Konstruktion von Resolventen und Einsatz kohomologischer Invarianten bei Obstruktionsfragen. Sie motiviert auch die profinite Topologie in der unendlichen Galoistheorie.

Umkehrung

Die Umkehrung betont den Rekonstruktionsaspekt: aus gruppen- oder kohomologischen Daten versucht man, Körperdaten zu gewinnen; gegebenenfalls stellt sich damit das inverse Galoisproblem und damit verbundene Einschränkungen heraus.

Abgrenzung

Betrifft primär separable normale (Galois-)Erweiterungen; endliche Galoistheorie ist am einfachsten, während unendliche Erweiterungen profinite Gruppen und die Krull-Topologie erfordern. Schließt nicht-separable Erweiterungen ohne zusätzliche Struktur aus; die klassische Korrespondenz kann in positiver Charakteristik oder bei nicht-normalen Erweiterungen versagen oder modifiziert werden müssen.

Semantische Spannung

Spannung zwischen der Sicht der Galoisgruppen als Permutationsgruppen auf konkreten Wurzelsätzen und als abstrakten Automorphismengruppen mit profiniter Topologie. Es gibt nahe Bedeutungen in der differentiellen Galoistheorie oder in geometrischen/étalenen Analogien, wo Objekte und Symmetrien abweichen, die leitende Idee aber erhalten bleibt.

Synthese

Galoistheorie verbindet Körpererweiterungen mit Symmetriegruppen: bei Normalität und Separabilität korrespondieren Zwischenkörper zu Untergruppen von Automorphismen, wodurch algebraische Fragen in gruppentheoretische und kohomologische Probleme überführt werden.