Matrix ring
Set
| context | $n\in \mathbb N$ |
| context | $R$ … ring |
| definiendum | $ \langle \mathrm{SquareMatrix}(n,R),* \rangle \in \mathrm{it}(n,R) $ |
| postulate | $ * $ … matrix product w.r.t. $n\times n$ square matrices |
Discussion
Reference
Wikipedia: Matrix ring