Why isn't every module free like a vector space?

Over a field every module has a basis, but over a general ring elements can have torsion or relations that no basis can express; for example the integers modulo n is a module over the integers with no basis. Free modules are the special modules that do admit a basis.

How does module theory recover linear algebra and abelian groups?

A module over a field is exactly a vector space, and a module over the integers is exactly an abelian group. The single structure theorem over a principal-ideal domain therefore yields both the classification of finitely generated abelian groups and the canonical forms of matrices.

Module Theory

Module theory studies modules, the generalization of vector spaces in which scalars come from a ring rather than a field, unifying linear algebra, abelian group theory, and the representation theory of rings.

Find Topic with PaperMindSoonFind papers & topics

Tools & resources

Download slides

Learn & explore

VideoSoon

Definition

A module over a ring R is an abelian group together with an action of R that is compatible with the group structure, generalizing vector spaces (modules over a field) and abelian groups (modules over the integers). Module theory studies such structures and the maps between them.

Scope

This area covers modules and submodules, quotient modules and homomorphisms, free and projective modules, direct sums and products, exact sequences, tensor products and bilinear maps, and the structure theorem for finitely generated modules over a principal-ideal domain. It provides the homological language used throughout modern algebra.

Sub-topics

Core questions

When does a module have a basis, and how do free modules differ from vector spaces?
How are finitely generated modules over a principal-ideal domain classified?
How does the tensor product encode bilinear constructions and change of rings?
What homological invariants (projectivity, exactness) measure the failure of a module to behave like a vector space?

Key theories

Structure theorem for finitely generated modules over a PID: Every finitely generated module over a principal-ideal domain decomposes as a direct sum of a free module and cyclic torsion modules, with invariants (elementary divisors or invariant factors) that classify it up to isomorphism.
Universal property of the tensor product: The tensor product of two modules is the universal target for bilinear maps, turning bilinear constructions into linear ones and enabling base change between rings.
Free, projective, and exact sequences: Free modules generalize bases, projective modules are direct summands of free modules, and short exact sequences and their splitting capture how modules are built from sub- and quotient modules, founding homological algebra.

Clinical relevance

Module theory unifies and generalizes core constructions: the classification of finitely generated abelian groups and the canonical forms of linear operators are both instances of the PID structure theorem, while modules over group rings are exactly representations, linking module theory to representation theory, algebraic topology, and commutative algebra.

History

Modules generalized Dedekind's ideals and the abelian groups of nineteenth-century arithmetic, and were placed at the center of algebra by Emmy Noether, who recognized that ideals, ideals' quotients, and representations are all modules. The subject became the natural setting for homological algebra developed by Cartan, Eilenberg, and Mac Lane.

Key figures

Emmy Noether
Richard Dedekind
Wolfgang Krull
Emil Artin
Saunders Mac Lane

Seminal works

lang2002
dummit2004
atiyah1969

Frequently asked questions

Why isn't every module free like a vector space?: Over a field every module has a basis, but over a general ring elements can have torsion or relations that no basis can express; for example the integers modulo n is a module over the integers with no basis. Free modules are the special modules that do admit a basis.
How does module theory recover linear algebra and abelian groups?: A module over a field is exactly a vector space, and a module over the integers is exactly an abelian group. The single structure theorem over a principal-ideal domain therefore yields both the classification of finitely generated abelian groups and the canonical forms of matrices.