matlab有限域多项式除法_高等代数教学笔记2：多项式 III

现在我们可以讨论因式分解理论中的最重要也是最困难的部分——不可约多项式. 同样, 我们需要对比整数情形的素数理论. 

素数

算术基本定理告诉我们, 素数在正整数的研究中的地位是非常重要的. 对素数的探索贯穿了数学发展的整个历程, 早在古希腊时期, 数学家 Euclid (欧几里得, 公元前 330–公元前 275) 就用一个绝妙的方法证明了如下结论. 问题 24 素数有无穷多个. 提示一下: 如果素数是有限多的, 把它们全乘起来再加 1, 看看得到的是素数还是合数.把 Euclid 的方法稍加调整就可以证明 问题 25 形如 4k + 3 的素数有无穷多个.

把 4k+3 的素数乘起来加1是不行的, 要做一点调整. 自然我们还会想到下面这个问题

问题 26 形如 4k + 1 的素数有无穷多个.这个证明要麻烦一点, 不过如果懂一点点群论就容易得多, 比如前文提到的 , 对于 p 为 4k + 3 型素数时, 中的非零元在乘、除运算下都是封闭的, 甚至存在一个元素 ξ 使得其他非零元都形如 , 然后就很容易发现这个 中四次方为 1 的元素只有 1. 这是证明上述问题的关键.更一般地, Dirichlet (狄利克雷, 1805–1859) 证明了 定理 27 设 a,d 是互素的正整数, 则等差数列 a + kd (k ∈ Z) 中存在无穷多素数.这个结论要深刻的多, 证明的难度也很大, 需要分析学的工具.虽然我们知道素数有无穷多, 然而目前被发现的素数并不多, 因为, 随着数的增大, 判断一个数是否是素数越来越困难, 即使用超级计算机也要费时很久, 甚至几年、几十年也算不出结果, 这也是现代密码学的主要理论基础之一. 目前, 我们没有一个公式可以提供无穷多确定的素数, Fermat 曾经猜想: 对任意 n ∈ N,    都是素数. 可惜他猜错了. 目前寻找大素数的效率较高的方法似乎是寻找 Mersenne 素数  .

复系数不可约多项式

多项式情形的结果还是要比整数的好, 比如我们很容易得到无穷多个不可约多项式: 所有一次多项式都是不可约的. 不仅如此, 我们在某些情形还可以给出所有不可约多项式的分类. 在复数域情形, 我们需要利用如下的代数基本定理. 定理 28 次数大于 0 的复系数多项式都有复根.而多项式的根和一次因式是一一对应的, 这就意味着 问题 29 复系数不可约多项式都是一次的.在代数学范围内, 我们一般会首先考虑像复数域这样的数域, 因为其中非常数多项式都有根, 这会给我们带来很大的便利. 不过不太便利的是, 中学数学里复数讲的非常少甚至不讲, 而大学又假定这些都是中学讲过的, 于是就比较尴尬了. 更尴尬的是, 现在的高中数学课本干脆把映射都给砍了, 看来不把数学这棵大树砍成棺材板誓不罢休. 比如, 下面这个问题就可能让学生困扰. 问题 30 在复数域上分解 .问题本身不难, 需要三角函数的基本运算. 不过这个问题蕴含很多东西, 比如利用它可以得到如下结论, 实际上类似的结论非常多. 问题 31  实系数不可约多项式 实数域和复数域相差不大, 我们常常可以利用复数域上的结果来处理实数域 上的问题, 比如我们马上要处理的实系数多项式问题. 首先注意到 问题 32 实系数多项式的 (非实) 复根是成对出现的, 即若 是 实系数多项式 f(x) 的根, 则 也是 f(x) 的根. 由此容易得到 问题 33 首一实 系数 不可约多项式有两类: (1) 一次多项式; (2)  ,  其中     且  . 于是我们可以考虑 问题 34  在实数域上分解 .比较有意思的问题是 问题 35 设 , 且对任意实数 a 有  , 证明: 存在实系数多项式 g(x),h(x) 使得

有理系数不可约多项式

困难的是有理系数不可约多项式的分类, 这个问题目前还没有解决. 不过我们有很多方法得到一系列的不可约多项式. 这里需要把有理系数多项式转化为整系数多项式. 问题 36 (Eisenstein 判别法) 设

若有素数 p 使得

则 f(x) 不可分解.

利用 Eisenstein 判别法, 我们很容易构造任意次数的不可约有理系数多项式.  问题37 对任意 ,    都是不可约的. 当然有时候不能直接利用 Eisenstein 判别法, 需要适当变形. 问题38 设 p 是素数, 则

不可分解.这个问题只需要做一个简单的变量替换 x=y+1, 再利用素数的一个性质:

Eisenstein 判别法有好几个变化, 其中一个比较简单但是学生们又会比较糊涂的是判别法条件改为

