Loading field map
The central tension in field and Galois theory has always been the gap between the solvability of equations and the structure of the fields that contain their solutions. Évariste Galois first showed that the solvability of a polynomial equation by radicals is governed by a symmetry group—the Galois group of its splitting field. This insight launched a tradition that has since branched into five distinct frameworks, each responding to limitations in the previous one. The frameworks are not a simple succession of improvements; they coexist today, each addressing a different kind of question about fields, extensions, and symmetries.
Classical Galois theory, forged in the 1830s and refined over the next century, established the fundamental correspondence between subfields of a finite-degree field extension and subgroups of its Galois group. The core problem was to determine whether a polynomial equation could be solved by radicals. Galois’s answer—that solvability occurs exactly when the Galois group is a solvable group—turned a computational question into a structural one. This framework treated fields as given objects, usually subfields of the complex numbers, and focused on finite extensions. Its methods were concrete: one computed Galois groups by studying permutations of roots. By the early twentieth century, classical Galois theory had been absorbed into the broader Abstract Algebra framework, which redefined algebra as the study of axiomatic structures. The classical framework remains the standard entry point for students, but its reliance on finite extensions and characteristic-zero fields limited its reach.
Abstract field theory emerged from the recognition that fields need not be subfields of the complex numbers. Richard Dedekind and Leopold Kronecker, working in the 1870s–1890s, began treating fields as abstract algebraic structures defined by axioms. This shift allowed mathematicians to study fields of arbitrary characteristic, including finite fields and function fields. The framework’s distinctive contribution was to separate the concept of a field extension from any particular embedding into the complex numbers. By the 1930s, abstract field theory had provided the language for Emil Artin’s reworking of Galois theory, which replaced permutation-based arguments with automorphism groups of abstract extensions. This framework coexisted with classical Galois theory for decades, gradually absorbing it. Abstract field theory also supplied the infrastructure for later frameworks: the notion of a field as a ring with inverses, the theory of algebraic closures, and the study of separable and normal extensions all became standard tools. By the 1970s, abstract field theory was no longer a separate research frontier but a settled foundation on which other frameworks built.
Class field theory grew out of the limitations of abstract field theory when applied to number fields. David Hilbert and his school, around 1900, asked how abelian extensions of number fields—those with commutative Galois groups—could be described systematically. The answer, developed by Hilbert, Philipp Furtwängler, and later Emil Artin and Helmut Hasse, was a deep reciprocity law linking abelian extensions to the arithmetic of the base field. Class field theory is narrower than classical Galois theory: it only describes extensions with abelian Galois groups. But within that restriction, it provides an explicit description of all such extensions in terms of ideal classes and, later, idèles. The framework was reformulated in the 1950s using group cohomology, which made the proofs more systematic but also more abstract. A drawback of the cohomological approach was its relative inexplicitness, which spurred later work by Jürgen Neukirch and others on algorithmic and explicit methods. Today, class field theory remains a living tradition, essential for number theory. It coexists with the broader Galois theory frameworks by specializing to the abelian case, where it achieves a completeness that non-abelian theories cannot match.
Differential Galois theory extends the Galois correspondence from fields to differential fields—fields equipped with a derivation. The pressure behind this shift came from analysis: mathematicians wanted to know when an indefinite integral could be expressed in elementary functions. Émile Picard and Ernest Vessiot, around 1900, recognized that the integrability of a linear differential equation is governed by a differential Galois group, analogous to the classical Galois group of a polynomial. The framework replaces field extensions with differential field extensions and studies the symmetries of differential equations. Its methods are parallel to classical Galois theory: one defines a Picard–Vessiot extension, computes its differential Galois group, and reads off solvability criteria. The key difference is that the base objects are differential fields, and the extensions are generated by solutions of differential equations. Differential Galois theory did not replace classical Galois theory; it transformed the same correspondence into a new setting. It remains active today, especially in the study of special functions and integrability. Its assumptions conflict with class field theory’s arithmetic focus, but the two frameworks rarely compete because they address disjoint classes of problems.
Inverse Galois theory reverses the classical question: instead of starting with a field extension and computing its Galois group, it asks which finite groups can appear as Galois groups of extensions of a given base field, typically the rational numbers. This framework emerged in the 1950s, driven by the work of Igor Shafarevich and others. The classical and abstract frameworks had provided a rich theory of Galois groups, but they gave no systematic way to realize a given group as a Galois group over ℚ. Inverse Galois theory addresses this by constructing explicit polynomials with prescribed Galois groups. Its methods draw on algebraic geometry, number theory, and computational algebra. The framework is narrower than classical Galois theory in scope—it focuses on existence rather than classification—but it has generated powerful techniques, such as the use of Hilbert’s irreducibility theorem and the theory of moduli spaces. Inverse Galois theory remains a vibrant research area because the full problem is unsolved: it is not known whether every finite group occurs as a Galois group over ℚ. The framework coexists with class field theory (which solves the abelian case) and with computational algebra (which provides algorithms for constructing polynomials).
Today, the five frameworks form a division of labor rather than a hierarchy. Classical Galois theory and abstract field theory provide the shared language of field extensions, automorphism groups, and Galois groups that all other frameworks use. Class field theory specializes to abelian extensions and remains the most complete theory for number fields. Differential Galois theory applies the same correspondence to differential equations, a domain the other frameworks do not touch. Inverse Galois theory asks existence questions that the others take for granted. The frameworks agree on the centrality of the Galois correspondence and on the importance of group-theoretic invariants. They disagree on what counts as a solved problem: class field theory considers the abelian case settled, while inverse Galois theory treats the non-abelian case as wide open. They also differ in their methods—class field theory relies on cohomology and idèles, differential Galois theory on differential algebra, and inverse Galois theory on algebraic geometry. These disagreements are productive: each framework’s limitations drive the others forward. The leading frameworks today—class field theory, differential Galois theory, and inverse Galois theory—are active precisely because they extend the classical correspondence into domains where the original framework could not reach.