大约是整数环的数论在多项式环的推广。

整着整着发现不考虑严谨性的话内容已经多到变成了可以当本书的一章的地步？

关于整数环的数论基础，可以查看离散笔记中的数论。在以下讨论中，多项式如果不加指出，都在某个数域上，在适合的地方代指零次多项式（懒得写）。在讨论之前，先给出环的定义。

在代数学中，环（Ring） 是一个集合，它在两种二元运算（通常称为加法和乘法）的作用下，满足特定的公理。

简单来说，环是把整数的加法和乘法的性质抽象化后得到的数学结构。如果不清楚环是什么暂时不要紧，以下内容可以飞速浏览，有个印象即可，这一篇笔记并不与环非常相关。

环的简介

形式定义

设是一个非空集合，在其上定义了两个二元运算：加法（记作）和乘法（记作）。如果满足以下三个条件，则称为一个环：

I. 加法成交换群（阿贝尔群）

结合律：
交换律： 3. 单位元（零元）：存在，使得对任何，有。
逆元（负元）：对任何，存在，使得。

II. 乘法成半群

结合律：注意：基础环的定义并不强制要求乘法满足交换律，也不强制要求有乘法单位元（单位元）。

III. 分配律

乘法对加法满足左、右分配律：

讨论这样一个结构干什么呢，主要是为了抽象，如果整数的结论能在多项式上运用，我们只要讨论某个环，然后在剩下的环就能够用类似的方法解决类似的问题，所以总的来说这样省事的多。

类似整数，我们定义多项式的整除，考虑数域上的多项式，定义整除，如果存在一个多项式满足。

多项式的数论性质

带余除法

类似整数，我们也可以考虑多项式的带余除法。我们希望的是：

对于任意的多项式，都存在多项式使得。

这时不方便像在整数环那样说所谓，多项式的大小可以如何确定呢，我们可以让这个“大小”抽象一些，让多项式的度数作为定义，度数指的是多项式的最高幂次，用英文缩写记作。

那么完整来说，带余除法应该要是：

对于任意的多项式，，都存在多项式使得，其中。

是否存在呢，如果存在，是否唯一呢。我们可以类似整数讨论：

[!存在性证明] 我们固定，对的次数做第二数学归纳法。

的度数比小，那么直接让就好了。现在考虑对于度数小于的多项式都存在带余除法，那么我们考虑度数为的情形。

的度数大于等于的度数。我们不妨设首项为，的首项为，那么就是一个度数的多项式，根据归纳假设存在带余除法，，稍微整理就得到，符合带余除法的形式，从而成立，综合以上两种情况得到原命题成立。

[!唯一性证明] 采用反证法。不妨设不唯一，有，变换得到，若则也就得到唯一性。否则考虑等式两边的度数，左侧度数为，右侧度数为，这就出现了矛盾。

Bezout定理

有了带余除法，我们是否就可以类似整数得到裴蜀定理。

存在使得。

首先我们需要定义，证明它的存在性。

最大公因式(gcd) 定义为：对于任意的的公因式，我们有。如果两个多项式互相整除会怎么样呢，设，利用定义从而，从而，也就是说都是度数为的，也就是常数。这时称相伴，他们之间差一个常数。从而最大公因式在相伴意义下是唯一的，对于两个最大公因式，他们互相整除。

带余除法有个美妙的性质， $与相伴$ 。证明通过说明左右互相整除得到，简记为。，从而，那么也就有。另一边，移项得到，这时类似得到，从而。综合两方面得到他们相伴。

最大公因式是否总是存在呢，我们先把裴蜀定理解决。

[!裴蜀定理证明] 类似整数情形，我们设集合，其中是任意的多项式。利用良序定理，集合存在次数最小的一些多项式，考虑其中一个。我们证明就是。首先，证明是公因式。我们希望利用良序定理推到矛盾。假设不整除，利用已经证明的带余除法，有，代入就得到，那么，被表出了，而由于，就得到了矛盾，所以至少，同理，从而是公因式。再证明是最大公因式。考虑是一个公因式，那么。综合以上得到就是最大公因式。

