例 5.18

依赖于

  • 无显式依赖

被以下题目直接调用

例 5.18

是复数域中某个数,若 适合某个非零有理系数多项式(或整数系数多项式),则称 是一个代数数。证明:

(1) 对任一代数数 ,存在唯一一个 适合的首一有理系数多项式 ,使得 适合的所有非零有理系数多项式中次数最小者。这样的 称为 的极小多项式或最小多项式。

(2) 设 是一个 适合的首一有理系数多项式,则 的极小多项式的充要条件是 是有理数域上的不可约多项式。

解答

证明 (1) 在 适合的所有非零有理系数多项式构成的集合中(由假设这个集合非空),可以取出一个次数最小的多项式,然后将其首一化,即可得到 的极小多项式 。为了证明极小多项式的唯一性,我们先证明极小多项式的一个基本性质,即极小多项式可以整除 适合的任一多项式 。假设

则由 可知 。若 ,则 适合一个比 的次数更小的多项式 ,这和 是极小多项式矛盾。因此 ,即 。设 也是 的极小多项式,则由上述性质可得 ,从而 只差一个非零常数,又它们都是首一的,故只能相等,唯一性得证。

(2) 先证必要性。若极小多项式 在有理数域上可约,则 可分解为两个比 的次数更小的多项式的乘积。由 可知 中至少有一个等于零。不妨设 ,则 适合一个比 的次数更小的多项式 ,这和 是极小多项式矛盾。再证充分性。设 适合的有理数域上的首一不可约多项式, 的极小多项式。由极小多项式的基本性质可知 ,又 是不可约多项式,于是 只差一个非零常数,而它们又都是首一的,故只能相等。因此 就是 的极小多项式。