不过, Eisenstein 判别法不是万能的, 好多问题它也解决不了, 还需要想其他 办法. 比如 问题39 设 a1,a2,··· ,an是不同的整数, 证明: 

在 Q 上不可约.

当然, 素数与不可约多项式之间有更深刻的联系. 问题40 设素数

ai∈ {0,1,··· ,9}, n > 0, 证明:

在 Q 上不可约.这个问题比较难, 是一篇数学论文中的结果. 代数数多项式还可以用来研究数域. 称 α ∈ C 为代数数, 如果 α 是某个首一有理系数多项式的根; 称 α 为代数整数, 如果 α 是某个首一的整系数多项式的根. 问题41 设 α 为一个代数数, 记

证明:  中存 在唯一的次 数最低的首一多项式 , 不可约且中其他多项式都是 f(x) 的倍式. 称 为 α 的最小多项式.前面我们考虑两个多项式的最大公因式时曾经考虑过一个集合

这个集合与上面提到的有非常类似的性质: 的任何两个多项式的和在中, 中的任意多项式与 F[x] 中任何多项式相乘也在中, 也就是对于加法封闭, 对于乘法也封闭并且乘法具有某种吸收的性质.

继续讨论之前, 先做个小问题热热身. 问题42 (1) 设 α =√2 +√−1, 试验证 α 为代数数, 并求其最小多项式; (2) 试求 Q(√−1), Q(√−2), Q(√−3) 中的所有代数数和代数整数.  第 (2) 个问题实际上给出了代数整数在不同数域上的区别, 这里涉及虚二次域的代数整数环的结构.最小多项式是把数与多项式衔接的桥梁, 我们现在就可以用多项式理论来回答数域中遇到的问题. 问题43 设 α ∈ C 为 n 次不可约多项式 p(x) ∈ Q[x] 的根, 证明: 包含 α 的最小数域为

这个结论堪称多项式和数域的绝妙结合, 它把我们之前考虑过的诸如包含的最小数域问题统一解决了! 它的证明过程也很精彩. 首先, 加法和减法的封闭性容易验证, 而乘法的封闭性用带余除法就能轻松处理, 最麻烦的是除法的封闭性, 而这本质上是要证明中的非零数的倒数也在 中 (为什么?). 注意到中每个非零数都可以写成 f(α) 的形式, 其中 f(x) 是次数小于 n 的多项式. 对于非零数 f(α), 如果倒数也在 中, 则也可以写成 u(α) 的形式, 也就是说要找到 u(x) 使得

u(α)f(α) = 1.

看到这里, 读者可能会联想起我们在前面做过好几次类似的事情, 比如在求同余方程 (组) 的解的时候, 解决问题的关键是 Bézout 定理, 这儿也是! 注意到 (f(x),p(x)) = 1, 自然有 u(x)f(x) + v(x)p(x) = 1. 给 x 赋值为 α 即可.上述证明值得好好回味, 除了巧妙运用 Bézout 定理, 更重要的是多项式函数的观点: 首先把 中的数都看作多项式的赋值, 最后一步也是赋值. 这实际上蕴含了对于多项式函数的另一个观点. 问题44 设 a ∈ F, 定义 F[x] 上的一个函数为

这样的函数满足如下性质:

问题45 (1)  (2)

       (3) 

可以看出这个函数的性质与多项式的求导的性质有点接近. 有兴趣的读者也可以去求多项式的满足上述性质的所有函数.我们把赋值的范围扩大一点, 不一定限制 a ∈ F, 而是任取 α ∈ C 做赋值, 自然的值域不再是 F, 而是复数域 C 比如, F =Q,   α 是一个 n 次有理系数不可约多项式 p(x) 的根, 这样就得到了一个映射

不过这个映射既不是单射, 也不是满射. 要想得到满射很容易, 把值域缩小成像集即可. 不知道什么是像集? 问你的中学老师去! 这儿的像集自然就是所有 f(α) 的集合, 也就是. 要想得到单射, 就需要把定义域缩小, 这一般来说不太好办. 不过我们的运气比较好, 只需考虑次数小于 n 的多项式全体即可. 于是我们得到了一个一一对应

更神奇的是, 我们在前文定义了 中的加、减、乘、除四则运算, 刚刚证明了 也有四则运算, 上述映射实际上是保持两个集合中的四则运算的! 换言之, 我们发现 与 没有本质区别!这个发现也启发我们得到如下结论. 问题46 设 p(x) ∈ Q[x] 不可约, α,β ∈ C 是 p(x) 的两个根, 则存在 1-1对应

满足 ϕ(a + b) = ϕ(a) + ϕ(b), ϕ(ab) = ϕ(a)ϕ(b). 用行话来说, 这两个不同的数域是同构的.

这一结论在方程求根问题的解决上起到了关键作用.