 Vector space axioms

Addition makes $V$ an Abelian group: for all $u,v,w\in V$, $(u+v)+w=u+(v+w)$ and $u+v=v+u$, there is a zero vector $0$, and every $v$ has an additive inverse $-v$. Scalar multiplication satisfies, for $a,b\in \mathbb{F}$,Both operations take values in $V$. These requirements make manipulating linear combinations independent of how sums are grouped or expanded.