例 5.18
依赖于
- 无显式依赖
被以下题目直接调用
例 5.18
设 是复数域中某个数,若 适合某个非零有理系数多项式(或整数系数多项式),则称 是一个代数数。证明:
(1) 对任一代数数 ,存在唯一一个 适合的首一有理系数多项式 ,使得 是 适合的所有非零有理系数多项式中次数最小者。这样的 称为 的极小多项式或最小多项式。
(2) 设 是一个 适合的首一有理系数多项式,则 是 的极小多项式的充要条件是 是有理数域上的不可约多项式。
解答
证明 (1) 在 适合的所有非零有理系数多项式构成的集合中(由假设这个集合非空),可以取出一个次数最小的多项式,然后将其首一化,即可得到 的极小多项式 。为了证明极小多项式的唯一性,我们先证明极小多项式的一个基本性质,即极小多项式可以整除 适合的任一多项式 。假设
则由 可知 。若 ,则 适合一个比 的次数更小的多项式 ,这和 是极小多项式矛盾。因此 ,即 。设 也是 的极小多项式,则由上述性质可得 ,从而 和 只差一个非零常数,又它们都是首一的,故只能相等,唯一性得证。
(2) 先证必要性。若极小多项式 在有理数域上可约,则 可分解为两个比 的次数更小的多项式的乘积。由 可知 和 中至少有一个等于零。不妨设 ,则 适合一个比 的次数更小的多项式 ,这和 是极小多项式矛盾。再证充分性。设 是 适合的有理数域上的首一不可约多项式, 是 的极小多项式。由极小多项式的基本性质可知 ,又 是不可约多项式,于是 和 只差一个非零常数,而它们又都是首一的,故只能相等。因此 就是 的极小多项式。
评论
支持 Markdown 和 LaTeX 数学公式。