重新定义矩阵乘法 $AB_{i,j} = \bigoplus_{k=1}^n A_{i,k} \otimes B_{k,j}$
这个 $\oplus$ 运算和 $\otimes$ 运算是要满足：
自己都有结合律和交换律，并且 $\otimes$ 对 $\oplus$ 有分配律吗