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

Parents

Subset of

Associative algebra

Context

Square matrix, Matrix product