##  [Galois Correspondence](/galois-correspondence-1) 

 Definition

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

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

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

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

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

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

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

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

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.