此时我们考虑的存在性，显然从而非空，那么就存在。

实际上还有另一个结论，就是因为可以由生成，这实际上是一个主理想整环（叽里咕噜

考虑，，那么，把被表出代入就得到也被表出，如果，就因为而与矛盾了。所以，从而。可以由这个主理想生成，至于理想是什么，请听下回分解。

实际上还有一种构造性证明，利用带余除法我们有：

如此往复，最后有：

终于整除了，利用就有就是。这样，我们回代，解出，然后类似依次回代，就得到。由于带余除法每次度数至少少，这个过程一定在有限步完成。

因式分解

在整数环中，我们有唯一素因子分解，在多项式环也有类似的操作。定义不可约多项式为只能被零次多项式或其相伴元整除的多项式。这与素数定义类似。那么是否有唯一不可约多项式分解呢？

我们先推导一些不可约多项式的性质。

一
考虑不可约多项式，和任意多项式，则 $或$ 。利用定义容易推出。

二若，则 $或$ 。证明：若，已经成立，否则，那么，同乘得到，那么 $左侧$ ，从而。

三不可约当且仅当不能被分解成次数更小的两个非零次多项式的积。必要性：若不可约，显然不能被分解。充分性：假设可约，则设，那么，由于，二者次数显然比小，与条件矛盾。故不可约。

有了以上，就可以方便地证明唯一因式分解定理：

上次数大于的多项式都能唯一分解成上若干个不可约不等式的乘积。

证明：先证明存在性，利用第二数学归纳法。奠基步：显然次数的时候可以分解成自己。归纳步：假设度数小于的情形都成立，对的情形讨论。若不可约，则可以分解成自己，否则，利用上面的性质三得到，其中都是次数小于的多项式。利用归纳假设得到可以被分解，那么代入就得到的不可约多项式分解。

然后证明唯一性。采用反证法。假设可以有两种分解：。那么有，从而有，我们可以任意地排序，从而让。那么就因为他们都不可约，相伴，考虑相伴意义下，我们仍然写作等号而懒得换符号，从而约去二者得到：，往复，不妨设，，那么就可约了，矛盾，得到，类似得到反面，从而，而且两边的不可约多项式都在相伴意义下相等。

综上，我们就完成了证明。多项式总可以被分解成：

重因式

虽然我们对多项式环一般来说没有整数环熟悉，但是实际上多项式环有比整数环更美妙的性质，他有导数这样一个线性运算，使得我们在处理时有许多便利。

正如小标题，如果我们希望得到一个多项式的重因式怎么办呢？重因式的直观理解我们都有，具体的数学定义如下：，但是。那么就是的重因数。下一步，如何求呢？

已经提到过，我们有求导这个工具。对一个多项式求导会怎么样呢，次数减一，那么如果次数减一还不为次多项式，就说明原来次数比大，是重因式。那么只要求多项式和其导数的公因式，我们就得到了一个多项式的重因式。

严格地，我们可以如下说明：

求导就得到：

大概这个意思，那么我们就能提出公因式：

那么就能看出来考虑首项为的多项式，就有，对的情形就是，懒得剔除。这正是的重因式们，和的重因式差的次数。这有助于我们解决大名鼎鼎的猜想在多项式环的版本。

多项式的ABC定理(Mason-Stothers)

设是定义在域（如复数域）上的互质多项式，且不全为常数，满足：

那么，这三个多项式中次数最高者的次数，受限于它们乘积的根式（radical） 的次数：

其中指根式，也就是分解后的们的一次方本身。证明：利用前面说的关于重因式的内容，不难有

那么

已知，两边求导得。两边先除以：，求导并约去分母得到：

那么显然整除左侧，同理，整除这个式子，从而：

利用的式子得到：

讨论：如果：

