302.S9B: The Galois Correspondence

At the top of the abstract algebra hill sits the Galois Correspondence theorem, which shows that every subfield of an algebraic extension corresponds one-to-one with a subgroup of its automorphism group. We explore the implications for the splitting field of t^3 -- 2.