## You are here

Homefree module

## Primary tabs

# free module

Let $R$ be a ring. A free module over $R$ is a direct sum of copies of $R$.

Similarly, as an abelian group is simply a module over $\mathbb{Z}$, a free abelian group is a direct sum of copies of $\mathbb{Z}$.

This is equivalent to saying that the module has a free basis, i.e. a set of elements with the property that every element of the module can be uniquely expressed as an linear combination over $R$ of elements of the free basis.

Every free module is also a projective module, as well as a flat module.

Type of Math Object:

Definition

Major Section:

Reference

## Mathematics Subject Classification

16D40*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections