这个问题超出了线性代数的范围
两个矩阵相似的充分必要条件是它们有相同的Jordan标准形.
或考虑λ-矩阵.
两个矩阵相似的充分必要条件是它们有相同初等因子或不变因子.
你可参考一下高等代数中这部分的内容