**This is an old revision of the document!**

## Matrix product

### Definition

$R$ … ring |

$m,n,k\in \mathbb N$ |

$ *: \mathrm{Matrix}(m,n,R)\times \mathrm{Matrix}(n,k,R)\to \mathrm{Matrix}(m,k,R) $ |

$ (A*B)_{ij}:=\sum_{l=1}^m A_{il}\cdot B_{lj} $ |

### Discussion

For square matrices, the matrix product is associative. And also for general matrices, we still have $(A*B)*'C=A*''(B*'''C)$, where the four binary functions are the matrix products for the suitable dimensions.