例 7.23

依赖于

  • 无显式依赖

被以下题目直接调用

例 7.23

设数域 上的 阶矩阵 的不变因子组是 ,其中 是非常数首一多项式, 。求证:对 的任一特征值

其中记号 表示:若 ,取值为 1;若 ,取值为 0。

解答

证法 1,则 相似于 ,且 。若 ,则 非异;若 ,则 奇异且右上角的 阶子式非零,从而秩为 。因此,

证法 2 由已知存在可逆 -矩阵 ,使得

在上式中令 ,注意到 上的可逆矩阵,故 相抵于 ,于是 等于 减去等于零的 的个数,从而结论得证。