唯一分解

一、多项式环上的整除与最大公因式

1.1 前文回顾：多项式环的理想

前文已经证明多项式环 $F[x]$ 的一个重要性质：其上的任何一个理想都可以由某一个多项式的倍式来生成。也就是说，$F[x]$ 是一个主理想整环（Principal Ideal Domain, PID）。

这个性质与整数环 $\mathbb{Z}$ 完全类似：整数环中的任何一个理想（在 $\mathbb{Z}$ 中即加法子群）都可以由某个整数的倍数生成。正是因为这一性质，整数中关于因子分解和最大公因数的整套理论都可以平行地推广到多项式环上。

一切都是从带余除法开始的。正是因为多项式环上能做带余除法，才能证明它是主理想环，进而才能定义最大公因式、建立唯一因子分解定理——这整个逻辑链条和整数情形一模一样。

1.2 多项式整除关系的回顾与基本性质

多项式整除的定义：在 $F[x]$ 中，$f(x) \mid g(x)$ 当且仅当存在 $q(x) \in F[x]$ 使得 $g(x) = f(x) \cdot q(x)$。

整除关系的两个基本性质（这些性质在整数中都有对应）：

性质一（不可避免的因式）：对任意 $f(x) \in F[x]$ 和任意非零常数 $a \in F$（视为零次多项式），恒有 $a \mid f(x)$ 且 $a f(x) \mid f(x)$。

理由：$f(x) = a \cdot (a^{-1} f(x))$，而域中每个非零元素都有逆元。所以 $a$ 总能整除 $f$，同时 $f$ 也是 $af$ 的倍式。这类因式是”不可避免”的——它们总是存在，类似于整数中的 $\pm 1$ 和 $\pm a$。

在谈论整除关系时，这类不可避免的关系应该被排除在外。就像在整数中讨论因子分解时，我们通常默认不考虑 $\pm 1$ 和相反数的干扰。

性质二（互相整除等价于差一个非零常数）：若 $f \mid g$ 且 $g \mid f$，则 $f$ 与 $g$ 相差一个非零常数倍，即存在 $a \in F \setminus \{0\}$ 使得 $g = a f$。

这在整数中的对应：若两个整数互相整除，则它们要么相等，要么互为相反数。

证明思路：利用次数的性质。若 $f \neq 0$ 且 $f \mid g$，则 $\deg(g) \geq \deg(f)$。因此 $f \mid g$ 且 $g \mid f$ 推出 $\deg(f) = \deg(g)$，进而可知它们只相差一个非零常数因子。细节留作练习。

两个非零多项式相乘，次数不会变小——实际上 $\deg(fg) = \deg(f) + \deg(g)$。这是一个看似显然但非常重要的性质，可以用来做很多事情。

1.3 最大公因式的定义

在多项式环 $F[x]$ 中，设 $f, g \in F[x]$，定义它们的最大公因式（Greatest Common Divisor, GCD）$\gcd(f, g) = h$，满足以下三条：

公因式条件：$h \mid f$ 且 $h \mid g$（$h$ 是公因式）；
最大性条件：对任意 $p \in F[x]$，若 $p \mid f$ 且 $p \mid g$，则 $p \mid h$（所有公因式都是 $h$ 的因式）；
首项系数归一：$h$ 的首项系数（leading coefficient）等于 $F$ 中的乘法幺元 $1$。

特殊情况：若 $f = g = 0$，定义 $\gcd(0, 0) = 0$。

为什么要求首项系数为一：这是为了确保唯一性。例如 $f = (x+1)^2$，$g = x+1$，直观上 $\gcd(f, g) = x+1$。但 $2(x+1)$ 同样满足前两个条件。要求首项系数等于幺元，就锁定了唯一的代表元。

这就像在整数中定义最大公因数时要求 $d \geq 0$，避免了正负号的歧义。

例子：设 $f = (x+1)^2$，$g = x+1$（在实数或复数域上）。直观上公因式应该是 $x+1$，而不是 $(x+1)^2$（无法整除 $g$）。规范化为首项系数为 $1$ 的多项式后，$\gcd(f, g) = x+1$。

1.4 最大公因式的存在性与线性组合表示

核心定理：对任意 $f, g \in F[x]$（不全为零），它们的最大公因式一定存在、唯一，并且可以写成 $f$ 和 $g$ 的多项式线性组合：

\[\gcd(f, g) = u(x) f(x) + v(x) g(x), \quad u, v \in F[x]\]

证明（利用理想）：

