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