1811 – 1832 • Group Theory & the Tragedy of Genius
Dead at twenty from a duel, yet his hastily scribbled manuscripts revolutionized algebra forever — revealing why some equations can never be solved by radicals.
Born on October 25, 1811 in Bourg-la-Reine, near Paris, Evariste Galois grew up during the tumultuous aftermath of the Napoleonic wars. His father Nicolas-Gabriel was the liberal mayor of the town; his mother educated him at home until age 12.
At the Lycee Louis-le-Grand, Galois discovered mathematics at age 14 and quickly consumed the works of Legendre and Lagrange. His teachers noted both his brilliance and his impatience with the mundane.
He was twice rejected by the Ecole Polytechnique — the most devastating academic setbacks of his short life. Legend holds that during his second oral exam, he threw an eraser at the examiner in frustration.
In 1829, Galois' father committed suicide after a political smear campaign by a local priest. This event radicalized the young mathematician and fueled his political activism alongside his mathematics.
Galois submitted papers to the Academy of Sciences twice. Cauchy reportedly lost the first; Fourier died before reading the second. These institutional failures meant his work was not recognized during his lifetime.
Rejected by the Polytechnique, Galois entered the lesser Ecole Normale (then called Ecole Preparatoire). He continued producing revolutionary mathematics, but his political activism increasingly dominated his attention.
After the July Revolution of 1830, Galois joined the radical Societe des Amis du Peuple. He was arrested twice: once for a threatening toast to King Louis-Philippe, and once during a republican demonstration while armed.
During his months in Sainte-Pelagie prison, Galois continued developing his theory. He also attempted suicide during this period, suggesting severe psychological distress beneath his defiant exterior.
On May 30, 1832, Galois was shot in a duel — possibly over a romantic entanglement, possibly provoked by political enemies. He died the next day. The night before, he frantically wrote down his mathematical testament, annotating his manuscripts with "I have no time."
For centuries, mathematicians sought formulas for the roots of polynomial equations. The quadratic formula was known to the ancients. Cardano and Ferrari found formulas for cubics and quartics in the 16th century, all using nested radicals (square roots, cube roots, etc.).
The natural question was: Does a similar formula exist for degree 5 (quintic) equations?
Ruffini (1799) and Abel (1824) proved that no such general formula exists. But their proofs were specific to degree 5. Galois asked the deeper question: For which polynomials does a radical solution exist? — and answered it completely.
Degree 2: Known since antiquity (Babylonians, ~2000 BC)
Degree 3: Tartaglia/Cardano (1545)
Degree 4: Ferrari (1545)
Degree 5: IMPOSSIBLE (Abel, 1824)
General criterion: GALOIS (1831)
The mathematical establishment in Paris — Cauchy, Fourier, Poisson — was the most powerful in the world, but also conservative and hierarchical. Galois' radical politics and abrasive personality ensured his work was ignored.
Galois' key insight was to associate a group of symmetries to each polynomial equation. Given a polynomial f(x), its splitting field is the smallest field extension containing all roots.
The Galois group Gal(E/F) consists of all field automorphisms of the splitting field E that fix the base field F. This group encodes which roots can be distinguished from each other using only elements of F and rational operations.
The fundamental theorem: A polynomial is solvable by radicals if and only if its Galois group is a solvable group — meaning it has a composition series with abelian quotients.
The Galois group of a generic degree-5 polynomial is S5 (the symmetric group on 5 letters). S5 has 120 elements. Its composition series has a factor of A5, which is simple (no normal subgroups) and non-abelian. Therefore S5 is not solvable, so the general quintic has no radical formula.
Some particular quintics have smaller, solvable Galois groups. For example, x^5 - 1 = 0 has the cyclic group Z5 as its Galois group, which is abelian and hence solvable. The roots are the fifth roots of unity.
For degree 4 (quartic), the Galois group is at most S4, whose composition series has factors Z2, Z3, Z2, Z2 — all abelian. So every quartic is solvable by radicals. The special factor A5 appears only from degree 5 onward.
Galois established a one-to-one correspondence between intermediate fields and subgroups of the Galois group. Normal subgroups correspond to normal extensions. This lattice isomorphism is the Fundamental Theorem of Galois Theory.
While the concept of a group existed implicitly in the work of Lagrange and Cauchy, Galois was the first to define and use groups as abstract algebraic structures. He introduced:
These concepts, invented by a teenager to solve a specific problem, became the foundation of all modern algebra. Every branch of mathematics — from topology to number theory to physics — now uses the language of groups.
A group is a set G with a binary operation satisfying closure, associativity, identity, and inverses. Galois showed that the symmetries of mathematical objects naturally form groups, making the abstract definition a necessity rather than a luxury.
A subgroup N of G is normal if gNg^(-1) = N for all g in G. Only normal subgroups allow forming quotient groups G/N. Galois recognized this special property as the key to decomposing groups into simpler pieces.
A simple group has no proper normal subgroups — it is the "atom" of group theory. A5 (the alternating group on 5 letters, with 60 elements) is the smallest non-abelian simple group, and its existence is exactly why the quintic fails.
Galois' insight that simple groups are fundamental led to the 20th-century classification of finite simple groups — the "enormous theorem" completed around 1981, requiring tens of thousands of pages across hundreds of papers.
"Since the beginning of the century, computational procedures have become so complicated that any progress by those means has become impossible, without the elegance which modern mathematicians have brought to bear on their research."
— Evariste Galois, from his prefaceIn a paper written in prison, Galois introduced finite fields (now called Galois fields, denoted GF(p^n) or F_{p^n}). He proved that for every prime power p^n, there exists a unique field with that many elements.
This was the first construction of algebraic structures with finitely many elements satisfying field axioms. Galois fields are now fundamental in:
Galois also made early contributions to what would become the theory of modular equations for elliptic functions. He found that the modular equation of level p has degree p+1 and can be reduced to degree p when p = 5, 7, 11 — a result that amazed later mathematicians.
On the eve of the duel, Galois wrote a letter to Auguste Chevalier summarizing his mathematical ideas. He described results on "the ambiguity of functions" and integrals of algebraic functions — ideas that anticipated Riemann surfaces and algebraic topology by decades.
"Jump above calculations; group the operations, classify them according to their difficulties and not according to their form; such, according to me, is the mission of future mathematicians."
— Evariste GaloisRather than computing specific solutions, Galois studied the structure of the solution set. He asked not "what are the roots?" but "what symmetries relate the roots?" This shift from computation to structure is the defining move of modern algebra.
Galois transformed a problem about equations (analysis) into a problem about groups (algebra). This technique of translating between mathematical domains became one of the most powerful strategies in mathematics.
Where Abel proved that a general solution was impossible, Galois gave a precise criterion distinguishing solvable from unsolvable equations. This completeness of characterization — not just impossibility but exact conditions — was unprecedented.
Galois was the first mathematician to deliberately use abstraction as a method. His groups were not concrete objects but collections of permutations defined by their properties. This level of abstraction would not become standard for another century.
Galois' work was virtually unknown until Liouville published his manuscripts in 1846, fourteen years after his death. Jordan, Dedekind, and Klein then developed the ideas into the framework of modern algebra.
On the morning of May 30, 1832, Galois was shot in the abdomen during a duel and left on the ground. A passing farmer found him and brought him to a hospital, where he died the next day. He was twenty years old.
The circumstances remain mysterious. Various theories include:
His last words to his brother Alfred were reportedly: "Don't cry, Alfred. I need all my courage to die at twenty."
The night before the duel, Galois wrote frantically, annotating his mathematical manuscripts and composing his letter to Chevalier. In the margins he scrawled "I have no time" and "There is something to complete in this demonstration." These marginal notes contained ideas decades ahead of their time.
The romantic narrative that Galois invented group theory in a single desperate night is false. His manuscripts show years of development. But his final letter did contain genuinely new ideas beyond what was in the earlier papers, suggesting he was still creating at the very end.
Galois theory is the foundation of modern algebra. Group theory, ring theory, and field theory all trace their origins to his work on polynomial equations.
Galois groups of number field extensions are central to modern number theory. The absolute Galois group Gal(Q-bar/Q) encodes virtually all arithmetic information about the rational numbers.
The Langlands program, the most ambitious project in modern mathematics, seeks deep connections between Galois representations and automorphic forms — a direct extension of Galois' vision.
Galois' finite fields and field extensions are fundamental in Grothendieck's algebraic geometry. The etale fundamental group is a generalization of the Galois group to geometric settings.
Galois fields GF(2^n) underlie virtually all error-correcting codes and digital communication. Every time you stream video or read a QR code, Galois field arithmetic is at work.
Modern cryptographic systems (AES, elliptic curve crypto) perform arithmetic in Galois fields. The security of digital communication depends on structures Galois first described.
Reed-Solomon codes, used in CDs, DVDs, Blu-ray, QR codes, and deep-space communication, perform arithmetic in Galois fields. The algebraic structure ensures that errors can be detected and corrected efficiently.
AES (Advanced Encryption Standard) operates in GF(2^8). Elliptic curve cryptography uses curves defined over large finite fields. The discrete logarithm problem in these fields provides computational security.
Symmetry groups (SU(3), SU(2), U(1)) classify elementary particles in the Standard Model. Galois' insight that symmetry groups encode structural information applies directly to understanding fundamental forces.
The 230 space groups classifying crystal structures are direct descendants of Galois' group theory. Understanding crystal symmetry is essential for materials science and drug design.
Quantum error correction uses stabilizer codes constructed from group theory. The symmetries of quantum states are described by groups, connecting directly to Galois' framework.
Finite field arithmetic enables efficient network coding, where intermediate nodes combine packets algebraically rather than merely routing them. This dramatically improves throughput in wireless networks.
Mario Livio (2005) — A popular account of the quest to solve polynomial equations, culminating in Galois' tragic story and the birth of group theory. Accessible to general readers.
Ian Stewart (4th ed., 2015) — The best modern textbook on Galois theory, balancing rigor with intuition. Includes historical context alongside the mathematics.
Peter M. Neumann (2011) — A scholarly translation and commentary on all of Galois' mathematical manuscripts, including the famous last letter. Essential primary source material.
Tony Rothman (1982) — A critical examination of the myths surrounding Galois' life, separating documented fact from romantic embellishment.
Peter Pesic (2003) — Traces the history of the unsolvability of the quintic from antiquity through Abel and Galois, providing context for why the problem mattered.
"Do not cry, Alfred! I need all my courage to die at twenty."
— Evariste Galois, his last words to his brother, May 31, 1832Il y a quelque chose a completer dans cette demonstration — There is something to complete in this proof