Galois Fields Preview

Abstract Algebra · Axiom Academy

When splitting fields have special symmetries, we can understand polynomial solvability through the structure of field automorphisms. 1. Splitting Fields and Symmetry Consider the polynomial p(x) = x³ - 2 over ℚ. Its roots are ∛2, ω∛2, and ω²∛2, where ω = e^(2πi/3) is a primitive cube root of unity. The splitting field contains all three roots arranged symmetrically in the complex plane. These symmetries are the key to Galois Theory. A field automorphism σ: K → K is an isomorphism from the field to itself that fixes the base field ℚ. These automorphisms must: Preserve addition and multiplication Fix every element of ℚ (σ(q) = q for all q ∈ ℚ) Map roots to other roots (since p(σ(α)) = σ(p(α)) = σ(0) = 0) 3. Automorphism Action on Roots Let's visualize how different automorphisms act on the three roots. Each automorphism permutes the roots while preserving all field operations. Key examples of automorphisms in Gal(ℚ(∛2, ω)/ℚ): Rotation: ∛2 → ω∛2 → ω²∛2 → ∛2 Complex conjugation: fixes ∛2, swaps ω∛2 ↔ ω²∛2 Combinations: compose rotations with conjugation 4. Connection to Solvability by Radicals The structure of the Galois group determines whether a polynomial can be solved using radicals (roots, +, -, ×, ÷). A polynomial is solvable by radicals if and only if its Galois group is a solvable group (has a composition series with abelian quotients).

This is the written version of the interactive lesson above. See the full Abstract Algebra course.