JOVANA
Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
Back to the library
Mathematics 1832

Letter to Auguste Chevalier (on the Solvability of Equations)

Évariste Galois

An equation is solvable by radicals exactly when its symmetry group can be broken into prime steps.

Choose your version
In depth · the introduction

A dying twenty-year-old spent his last night writing down why no formula can ever solve every equation — and in doing so invented the mathematics of symmetry.

The big idea

For quadratic equations everyone learns a formula: the roots come from the coefficients by adding, subtracting, multiplying, dividing, and taking square roots. Such “solving by radicals” works for degree two, three (Cardano's formula) and four. For three centuries mathematicians hunted for the same kind of formula for degree five — and never found one.

Galois explained why the hunt was doomed, and turned the question into one about symmetry. Each equation has a hidden set of symmetries — the ways you can shuffle its roots without disturbing the true relationships among them. Galois called this set a group. He showed that whether a formula exists depends entirely on whether this group can be taken apart into simple, prime-sized pieces. For degrees up to four it always can. For degree five a stubborn, unbreakable piece appears — and that is exactly why the general quintic has no formula.

How it came about

Évariste Galois was a furious, gifted, unlucky young man. Twice rejected from France's top engineering school, twice he submitted his discoveries to the Academy of Sciences, and twice they were lost or returned as incomprehensible. He was a fierce republican in turbulent Paris, jailed for his politics, and in love.

On 29 May 1832, expecting to die in a duel the next morning over what seems to have been an affair of honour, he sat up writing a long letter to his friend Auguste Chevalier, racing to record the mathematics in his head. In the margins he scrawled “I have not the time.” He fought at dawn, was shot in the stomach, and died on 31 May, aged twenty. Chevalier published the letter that September, but it would take Joseph Liouville's championship in 1846 for the world to grasp what had been lost.

Why it mattered

Galois did far more than close a 300-year-old problem. He invented a whole way of thinking: study an object by studying its symmetries. That idea — group theory — now runs through all of mathematics and physics, from the structure of crystals to the conservation laws of nature to the rules that keep online messages secret. The specific tool he built, Galois theory, still tells us which classic geometry puzzles are impossible: you cannot trisect an arbitrary angle or double a cube with ruler and compass, and Galois's reasoning is why.

A way to picture it

Think of unlocking the roots as opening a combination safe — but the only moves allowed are taking square roots, cube roots, and so on, each turn of the dial. An equation's symmetry group is like the lock's internal mechanism. If the mechanism is built from a stack of small, prime-sized tumblers, you can pop them open one by one with the moves you have. But for the quintic there is a single tumbler that simply has no smaller parts — sixty positions that cannot be broken down — and no sequence of radical “turns” can ever spring it. The safe stays shut, forever.

An interactive staircase: drag a slider to pick an equation's degree (2 to 6); its symmetry group breaks step by step into smaller groups. Green steps are prime-sized and mean the equation can be solved by a formula in radicals; from degree five on, a red step appears — a piece of size 60 that cannot be broken further — and no formula can exist.

Where it sits

Lagrange, Ruffini and the Norwegian Niels Abel had circled the problem; Abel proved in 1824 that the general quintic has no radical formula, but Galois explained the deeper why and handed mathematics a new instrument. From his groups flow the abstract algebra of Jordan, Dedekind and Noether, the symmetry principles of modern physics, and — through the Galois groups of elliptic curves — the proof of Fermat's Last Theorem more than 150 years later. A few hurried pages, written by candlelight, reorganised a science.

The original document
Original source text

Opening — three memoirs

Évariste Galois · Lettre à Auguste Chevalier · Paris, 29 May 1832
Paris, le 29 Mai 1832
Mon cher Ami, J'ai fait en analyse plusieurs choses nouvelles. Les unes concernent la théorie des Équations; les autres les fonctions Intégrales. [My dear friend, I have done several new things in analysis. Some concern the theory of equations, others integral functions.]
Dans la théorie des équations, j'ai recherché dans quels cas les équations étaient résolubles par des radicaux. [In the theory of equations I have looked for the circumstances under which equations were soluble by radicals; this has given me occasion to deepen this theory and to describe all possible transformations on an equation even in case it is not soluble by radicals.]
On pourra faire avec tout celà trois mémoires. [Three memoirs could be made from all this. The first is written, and in spite of what Poisson has said about it I stand by it with the corrections that I have made in it.]

Proper decomposition of a group

Quand un groupe G en contient un autre H, le groupe G peut se partager en groupes … en sorte que G = H + HS + HS′ + … ; et aussi il peut se décomposer en groupes qui ont tous les mêmes substitutions … Quand elles coïncident, la décomposition est dite propre. [When a group G contains another H, the group G can be partitioned … And also it can be decomposed into groups all of which have the same substitutions … When they coincide the decomposition is said to be proper.]
[When the group of an equation is susceptible of a proper decomposition, so that it is partitioned into M groups of N permutations, one will be able to solve the given equation by means of two equations: the one will have a group of M permutations, the other one of N permutations.]

The solvability criterion

[Therefore once one has effected on the group of an equation all possible proper decompositions, one will arrive at groups which one will be able to transform, but in which the number of permutations will always be the same.]
Si chacun de ces groupes a un nombre premier de permutations, l'équation sera soluble par radicaux; sinon, non. [If each of these groups has a prime number of permutations the equation will be soluble by radicals; if not, not.]
[The smallest number of permutations which can have an indecomposable group, when this number is not prime, is 5·4·3.]

Closing — the last words

Mais je n'ai pas le tems et mes idées ne sont pas bien encore bien développées sur ce terrain qui est immense. [But I do not have the time, and my ideas are not yet well enough developed in this area, which is immense.]
Tu prieras publiquement Jacobi ou Gauss de donner leur avis non sur la vérité, mais sur l'importance des théorèmes. [You will publicly ask Jacobi or Gauss to give their opinion not on the truth but on the importance of the theorems.]
Après celà il se trouvera, j'espère, des gens qui trouveront leur profit à déchiffrer tout ce gâchis. [After that there will, I hope, be people who will find profit in deciphering all this mess.]
Je t'embrasse avec effusion. [I embrace you warmly.]
E. Galois · Le 29 Mai 1832
[ … ]