In abstract algebra, a module is a mathematical structure that extends the idea of a vector space by allowing scalars to come from an arbitrary ring rather than from a field. Concretely, a module consists of an abelian group together with a scalar multiplication map from the ring to the group that satisfies distributivity and compatibility with ring multiplication. When the ring is the integers, modules are exactly abelian groups. A vector space is a special case in which scalars are elements of a field and every nonzero scalar is invertible.

Key properties and constructions

Modules are governed by axioms similar to those of vector spaces, but several distinctions arise because rings may lack multiplicative inverses or be noncommutative. If the ring is noncommutative one must choose left or right modules. Important concepts include submodules, quotient modules, direct sums and products, and module homomorphisms. Not every module has a basis; modules that do are called free. Other standard classes are simple, projective, injective and torsion modules.

  • Basic operations: scalar multiplication R × M → M and addition on M.
  • Homomorphisms: the set HomR(M,N) of R-linear maps.
  • Constructions: direct sum, tensor product, duals (when defined).

Examples and applications

Common examples illustrate the breadth of the notion. Every abelian group is a module over the integers; ordinary vector spaces are modules over fields. Modules over polynomial rings correspond to linear operators and are central in linear algebra and control theory. In representation theory one studies modules over group algebras to understand group actions. In commutative algebra and algebraic geometry, sheaves of modules and modules over coordinate rings encode geometric information and serve as a foundation for cohomology and deformation theory.

History and theoretical role

The concept emerged as algebraists moved from concrete computations with numbers and matrices to abstract structures in the late 19th and early 20th centuries; the modern language of modules was shaped alongside ring and ideal theory and developed further in the work of 20th‑century algebraists. Module theory provides a unifying language that connects linear algebra, number theory, homological algebra and representation theory.

Distinctions and notable facts

Important distinctions from vector spaces include the possible absence of bases, the existence of torsion elements (elements annihilated by nonzero scalars), and a richer classification theory: for instance, finitely generated modules over a principal ideal domain admit a canonical decomposition into torsion and free parts. The category of modules over a ring is an essential example of an abelian category, making modules the natural context for exact sequences, Ext and Tor groups, and many structural theorems in modern algebra. For further reading see general texts on abstract algebra or introductions to module theory and homological algebra (vectors and scalars provide elementary motivation).

Supplementary resources and surveys can be found via standard algebra references and online expositions (vector space perspectives, ring theory overviews and deeper treatments of abelian groups and modules).