构造集合 $I = \{h_1 f + h_2 g \mid h_1, h_2 \in F[x]\}$，即 $f$ 和 $g$ 的所有多项式线性组合的集合。
验证 $I$ 是 $F[x]$ 的理想（满足加法子群且乘法吸收性）。并且 $f, g \in I$（分别取 $h_1=1, h_2=0$ 和 $h_1=0, h_2=1$）。
由前文的结论，$F[x]$ 是主理想环，因此存在 $d(x) \in F[x]$ 使得 $I = \langle d \rangle = \{k \cdot d \mid k \in F[x]\}$。
由于 $f, g \in I = \langle d \rangle$，故 $d \mid f$ 且 $d \mid g$（$d$ 是公因式）。
由于 $d \in I$，所以 $d$ 本身可以写成 $d = u f + v g$ 的形式。
对任意公因式 $p$（$p \mid f$ 且 $p \mid g$），它必然整除 $uf + vg = d$，故 $p \mid d$（最大性成立）。
规范化：设 $d$ 的首项系数为 $a \neq 0$，令 $h = a^{-1} d$，则 $h$ 的首项系数为 $1$ 且仍满足前两条。此时 $h = (a^{-1}u)f + (a^{-1}v)g$，仍可写成线性组合。
唯一性：若 $h_1$ 也是最大公因式，由定义知 $h \mid h_1$ 且 $h_1 \mid h$，由性质二知它们相差一个非零常数倍。但两者首项系数均为 $1$，故此常数必为 $1$，即 $h_1 = h$。

这个证明的核心就是”能够写成线性组合”——这是整数证明中同样关键的一步。任何公因式必然整除线性组合，而线性组合本身恰好就是一个公因式，所以它就是最大的那个。

记号：与整数一致，记为 $\gcd(f, g)$。

二、不可约多项式

2.1 动机：类比素数

有了最大公因式的概念后，自然要问：多项式环上是否有类似于整数中”素数分解”的性质？

在整数中，任何大于 $1$ 的自然数都可以唯一分解为素数的乘积。在多项式环中，”素数”的对应物就是不可约多项式。

素数是指除了 $1$ 和自身之外没有其他正因子的数——那些”不可避免”的因子（$\pm 1$）被排除后，就再也没有其他因子了。多项式中也有类似的”不可避免”的因式（非零常数和自身的常数倍），排除它们后如果没有其他因式，就是不可约的。

2.2 不可约多项式的定义

设 $f(x) \in F[x]$，$\deg(f) \geq 1$。若对 $f$ 的任意因式 $g$（$g \mid f$），都只有以下两种情形：

$g$ 是零次多项式（即非零常数），或
$g$ 是 $f$ 的非零常数倍（$g = a f$，$a \in F \setminus \{0\}$）

则称 $f$ 为域 $F$ 上的不可约多项式（Irreducible Polynomial）。

等价地：$f$ 不可约当且仅当对于任意 $g \in F[x]$，若 $1 \leq \deg(g) < \deg(f)$，则 $g \nmid f$ —— 即在比 $f$ 次数低（但至少一次）的范围内，找不到 $f$ 的真因式。

不满足上述条件的次数 $\geq 1$ 的多项式称为可约多项式（Reducible Polynomial）。

重要说明：是否可约是相对于具体的域而言的。同一个多项式在不同域上的可约性可能完全不同。

2.3 例子：不同域上的不可约多项式

一次多项式：$x + a$ 在任何域上都是不可约的。因为它的次数太小了——两个非零多项式相乘，次数等于各自次数之和，所以一次多项式不可能有次数在 $1$ 到 $0$ 之间的真因式。

$x^2 + 1$：

在 $\mathbb{R}$（实数域）上不可约：因为 $x^2 + 1 \geq 1 > 0$，没有实根，无法在实数范围内分解。
在 $\mathbb{C}$（复数域）上可约：$x^2 + 1 = (x + i)(x - i)$，有虚数单位作为根。

不同域上不可约多项式的总体分布：

复数域 $\mathbb{C}$：由代数基本定理，任何复系数多项式都可分解为一次因式的乘积。因此复数域上的不可约多项式全是一次多项式。
实数域 $\mathbb{R}$：除了一次多项式外，还有判别式小于零的二次多项式（即 $x^2 + ax + b$ 满足 $a^2 < 4b$，没有实根）。可以证明除此之外没有其他不可约多项式。
有理数域 $\mathbb{Q}$：不可约多项式非常多。例如，对任意素数 $p$，多项式
\[\Phi_p(x) = 1 + x + x^2 + \cdots + x^{p-1} = \frac{x^p - 1}{x - 1}\]
在有理数域上是不可约的（这是分圆多项式的一个经典结果）。
有限域：也有丰富的不可约多项式，且有一些有效的判定算法。

