Mathematics
Field Extensions and Galois Theory
Quick fact
The Galois group of a polynomial encodes the symmetries of its roots: it is the group of automorphisms of the splitting field that fix the base field. The group's structure determines whether the polynomial can be solved by radicals.
Why this is interesting
Why can we solve a quadratic equation with a simple formula, but no such formula exists for general quintic equations? The answer lies in the hidden symmetries of the roots—a story told by field extensions and Galois theory.
Read the full explanation
Understanding Field Extensions and Galois Theory
Imagine you have a field like the rational numbers (ℚ). A field extension is simply a larger field that contains ℚ, such as ℚ(√2), which is all numbers of the form a + b√2 with a, b rational. We say ℚ is the base field and ℚ(√2) is the extension field. This extension gives us a place where the polynomial x² - 2 = 0 has roots: √2 and -√2. In general, to study a polynomial, we construct the smallest field containing all its roots—called its splitting field. Then we look at the symmetries of this field that keep the base field fixed—these are permutations of the roots that preserve algebraic relations. This group of symmetries is the Galois group. Galois theory is the study of how this group reflects the structure of the field extension, and vice versa.
A deeper explanation
The deep mechanism is the Galois correspondence: for a field extension E over F that is 'nice' (finite and Galois), there is a one-to-one correspondence between the intermediate fields (fields between F and E) and the subgroups of the Galois group Gal(E/F). The fixed field of a subgroup H is the set of elements in E that are left unchanged by every automorphism in H; conversely, to each intermediate field K corresponds the subgroup of automorphisms that fix K pointwise. This correspondence is order-reversing: larger subgroups correspond to smaller fixed fields. This bijection allows us to translate problems about fields into problems about groups, which are often easier to analyze. For the solvability of polynomials, the key result is that a polynomial is solvable by radicals if and only if its Galois group is a solvable group—a group with a chain of subgroups where each quotient is abelian. For polynomials of degree five or higher, the symmetric group S₅ (which arises for many quintics) is not solvable, which explains why there is no general radical formula for quintic equations. This mechanism, discovered by Évariste Galois, not only resolved an ancient question but also laid groundwork for modern algebra and number theory.