例 5.76

依赖于

被以下题目直接调用

例 5.76

是数域 上的互素多项式, 上的 阶方阵,满足 ,证明: 是可逆矩阵。

解答

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

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

因为 ,故有 ,从而 是非异阵且

利用例 5.76 可以证明一大类可逆矩阵的问题,比如例 2.20,而下面的例题则是例 3.70例 3.71 的推广。