Definition:Basis of Module/Definition 1

Definition
Let $R$ be a ring with unity.

Let $\struct {G, +_G, \circ}_R$ be a unitary $R$-module.

A basis of $G$ is a linearly independent subset of $G$ which is a generator for $G$.