◀ ▲ ▶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 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$.

Table of Contents

Proofs: 1

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

Github:

References

Bibliography

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