module (mathematics)

module (mathematics)
Name	Module (mathematics)
Field	Algebra

module (mathematics) A module is an algebraic structure generalizing vector spaces by allowing scalars from a ring rather than a field, combining ideas from Emmy Noether's work, David Hilbert-style algebraic methods, and classical ring theory. Modules arise naturally in the study of Noetherian conditions, the Smith normal form for matrices, and in connections between Alexander polynomials, Galois theory, and K-theory. They form a central object linking the approaches of Emil Artin, Hermann Weyl, Serge Lang, and Jean-Pierre Serre in modern algebra.

Definition and basic examples

A left module over a ring R is an abelian group equipped with a left action of R satisfying distributive and associative laws, echoing constructions in Arthur Cayley's matrix theory, Alfred North Whitehead's homological approaches, and Hermann Weyl's representation perspectives. Standard examples include Z-modules equivalent to abelian groups, R^n as modules from matrix rings, modules of polynomials such as R[x]-modules connected to Évariste Galois's polynomial roots, ideals in a ring seen as modules, and modules of sections of line bundles on schemes studied by Alexander Grothendieck. Other examples link to group representations of finite groups and modules over Lie algebra universal enveloping algebras as in works by Nikolai Bourbaki and Harish-Chandra.

Submodules and quotient modules

A submodule is a subgroup closed under scalar multiplication and mirrors the role of subspaces in David Hilbert's functional analysis and subobjects in category theory as developed by Saunders Mac Lane. Quotient modules arise from factor groups modulo submodules, forming exact contexts analogous to quotient spaces in Constantin Carathéodory's analysis and quotient sheaves in Alexander Grothendieck's algebraic geometry. Chains of submodules lead to composition series and Jordan–Hölder-type results related to Camille Jordan and Otto Hölder. Important properties such as maximal and prime submodules connect to Krull dimension and prime spectrum notions explored by Oscar Zariski and Masayoshi Nagata.

Module homomorphisms and exact sequences

Module homomorphisms are R-linear maps between modules and generalize linear maps from David Hilbert's foundations; they form morphisms in the category of R-modules central to category formulations by Saunders Mac Lane and Samuel Eilenberg. Kernels and images produce short and long exact sequences used extensively by Henri Cartan and Jean-Pierre Serre in sheaf cohomology; the snake lemma and five lemma tie to the work of Samuel Eilenberg and Norman Steenrod. Split exact sequences relate to direct sum decompositions studied by Emmy Noether and further elaborated in Algebraic K-theory by Daniel Quillen.

Constructions: direct sums, products, tensor products, and Hom

Direct sum and direct product constructions parallel constructions in John von Neumann's operator algebras and in Hermann Weyl's representation theory; external direct sums yield free modules such as R^(I) familiar from Cantor-type index sets. The tensor product of modules, developed alongside bilinear form theory by James Joseph Sylvester and formalized by Samuel Eilenberg and Saunders Mac Lane, is essential for change-of-scalars and induction functors like extension and restriction between rings, with universal properties central in Category theory. The Hom functor produces modules of R-linear maps and participates in adjunctions and Hom–tensor identities used by Jean-Pierre Serre and Alexander Grothendieck in cohomological dualities.

Special classes: free, projective, injective, and flat modules

Free modules generalize bases in Hermann Grassmann's exterior algebra and are building blocks akin to Euclid's basis intuition; projective and injective modules reflect lifting and extension properties studied by Samuel Eilenberg and Norman Steenrod in homological algebra. Flat modules preserve exactness under tensoring, a notion crucial in Alexander Grothendieck's work on faithfully flat descent and in Jean-Pierre Serre's coherent cohomology. Important classical results include Baer's criterion for injectivity linked to Reinhold Baer and Kaplansky's theorems on projective modules tied to Irving Kaplansky.

Structure theory: modules over principal ideal domains and decomposition theorems

Over principal ideal domains (PIDs) like Z or k[x], finitely generated modules admit classification theorems paralleling the rational canonical form and Jordan normal form used in Camille Jordan and Frobenius's matrix theory; the structure theorem yields invariant factor and elementary divisor decompositions central to Smith normal form computations used by Alfred H. Merrill and others. Decomposition theorems for torsion modules, primary decomposition influenced by Emmy Noether's ideals theory, and classification of finitely generated modules over Dedekind domains connect to the arithmetic studies of Richard Dedekind and the ideal class group studied by Ernst Kummer.

Applications and connections (representation theory, algebraic geometry, and homological algebra)

Modules underpin linear representations of groups and algebras in the styles of Nikolai Chebotaryov and George Mackey, forming module categories central to the representation theory of Finite groups, Lie groups, and quantum groups studied by Vladimir Drinfeld and Michio Jimbo. In algebraic geometry, quasi-coherent sheaves on schemes are modules over structure sheaves following insights of Alexander Grothendieck and Jean-Pierre Serre, linking to cohomology theories by Henri Cartan and Henri Poincaré. Homological algebra developed by Samuel Eilenberg, Saunders Mac Lane, and others uses Ext and Tor functors of module categories to study resolutions, spectral sequences employed in the work of Jean Leray and Jean-Pierre Serre, and modern approaches in Algebraic K-theory and Derived category methods inspired by Alexandre Beilinson and Joseph Bernstein.

Category:Algebra