Mathematics
Galois Theory: Solving Polynomials by Radicals
Quick fact
While quadratic, cubic, and quartic equations all have general radical formulas, there is no such formula for general polynomials of degree 5 or higher—a result proven by Galois and Abel.
Why this is interesting
You've used the quadratic formula, but what if there were no formula for higher-degree equations? Some polynomials simply cannot be solved by radicals—and Galois theory explains why.
Read the full explanation
Understanding Galois Theory: Solving Polynomials by Radicals
When solving a polynomial by radicals, we are allowed to use the four arithmetic operations and take nth roots. For quadratics, the familiar formula does exactly that. For cubics and quartics, similar formulas exist, though they are more complex. But for quintics (degree 5) and beyond, no general formula exists. Why? Galois theory answers this by looking at the symmetries of the roots. Think of the roots as points on a number line or in the complex plane. Some permutations of these roots leave all algebraic relationships among them intact—these permutations form the Galois group. The Galois group encodes the 'symmetry' of the equation. The key insight is that the structure of this group determines whether the polynomial can be solved by radicals. If the Galois group is 'solvable' (a specific group-theoretic property), then the equation is solvable by radicals; otherwise, it is not.
A deeper explanation
More formally, a polynomial is solvable by radicals if its splitting field (the smallest field containing all its roots) can be obtained from the base field (usually the rationals) by a sequence of adjoining nth roots (radical extensions). Galois theory establishes a deep correspondence between intermediate fields and subgroups of the Galois group. The radical extensions correspond to field extensions whose Galois groups are cyclic groups of prime order. A polynomial is solvable by radicals if and only if there is a chain of subgroups from the Galois group down to the trivial group, where each successive quotient is cyclic of prime order—such a group is called 'solvable.' The symmetric group S5, which is the Galois group of a generic quintic, is not solvable, because it has no such chain that satisfies the condition (in fact, its only normal subgroups are A5 and the trivial group, and A5 is simple and not abelian). Therefore, no radical formula can solve all quintics. This insight not only resolves the ancient problem of solving polynomial equations but also demonstrates the power of translating a problem into the language of groups.