Galois Theory Explained: From Polynomial Roots to Group Symmetry

Solving equations is the foundation of algebra. It might seem that after centuries of extracting roots and factoring expressions, all that remains is to refine the technique. But the history of equations tells a different story: experience alone is not enough — sometimes a new lens is needed. Galois theory became exactly that lens.

A New Perspective on Galois Theory: From Formulas to Permutations

Equations of degree five and higher were being attacked as early as the 16th and 17th centuries, and then Lagrange and Bézout brought mathematicians to a crucial realization: the problem was not just about formulas, but about how the roots permute. Lagrange studied resolvents — special expressions in the roots that preserve part of the equation’s symmetry and help determine what form a solution formula could even take.

By the early 19th century it became clear: the key was not to invent yet another clever radical, but to understand the structure of permutations of roots. In 1832, Galois formalized this as a theorem: he gave necessary and sufficient conditions for an equation to be solvable in radicals, and at the same time introduced the language in which this could be expressed naturally — the language of groups and fields.

The Heart of Galois Theory: Group Symmetry and Solvability

The core of the theory sounds remarkably simple: an equation is solvable in radicals if and only if its Galois group is solvable — that is, it can be decomposed into a chain of progressively simpler symmetries, with an abelian piece remaining at each step.

And then the magic of scale takes hold. This idea extends far beyond polynomials: Galois groups appear in geometric constructions, in the study of systems of differential equations, and in many other settings where the “hidden symmetries” of a problem are at play.

How Galois Theory Defines the Meaning of Impossibility

The theory also gives an honest account of impossibility. Abel proved in 1824 that no general formula in radicals exists for equations of degree five or higher. Galois explained why: if the Galois group of an equation is not solvable, no radical formula can exist.

And perhaps that is the deepest lesson: sometimes a new theory is born not from new calculations, but from a new idea about what counts as the “data” of a problem.