Solvability by Radicals

The question of whether a polynomial equation can be solved using a finite sequence of arithmetic operations and root extractions is one of the most profound in algebra. Its resolution, which revealed that general polynomial equations of degree five and higher have no such radical solution, didn't just answer an old problem—it birthed modern abstract algebra. Understanding this story requires moving from computing with numbers to reasoning with symmetries, a journey made possible by Galois theory, the powerful framework connecting field extensions to group theory.

From Radical Solutions to Field Extensions

A polynomial equation is solvable by radicals if all its roots can be expressed using a finite combination of the coefficients, the operations of addition, subtraction, multiplication, division, and the extraction of $n$th roots (radicals). Classic formulas exist for quadratic, cubic, and quartic equations. To analyze this property algebraically, we consider the field containing the polynomial's coefficients and the successive field extensions created by adjoining each required radical.

This process builds a tower of fields. If we start with a base field $F$ (often containing the polynomial's coefficients) and the polynomial's splitting field $K$ (the smallest field containing all its roots), solvability by radicals implies we can construct a special kind of tower from $F$ to $K$. Each step in this tower is a radical extension: an extension $F_{i+1}$ of $F_i$ obtained by adjoining an element $\alpha$ such that ${\alpha }^n\in F_i$ for some integer $n$. The central idea is that the structural "symmetries" of this tower—encoded in its Galois groups—must have a very particular form.

The Galois Criterion for Solvability

The Fundamental Theorem of Galois Theory provides the essential bridge. For a Galois extension $K/F$, it establishes a one-to-one, inclusion-reversing correspondence between intermediate fields $E$ (where $F\subseteq E\subseteq K$) and subgroups of the Galois group $G=\text{Gal}(K/F)$. Properties of field extensions translate directly into properties of the corresponding subgroups.

The key concept on the group side is that of a solvable group. A group $G$ is solvable if it has a subnormal series where each factor group (the quotient of successive subgroups) is abelian. More concretely, there exists a chain of subgroups: $$\{e\}=G_0◃G_1◃\cdots ◃G_k=G$$ such that each quotient group $G_{i+1}/G_i$ is abelian.

The monumental theorem derived from the fundamental theorem states: *A polynomial with coefficients in a field $F$ of characteristic zero is solvable by radicals if and only if the Galois group of its splitting field over $F$ is a solvable group.* The proof leverages the Galois correspondence. A tower of radical extensions corresponds, via the fundamental theorem, to a chain of subgroups where the quotients are abelian—precisely the definition of a solvable Galois group. This transforms the analytical problem of finding radical formulas into the group-theoretic problem of checking solvability.

The Insolvability of the General Quintic

The "general polynomial" of degree $n$ has coefficients that are independent transcendentals (like $a_0,a_1,...,a_{n-1}$). Its Galois group over the field $F=\mathbb{Q}(a_0,...,a_{n-1})$ is the full symmetric group $S_n$, the group of all permutations of $n$ objects.

The fate of radical solvability therefore hinges on the solvability of symmetric groups. The groups $S_2$, $S_3$, and $S_4$ are solvable, which aligns with the existence of radical formulas for degrees 2, 3, and 4. However, for $n\ge 5$, a pivotal result in group theory takes hold: the alternating group $A_n$ is simple (non-abelian and has no non-trivial normal subgroups) for $n\ge 5$. Since $A_n$ is a normal subgroup of $S_n$ with quotient $\mathbb{Z}/2\mathbb{Z}$, the composition series for $S_5$ becomes: $$\{e\}◃A_5◃S_5.$$ The quotient $A_5/\{e\}\cong A_5$ is not abelian. This breaks the condition for solvability. Therefore, $S_5$ is not a solvable group. Consequently, the general quintic (degree five) polynomial is not solvable by radicals. This result extends to all general polynomials of degree $n\ge 5$, as $S_n$ contains $S_5$ as a subgroup, and non-solvability is inherited by larger containing groups.

It is crucial to note that specific quintics (e.g., $x^5-2=0$) may have solvable Galois groups (in this case, a group of order 20) and thus are solvable by radicals. The theorem denies the existence of a single, universal radical formula that works for all quintic equations using only their coefficients.

An Application: Constructibility of Regular Polygons

Galois theory elegantly solves the ancient Greek problem of which regular polygons are constructible with compass and straightedge. Construction is a far more restrictive process than radical solution, allowing only square roots (quadratic extensions). A complex number is constructible only if it lies in a field at the top of a tower of quadratic extensions.

The vertices of a regular $n$-gon are the complex roots of $x^n-1=0$. The relevant field is the cyclotomic field $\mathbb{Q}({\zeta }_n)$, where ${\zeta }_n=e^{2\pi i/n}$. Its Galois group over $\mathbb{Q}$ is abelian and isomorphic to $(\mathbb{Z}/n\mathbb{Z}{)}^{\times }$, the multiplicative group of integers modulo $n$.

For constructibility, the Galois group must not just be solvable, but must be a 2-group (a group whose order is a power of 2). This occurs if and only if the number of elements in $(\mathbb{Z}/n\mathbb{Z}{)}^{\times }$ is a power of 2. This translates to a classical number-theoretic condition: a regular $n$-gon is constructible if and only if $n$ is the product of a power of 2 and any number of distinct Fermat primes (primes of the form $F_k=2^{2^k}+1$). The known Fermat primes are 3, 5, 17, 257, and 65537. Hence, a regular heptagon ($n=7$) is not constructible, but a regular 17-gon is, a fact first proven by Gauss.

Critical Perspectives

While the Galois criterion is definitive, several nuances merit close attention. First, the theorem requires a field of characteristic zero. In positive characteristic, the interplay between radicals and separability introduces complications, and the straightforward correspondence can fail. Second, the theorem is non-constructive. Proving a polynomial's Galois group is solvable does not automatically provide the radical formula; it only assures its existence. Finding the formula is a separate, often computationally intensive task.

Finally, the insolvability of the quintic is frequently misunderstood. It does not state that quintic equations have no roots or that the roots are not complex numbers—they always are, by the Fundamental Theorem of Algebra. It states that for the general equation, those roots cannot be universally expressed using a finite radical formula. This distinction underscores the power of Galois theory: it reveals fundamental structural limits on our methods of solution, not on the existence of solutions themselves.

Summary

• The core link between field theory and group theory is established by the Fundamental Theorem of Galois Theory, which translates the problem of radical solvability into a problem about the solvability of groups.
• A polynomial is solvable by radicals if and only if the Galois group of its splitting field is a solvable group—one possessing a chain of normal subgroups with abelian quotients.
• The general quintic is not solvable by radicals because its Galois group is the symmetric group $S_5$, which is not solvable due to the non-abelian simple nature of the alternating group $A_5$. This result extends to all general polynomials of degree five and higher.
• Constructibility of regular polygons is a stricter problem resolvable by the same theory: a regular $n$-gon is constructible if and only if the Galois group of the $n$th cyclotomic field is a 2-group, leading to the number-theoretic condition involving Fermat primes.
• The theorem's scope is for characteristic zero fields, and it guarantees existence, not the explicit construction, of radical formulas for polynomials with solvable Galois groups.