13.2 抽象矩阵相似与可对角化的判定