# Definition:Free Module

## Definition

Let $R$ be a ring with unity.

Let $G$ be a unitary $R$-module.

Then $G$ is described as free if there exists a basis of $G$.

## Also see

• Results about free modules can be found here.