Prodotto tra matrici
\times [q] \to K\), dove con \(
\) intendo l'insieme \(\{1,\dots,p\}\).
Allora, il prodotto di matrici tra \(M :
\times [q] \to K\) e \(N : [q]\times [r]\to K\), comunque sia definito, deve essere tale che \[(M+M')N= MN + M'N\] e \[M(N+N')=MN + MN',\] e \[(aM)N=a(MN)=M(aN)\] per ogni \(a\in K\).