Galois Theorem on Solvability

Abstract Algebra · Axiom Academy

LESSON Galois Theory and Solvability The profound connection between radical solvability of polynomials and the group-theoretic structure of their Galois groups What this means: Consider a polynomial f(x) over a field F (typically ℚ). Let K be its splitting field. The Galois group Gal(K/F) encodes all the symmetries of the roots. The theorem states: A radical extension is a tower of fields where each step adds an nth root of some element. This is precisely what "solving by radicals" means: A group G is solvable if it has a subnormal series with abelian quotients: The magic of Galois theory is the correspondence between intermediate fields and subgroups: Proof outline of main theorem: Why is the general quintic unsolvable by radicals? The derived series is: S₅ ⊵ A₅ ⊵ A₅ ⊵ A₅ ⊵ ... A₅ is a simple group (no proper normal subgroups) A₅ is non-abelian (order 60, not prime) Therefore [A₅, A₅] = A₅, so the series never reaches e S₅ has no subnormal series with abelian quotients Historical note: This result, proven by Galois in 1832 at age 20, revolutionized mathematics by introducing group theory and revealing the deep structure underlying polynomial equations. It showed that some problems have no solution not because we haven't found it yet, but because the underlying mathematics proves impossibility.

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