那么左边的次数必须小于或等于右边的次数。

代入次数：
- -（注意求导掉了一次）
抵消掉后得到：

如果是，说明是常数，这样也是常数，与互质矛盾。综上，证明完成。

费马大定理

有了，在多项式环证明就挺快的。费马地方太小写不下的理由就不能用了（

定理：不存在互质的非常数多项式满足：

证明：采用反证法。假设存在互质的非常数多项式满足：

由于它们互质，利用，得到：

同时，由于

那么，不妨设，有：

于是

对于的情形显然不成立，从而在时，有费马大定理成立。对于，则可以找到对应多项式。

中国剩余定理

定理：设是域上的两两互质的多项式。对于任意给定的多项式，必存在唯一的多项式满足：

且在次数的要求下，该解是唯一的。

简而言之，就是这样的同余方程有唯一解。构造性证明可以写的很简短：

设，。

由于与互质，利用扩展欧几里得算法可以找到使得：

最终的解即为：

当然，解释一下，简单来说是运用基的思想，用一个例子说明：

那么怎么办呢，一般的不好求，如果等于或者就好了。

这下会算了（第二个式子得到，代入第一个得到。对互质的运用裴蜀定理得到存在，取模就发现，那么也就找到了一个解。具体的通过辗转相除就可以得到。

然后呢，怎么弄回原来的方程呢？再解一个：

然后得到，那线性组合不就得到了原来的方程吗。取就得到了原先的解。这就是中国剩余定理，有点像找到每个模数的某种意义的基，然后线性组合，有点像拉格朗日插值。

多项式函数

Lagrange 插值公式与范德蒙矩阵的逆

设是数域，互异。则任给，存在唯一的次数的多项式，使得：

1. 矩阵形式推导

设。根据插值条件，得到线性方程组：

该方程组等价于矩阵乘法：

范 德 蒙 矩 阵

由互异可知，范德蒙矩阵可逆。

2. 系数的确定

故多项式存在且由唯一确定：

特别地，取，用反证法可得： 次多项式（函数）在任意域中至多有个根。

3. 利用伴随矩阵展开

利用逆矩阵公式：

将写成行向量与列向量的乘积：

代入系数向量：

进一步化简：

观察括号内的部分，它正好是行列式按第行展开的形式：

第 行 展 开

4. Lagrange 插值公式

最终再次利用范德蒙德行列式得到经典的 Lagrange 插值公式形式：

多项式的根，多项式函数

前面讨论的，除了拉格朗日插值的部分，实际上并不是传统印象中的多项式函数，一个的映射，而是形式上的多项式，其只是系数与幂的形式。前面的求导也只是形式求导，当然，跟函数的求导一模一样。因为一切都是那么符合直觉，我们并没有讨论这些而已。

前面的多项式应该如此定义，形如的一串符号，两个多项式相等当且仅当每一个都相等。形式导数的定义则定义成函数求导的样子。

为什么要区分呢，在我们惯常熟悉的数域中二者并没有很大的区别，也可以验证多项式函数同样构成唯一分解整环。但是在有限域，例如对取模的域中就不同了。这个域只有，那么和实际上考虑函数的话，他们对取模一样，也就在这个域中相等。但是对于形式上的多项式，根据定义他们并不一样。

无限域中他们存在双射，所以我们可以放心地按照直觉处理。

单射性（唯一性）：

如果两个多项式函数和相等，那么它们的差在无限个点上都等于 0。

根据代数原理（马上就要说明），一个次非零多项式最多只有个根。如果它有无限个根，那么它必须是零多项式（即所有系数均为 0）。因此，和的系数必须完全相同。
满射性：

由定义可知，每一个多项式函数都是由某个形式多项式“诱导”出来的。

那么就可以定义根，根是使得多项式函数为的点。

余数定理

在，用除得到的余数是。

证明是容易的：，代入就有。

那么，整除当且仅当是的一个根。非常符合直觉。

代数基本定理

