Definition:Free Module

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

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