Definition:Basis of Vector Space/Definition 1

Definition
Let $R$ be a division ring.

Let $\left({G, +_G, \circ}\right)_R$ be an vector space over $R$.

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