例 5.78

依赖于

  • 无显式依赖

被以下题目直接调用

例 5.78

是数域 上的互素多项式, 维线性空间 上的线性变换,满足 ,证明: ,其中

解答

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

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

对任意的 ,由上式可得

注意到 ,故有 。任取 ,由上式可得

故有 ,因此