Galois theory

Galois theory is the discovery that hard questions about polynomial equations have secret, easier counterparts in the world of symmetry groups. Instead of wrestling directly with an equation's roots, you study how those roots can be shuffled without breaking any of the arithmetic, and the pattern of allowed shuffles tells you everything you wanted to know.

More precisely, Galois theory links a field extension to a group of symmetries (its Galois group), and translates statements about subfields, roots and solvability into statements about subgroups, fixed sets and group structure. A question that looks intractable in the language of fields can become a routine check in the language of finite groups.

Its most famous triumph is explaining exactly which equations can be solved by radicals — using only the field operations plus extracting roots. The answer: precisely those whose Galois group is “solvable” in a technical group-theoretic sense. This is why the general quintic has no radical formula, while every quadratic, cubic and quartic does.