例 7.9

依赖于

  • 无显式依赖

被以下题目直接调用

例 7.9

是数域 上的首一多项式, 分别是 的最大公因式和最小公倍式,证明下列 -矩阵相抵:

解答

证明 由已知,存在多项式 ,使得 。设 ,则 。作下列 -矩阵的初等变换:

另一结论同理可得。