Eine bijektive (ordnungsumkehrende) Entsprechung zwischen den mittleren Teilstrukturen einer Körpererweiterung und den Untergruppen der Automorphismengruppe der Erweiterung, wobei die von Untergruppen fixierten Unterkörper mit diesen Untergruppen identifiziert werden – im Fall einer Galoiserweiterung.

Prinzip

Die Symmetriegruppen einer Erweiterung kodieren das Verbandsgefüge der Zwischenkörper: Das Bilden der Fixkörper zu Untergruppen und das Bilden der Automorphismengruppen zu Zwischenkörpern sind unter den Galois-Hypothesen zueinander inverse Operationen.

Demonstration

Für eine endliche Galoiserweiterung E/F ist die Abbildung K ↦ Gal(E/K) eine Bijektion zwischen Zwischenkörpern F ⊆ K ⊆ E und Untergruppen von Gal(E/F); normale Zwischenkörper entsprechen normalen Untergruppen und die Grade erfüllen [K:F] = |Gal(E/F)|/|Gal(E/K)|.

Fehlanwendung

Die Bijektion auf nichtnormale oder nichtseparable Erweiterungen anzuwenden oder jede Erweiterung ohne Prüfung von Normalität und Separabilität als Galois zu behandeln, führt zu fehlerhaften Zuordnungen und zum Versagen der Umkehrbarkeit.

Konsequenz

Richtig angewandt lassen sich Fragen zur Auflösbarkeit von Polynomen, zu Erweiterungsgraden und zur Struktur von Zwischenkörpern in gruppentheoretische Probleme überführen, was Klassifikation und explizite Berechnung ermöglicht.

Umkehrung

Statt Felder zu Untergruppen zu schicken, kann man mit einer Untergruppe beginnen und ihren Fixkörper zurückgewinnen; die Korrespondenz kehrt die Inklusion um und übersetzt Untergruppengeometrie in feldtheoretische Daten.

Abgrenzung

Erfordert eine Galoiserweiterung (klassisch endlich, normal und separabel) für die einfache bijektive Form; für unendliche oder nicht-Galois-Erweiterungen sind zusätzliche topologische Strukturen nötig oder es gibt keine Bijektion. Die Korrespondenz betrifft Felder und Automorphismen, nicht beliebige algebraische Strukturen.

Semantische Spannung

Unterscheidet sich von der allgemeinen Ordnungstheoretischen Galois-Verbindung (monotone Abbildungen zwischen Posets); die Galois-Korrespondenz ist eine spezifische, stärkere Realisierung in der Körpertheorie.

Synthese

Die Galois-Korrespondenz vereinigt Zwischenkörperstrukturen und Gruppensymmetrien: Unter den Galois-Bedingungen sind Fixkörperbildung und Automorphismengruppenbildung inverse, ordnungsumkehrende Operationen, die die Untersuchung algebraischer Erweiterungen mittels Gruppentheorie ermöglichen.