Loading field map
Field and Galois theory is the branch of algebra that studies algebraic equations through the structure of their solution sets. It asks a deceptively simple question: when can an equation be solved by radicals, and what does the answer reveal about the nature of the equation itself? The field's central achievement is a precise dictionary connecting the symmetries of a polynomial's roots to the structure of the field containing those roots. This dictionary, forged in the nineteenth century and refined ever since, remains one of the most complete and beautiful correspondences in all of mathematics.
A field is a set equipped with two operations, addition and multiplication, that behave like the rational, real, or complex numbers: both operations are commutative and associative, multiplication distributes over addition, every element has an additive inverse, and every nonzero element has a multiplicative inverse. Familiar examples include the rational numbers ℚ, the real numbers ℝ, the complex numbers ℂ, and the finite fields 𝔽ₚ (integers modulo a prime p). Fields are the natural arenas in which to study polynomial equations, because they are exactly the structures in which the usual algebraic manipulations—adding, subtracting, multiplying, dividing—are always possible.
Given a field F, one can form a larger field K containing F, called an extension field of F. The extension is written K/F. The central object of study is the relationship between F and K: what new elements does K add, and how do they interact with the old ones? Every element of K can be classified by whether it satisfies a polynomial equation with coefficients in F. An element α ∈ K is algebraic over F if it is a root of some nonzero polynomial with coefficients in F; otherwise it is transcendental. For example, √2 is algebraic over ℚ (it satisfies x² − $2 = 0$), while π is transcendental over ℚ. The extension K/F is called algebraic if every element of K is algebraic over F.
The most important construction is the splitting field of a polynomial. Given a polynomial f(x) with coefficients in F, its splitting field is the smallest extension of F in which f factors completely into linear factors—that is, the smallest field containing all of f's roots. For instance, the splitting field of x² − 2 over ℚ is ℚ(√2), the set of all numbers of the form a + b√2 with a, b ∈ ℚ. The splitting field is unique up to isomorphism, and it is always algebraic over F. The roots of f, together with the field operations, generate the entire splitting field.
The key insight of Galois theory is that the structure of a splitting field is encoded in its symmetries. A field automorphism is a bijective map from a field to itself that preserves addition and multiplication. The set of all automorphisms of an extension K/F that fix every element of F forms a group under composition, called the Galois group Gal(K/F). Each automorphism permutes the roots of any polynomial with coefficients in F, because it must preserve the polynomial's value: if f(α) = 0, then f(σ(α)) = σ(f(α)) = 0 for any automorphism σ fixing F. Thus Gal(K/F) acts as a group of permutations on the roots of f.
The fundamental theorem of Galois theory states that, for a certain well-behaved class of extensions called Galois extensions, there is a one-to-one correspondence between the subgroups of Gal(K/F) and the intermediate fields E with F ⊆ E ⊆ K. The correspondence works in both directions: to each intermediate field E one associates the subgroup of automorphisms fixing E pointwise, and to each subgroup H one associates the field of elements fixed by every automorphism in H. This correspondence reverses inclusion: larger subgroups correspond to smaller intermediate fields, and vice versa. It also preserves structural properties—normal subgroups correspond to Galois extensions of the base field, and the quotient group corresponds to the Galois group of the extension of fixed fields.
A Galois extension is an algebraic extension K/F that is both normal (every irreducible polynomial over F that has one root in K has all its roots in K) and separable (every algebraic element has a minimal polynomial with distinct roots). Over fields of characteristic zero—which include ℚ, ℝ, and ℂ—every algebraic extension is automatically separable, so normality is the only additional condition. The splitting field of any polynomial over a field of characteristic zero is always a Galois extension. The Galois group of a splitting field is called the Galois group of the polynomial.
The original motivation for Galois theory was the ancient problem of solving polynomial equations by radicals. An equation is solvable by radicals if its roots can be expressed using the field operations and extraction of nth roots (square roots, cube roots, and so on), starting from the coefficients. The quadratic formula achieves this for degree 2; the cubic and quartic formulas, discovered in the sixteenth century, do the same for degrees 3 and 4. For degree 5 and higher, no such general formula exists.
Galois theory explains exactly why. The key theorem states that a polynomial is solvable by radicals if and only if its Galois group is a solvable group—a group that can be built up from abelian groups through a finite chain of normal subgroups with abelian quotients. The connection arises because adjoining an nth root of an element creates a cyclic Galois group, and cyclic groups are abelian. Conversely, any solvable Galois group can be decomposed into cyclic pieces, each corresponding to the adjunction of a radical. The impossibility of a general quintic formula follows from the existence of polynomials whose Galois group is the alternating group A₅, which is simple and non-abelian, hence not solvable. The standard example is x⁵ − 4x + 2 over ℚ, whose Galois group is A₅ or S₅.
This result does not merely say that no formula has been found; it says that no formula can exist, because the algebraic structure of the roots forbids it. The distinction is fundamental: the obstruction is not computational difficulty but structural impossibility. The same framework also explains why some quintics are solvable (those with solvable Galois groups, such as x⁵ − 1) and why the general cubic and quartic formulas work (their Galois groups are solvable).
The ideas now called Galois theory emerged from a long tradition of studying polynomial equations. The quadratic formula was known in antiquity; the cubic and quartic formulas were discovered in Renaissance Italy. These formulas, however, were ad hoc manipulations of radicals, with no underlying structural explanation. In the late eighteenth century, Joseph-Louis Lagrange analyzed these formulas and identified the role of permutations of the roots, but he did not develop a general theory. Paolo Ruffini and Niels Henrik Abel proved, in the early nineteenth century, that the general quintic is not solvable by radicals, but their proofs were lengthy and did not reveal the underlying structure.
Évariste Galois, working in the 1830s, transformed the problem by shifting attention from the roots themselves to the symmetries among them. His key innovation was to study the group of permutations of the roots that preserve all algebraic relations among them—what is now called the Galois group. Galois showed that the solvability of an equation is determined by the structure of this group, and he developed the correspondence between subgroups and intermediate fields. His work was not published in his lifetime; it was rejected by the Academy of Sciences and only appeared posthumously, after his death in a duel at age twenty. The mathematical community took decades to absorb his ideas, which were initially presented in a fragmented and difficult form.
The modern formulation of Galois theory, in terms of field extensions and automorphism groups, was developed in the late nineteenth and early twentieth centuries. Richard Dedekind introduced the systematic use of fields and automorphisms; Emil Artin, in the 1920s and 1930s, gave the theory its modern axiomatic form, eliminating the need for the primitive elements and other technical devices that had complicated earlier presentations. Artin's treatment, which defines the Galois group as the group of automorphisms fixing the base field and proves the fundamental theorem through the fixed-field correspondence, remains the standard framework.
Within field and Galois theory, several distinct approaches coexist, each emphasizing different aspects of the subject.
The classical approach, following Galois and Artin, focuses on the correspondence between subgroups and intermediate fields. It is the most direct route to the solvability criterion and remains the standard introduction to the subject. Its power lies in its concreteness: given a specific polynomial, one can compute its Galois group and read off the structure of its splitting field. Its limitation is that explicit computation of Galois groups can be difficult, especially for high-degree polynomials.
The infinite Galois theory approach extends the fundamental theorem to infinite algebraic extensions. For infinite extensions, the Galois group is a profinite group—an inverse limit of finite groups—and the correspondence must be restricted to closed subgroups. This theory, developed in the early twentieth century, is essential for understanding algebraic closures and infinite-dimensional extensions. It plays a central role in modern number theory, where infinite Galois groups such as the absolute Galois group of ℚ encode deep arithmetic information.
The cohomological approach reformulates Galois theory in the language of group cohomology. The Galois cohomology of a field F with coefficients in a Galois module—an abelian group with an action of Gal(F̄/F)—classifies objects such as central simple algebras, quadratic forms, and other algebraic structures over F. This approach, developed in the mid-twentieth century, connects Galois theory to homological algebra and has become indispensable in arithmetic geometry and the theory of algebraic groups. It does not replace the classical theory but rather provides a powerful computational and conceptual tool for studying the invariants that the Galois group controls.
The differential Galois theory approach adapts the framework to linear differential equations. Instead of fields and automorphisms, one studies differential fields (fields with a derivation) and their differential automorphisms. The Picard–Vessiot theory establishes a correspondence between the differential Galois group of a linear differential equation and the structure of its solution space, analogous to the classical correspondence. This theory, developed in the late nineteenth and twentieth centuries, addresses the question of when a differential equation can be solved by integrals and exponentials, in the same way that classical Galois theory addresses solvability by radicals.
These approaches are not rivals but complementary tools. The classical theory provides the foundation; infinite Galois theory extends it to the settings required by modern number theory; cohomological methods extract arithmetic information from the Galois group; and differential Galois theory applies the same structural ideas to a different class of equations. A working mathematician may use all four in a single investigation.
Contemporary field and Galois theory is a mature subject, but it remains active in several directions. The inverse Galois problem—whether every finite group occurs as a Galois group of some extension of ℚ—is open in general, though many groups are known to occur. The problem is connected to deep questions in number theory, including the structure of the absolute Galois group of ℚ, which is not fully understood. The Langlands program, a vast web of conjectures connecting Galois representations to automorphic forms, has driven much of the recent development of the subject. Galois representations—homomorphisms from Galois groups to matrix groups—are the modern language for studying the arithmetic of fields, and their properties are central to contemporary research.
The theory also continues to find new applications. In arithmetic geometry, Galois groups act on the cohomology of algebraic varieties, and understanding this action is a central problem. In coding theory and cryptography, finite fields and their Galois groups underlie the construction of error-correcting codes and cryptographic systems. The theory of Galois modules—modules over group rings of Galois groups—connects Galois theory to algebraic number theory and the study of class groups.
Field and Galois theory stands as a model of what a mathematical theory can achieve: a complete and precise classification of the objects it studies, a clear criterion for a classical problem, and a framework that continues to generate new mathematics. Its central correspondence—between symmetries and substructures—has proven so fruitful that analogous correspondences have been sought and found in many other areas of mathematics, from topology to algebraic geometry. The theory's enduring power lies in its demonstration that the structure of a mathematical object is often best understood through its symmetries.