NOTICE: Citizendium is still being set up on its newer server, treat as a beta for now; please see here for more. Citizendium - a community developing a quality comprehensive compendium of knowledge, online and free. Click here to join and contribute—free CZ thanks our previous donors. Donate here. Treasurer's Financial Report -- Thanks to our content contributors. --

# Difference between revisions of "Module"

Main Article
Talk
Related Articles  [?]
Bibliography  [?]
Citable Version  [?]

This editable Main Article is under development and not meant to be cited; by editing it you can help to improve it towards a future approved, citable version. These unapproved articles are subject to a disclaimer.
Template:Otheruses

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.

## Definition

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:

1. , for all 
2. , and
3.  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

### Vector Spaces

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.

### Abelian Groups

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.

### 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:

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.

## Examples

1. The category of -modules is equivalent to the category of abelian groups.