在广义的矩阵运算下，加法和乘法需要满足什么性质才有$(m^a+m^b)m^c=m^{a+c}+m^{b+c}$（m是矩阵，a，b，c是非负整数）