This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Galois module | |
|---|---|
| Name | Galois module |
| Field | Algebra, Number Theory, Representation Theory |
| Introduced | 19th century |
| Notable | Évariste Galois, Richard Dedekind, Emmy Noether, Helmut Hasse, John Tate |
Galois module
A Galois module is an algebraic structure arising when a group with origins in Évariste Galois acts linearly on an abelian object such as an additive group of a field extension, an ideal class group, or a cohomology group; it connects classical ideas from Augustin-Louis Cauchy and Évariste Galois through the work of Richard Dedekind, Emmy Noether, and Emil Artin. The notion unifies perspectives from number theory, algebra, and representation theory, and it features in landmark results by Helmut Hasse, John Tate, Jean-Pierre Serre, and Alexander Grothendieck. Galois module structures are studied using techniques from homological algebra, class field theory, and cohomology to extract arithmetic invariants.
A Galois module is typically an abelian group or module M equipped with an action of a Galois group G = Gal(L/K) where L/K is a field extension; foundational contributors include Évariste Galois, Richard Dedekind, Leopold Kronecker, and David Hilbert. Typical ambient categories involve rings such as the group ring O_K[G] where O_K is the ring of integers of K, with important figures like Emmy Noether formalizing module-theoretic approaches and Emil Artin relating characters to actions. The action is compatible with scalar multiplication when M is an O_L-module, relating to work of H. S. Vandiver and developments by Heinrich Weber and Otto Schilling on ramification and integral bases. Basic invariants include rank, discriminant, and resolvent ideals studied by Dedekind and Kummer.
Classical examples begin with the additive group O_L of the ring of integers in a finite extension L/K studied by Richard Dedekind, with prime historical cases analyzed by Ernst Kummer, David Hilbert, and Franz Mertens. The unit group O_L^× with Galois action features in results by Leopold Kronecker and Heinrich Minkowski and in the Dirichlet's unit theorem context influenced by Peter Gustav Lejeune Dirichlet. Ideal class groups Cl(L) as G-modules were central to work of Friedrich Karl Schmidt and Helmut Hasse in class field theory, and Tate's cohomological reinterpretation involves John Tate and Emil Artin. Simple extensions such as cyclotomic fields involve Srinivasa Ramanujan-era computations and classical examples like the Cyclotomic field Q(ζ_n) analyzed by Carl Friedrich Gauss and Ernst Eduard Kummer. Wildly ramified extensions considered by Iwasawa and Serre illuminate subtle module behavior, as in examples involving Iwasawa theory and Lubin–Tate theory developed by Jonathan Lubin and John Tate.
Understanding O_L as an O_K[G]-module invokes structure theorems influenced by Emmy Noether's normal basis theorem, with counterexamples and refinements by Franz Deuring and Michael Artin; invariants such as the ring discriminant and the Steinitz class relate to work by Kurt Hensel and Franz Halter-Koch. The locally free class group Cl(O_K[G]) studied by John Tate and David A. Marcus classifies isomorphism classes, and results by Martin Taylor and Pete L. Clark link to the Galois scaffold developed in research by G. Griffith Elder. Resolvent methods trace to Arthur Cayley and Levi-Civita approaches to permutation representations, while structure decompositions use idempotents associated to irreducible characters from Issai Schur and Ferdinand Georg Frobenius. Ramification filtrations of Galois groups studied by Serge Lang and Jean-Pierre Serre yield refined invariants, and local-global principles echo contributions from Henri Poincaré and André Weil.
In algebraic number theory, Galois module techniques address integral normal bases, Galois resolvents, and explicit class field theory problems originally posed by Leopold Kronecker and pursued by Helmut Hasse and Kurt Hensel. The Hilbert–Speiser theorem and the Noether problem involve names such as David Hilbert, Ida Kristensen Speiser, and Emmy Noether, while the Hilbert–Takagi framework ties to Toshikazu Takagi and modern expositions by J. W. S. Cassels and A. Fröhlich. The use of group rings O_K[G] and their locally free modules appears in work by Richard Swan and Albrecht Fröhlich, with conjectures and theorems connecting to the Brumer–Stark conjecture and the Equivariant Tamagawa Number Conjecture formulated by Takeshi Tsuji, David Burns, and Florian Flach. Computational methods draw on algorithms from Daniel J. Bernstein and Andrew Wiles contexts, while Iwasawa-theoretic perspectives relate to Kenkichi Iwasawa and Barry Mazur.
Cohomological tools from Jean-Pierre Serre, Alexander Grothendieck, and John Tate play a central role: Tate cohomology, étale cohomology, and flat cohomology provide descent frameworks and obstruction theories used by Grothendieck in the context of schemes and by Michel Raynaud in deformation problems. Spectral sequence techniques tie to Jean Leray and Henri Cartan, and the use of derived functors Ext and Tor follows from Samuel Eilenberg and Saunders Mac Lane foundations. Local duality theorems of John Tate and global duality of André Weil furnish cup-product pairings that detect Galois module splitting, while obstruction classes and patching methods were advanced by Haruzo Hida and Brian Conrad. Descent for torsors involves work of Benoît Clozel and Gerd Faltings in arithmetic geometry contexts.
Representation-theoretic viewpoints link Galois module structure to permutation representations of Galois groups studied by Ferdinand Georg Frobenius and Issai Schur, and to modular representation theory advanced by Alperin and Gareth A. Jones. Characters and Artin L-functions introduced by Emil Artin connect to module decompositions and to conjectures of Langlands and Robert Langlands program influences, with implications for automorphic forms researched by Atle Selberg and Harish-Chandra. Relations to group cohomology and Brauer groups reflect work by Richard Brauer and John Milnor, and connections to deformation theory and modularity involve Andrew Wiles and Richard Taylor. Computational and categorical approaches are influenced by Peter Scholze and Jacob Lurie in modern structural studies.