在复数域上，次多项式函数有个根。

我们先说明个根是一个上界，即次多项式至多有个不同根。利用唯一分解定理，至多有个不同的一重因式，从而得到证明。

这有一个直接的推论，至多有个地方能取到，只要考虑多项式利用上述即可。利用这个就可以清晰地说明上方的多项式与多项式函数的单射。

在证明定理之前，有一个引理：若是复多项式，则实值函数在复平面上一定能取到最小值。

[!证明] 设，显然选取足够大的，使得时，有，从而此时。

在有界闭集上，连续函数显然有极小值，从而在两个极小值中选取最小的那个就得到了全局的极小值。

进一步的，我们希望这个最小值就是。

[!证明] 反证法。假设不是，不妨设是。假设，没有复根，设即为其最小值。做一个变量替换，令，那么，其中，。

同样提出得到。取足够小，使得时。

设，那么我们构造这样的：，使得且，利用大名鼎鼎的欧拉公式就得到，这就得到了矛盾。

不难看出，我们可以把换成任意的数，同时是随便选的。关键在于在复平面上，我们总可以找到一个方向让是负的，同时对于足够小的，其他项的影响可以忽略。这是证明的核心，函数值总可以一直下降，除非已经是，无可下降。

这样我们就得到复多项式总有根，那么找到一个根，利用余数定理就找到一个一次因式，除去这个因式，我们得到一个新的降了一次的复多项式，往复就得到复多项式都有个根，当然，根可能重复。

总之这样也就证完了。那么也就得到，在复数域总可以把多项式函数分解成如下形式：

实数域的分解

在实数域上，非零多项式都能唯一地写成一次因式与判别式的二次因式的乘积。

这里

引理 2 的证明

证：设是首一不可约多项式，是的一个复根。

若：

则在上整除。

由于不可约，于是。
若：

则也是的根（由引理 1）。

由此可知：

及（互质），

知在 $\mathbb{C}$ 上：

又因为：

故在上也有：

再由在上首一不可约，知：

综合两个引理，实数域的分解不难得到。

本原多项式

1. 定义与性质

本原多项式：若整系数多项式各项系数的最大公因数为 1，则称是本原多项式。

示例：

可以通过提取公因子化为：

其中括号内的部分即为本原多项式。

2. 相关引理与定理

引理：在中，本原多项式相伴当且仅当。
定理：在中，每个非零多项式都能唯一地写成：

其中是有理数，是本原多项式且首项系数。

3. Gauss 引理及其证明

引理 (Gauss)：本原多项式的乘积仍是本原多项式。

证：设，。

由于为本原多项式，即。

我们要证明系数的最大公因数仍是 1。

若不然，存在素数整除的每个系数。

设分别是中不被整除的最高次项系数：

（其中是的倍数）
（其中是的倍数）

考察的项系数：

在该项系数的组成中，不整除，但整除其他所有项（如）。

这导致不整除项的系数，与“ 整除每个系数”的假设矛盾！

4. 与的分解关系

在中有多项式（不可约）分解：

通过提取系数，这等价于在中有本原多项式的本原（不可约）分解：

核心逻辑：在处理不可约性时，以下两种视角作认同处理即可。

5. 推论

1

每个次数的本原多项式都能唯一地写成本原不可约多项式的乘积：

2

若本原多项式整除整系数多项式，则有：

推导思路：

设，由于是本原多项式且，根据 Gauss 引理的推论，也必然是整系数多项式。

设，则有：

通过比较最高次项和常数项系数：

最高次项：
常数项：

3

若（互素）是整系数多项式

的有理根，即，则有：

核心结论：

分母必须是最高次项系数的因子。
分子必须是常数项系数的因子。

这可以用来检验有理根，利用整除我们得到有限个可能的有理根，带进去尝试就行。

可约性的判定

Eisenstein 判别法 (p-Eisenstein 多项式)

定义与定理

设是素数。若整系数多项式

满足以下三个条件：

