Matrix ring
Set
| context | n∈N |
| context | R … ring |
| definiendum | ⟨SquareMatrix(n,R),∗⟩∈it(n,R) |
| postulate | ∗ … matrix product w.r.t. n×n square matrices |
Discussion
Reference
Wikipedia: Matrix ring
Parents
Subset of
Context
| context | n∈N |
| context | R … ring |
| definiendum | ⟨SquareMatrix(n,R),∗⟩∈it(n,R) |
| postulate | ∗ … matrix product w.r.t. n×n square matrices |
Wikipedia: Matrix ring
