Namespaces
Variants
Actions

Free module

From Encyclopedia of Mathematics
Revision as of 19:02, 7 February 2011 by 127.0.0.1 (Talk)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A free object (a free algebra) in the variety of modules over a fixed ring . If is associative and has a unit, then a free module is a module with a basis, that is, a linearly independent system of generators. The cardinality of a basis of a free module is called its rank. The rank is not always defined uniquely, that is, there are rings over which a free module can have two bases consisting of a different number of elements. This is equivalent to the existence over of two rectangular matrices and for which

where and denote the unit matrices of orders and , respectively. However, non-uniqueness holds only for finite bases; if the rank of a free module is infinite, then all bases have the same cardinality. In addition, over rings that admit a homomorphism into a skew-field (in particular, over commutative rings), the rank of a free module is always uniquely defined.

A ring , considered as a left module over itself, is a free module of rank 1. Every left free module is a direct sum of free modules of rank 1. Every module is representable as a quotient module of a free module . The submodule is, in turn, representable as a quotient module of a free module . By continuing this process one obtains the exact sequence

which is called the free resolution of . Skew-fields can be characterized as rings over which all modules are free. Over a principal ideal domain a submodule of a free module is free. Near to free modules are projective modules and flat modules (cf. Projective module; Flat module).

References

[1] P.M. Cohn, "Free rings and their relations" , Acad. Press (1971)
[2] S. MacLane, "Homology" , Springer (1963)
How to Cite This Entry:
Free module. V.E. Govorov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Free_module&oldid=13029
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098