例 5.19

依赖于

  • 无显式依赖

被以下题目直接调用

例 5.19

是数域 上的不可约多项式, 上的多项式。证明:若 的某个复根 也是 的根,则 。特别地, 的任一复根都是 的根。

解答

证明,则存在 上的多项式 ,使得 。令 可得 ,矛盾。因此 不互素,从而只能是 ,结论得证。

多项式的标准分解是证明某些问题的有力工具,下面几个例子说明了这一点。