Galois Correspondence

Algebraic Topology · Axiom Academy

An analogy between covering spaces and field extensions 1. Review: Classical Galois Theory In Galois theory, for a field extension K/F, there's a bijection between: The degree [L : F] equals the index [Gal(K/F) : Gal(K/L)]. The classification of covering spaces provides a perfect topological analogue: Covering spaces E → F → B (intermediate covers) Here π₁(B) plays the role of the Galois group, and covering spaces play the role of field extensions. In both contexts, there's a crucial order-reversing property: This reversal reflects the dual nature of these correspondences: covers "unwrap" while fields "extend."

This is the written version of the interactive lesson above. See the full Algebraic Topology course.