可交换矩阵有什么性质