Matrix product
Set
| context | R … ring |
| context | m,n,k∈N |
| definiendum | ∗:Matrix(m,n,R)×Matrix(n,k,R)→Matrix(m,k,R) |
| postulate | (A∗B)ij=∑ml=1Ail⋅Blj |
Discussion
For square matrices, the matrix product is associative. And also for general matrices, we still have (A∗B)∗′C=A∗″, where the four binary functions are the matrix products for the suitable dimensions.
Parents
Subset of
