The profound link between extracting roots and group structure -- and why it breaks for quintics
An equation is solvable by radicals if its roots can be expressed using only the four arithmetic operations and nth roots, starting from the coefficients. Galois's great insight: an equation is solvable by radicals if and only if its Galois group is a solvable group -- one whose composition factors are all cyclic (abelian).
In this lesson, build radical towers for solvable polynomials, compute derived series to test solvability, and see the dramatic contrast between S4 (solvable) and S5 (not).
For a solvable polynomial, the solution by radicals corresponds to a tower of field extensions where each step adjoins an nth root. Each cyclic extension in the tower corresponds to one radical extraction. Step through the tower to see the correspondence between group theory and radicals.
Build the radical tower step by step. Each floor adjoins a root to the field.
Key insight: Adjoining an nth root creates a cyclic extension of degree dividing n. A solvable group decomposes into cyclic pieces (composition factors), and each piece corresponds to one radical step. The quadratic formula uses one square root (one cyclic step); Cardano's formula uses a square root inside a cube root (two cyclic steps).
The derived series repeatedly takes commutator subgroups: G > [G,G] > [[G,G],[G,G]] > ... A group is solvable if and only if this series eventually reaches the trivial group. For A5, the series gets stuck: [A5, A5] = A5 itself, because A5 is simple and non-abelian.
The derived series computes successive commutator subgroups: G > [G,G] > [[G,G],[G,G]] > ...
Commutator: [g, h] = g * h * g-1 * h-1
The derived subgroup G' = [G, G] is generated by all commutators.
S3 is solvable -- the derived series reaches {e}.
Every polynomial whose Galois group is a subgroup of a solvable group can be solved by radicals.
Key insight: The commutator [g, h] = ghg^(-1)h^(-1) measures how far g and h are from commuting. If [G, G] = G, the group is "as non-abelian as possible" -- it cannot be built from abelian pieces. A5 (order 60) is the smallest such group, which is why degree 5 is where insolvability first appears.
The composition series breaks a group into its simplest building blocks (composition factors). For S4, all factors are cyclic -- it decomposes into abelian pieces. For S5, one factor is A5: simple and non-abelian, with no further decomposition possible. This is the obstruction to solvability.
Compare composition series side by side. A group is solvable iff all composition factors are abelian (cyclic of prime order).
Key insight: S4 has composition factors Z/2Z, Z/3Z, Z/2Z, Z/2Z -- all cyclic of prime order. S5 has A5 as a composition factor, which is simple but non-abelian (order 60). This single obstruction is why the general quintic cannot be solved by radicals.
Key insight: S4 has composition series S4 > A4 > V4 > Z2 > 1, with cyclic quotients of orders 2, 3, 2, 2. S5 has S5 > A5 > 1, and A5 (order 60) is simple and non-abelian. Since A5 cannot be broken into cyclic pieces, S5 is not solvable -- and therefore the general quintic cannot be solved by radicals.