Insolvability of the Quintic

For three hundred years the greatest algebraists of Europe hunted for a quintic formula — a degree-5 cousin of the quadratic formula, some tower of radicals that would crank out the roots of ax^5 + bx^4 + cx^3 + dx^2 + ex + f from its coefficients. Cardano had cracked the cubic, Ferrari the quartic; surely the quintic was next. It never came. In the end the search failed not because the formula was hard to find but because it does not exist — and, more astonishing still, this can be proved. That is the Abel–Ruffini theorem, given its cleanest proof by Galois.

This is the module's summit and its most famous consequence. Everything you have built — field extensions, Galois groups, the correspondence, solvability by radicals — was assembled to make one sentence provable: the general quintic cannot be solved by radicals. And the proof is short. It is three beats.

The proof in three beats

Beat 1 — the group is S_5. Take the general quintic, its five coefficients treated as independent unknowns. Its roots satisfy no special relations, so every rearrangement of them is a legal symmetry. The Galois group is therefore the full symmetric group on the five roots, S_5, of order 120.

Beat 2 — S_5 is not solvable. By the previous page, a radical formula exists exactly when the group is solvable — has a chain down to \{e\} with abelian quotients. Try to build one for S_5. Its only nontrivial proper normal subgroup is the alternating group A_5 (order 60), so any chain must pass through it:

S_5 \;\trianglerighteq\; A_5 \;\trianglerighteq\; \ ?

But A_5 is simple — it has no normal subgroups at all except \{e\} and itself — and it is non-abelian. So the only way to continue is the jump A_5 \trianglerighteq \{e\}, whose quotient is all of A_5, which is not abelian. The chain is blocked. There is no subnormal series with abelian quotients, so S_5 is not solvable.

Beat 3 — no formula. Galois's criterion, contrapositive: a non-solvable group means no radical tower can reach the roots. Therefore the general quintic has no solution by radicals. Three lines, and a three-century problem is closed forever.

Why the wall stands exactly at five

The magic number is not 5 itself but the first appearance of a non-abelian simple group. Watch the pattern of symmetric groups:

The alternating groups A_3 (cyclic) and A_4 (which luckily contains the normal V_4) still break down into abelian layers. But A_5, the group of 60 rotations of the icosahedron, is the smallest non-abelian simple group — a solid, unbreakable block. From degree 5 upward it is trapped inside S_n, and it wrecks every chain. That is why 4 is the largest degree with a general radical formula.

To make it concrete, here is a polynomial with no radical formula for its roots at all: x^5 - x - 1 (or the Eisenstein-irreducible x^5 - 6x + 3) has Galois group S_5. Its five roots genuinely exist — one real, two conjugate complex pairs — but not one of them can be written with radicals. The picture below plots them in the complex plane: five perfectly definite points that no tower of roots can reach.

A tragedy of young geniuses

The theorem is wrapped in one of the saddest stories in mathematics. Paolo Ruffini published a 500-page near-proof in 1799; it had a gap and was largely ignored. Niels Henrik Abel, a poor Norwegian, gave the first complete proof in 1824, printing it at his own expense on a pamphlet so short he had to compress the argument to save paper — he died of tuberculosis at 26, two days before a letter arrived offering him a professorship.

And then Évariste Galois, who saw not just that the quintic was insoluble but why — the whole theory of groups behind it. Rejected twice from the École Polytechnique, his memoir lost by the referee, jailed for his republican politics, he was drawn into a duel over a love affair at the age of 20. The night before, on 29 May 1832, he sat up writing, scribbling "je n'ai pas le temps" ("I have no time") in the margins as he raced to set down the theory of what we now call Galois groups. He was shot the next morning and died a day later. His pages sat unread for over a decade until Liouville recognised their genius. The machinery of this entire module is the legacy of that last desperate night.

The theorem is endlessly misquoted. It does not say quintic equations have no solutions, and it does not say they can't be solved. Every quintic has exactly five complex roots, counted with multiplicity — that is guaranteed by the Fundamental Theorem of Algebra. You can compute them to a thousand decimal places with Newton's method before lunch. What Abel–Ruffini denies is only a general closed-form formula in radicals: a single expression, built from the coefficients with arithmetic and n-th roots, that works for every quintic.

Two more corrections. First, plenty of specific quintics are solvable by radicals — x^5 - 2 and x^5 - 1 both have solvable Galois groups, so their roots do have radical forms. Insolvability is about the general quintic and those particular ones (like x^5 - x - 1) whose group is S_5. Second, this is not a case of "nobody has found the formula yet." It is a proof of impossibility — the formula provably cannot exist, in the same airtight sense that \sqrt 2 provably cannot be a fraction. Waiting for a cleverer mathematician will not help.

Yes — you just have to enlarge your toolkit beyond n-th roots. In 1858 Charles Hermite showed the general quintic can be solved using elliptic modular functions — transcendental functions richer than radicals. So the roots have honest closed forms; they simply refuse to be captured by the humble operations +, -, \times, \div, \sqrt[n]{\ }. The Abel–Ruffini theorem is not a statement about the roots being mysterious — it is a sharp statement about the limits of one particular language, the language of radicals. Choose a bigger language and the quintic speaks again.