\begin{definition}[Definition:Scalar Multiplication/Vector Space]
Let $\struct {G, +_G, \circ}_K$ be a vector space, where:
:$\struct {K, +_K, \times_K}$ is a field
:$\struct {G, +_G}$ is an abelian group.
The operation $\circ: K \times G \to G$ is called '''scalar multiplication'''.
\end{definition}