Welcome guest
You're not logged in.
249 users online, thereof 0 logged in

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. For all matrices $A\in M_{m\times n}(F)$ there is a matrix $-A$ such that $A+(-A)=(-A)+A=O.$

| | | | | created: 2017-05-06 22:44:05 | modified: 2020-11-29 14:25:58 | by: bookofproofs

1.Proof: (related to "Abelian Group of Matrices Under Addition")

2.Corollary: Abelian Group of Vectors Under Addition

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)