Galois theory — LLMpedia

Galois theory
Self · CC BY-SA 3.0 · source
Name	Galois theory
Discipline	Mathematics
Subdiscipline	Algebra
Developed	19th century
Notable figures	Évariste Galois, Niels Henrik Abel, Émile Picard, Camille Jordan, Emmy Noether, Richard Dedekind, Leopold Kronecker, David Hilbert, Émile Mathieu

Contents

Galois theory is a branch of mathematics connecting the structure of fields with the symmetry of roots of polynomials via group theory. It originated in the work of Évariste Galois and was developed through contributions by figures such as Niels Henrik Abel, Richard Dedekind, Camille Jordan, and Emmy Noether. The theory provides criteria for when equations are solvable by radicals and underpins advances in algebraic number theory, algebraic geometry, and cryptography.

History

The origins trace to Évariste Galois's manuscripts and the context of early 19th-century European mathematics involving Niels Henrik Abel and the aftermath of the July Revolution. Subsequent formalization occurred via Joseph-Louis Lagrange's permutation ideas, Augustin-Louis Cauchy's permutation theory, and Émile Picard's expositions. Structural formulation advanced through work by Richard Dedekind and Leopold Kronecker in Berlin, consolidation by Camille Jordan in his treatise, and abstraction by Emmy Noether and David Hilbert. Influential institutions and events included the École Polytechnique, the rise of German universities in the 19th century, and the circulation of results through journals edited by figures such as Karl Weierstrass.

Galois-related foundations rely on notions introduced by Carl Friedrich Gauss in cyclotomy, extended by Évariste Galois and clarified by Auguste Chevalier and Richard Dedekind. Core objects include fields, polynomials, and groups; classical examples stem from rational numbers, complex numbers, and finite fields studied by Évariste Galois and later by Emil Artin. The fundamental theorem pairs intermediate fields with subgroups of a Galois group, a perspective enriched by Camille Jordan's permutation group work and by Emmy Noether's ideal-theoretic methods. Key invariants and constructions such as splitting fields, normal extensions, separable extensions, and automorphism groups were refined by Richard Dedekind and Leopold Kronecker and later systematized in the language of algebraic number theory by Heinrich Weber and Ernst Steinitz.

Galois groups arise as groups of field automorphisms with prototypical cases: the symmetric groups studied by Joseph-Louis Lagrange, the cyclic groups appearing in cyclotomic extensions explored by Carl Friedrich Gauss, and finite groups classified in part by Camille Jordan and later by William Burnside. The classification of extensions connects to work by Richard Dedekind on ideals, Ernst Steinitz on field axioms, and Emil Artin on reciprocity laws. Important concrete examples include quadratic extensions linked to Adrien-Marie Legendre, cubic and quartic equations treated by Niels Henrik Abel and Évariste Galois, and cyclotomic fields central to Kummer's work on Fermat-type problems and to Sophie Germain's early efforts. Modern perspectives exploit the interplay with algebraic number theory examined by Leopold Kronecker, David Hilbert, Ernst Kummer, and Kurt Hensel and connect to structural results from Sylow theorems developed by Ludvig Sylow and group cohomology methods introduced by Emil Artin and Jean-Pierre Serre.

The classical question of solvability by radicals was settled through contributions of Évariste Galois and Niels Henrik Abel showing that general quintics lack radical solutions; these results intersected with work by Émile Picard and Camille Jordan. Applications extend to algebraic number theory problems pursued by Ernst Kummer and Heinrich Weber and to diophantine investigations associated with Pierre de Fermat and later Andrew Wiles. Galois-theoretic criteria classify solvable extensions using solvable groups studied by Évariste Galois and systematized by Otto Schreier and Hans Zassenhaus. Further applications appear in cryptography via finite-field constructions used by Claude Shannon-era developments and later by researchers affiliated with MIT and Bell Labs, and in the theory of algebraic equations relevant to Évariste Galois's contemporaries.

Algorithmic Galois theory evolved through algorithmic algebra research at centers like INRIA and universities such as University of California, Berkeley and Princeton University. Algorithms compute Galois groups of polynomials using resolvent constructions from Lagrange and permutation group techniques refined by Camille Jordan and William Burnside. Modern computational tools implement these methods in systems developed at Wolfram Research, SageMath collaborative projects, and implementations influenced by work at Max Planck Institute and Institut des Hautes Études Scientifiques. Complexity analyses draw on contributions from Alonzo Church-era computability, Stephen Cook and Richard Karp complexity theory, and algorithmic number theory advances by Merrill M. Flood and Peter Shor in quantum contexts. Practical algorithms employ lattice reduction inspired by Hendrik Lenstra and field arithmetic techniques linked to Évariste Galois's finite-field constructions.

Galois ideas generalize to profinite and étale settings via concepts from Alexander Grothendieck, Jean-Pierre Serre, and Grothendieck's school at the Institut des Hautes Études Scientifiques. The notion of Galois group extends to absolute Galois groups studied by Emil Artin and Shafarevich, and to Galois categories and fundamental groups in algebraic geometry developed by Grothendieck and Alexander Grothendieck. Noncommutative generalizations connect to André Weil's motives program and to Tannakian duality as worked on by Pierre Deligne and Grothendieck. Connections to class field theory were advanced by David Hilbert, Emil Artin, and John Tate, while interactions with model theory and logic involve researchers such as Alfred Tarski and Saharon Shelah. Contemporary research threads include inverse Galois problems championed by Hilbert and modern collaborators, the study of Galois cohomology initiated by Emil Artin and expanded by Jean-Pierre Serre, and applications in arithmetic geometry pursued at institutions like Harvard University and Princeton University.