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 single-column matrices with $n$ rows over the field $F$) together with the matrix addition "$+$" constitutes an Abelian group, i.e. $(F_n, +)$ follows the rules:

  1. Associativity $u+(v+w)=(u+v)+w$ for all vectors $u,v,w\in F^n$.
  2. Commutativity $v+u=u+v$ for all vectors $u,v\in F^n$.
  3. The zero vector $o\in F^n$ is the neutral element: $o+v=v+o=v$ for all $v\in F^n$.
  4. The zero vector $o\in F^n$ is the neutral element: $o+v=v+o=v$ for all $v\in F^n$.

Proofs: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Axler, Sheldon: "Linear Algebra Done Right", Springer, 2015, 3rd Edition