1 Definition
A free module is a module that admits a basis. This means its elements can be expressed uniquely as finite linear combinations of chosen basis elements with coefficients in the ring. Free modules are the module-theoretic analogue of vector spaces, except that the scalars need not come from a field.
1.1 Modules and bases
A module over a ring is an abelian group equipped with scalar multiplication by ring elements. A basis is a set of elements that both generates the module and satisfies a uniqueness condition for linear combinations. In a free module, every element has exactly one expression using finitely many basis elements.
1.2 Formal definition of a free module
Let R be a ring and let X be a set. A free R-module on X is an R-module F together with an injection of X into F such that every map from X to any R-module extends uniquely to an R-linear map from F. Equivalently, F is an R-module with a basis indexed by X.
1.3 Free modules over a set
When a set X is given, the free module on X is built from formal finite sums of elements of X with coefficients in R. The set X need not already carry any algebraic structure. Its role is only to name the basis elements that generate the module.
1.4 Uniqueness of representation
If a module has a basis, then each element has a unique coordinate description in terms of that basis. This uniqueness distinguishes free modules from merely generated modules, where relations may produce different expressions for the same element. The coefficients in a basis expansion are therefore intrinsic once the basis is fixed.
2 Basic examples
Free modules occur in both finite and infinite rank. The simplest examples are direct sums of copies of the ring itself, since each copy contributes one basis element. These examples provide the standard models used throughout module theory.
2.1 Finite-rank free modules
For a positive integer n, the module R^n is free of rank n. A standard basis is given by the vectors with a single 1 in one position and 0 elsewhere. Every element of R^n has a unique coordinate tuple relative to this basis.
2.2 Countably generated free modules
A countably generated free module is a direct sum of countably many copies of R. It has a basis indexed by the natural numbers. Elements are finite sums, so only finitely many coordinates are nonzero at a time.
2.3 Trivial and zero-rank cases
The zero module is free of rank 0, with the empty set as a basis. This case is important because it serves as the initial object in the category of modules. It also shows that freeness includes the degenerate situation with no generators.
3 Construction of free modules
Free modules can be constructed in several equivalent ways. The most common descriptions use formal linear combinations, direct sums, or a universal mapping property. These approaches emphasize different aspects of the same object.
3.1 Free module on a set
Given a set X, one forms the free R-module by taking formal finite R-linear combinations of symbols from X. Addition and scalar multiplication are defined term by term. The resulting module contains X as a basis.
3.2 Direct sums of copies of the ring
If X is a set, the free module on X can be realized as the direct sum of one copy of R for each element of X. Under this identification, the basis element corresponding to x in X is the element that is 1 in the x-component and 0 elsewhere. The direct sum condition ensures finite support.
3.3 Universal property
The free module on X is characterized by a universal property: any function from X to an R-module M extends uniquely to an R-module homomorphism from the free module to M. This property makes free modules highly flexible and ensures that constructions involving them are canonical up to unique isomorphism.
4 Properties
Free modules have structural features that make them especially useful. Their rank, behavior under direct sums, and mapping properties are central in algebra. Many arguments in module theory reduce to checking these features on free modules first.
4.1 Rank
The rank of a free module is the cardinality of a basis. For finitely generated free modules, rank is a nonnegative integer. Over many rings, rank behaves like a measure of size, though unlike in vector spaces it may not always be determined by simple cancellation laws.
4.2 Direct sums and submodules
Direct sums of free modules are free, with a basis formed by the disjoint union of bases. However, submodules of free modules need not be free over an arbitrary ring. This distinction is one of the main ways module theory differs from linear algebra over fields.
4.3 Homomorphisms from free modules
A homomorphism from a free module is determined completely by its values on a basis. This makes free modules convenient for defining maps and proving existence statements. It also allows complicated homomorphisms to be described by simple data on generators.
4.4 Exactness and splitting
Free modules are projective, so short exact sequences ending in a free module split. This property is important in many constructions because it allows a module to be embedded in a larger module with controlled behavior. Free modules therefore serve as building blocks for resolutions and other homological tools.
5 Relation to vector spaces
Free modules generalize vector spaces by replacing the field of scalars with an arbitrary ring. Many familiar ideas from linear algebra remain valid, but some change significantly. The comparison clarifies both the power and the limitations of the free-module concept.
5.1 Similarities to bases in linear algebra
As with vector spaces, a basis of a free module provides unique coordinates for each element. Linear independence and spanning are defined in the same formal way. Many computations with free modules resemble matrix calculations in vector spaces.
5.2 Differences over general rings
Over a general ring, not every module has a basis, and generating sets need not contain a linearly independent subset that spans the module. The failure of division in the ring is the main reason. As a result, many modules that look similar to vector spaces are not free.
5.3 Dependence on the ring
Whether a module is free can depend strongly on the ring. Over a field, every module is free because modules are just vector spaces. Over more complicated rings, freeness becomes a special property that reflects the ring’s algebraic structure.
6 Free modules over special rings
For certain classes of rings, free modules have especially well-understood behavior. Structural theorems about the ring often make it easier to analyze modules. These cases illustrate how algebraic properties of the ring influence module theory.
6.1 Principal ideal domains
Over a principal ideal domain, finitely generated modules admit a classification into free parts and torsion parts. Free modules appear as the torsion-free component in this decomposition. This setting provides one of the clearest examples of how freeness fits into a broader structure theory.
6.2 Local rings
Over a local ring, finitely generated projective modules are free. This is a useful rigidity phenomenon, since projective modules can often be studied via lifting properties. In local algebra, freeness therefore becomes a natural and powerful conclusion.
6.3 Noncommutative rings
For noncommutative rings, one distinguishes between left free modules and right free modules. A basis is defined relative to the side on which scalars act. Many familiar ideas still hold, but care is needed because left and right module categories may behave differently.
7 Presentations and generators
Free modules are the starting point for describing modules by generators and relations. Any module can be obtained as a quotient of a free module by a submodule of relations. This viewpoint is fundamental in both algebra and topology.
7.1 Generating sets
A generating set for a module gives a surjective map from a free module onto that module. The free module records the formal combinations of generators before relations are imposed. In this way, generators serve as coordinates for building modules.
7.2 Relations among generators
Relations are elements of the kernel of the surjection from a free module to the module being described. They measure how the generators fail to be independent. Studying these relations is often the key to understanding the structure of the module.
7.3 Free resolutions
A free resolution is an exact sequence in which each module is free and which ends at the module of interest. Resolutions allow one to replace a complicated module by a chain of free modules. They are essential in defining and computing many derived invariants.
8 Applications
Free modules appear throughout algebra and its applications. They provide a manageable class of objects for constructing and analyzing more complicated modules. Their universal behavior makes them indispensable in many branches of mathematics.
8.1 Module classification
Free modules help organize classification results by separating the free part from other components such as torsion. They provide a standard reference family against which general modules can be compared. In many settings, understanding the free summands is the first step toward a full description.
8.2 Tensor products
Tensor products are easiest to compute when one factor is free. The tensor product of a free module with another module is naturally a direct sum of copies of that module. This simplifies many calculations and explains why free modules are so useful in multilinear algebra.
8.3 Homological algebra
Free modules are used to build projective and free resolutions, which in turn define derived functors such as Tor and Ext. Their lifting and exactness properties make them central tools in homological algebra. They also provide a concrete way to study abstract invariants.
8.4 Algebraic topology and chain complexes
In algebraic topology, chain groups are often free modules generated by simplices, cells, or other geometric pieces. Boundary maps then encode how these generators fit together. This framework turns topological data into algebraic complexes that can be analyzed using module theory.