A bijective (order-reversing) correspondence between intermediate substructures of a field extension and subgroups of the extension's automorphism group, which identifies subfields fixed by subgroups with the subgroups themselves in the case of a Galois extension.

Principle

Symmetry groups of an extension encode the lattice of intermediate fields: taking fixed points of subgroups and taking automorphism groups of intermediate fields are inverse operations under the hypotheses of Galois theory.

Demonstration

For a finite Galois extension E/F, the map K |-> Gal(E/K) is a bijection between intermediate fields F ⊆ K ⊆ E and subgroups of Gal(E/F); normal intermediate fields correspond to normal subgroups and degrees satisfy [K:F] = |Gal(E/F)|/|Gal(E/K)|.

Misapplication

Applying the bijection to non-normal or inseparable extensions, or treating arbitrary field extensions as Galois without verifying normality and separability, leads to incorrect matching and failure of the inverse relationship.

Consequence

When correctly applied, one can translate questions about solvability of polynomials, degrees of extensions, and intermediate field structure into group-theoretic problems about subgroups and normal series, enabling classification and explicit computation.

Reversal

Instead of mapping fields to subgroups, one can start with a subgroup and recover its fixed field; the correspondence reverses containment and thereby translates subgroup structure into field-theoretic data.

Boundary

Requires a Galois extension (classically finite, normal, separable) for the simple bijective form; infinite or non-Galois extensions require enriched topologies or do not yield a bijection. The correspondence is about fields and automorphism groups, not arbitrary algebraic structures.

Semantic Tension

Distinct from the general order-theoretic notion of a Galois connection (monotone maps between posets); the Galois correspondence is a specific bijective, symmetry-based instantiation in field theory with stronger algebraic constraints.

Synthesis

The Galois correspondence unifies field-theoretic intermediate structures with group-theoretic symmetry: under the Galois hypotheses, taking automorphism groups and taking fixed subfields are inverse, order-reversing operations that let one study algebraic extensions via group theory.