例 7.27

依赖于

被以下题目直接调用

例 7.27

设数域 上的 阶矩阵 的特征多项式 ,其中 上互异的首一不可约多项式。设 上的 阶矩阵 满足 ,求证:存在 上次数不超过 的多项式 ,使得

解答

证明例 7.16 可知, 是关于 的循环空间,再由例 7.26 即得结论。