若AB=BA,则A.B为同阶方阵