粗略地说，域越大，不可约多项式越少。复数域”最大”，所以不可约多项式最少（只有一次）；实数域多了一类二次的；有理数域就更丰富了。

关于不可约性的判定：对一般的域和一般的多项式，没有统一的快速判定方法。朴素的方法是逐一尝试次数更小的多项式是否为因式，这非常耗时。但对有理数域和有限域等特殊域，存在一些有效的算法。

三、不可约多项式的核心性质

3.1 不可约多项式与其他多项式的整除关系

命题：设 $p(x) \in F[x]$ 是不可约多项式，$g(x) \in F[x]$ 是任意多项式。则以下两种情况必居其一：

$p \mid g$（$p$ 是 $g$ 的因式）；
$\gcd(p, g) = 1$（$p$ 与 $g$ 互素，即最大公因式为幺元）。

此外，在情形二中，存在 $u, v \in F[x]$ 使得 $u p + v g = 1$。

证明：设 $d = \gcd(p, g)$。由于 $d \mid p$ 且 $p$ 不可约，根据不可约多项式的定义，$d$ 要么是零次多项式（非零常数），要么是 $p$ 的非零常数倍。

规范化后（首项系数为 $1$），$d = 1$ 或 $d = p$。
若 $d = p$，则 $p \mid g$（因为 $d$ 是 $g$ 的因式）。
若 $d = 1$，则 $\gcd(p, g) = 1$，且由最大公因式的线性组合性质，存在 $u, v$ 使得 $u p + v g = 1$。

整数中的对比：这完全对应素数的一个基本性质——对任意整数 $a$ 和素数 $p$，要么 $p \mid a$，要么 $\gcd(p, a) = 1$。

互素的定义：若 $\gcd(f, g) = 1$，则称 $f$ 与 $g$ 互素（coprime）。这与整数中的互素概念完全一致。

3.2 互素多项式的消去性质

命题：设 $f, g, h \in F[x]$。若 $\gcd(f, g) = 1$（$f$ 与 $g$ 互素）且 $f \mid gh$，则 $f \mid h$。

证明（与整数情形完全一致）：

由 $\gcd(f, g) = 1$，根据最大公因式的线性组合性质，存在 $u, v \in F[x]$ 使得 $u f + v g = 1$。
两边同乘 $h$：$u f h + v g h = h$。
观察左边：$u f h$ 显然被 $f$ 整除（含有因子 $f$）；$v g h$ 也被 $f$ 整除，因为已知条件 $f \mid gh$。
因此 $f$ 整除左边两项之和，即 $f \mid h$。

整数中的对比：若 $a$ 与 $b$ 互素且 $a \mid bc$，则 $a \mid c$。证明步骤完全一样，这是数论中最基本的推理模式之一。

3.3 不可约多项式的”素数性质”

推论：设 $p(x)$ 是不可约多项式。若 $p \mid g(x) h(x)$，则 $p \mid g$ 或 $p \mid h$。

证明：不妨设 $p \nmid g$（否则结论已成立）。由命题 3.1，$\gcd(p, g) = 1$。再结合命题 3.2（$p$ 与 $g$ 互素且 $p \mid gh$），推出 $p \mid h$。

这个性质刻画了不可约多项式的本质——它实际上可以作为不可约多项式的等价定义。如果是可约多项式，这个性质一定不成立。例如 $(x+1)^2 \mid (x+1)(x+1)$，但 $(x+1)^2 \nmid (x+1)$。

整数中的对比：这正是素数的核心性质——若 $p$ 是素数且 $p \mid ab$，则 $p \mid a$ 或 $p \mid b$。

四、唯一因子分解定理

4.1 定理陈述

定理（多项式的唯一因子分解定理）：设 $f(x) \in F[x]$ 是一个首项系数为 $1$（首一多项式，monic）且次数 $\geq 1$ 的多项式。则 $f$ 可以分解为：

\[f(x) = p_1(x) \, p_2(x) \, \cdots \, p_t(x)\]

其中每个 $p_i(x)$ 都是首项系数为 $1$ 的不可约多项式。并且，如果 $f$ 有另一分解

\[f(x) = q_1(x) \, q_2(x) \, \cdots \, q_s(x)\]

（$q_j$ 也都是首一不可约多项式），则 $t = s$，且适当调换顺序后，有 $p_i = q_i$（$i = 1, \dots, t$）。

简言之：任何一个首一多项式都可以唯一地（不计顺序地）分解为不可约多项式的乘积。

