In abstract algebra, a module is a mathematical structure of which abelian groups and vector spaces are particular types. They have become ubiquitous in abstract algebra and other areas of mathematics that involve algebraic structures, such as algebraic topology, algebraic geometry, and algebraic number theory. A strong understanding of module theory is essential for anyone desiring to understand a wide array of graduate level mathematics and current mathematical research.
Let be a ring (not necessarily with identity or commutative). A left -module is an abelian group whose underlying set is endowed with an action (mathematics) by respecting both the group structure of and the ring structure of . The action is a map . The image of under this map is typically written , or just . The action is required to satisfy the following properties:
- , for all
- , and
- for all
If the ring has an identity, a module satisfying the additional axiom
- for all
is called unital or unitary.
A right -module can be defined similarly.
Special types of modules
The archetype for modules, and the type one usually first encounters, is the vector space. Although vector spaces as encountered in applications or linear algebra courses usually use real or complex number scalars, the most general type of vector space is a module over a division ring. The fundamental commonality between all modules over a division ring is the existence of a basis for the module. Modules over more general rings do not necessarily have a basis, and those that do are called free modules.
The Abelian groups are precisely the modules over , the ring of integers. If is an Abelian group (written additively), one defines the expression with to mean
The commutative property for Abelian group operations and the rule for taking the inverse of a sum can be used to show that
- for all .
The rule for taking the inverse of a sum can also be used to show that
- for all ,
checking cases separately for the different possibilities for the signs of . Similarly, one can check several cases and show that
- for all
The above three equations are the three axioms for the action of on a -module. -modules are therefore the same as Abelian groups.
If is a ring with identity, then there is a ring homomorphism . Through this map, we can canonically define the expression with and . If is a unital module, the expression has the same meaning in this sense as it does thinking of as an Abelian group.
This example already shows that not every module has a basis. That is, there is not always a subset of a module such that every element of can be expressed uniquely as a linear combination of elements of . For instance, in the Abelian group , increasing all of the coefficients of a linear combination by will result in the same element of the group.
Modules over commutative rings
Finitely generated modules
Other types of modules
A vast assortment of special types of modules have been studied --- more than can be discussed on this page. There are two approaches to abstractly defining special types of modules. First, one may allow the ring to be arbitrary and study all modules with a certain structural property definable without using properties specific to . Examples of this type include:
- free modules, locally free modules, and stably free modules
- finitely-generated modules
- projective and injective modules.
- Noetherian and Artinian modules.
- semi-simple and simple modules.
Second, one may consider arbitrary modules over a special class of rings. Examples of this type include:
Of course, one may mix these two approaches, studying modules with certain structural properties over a special type of ring. Also, practitioners in most fields of higher mathematics study all modules manifest through a natural process within that field, such as homology with coefficients of topological spaces or class groups of number fields as Galois modules. For a more complete list of special types of modules, see the related articles subpage.
The category of -modules
The morphisms in the category of -modules are defined respecting the abelian group structure and the action of . That is, a morphism is a homomorphism of the abelian groups and such that for all .
The category of modules over a fixed commutative ring are the prototypical abelian category; this statement is deeper than it may appear, in fact every small abelian category is equivalent to a full subcategory of some category of modules over a ring. This result is due to Freyd and Mitchell.
- The category of -modules is equivalent to the category of abelian groups.