例 5.77

依赖于

  • 无显式依赖

被以下题目直接调用

例 5.77

是数域 上的互素多项式, 上的 阶方阵,证明: 的充要条件是

解答

证明 根据假设,存在 上的多项式 ,使得

在上式中代入 ,可得恒等式

考虑如下分块矩阵的初等变换:

故有

,从而结论得证。