限制在首项系数为 $1$ 的多项式上只是为方便起见，不失一般性。如果首项系数不是 $1$，只需将其提出作为一个非零常数因子即可：$f = a \cdot \tilde{f}$，其中 $\tilde{f}$ 首项系数为 $1$。

4.2 分解的存在性证明（对次数归纳）

归纳基础：$\deg(f) = 0$ 或 $1$ 时显然成立。

$\deg(f) = 0$ 即 $f$ 为非零常数，视为 $0$ 个不可约多项式的乘积。
$\deg(f) = 1$ 则 $f$ 本身就是不可约的（一次多项式永远不可约）。

归纳步骤：假设对次数小于 $n$ 的所有首一多项式结论成立，现证次数为 $n$ 的情形。

若 $f$ 本身是不可约的，则它已是自身的分解，成立。
若 $f$ 可约，则存在分解 $f = g \cdot h$，其中 $1 \leq \deg(g) < n$ 且 $1 \leq \deg(h) < n$（这里用到了关键性质 $\deg(f) = \deg(g) + \deg(h)$）。

不失一般性，可设 $g$ 和 $h$ 首项系数也为 $1$（否则提取首项系数，由 $f$ 首项系数为 $1$ 可推出两个系数相乘为 $1$，适当调整即可）。

由归纳假设，$g$ 和 $h$ 均可分解为首一不可约多项式的乘积。拼合即得 $f$ 的分解。

与整数的对比：整数情形完全一致——若 $n$ 是素数则已是乘积形式，否则 $n = ab$（$1 < a, b < n$），对 $a, b$ 用归纳假设。

这个证明给出了存在性的理论保证，但对一般的域，具体给出有效的分解算法仍然很困难。只有在有理数域、有限域等特殊情形下才有实用的分解算法。

4.3 分解的唯一性证明（对不可约因子个数归纳）

设有两种分解：

\[f = p_1 p_2 \cdots p_t = q_1 q_2 \cdots q_s\]

其中所有 $p_i, q_j$ 都是首一不可约多项式。要证 $t = s$ 且在适当调换顺序后 $p_i = q_i$。

归纳：对 $t$ 做归纳。

$t = 0$：此时 $f = 1$（零个因子的乘积），则 $q_1 \cdots q_s = 1$，必有 $s = 0$，成立。
假设对 $t-1$ 个不可约因子的情况成立，考虑 $t$ 个的情况。

关键步骤：$p_t$ 是不可约多项式且 $p_t \mid q_1 q_2 \cdots q_s$（因为 $p_t \mid f$）。由命题 3.3（不可约多项式的”素数性质”），$p_t$ 必然整除某个 $q_k$。

适当调换顺序（将 $q_k$ 换到末尾），不妨设 $p_t \mid q_s$。

由于 $q_s$ 本身也是不可约的，它的因式只有非零常数和自身的常数倍。而 $p_t$ 次数 $\geq 1$，故 $q_s = a \cdot p_t$（$a \in F \setminus \{0\}$）。

又因为两者首项系数均为 $1$，必有 $a = 1$，从而 $p_t = q_s$。

消去：在等式两边消去 $p_t = q_s$（多项式环 $F[x]$ 中无非零零因子，因为 $\deg(fg) = \deg(f) + \deg(g)$，两个非零多项式乘积非零，故满足消去律），得：
\[p_1 p_2 \cdots p_{t-1} = q_1 q_2 \cdots q_{s-1}\]
由归纳假设，$t-1 = s-1$ 且适当调换顺序后 $p_i = q_i$（$i = 1, \dots, t-1$）。

由此即得 $t = s$ 且两组因子一一对应相等。

唯一性的核心就在于不可约多项式的”素数性质”——一个不可约多项式如果整除一个乘积，必然整除其中至少一个因子。这个性质将所有因子”逐个匹配”起来，从而确定唯一性。

关于消去律的说明：在 $F[x]$ 中，两个非零多项式相乘一定非零（看次数即知 $\deg(fg) = \deg(f) + \deg(g) \geq 0$），因此多项式环是整环（无零因子），满足消去律。这个性质虽然看似显然但非常重要。

4.4 整个逻辑链条的总结

从带余除法出发，证明了 $F[x]$ 是主理想环；由主理想性得到了最大公因式的存在性与线性组合表示；利用最大公因式的性质定义了不可约多项式并推导出其”素数性质”；最终利用”素数性质”（不可约多项式整除乘积则整除其中至少一个因子）完成了唯一因子分解定理的证明。这一整套逻辑与整数情形完全平行。

多项式环中的最大公因式、不可约性与唯一分解