可交换矩阵的几个充要条件及其性质