Solvable by Radicals

The quest to find formulas for the roots of polynomial equations is a story central to the history of algebra. While the quadratic formula is a familiar tool, and formulas for cubic and quartic equations were discovered centuries ago, the fifth-degree polynomial—the quintic—resisted all attempts. This was not a failure of ingenuity but the discovery of a fundamental barrier. The reason for this impossibility lies in a profound and beautiful connection between algebra and symmetry, first uncovered by the brilliant mathematician Évariste Galois.

This article explores the concept of a polynomial being "solvable by radicals," addressing the deep question of what makes a formula possible. It unpacks the precise algebraic language needed to answer this question, revealing a hidden world of symmetry that governs the structure of solutions.

Across the following sections, you will discover the core principles that connect polynomial roots to abstract groups. In "Principles and Mechanisms," we will define what it means to be solvable by radicals using field extensions and introduce the Galois group, culminating in the reason for the quintic's unsolvability. Then, in "Applications and Interdisciplinary Connections," we will see how this powerful theory provides a new perspective on old formulas, solves ancient geometric puzzles, and connects to frontiers of modern mathematics.

Imagine you're back in a high school algebra class. You've just been handed the quadratic formula, a magnificent key that unlocks the solutions to any equation of the form $ax^2 + bx + c = 0$. It feels like magic—a single recipe built from simple arithmetic and a square root that works every single time. Naturally, you wonder: is there a cubic formula? A quartic formula? A quintic formula?

For centuries, this was one of the grand quests of mathematics. Formulas for the cubic and quartic were indeed found, complex and unwieldy, but formulas nonetheless. They were built from the same basic ingredients: the coefficients of the polynomial, the four arithmetic operations (add, subtract, multiply, divide), and root-taking (square roots, cube roots, etc.). But the quintic—the fifth-degree polynomial—stubbornly resisted all attempts. It wasn't that mathematicians weren't clever enough; it was that they were trying to do something fundamentally impossible. The story of why is one of the most beautiful episodes in all of science, a perfect symphony of algebra and symmetry.

Before we can understand the failure, we must first rigorously define success. What does it really mean to have a "formula" for the roots? The intuitive idea is that we can write down the roots using only arithmetic and ​​radicals​​ (a fancy word for $n$-th roots). But to build a theory, we need a language more precise than "can be written down."

This is where the idea of ​​field extensions​​ comes in. Think of a field as a playground of numbers where you can add, subtract, multiply, and divide without ever leaving the playground. The set of all rational numbers, $\mathbb{Q}$, is a great example. You can add two rational numbers, and the result is still rational.

Now, what if we want to solve $x^2 - 2 = 0$? The roots, $\pm\sqrt{2}$, are not in our rational playground. To accommodate them, we must expand our world. We "adjoin" $\sqrt{2}$ to $\mathbb{Q}$, creating a new, larger field, $\mathbb{Q}(\sqrt{2})$. This new field contains all numbers of the form $a + b\sqrt{2}$, where $a$ and $b$ are rational. This is the simplest example of a ​​radical extension​​: we built a new field by throwing in the root of an element from our old field.

What about a more complex root, like $\beta = \sqrt{1 + \sqrt{2}}$? To build this number, we can't just jump from $\mathbb{Q}$ in one step. We first need the number $\sqrt{2}$. So, we build a ​​tower of fields​​.

1. Start with our base camp: $K_0 = \mathbb{Q}$.
2. Adjoin $\sqrt{2}$ to get the first floor: $K_1 = K_0(\sqrt{2}) = \mathbb{Q}(\sqrt{2})$.
3. Now, the number $1 + \sqrt{2}$ lives inside $K_1$. We can take its square root and adjoin it to build the second floor: $K_2 = K_1(\sqrt{1 + \sqrt{2}}) = \mathbb{Q}(\sqrt{2})(\sqrt{1 + \sqrt{2}})$.

This tower, built by successively adding radicals, is the heart of our definition. We say a polynomial is ​​solvable by radicals​​ if the field containing all its roots (its ​​splitting field​​) can be tucked inside a finite tower of radical extensions built upon our starting field. This captures precisely, in the language of modern algebra, the historical quest for a formula using only arithmetic and root-taking.

For a long time, the problem of finding roots and the study of abstract symmetries seemed like completely different subjects. The genius of the young French mathematician Évariste Galois was to see that they were two sides of the same coin. He discovered that every polynomial has a hidden object associated with it: a group of symmetries now called its ​​Galois group​​.

