矩阵相似的充要条件

设A，B是数域P上两个矩阵，A与B相似的充分必要条件是它们有相同的不变因子。两个同级复数矩阵相似的充分必要条件是它们有相同的初等因子。