Definition:Free Module

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

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