What is this group? Imagine you have all the roots of a polynomial. The Galois group is the collection of all the ways you can shuffle these roots among themselves without violating any of the algebraic rules they must obey. It’s a measure of the polynomial's inherent symmetry.

For a "general" polynomial of degree $n$, say $x^n + c_{n-1}x^{n-1} + \dots + c_0 = 0$, where the coefficients are just abstract symbols with no special relationships, there are no hidden constraints on the roots. Any permutation of the roots is as good as any other. Therefore, the Galois group of the general $n$-th degree polynomial is the group of all permutations of $n$ things: the ​​symmetric group​​, $S_n$. For the general quintic, the Galois group is $S_5$, the group of all $5! = 120$ permutations of five objects.

Here is Galois's masterstroke, the central theorem that connects the two worlds:

A polynomial is solvable by radicals if and only if its Galois group is a ​​solvable group​​.

This is a breathtaking result. It turns a difficult question about constructing numbers and fields into a question about the internal structure of a group. The name "solvable group" is no accident; it was chosen precisely for this reason. So, what makes a group "solvable"?

A group is solvable if it can be "dismantled" or "factored" into a series of simple, well-behaved components. The "simple components" in group theory are ​​abelian groups​​—groups where the order of operations doesn't matter ($a \cdot b = b \cdot a$). A group is solvable if it has a ​​subnormal series​​—a chain of nested subgroups—where each successive "factor group" (the quotient representing one layer of the structure) is abelian.

Think of it like this: an integer is easy to understand if we can factor it into primes. A solvable group is "easy to understand" because we can factor it into abelian pieces. This process of dismantling the group corresponds exactly to the step-by-step construction of the tower of radical extensions. Each abelian factor in the group's series corresponds to one radical-adjoining step in the field tower.

Let's see this in action. Consider a polynomial whose Galois group is the dihedral group $D_4$, the 8 symmetries of a square. This group is non-abelian (rotating then flipping is different from flipping then rotating), but it is solvable. It can be broken down into a series where the factors are all the cyclic group of order 2. What does this predict about the roots? It means we can find all the roots by starting with rational numbers and successively applying square roots, then square roots of the new numbers, then square roots again. The structure of the group ($2 \to 2 \to 2$) dictates the very nature of the radicals needed (square root $\to$ square root $\to$ square root). It's a perfect correspondence.

We now have all the pieces to confront the quintic. The general quintic polynomial has the symmetric group $S_5$ as its Galois group. Is $S_5$ a solvable group? If it is, a general formula exists. If not, it doesn't.

Let's try to dismantle $S_5$.

1. The group $S_5$ has 120 symmetries. It contains a very important normal subgroup: the ​​alternating group​​ $A_5$, which consists of all the "even" permutations (those you can get by an even number of swaps). $A_5$ has $120/2 = 60$ elements.
2. We can form the first factor group in our series: $S_5/A_5$. This group has order 2, making it abelian. So far, so good! Our dismantling has started successfully. This step would correspond to taking a single square root in our field tower.

Now we must continue by dismantling $A_5$. Can we find a normal subgroup of $A_5$ to continue the chain? Here we hit a brick wall. The group $A_5$ is a ​​simple group​​. This means it has no non-trivial proper normal subgroups. It is a fundamental, unbreakable building block.

