There is no formula — using only addition, subtraction, multiplication, division, and $n$-th roots — that solves the general fifth-degree polynomial equation. This is the Abel-Ruffini theorem (1824), made precise by Galois theory (1832).

It’s not that we haven’t been clever enough. The obstacle is structural, living in the symmetry group itself.

The argument in one paragraph

The general quintic has Galois group $S_5$. For a polynomial to be solvable by radicals, its Galois group must be solvable — decomposable into a chain of normal subgroups with cyclic quotients. The only composition series for $S_5$ is $S_5 \supset A_5 \supset {e}$. The alternating group $A_5$ has order 60, is simple (no proper normal subgroups), and is not cyclic. The chain gets stuck. No radical formula exists.

Why $A_5$ is simple

This is the crux. A group is simple if it has no normal subgroups except ${e}$ and itself. For $A_5$ (the group of even permutations of 5 elements, order 60), every candidate fails:

By Lagrange’s theorem, a subgroup of $A_5$ must have order dividing 60: that’s 1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, or 60. For each possible order, either no subgroup of that order exists, or it exists but isn’t normal. The proof checks each case using conjugacy classes.

Compare with $A_4$ (order 12): it has the Klein four-group $K = {e, (12)(34), (13)(24), (14)(23)}$ as a normal subgroup. The chain $A_4 \supset K \supset \mathbb{Z}_2 \supset {e}$ works — all quotients are cyclic.

The historical breakthrough

Paolo Ruffini (1799) published the first proof that no quintic formula exists, but it had gaps.

Niels Henrik Abel (1824) gave a complete proof — the Abel-Ruffini theorem — without the language of group theory. He showed directly that the general quintic cannot be solved by radicals.

Evariste Galois (1832) went much further. He didn’t just prove the quintic is unsolvable — he explained exactly when any polynomial is solvable, by connecting the question to the structure of what we now call the Galois group. His work was written in a letter the night before a duel in which he was killed, age 20.

What can be done with quintics

The insolvability result says there’s no general formula. Specific quintics can still be solved: - $x^5 - 1 = 0$ has the fifth roots of unity - $x^5 - 2 = 0$ has roots $\sqrt[5]{2} \cdot \zeta^k$ for $\zeta = e^{2\pi i/5}$ - Any quintic whose Galois group is a proper subgroup of $S_5$ (and that subgroup is solvable) can be solved by radicals

What about the rest? Bring radicals (1786) can reduce any quintic to $x^5 + x + a = 0$, and elliptic functions (Hermite, 1858) can solve the general quintic using modular functions — going beyond radicals into the world of complex analysis. The impossibility is only for radical solutions.

The bigger picture

The same analysis applies to higher degrees: $S_n$ is not solvable for $n \geq 5$, so no general formula by radicals exists for degree 5 or above.

But the story doesn’t end with impossibility. Galois groups became one of the most powerful tools in mathematics: - Galois representations encode how Galois groups act on geometric objects — the bridge to the modularity theorem and Fermat’s Last Theorem - The inverse Galois problem (which groups arise as Galois groups over $\mathbb{Q}$?) remains open - The Langlands programme seeks to unify number theory and representation theory through generalisations of the Galois correspondence

An impossibility theorem opened up two centuries of mathematics.