The profound link between extracting roots and group structure -- and why it breaks for quintics
Why is there a formula for the quartic but none for the quintic? The answer lies in whether a group can be broken into simple cyclic pieces. Watch S4 come apart and S5 refuse.
Pick a polynomial and press Adjoin Next Root to climb the radical tower. Notice that each step adjoins one nth root and adds one cyclic piece of the group.
Build the radical tower step by step. Each floor adjoins a root to the field.
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).
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.
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).
Pick a group and watch its derived series descend. S3, S4, and A4 reach the trivial group; S5 and A5 get stuck at A5.
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.
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.
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.
Choose a group for each side and compare their composition series. S4 breaks into cyclic pieces; S5 hits A5, which cannot be broken further.
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.
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.
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.
Spot a mistake or have an idea?