◀ ▲ ▶Branches / Algebra / Corollary: Abelian Group of Vectors Under Addition
Corollary: Abelian Group of Vectors Under Addition
(related to Proposition: Abelian Group of Matrices Under Addition)
Let $F$ be a field. The set $F^n$ of all vectors with $n$
coordinates (which we are going to identify with the set $M_{n\times 1}(F)$ of all
singlecolumn matrices with $n$ rows over the field $F$)
together with the matrix addition "$+$" constitutes an Abelian group, i.e. $(F_n, +)$ follows the rules:
 Associativity $u+(v+w)=(u+v)+w$ for all vectors $u,v,w\in F^n$.
 Commutativity $v+u=u+v$ for all vectors $u,v\in F^n$.
 The zero vector $o\in F^n$ is the neutral element: $o+v=v+o=v$ for all $v\in F^n$.
 The zero vector $o\in F^n$ is the neutral element: $o+v=v+o=v$ for all $v\in F^n$.
Table of Contents
Proofs: 1
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Axler, Sheldon: "Linear Algebra Done Right", Springer, 2015, 3rd Edition