die für jedes m ∈ ℕ durch die rekursive Definition \begin{eqnarray}m+1 := N(m) \\ m+N(n) := N(m+n) (n\in {\mathbb{N}})\end{eqnarray} erklärte Abbildung &plus ...

eine Operation in der Menge aller Matrizen mit q Spalten und p Zeilen, mit der diese zu einer abelschen Gruppe wird. Für p = 2 und q = 3 ist beispielsweise \begin{gathered} \left( ...