The addition of matrices is an operation allowing us to add matrices as we can do with numbers, i.e. instead of calculating the result of matrix addition component by component, it is possible to significantly abbreviate the notation of such an addition using just one symbol for the matrices we want to add together. The following proposition justifies this abbreviation:

# Proposition: Abelian Group of Matrices Under Addition

Let $F$ be a field. The set of all $m\times n$ matrices $M_{m\times n}(F)$ together with the matrix addition "$+$" constitutes an Abelian group, i.e. the set $(M_{m\times n}(F), +)$ fulfills the following laws:

1. Associativity $A+(B+C)=(A+B)+C$ for all matrices $A,B,C\in M_{m\times n}(F)$.
2. Commutativity $A+B=B+A$ for all matrices $A,B\in M_{m\times n}(F)$.
3. The zero matrix $O\in M_{m\times n}(F)$ is the neutral element: $O+A=A+O=A$ for all $A\in M_{m\times n}(F)$.
4. The zero matrix $O\in M_{m\times n}(F)$ is the neutral element: $O+A=A+O=A$ for all $A\in M_{m\times n}(F)$.

Proofs: 1 Corollaries: 1

Proofs: 1

Github: 