（不整除首项系数）
（整除除首项外的所有系数）
（不整除常数项）

则在中不可约。

证明思路（反证法）

第一步：还原到整数环

根据高斯引理，一个本原多项式在上可约，当且仅当它在上可约。

假设竟然是可约的，那么可以设：

其中，，且。

第二步：利用常数项锁定的分布

观察常数项：。

条件 (2) 说。
条件 (3) 说。

这意味着和里面，有且仅有一个能被整除。不妨设且。

第三步：得到矛盾

接下来考虑的来源，不难发现正是，于是利用上述我们得到，那么依次地递推，我们就会推出，那么就得到，与条件矛盾。

因此，最初的分解假设不成立，不可约。

示例：分圆多项式的不可约性证明

对于，直接看系数全是，完全不符合 Eisenstein 的要求。所以我们需要做一个坐标平移。

核心技巧：令我们构造一个新多项式。平移的动机正是几何级数(等比数列)的形式。

利用几何级数求和公式：，代入得：

展开项分析

利用二项式定理展开：

减去再除以，得到：

验证条件

现在对使用 Eisenstein 判别法（针对素数）：

首项系数：是，显然。
中间项系数：即，。

根据组合数公式，因为是素数且分母不含因子，所以这些系数全部能被整除。
常数项：是。显然且。

结论：在上不可约。因为平移变换不改变多项式的可约性，所以原多项式也不可约。

关于平移

看上去确实非常神秘，但是知道技巧后也就是枯燥的运算，实际上也就是加减一观察着试试，或者结构特殊试试2,3什么的，实在不行再另寻他法吧（

通过取模判定可约性

如果在更简单的世界里都无法分解，那么在复杂的世界里更不可能。

判定定理：

设，其首项系数不能被素数整除。

如果在模的剩余类域上，取模后的多项式是不可约的，且的次数与相同，那么在上也一定不可约。

批判性评估：

优势：在系数极大或 Eisenstein 失效时极其有效。模的世界只有和，因式分解变成了某种“拼图游戏”，计算量骤降。

风险：这只是一个 单向门 。如果在模下可约，你不能断定在上可约。例如在下是，但在上显然不可约。

证明实际上很清晰，我们想逆否命题：若在上可约在上可约（前提是取模后没掉次，即）。这很显然成立，把两边取模而已，所以逆否命题也相应成立，倒相当有用，我们也可以稍微形式化的写个证明：

核心证明

1. 准备工作：高斯引理的护航

同样，根据高斯引理，我们只需要证明在上不可约即可。

假设在上是可约的，那么存在次数均大于的整系数多项式，使得：

设，则。

2. 投影到有限域

考虑模的同态映射。这个映射可以自然诱导出一个多项式环之间的映射。

作用于等式两边：

3. 次数守恒的考察

观察等号左边：因为已知，所以的首项系数。这意味着：

观察等号右边：由于且，而它们的乘积次数必须等于（即），这迫使：

且

4. 导出矛盾

我们发现在中被分解成了两个次数较低的多项式和。

这与定理的假设条件——“ 在上不可约”——直接冲突。

结论： 假设不成立，在上不可约，进而在上不可约。

2. 实战演练：模 2 判定

假设我们要判定是否不可约。

这个多项式不满足 Eisenstein（找不到合适的）。我们试着模：

在中，的系数只有和。

检查一阶因子（根）：
- -
  
  没有根，说明没有一次因子。
检查二阶因子：

上唯一的二阶不可约多项式是。

我们算一下：。

既然没有一次因子也没有二次因子，在上不可约。

结论： 在上绝对不可约。

作为多项式环的最后一部分内容，我们梳理一下：主线是：带余除法定理因式分解同时定理也可以中国剩余定理(CRT)

在下一篇，一般一些的环论讨论中，也会延续这一套主线，大概框架如： K[x] 是欧几里得整环

存在 Euclid 算法

Bezout

PID

UFD

唯一分解