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

 * Bases of Free Module have Equal Cardinality
 * Definition:Dimension of Module