## [Galois-Korrespondenz](/de/node/63703) Definition 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 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 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 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 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 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 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 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 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.