例 7.44

依赖于

被以下题目直接调用

例 7.44

阶矩阵 的不变因子组为 ,其中 ,又 的特征值。 求证: 的充要条件是

解答

证法 1 当且仅当特征值 的几何重数为 ;这当且仅当 特征值 的 Jordan 块有 个;由不变因子之间的整除关系可知,这当且仅当后 个不变因子能被 整除,而前 个不变因子不能被 整除。

证法 2例 7.23 可知, 当且仅当 ;由不变因子之间的整除关系可知, 这当且仅当 ;最后由余数定理即得结论。