Galois-Korrespondenz

Eine bijektive, ordnungsumkehrende Korrespondenz zwischen den Zwischenkörpern einer endlichen Galoiserweiterung und den Untergruppen ihrer Galoisgruppe, realisiert durch Zuordnung einer Untergruppe zu ihrem Fixkörper und eines Zwischenkörpers zur Untergruppe der Automorphismen, die ihn fixieren.

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.