Definition:Basis of Vector Space

Definition
Let $K$ be a division ring.

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

Also see

 * Equivalence of Definitions of Basis of Vector Space
 * Definition:Dimension of Vector Space
 * Bases of Vector Space have Equal Cardinality

Generalizations

 * Definition:Basis of Module