Is this unbreakable block an abelian one? No. The group $A_5$ is famously non-abelian. (You can convince yourself of this by thinking about the symmetries of an icosahedron, which are described by $A_5$; two different rotations performed in different orders generally don't yield the same final orientation).

This is the fatal flaw. Our attempt to dismantle $S_5$ into abelian pieces gets stuck at $A_5$. We have a composition series $S_5 \rhd A_5 \rhd \{e\}$, but one of its factor groups, $A_5$ itself, is non-abelian. Therefore, ​​$S_5$ is not a solvable group​​.

This is why the quests of the Renaissance mathematicians were doomed. The historical formulas for degrees 2, 3, and 4 were possible only because the corresponding symmetric groups $S_2$, $S_3$, and $S_4$ are all solvable. But for degree 5 and higher, the symmetric group $S_n$ contains the non-abelian simple group $A_n$ as a composition factor, rendering it unsolvable.

To truly appreciate why the simplicity of $A_5$ is the linchpin, imagine a hypothetical universe where $A_5$ wasn't simple. If $A_5$ could be broken down further into, say, abelian groups of orders 5, 3, 2, and 2, then we could continue dismantling $S_5$. This would correspond to a tower of field extensions with steps of degrees 2, 5, 3, 2, and 2, meaning the quintic could be solved by taking a square root, then a 5th root, then a cube root, and so on. The fact that $A_5$ is an unbreakable, non-abelian block is the sole reason no such general formula can ever be written.

It is vital to understand what this great theorem does and does not say. The unsolvability of the general quintic does not mean that no quintic equation can be solved by radicals. For example, the equation $x^5 - 15x + 5 = 0$ has Galois group $A_5$, which is not solvable. However, the equation $x^5 - 1 = 0$ has roots that are simple to write down (the 5th roots of unity), and its Galois group is cyclic and thus solvable.

The theorem is about the absence of a universal formula that works for any quintic, given its coefficients. To know if a specific quintic is solvable, you must compute its specific Galois group (which will be some subgroup of $S_5$) and check if that particular group is solvable. The grand result of Abel, Ruffini, and Galois is that because $S_5$ itself is not solvable, no single formula could possibly handle every case. The symmetry of the general problem is just too complex to be untangled by simple radicals.

Now that we have grappled with the central principle of Galois's theory—that a polynomial is solvable by radicals if and only if its group of symmetries is "solvable"—you might be wondering, what is this truly good for? Is it merely an elegant, self-contained piece of abstract mathematics? The answer is a resounding no. This idea is not an island; it is a continental bridge, connecting the landscape of algebra to the worlds of geometry, number theory, and even the fundamental nature of computation. Like a Rosetta Stone, it translates the seemingly intractable problem of finding formulas into the beautifully structured language of symmetry, and in doing so, it solves ancient riddles and illuminates modern ones.

Let's embark on a journey to see this principle in action. We won't be proving theorems, but rather appreciating the view from the peaks they allow us to climb.

First, let's look back at familiar territory through our new Galois-theoretic lens. You learned in school how to solve any quadratic equation, $ax^2 + bx + c = 0$. The quadratic formula is a steadfast and universal tool. Why does such a formula exist? Before Galois, one might have said, "Well, we found it through algebraic manipulation." But now we have a deeper, more satisfying answer. The "symmetry group" of a quadratic polynomial, its Galois group, permutes its two roots. The only possible ways to do this are to do nothing or to swap them. This group of symmetries is a subgroup of the symmetric group on two elements, $S_2$. Any such group is incredibly simple—it's either the trivial group or a group with two elements. Both are paradigms of a solvable group. Thus, from the perspective of symmetry, there is no structural obstacle to finding a general formula. The existence of the quadratic formula is not an accident of algebra; it is a consequence of simplicity.

What about cubic equations? You may have heard of Cardano's formula for the roots of a cubic, a sprawling and unwieldy expression that is rarely taught and even more rarely used. Yet, it exists. Why? Again, we look to the symmetries. The Galois group of an irreducible cubic must be a subgroup of the symmetric group on three elements, $S_3$. The only possibilities are the cyclic group of three elements, $A_3$, or $S_3$ itself. As it happens, both of these groups are solvable. $A_3$ is abelian, and $S_3$, while not abelian, can be "disassembled" into abelian pieces. So, a formula made of radicals must exist. The complexity of Cardano's formula compared to the quadratic formula is a direct reflection of the richer, non-abelian structure of $S_3$ compared to $S_2$. The theory not only predicts the existence of a formula but even hints at its complexity!

We see this principle beautifully in a special class of quartics, the "biquadratic" polynomials of the form $x^4 + ax^2 + b = 0$. Solving this is like solving two quadratic equations in sequence. First, let $y = x^2$ and solve the quadratic $y^2 + ay + b = 0$ for $y$. Then, solve for $x$ by taking the square roots of the solutions for $y$. This process of stacking one radical solution on top of another corresponds to building a "tower" of field extensions. This construction guarantees that the associated Galois group is a 2-group (its order is a power of 2), and all such groups are solvable. So, every single polynomial of this form is solvable by radicals, a fact that falls out effortlessly from the theory.

The true power of a new theory, however, is often found not in explaining the known but in conquering the unknown. For centuries, mathematicians hunted for a "quintic formula," a radical expression for the roots of a general fifth-degree polynomial. The hunt was fruitless, and the Abel-Ruffini theorem eventually proved it was a search for a phantom. But it was Galois who provided the ultimate "why."

He showed that the barrier was a particular kind of symmetry. The Galois group for a general quintic is the symmetric group $S_5$. Deep inside this group lies the alternating group $A_5$. This group is different. Unlike $S_3$ or $S_4$, it cannot be broken down into simpler abelian pieces. It is a simple group—an unbreakable atom of symmetry, indivisible and non-abelian. The derived series of $S_5$ gets stuck at $A_5$ and can proceed no further. This algebraic fact is the rock on which the hope for a general quintic formula is dashed. Any polynomial whose Galois group is $A_5$ or $S_5$ is fundamentally unsolvable by radicals.

But does such a polynomial with rational coefficients actually exist? Or is this just a theoretical ghost? In one of the most stunning syntheses in mathematics, the answer can be found in geometry. Consider a regular icosahedron—the 20-sided Platonic solid. Its group of rotational symmetries, the set of all ways you can turn it and have it look the same, has a very specific structure. If you work it out, you find this group is precisely the alternating group $A_5$! By constructing a polynomial whose roots correspond to geometric features of the icosahedron, mathematicians have created concrete quintic equations with rational coefficients whose Galois group is $A_5$. So the reason you can't write a general formula for the quintic is, in a profound sense, the same reason an icosahedron has the symmetries it does.

Of course, this doesn't mean no quintic is solvable. A polynomial like $x^5 - c = 0$ is obviously solvable; its primary root is just $\sqrt[5]{c}$. The theory gracefully accommodates this by showing that the Galois group for this specific polynomial is not $A_5$ or $S_5$, but a much smaller, solvable group. The insolvability of the quintic is about the general case, not every specific instance.

The influence of Galois's criterion extends far beyond polynomial equations, reaching into questions that have fascinated thinkers for millennia.

​​Geometry and Antiquity:​​ The ancient Greeks posed three famous problems for straightedge and compass construction: doubling the cube, trisecting an arbitrary angle, and squaring the circle. For 2000 years, no one could solve them. Galois theory provides the final, elegant answer. It turns out that a number is constructible with a straightedge and compass if and only if it can be obtained through a series of square roots. This implies that the Galois group of its corresponding field extension must have an order that is a power of 2. This is a much stricter condition than merely being solvable! For example, the problem of trisecting an angle often leads to a cubic equation whose Galois group has order 3 or 6—solvable, yes, but not a power of 2. Thus, the construction is impossible. The theory creates a beautiful hierarchy: constructible numbers are a subset of numbers expressible by radicals.

​​Number Theory and Finite Fields:​​ The theory's predictions are also deeply sensitive to the number system you work in. We've been assuming our coefficients are rational numbers. What if we work in a finite field, the world of "clock arithmetic"? Here, a miracle occurs: every polynomial is solvable by radicals, regardless of its degree! This is because the Galois groups of extensions of finite fields have a beautiful, rigid structure: they are always cyclic. The Frobenius automorphism, which simply raises every element to the power of the field's size, generates the entire group. Since all cyclic groups are abelian and thus solvable, every equation has a "solution in radicals." The unsolvability of the quintic is a feature of our infinite number system, not an absolute law of algebra.

​​The Frontiers of Group Theory:​​ Finally, this connection between solvability and group structure is not a closed chapter of history. It links directly to the frontiers of mathematical research. Imagine you are told that an irreducible polynomial has a Galois group of order 99. Is it solvable by radicals? The order 99 is not a power of a prime, and the group isn't necessarily abelian. It seems impossible to know without more information. But 99 is an odd number. Here, we can pull out a cannon of 20th-century mathematics: the Feit-Thompson Odd Order Theorem, a result whose proof spans hundreds of pages. It states that every finite group of odd order is solvable. And just like that, the question is answered. The polynomial is solvable. This shows that the seed planted by Galois has grown into a mighty tree, its branches reaching into the deepest and most challenging questions about the nature of finite symmetry.

From the familiar quadratic formula to the symmetries of a virus (many of which are icosahedral), from ancient geometric puzzles to modern group theory, the criterion of solvability by radicals is a thread of profound insight, weaving together disparate fields into a single, beautiful tapestry. It teaches us that to solve a problem, the most powerful tool is often to step back and appreciate its symmetry.