抽象代数（六）：多项式环 —— 因子分解与唯一分解

我记得刚上大学那会儿，盯着黑板上的 $x^2 + 1$ 发呆。高中老师信誓旦旦地说这玩意儿“不能再分了”，可眼前的教授随手写下 $(x+i)(x-i)$ ，转头又补了一句：“如果在模 $5$ 的整数里，它等于 $(x+2)(x+3)$ 。”我当时的脑子直接打结：同一个多项式，怎么换个地盘就换了一副面孔？它到底是个固定的对象，还是随环境变形的变色龙？

后来我才慢慢回过味来。多项式根本不是死板的算式，它是代数的实验室。几乎每一个环论概念——理想（ideal）、商环（quotient ring）、因子分解（factorization）、不可约性（irreducibility）——都是先在多项式身上做实验，摸清脾气后才被抽象成一般理论的。这绝不是巧合：多项式环（polynomial ring）足够丰富，能上演所有有趣的代数戏剧；同时它的骨架又足够清晰，允许我们亲手把每一步算得明明白白。

在这篇文章里，我会带你彻底摸透 $R[x]$ 的脾气。我会先抛开冷冰冰的定义，问清楚“为什么需要除法算法”、“为什么不可约性要看基环的脸色”。我们会一起手算辗转相除法，拆解 Eisenstein 判别法（Eisenstein’s criterion）的底层逻辑，看清唯一分解整环（Unique Factorization Domain, UFD）为什么在 $\mathbb{Z}[\sqrt{-5}]$ 里崩塌，最后用 Gauss 引理（Gauss’s Lemma）搭起从整数到有理数的桥梁。你会看到，多项式不是高中代数的残影，而是通向域扩张和伽罗瓦理论（Galois theory）的活地图。

为什么多项式在代数中处于核心地位#

我最初学抽象代数时，总忍不住问：环论已经够抽象了，为什么还要专门开一章讲多项式？直接研究一般环不行吗？后来我意识到，多项式就像代数世界的乐高积木。你手里只有几块基础砖（系数环 $R$ ），但通过拼接 $x$ 的幂次，你能搭出任意复杂的结构。更重要的是，多项式同时戴着三顶帽子，每一顶都指向代数的一个核心方向。

第一顶帽子：多项式生成所有代数扩张（algebraic extension）。假设你找到一个数 $\alpha$ ，它是某个有理系数多项式的根。那么把 $\alpha$ 塞进有理数域 $\mathbb{Q}$ 后得到的新域 $\mathbb{Q}(\alpha)$ ，在结构上完全同构于商环 $\mathbb{Q}[x]/(p(x))$ 。公式写出来是 $\mathbb{Q}(\alpha) \cong \mathbb{Q}[x]/(p(x))$ 。这句话的意思是：把多项式环按最小多项式 $p(x)$ 折叠起来，就自动长出了包含根 $\alpha$ 的新域。多项式怎么分解，直接决定了域扩张的骨架。反例也很直观：像 $\pi$ 或 $e$ 这样的超越数，根本不是任何有理系数多项式的根，所以 $\mathbb{Q}(\pi)$ 无法用这种商环构造，它属于完全不同的超越扩张世界。

第二顶帽子：多项式是概念的通用测试场。整数环 $\mathbb{Z}$ 是主理想整环（Principal Ideal Domain, PID），但 $\mathbb{Z}[x]$ 就不是了。公式表现为理想 $(2, x) \subsetneq \mathbb{Z}[x]$ 。这句话的意思是：由常数 $2$ 和变量 $x$ 共同生成的理想，找不到单个多项式能同时整除它们俩，所以它不是主理想。$\mathbb{Z}[x]$ 保留了唯一分解性质，却丢掉了主理想性质，这让我们能精准观察 PID 和 UFD 之间的缝隙。反例对比：$\mathbb{Q}[x]$ 既是 UFD 又是 PID，因为系数域 $\mathbb{Q}$ 里每个非零数都能做除法，理想结构瞬间变简单。

第三顶帽子：多项式把代数和几何焊在一起。多项式的零点集合就是代数簇（algebraic variety）。公式写为 $V(f) = \{ \alpha \in k^n \mid f(\alpha) = 0 \}$ 。这句话的意思是：把多项式等于零的所有解画在坐标系里，就得到一条曲线或一个曲面。环里的理想对应几何里的子簇，商环对应限制在子簇上的函数。反例提醒：$x^2 + y^2 + 1 = 0$ 在实数平面 $\mathbb{R}^2$ 上没有零点，几何上是空集，但代数上它生成的理想依然良态。这说明代数性质比几何直观更稳健，也催生了现代代数几何的概形语言。

这三条理由加起来，就是多项式不可替代的原因。它不是附属品，它是代数结构的原型机。

$R[x]$ ：定义、次数和除法算法#

我刚开始接触形式多项式时，总把它和“函数”混为一谈。后来被 $\mathbb{F}_2$ 上的例子狠狠教育了一次，才彻底分清：多项式首先是系数排成的队列，$x$ 只是个占位符，求值只是它的一种用法。

这句话的意思是：多项式就是一串系数 $(a_0, a_1, \ldots, a_n)$ 按幂次对齐的有限序列，$x$ 本身没有数值意义，只负责标记位置。

这句话的意思是：乘积多项式第 $k$ 次项的系数，等于所有“指数加起来等于 $k$ ”的系数配对相乘后再求和。比如算 $(2x + 3)(x^2 + x + 1)$ ，$x^2$ 项的系数来自 $2x \cdot x$ 和 $3 \cdot x^2$ ，也就是 $2\cdot 1 + 3\cdot 1 = 5$ 。完整展开是 $2x^3 + 5x^2 + 5x + 3$ 。这种滑动配对的结构，让多项式乘法天然满足结合律和分配律，和信号处理里的卷积滤波完全是同一套数学骨架。

这句话的意思是：只要系数环里没有零因子，两个多项式相乘时最高次项绝不会互相抵消，次数直接相加。反例立刻现身：在 $(\mathbb{Z}/4\mathbb{Z})[x]$ 里，$(2x)(2x) = 4x^2 = 0$ 。左边次数是 $1+1=2$ ，右边是零多项式（次数通常定义为 $-\infty$ ），等式直接崩溃。这也顺带推出一个推论：$R$ 是整环（integral domain） $\Rightarrow$ $R[x]$ 也是整环。这句话的意思是：系数环里没有零因子，多项式环里也绝对长不出零因子。

多变量情况只是递归套娃：$R[x_1, \ldots, x_n] := R[x_1, \ldots, x_{n-1}][x_n]$ 。这句话的意思是：先把前 $n-1$ 个变量当成系数环，再对第 $n$ 个变量建多项式环，一层层叠上去。单项式 $x_1^{e_1} \cdots x_n^{e_n}$ 的指数向量 $(e_1, \ldots, e_n)$ 和 $\mathbb{Z}_{\geq 0}^n$ 一一对应。多元多项式是 Gröbner 基（Gröbner basis）和结式（resultant）的老家，这些工具专门用来暴力消元和求解方程组。

这句话的意思是：把占位符 $x$ 替换成环 $S$ 里的具体元素 $\alpha$ ，多项式瞬间变成可计算的函数值。这个映射是环同态，保加法也保乘法。但形式多项式和函数不是一回事。反例在 $\mathbb{F}_2[x]$ 里：$f(x)=x$ 和 $g(x)=x^2$ 作为多项式显然不等，但代入 $0$ 都得 $0$ ，代入 $1$ 都得 $1$ ，它们定义了完全相同的函数。这句话的意思是：有限域上不同的多项式可能给出相同的函数映射，形式表达式比函数携带更多信息。

$\text{ev}_\alpha$ 的核（kernel）是所有在 $\alpha$ 处消失的多项式构成的理想。如果 $S$ 是整环且 $\alpha$ 是某个非零多项式的根，这个核由最小多项式（minimal polynomial）生成。例如 $\sqrt{2}$ 在 $\mathbb{Q}$ 上的最小多项式是 $x^2 - 2$ ，所以 $\ker(\text{ev}_{\sqrt{2}}) = (x^2 - 2)$ 。这句话的意思是：所有以 $\sqrt{2}$ 为根的有理系数多项式，全都是 $x^2-2$ 的倍数。由第一同构定理直接得到 $\mathbb{Q}[x]/(x^2 - 2) \cong \mathbb{Q}(\sqrt{2})$ 。这句话的意思是：把多项式环按 $x^2-2$ 折叠，等价于直接把 $\sqrt{2}$ 加进有理数域。

除法算法#

这句话的意思是：任何多项式 $f$ 都能被 $g$ 除，得到一个商式 $q$ 和一个次数严格低于 $g$ 的余式 $r$ ，而且这种拆法只有一种。

证明的存在性部分完全模仿长除法。对 $\deg f$ 归纳。如果 $\deg f < \deg g$ ，直接取 $q=0, r=f$ 。否则，设 $f$ 首项为 $a_n x^n$ ，$g$ 首项为 $b_m x^m$ 且 $n \geq m$ 。构造 $f_1 = f - (a_n/b_m) x^{n-m} g$ 。这句话的意思是：用 $f$ 的首项除以 $g$ 的首项，凑出一个单项式去消掉 $f$ 的最高次项，新多项式 $f_1$ 的次数严格下降，继续递归即可。唯一性更简单：假设有两组 $(q,r)$ 和 $(q',r')$ ，相减得 $(q-q')g = r'-r$ 。左边次数 $\geq \deg g$ （除非 $q=q'$ ），右边次数 $< \deg g$ ，矛盾只能推出 $q=q', r=r$ 。

注意定理前提：$F$ 必须是域。这句话的意思是：除法算法每一步都要拿首项系数做除法，只有域里每个非零元都有乘法逆元，算法才跑得通。反例在 $\mathbb{Z}[x]$ 里：你想用 $x^2$ 除以 $2x$ ，首项系数 $1/2$ 不在 $\mathbb{Z}$ 里，长除法直接卡死。

为什么这玩意儿重要到要单独拎出来？因为除法算法直接让 $F[x]$ 升级为欧几里得整环（Euclidean domain），欧几里得函数就是次数 $\deg$ 。这句话的意思是：有了带余除法，就能跑辗转相除法，就能求最大公因式，整个整数算术的骨架完美平移到多项式世界。计算机代数系统算多项式 GCD、做部分分式分解、甚至用 Berlekamp 算法在有限域上分解多项式，底层全靠这个除法循环。

推论顺理成章：$F[x]$ 是欧几里得整环 $\Rightarrow$ PID $\Rightarrow$ UFD。这句话的意思是：域上的一元多项式环里，每个理想都是主理想，每个多项式都能唯一分解成不可约因子的乘积。$F[x]$ 中的每个理想都由唯一的首一多项式生成。

因子定理（Factor Theorem）是除法算法的直接赠品：$\alpha \in F$ 是 $f$ 的根当且仅当 $(x - \alpha) \mid f$ 。这句话的意思是：多项式在 $\alpha$ 处为零，等价于它能被一次式 $x-\alpha$ 整除。证明只需把 $f$ 除以 $x-\alpha$ 得 $f = q(x)(x-\alpha) + r$ ，代入 $x=\alpha$ 立刻得到 $r = f(\alpha)$ 。推论：次数为 $n$ 的多项式在域上最多有 $n$ 个根。这句话的意思是：每找到一个根就抽走一个一次因子，次数减一，抽 $n$ 次就只剩常数了。反例再次提醒：在 $\mathbb{Z}/8\mathbb{Z}$ 上，$x^2 - 1$ 有 $1, 3, 5, 7$ 四个根。这句话的意思是：有零因子的环里，乘积为零不代表因子为零，根的个数可以爆炸。

例题 1（完整手算）：在 $\mathbb{Q}[x]$ 中，将 $f = x^4 + 2x^3 - x + 3$ 除以 $g = x^2 + x - 1$ 。 第一步：首项相除 $x^4 / x^2 = x^2$ 。用 $f$ 减去 $x^2 g$ ：$(x^4 + 2x^3 - x + 3) - (x^4 + x^3 - x^2) = x^3 + x^2 - x + 3$ 。 第二步：新首项相除 $x^3 / x^2 = x$ 。用余项减去 $x g$ ：$(x^3 + x^2 - x + 3) - (x^3 + x^2 - x) = 3$ 。 第三步：余项次数 $0$ 小于 $g$ 的次数 $2$ ，停止。 结果：$q = x^2 + x$ ，$r = 3$ 。验证公式：$(x^2 + x)(x^2 + x - 1) + 3 = x^4 + 2x^3 - x + 3$ 。这句话的意思是：商乘除数加余数，完美还原被除数，计算无误。

例题 1b（完整手算）：在 $\mathbb{Q}[x]$ 中，将 $f = x^3 + 1$ 除以 $g = x + 1$ 。 第一步：$x^3 / x = x^2$ 。$f - x^2(x+1) = x^3+1 - (x^3+x^2) = -x^2 + 1$ 。 第二步：$-x^2 / x = -x$ 。$(-x^2+1) - (-x)(x+1) = -x^2+1 - (-x^2-x) = x + 1$ 。 第三步：$(x+1) / x = 1$ 。$(x+1) - 1\cdot(x+1) = 0$ 。 结果：$q = x^2 - x + 1$ ，$r = 0$ 。这句话的意思是：余数为零说明整除，$x^3+1$ 确实等于 $(x+1)(x^2-x+1)$ ，立方和公式现形。

数值例子（辗转相除法求 GCD）：在 $\mathbb{Q}[x]$ 中求 $\gcd(x^4 - 1, x^3 - 1)$ 。 第一轮：$x^4 - 1 = x \cdot (x^3 - 1) + (x - 1)$ 。余式 $r_1 = x-1$ 。 第二轮：$x^3 - 1 = (x^2 + x + 1)(x - 1) + 0$ 。余式 $r_2 = 0$ 。 最后一个非零余式是 $x-1$ ，所以 $\gcd = x-1$ 。这句话的意思是：两个多项式的公共因子全被挤进了最后的余式里。验证分解：$x^4-1=(x-1)(x+1)(x^2+1)$ ，$x^3-1=(x-1)(x^2+x+1)$ ，共享因子确实是 $x-1$ 。

Bezout 恒等式例子：从上面的步骤回代，$x - 1 = (x^4 - 1) - x \cdot (x^3 - 1)$ 。这句话的意思是：最大公因式可以写成原多项式的线性组合，系数 $1$ 和 $-x$ 都在 $\mathbb{Q}[x]$ 里。这是部分分式分解的代数引擎，也是组合数学里生成函数操作的底层逻辑。

理想与整除的对偶例子：在 $\mathbb{Q}[x]$ 中，$(f) \subseteq (g)$ 当且仅当 $g \mid f$ 。这句话的意思是：包含关系和整除关系方向相反，大理想对应小因子。给定 $f, g$ ，它们的 GCD 生成和理想 $(f)+(g)$ ，它们的 LCM 生成交理想 $(f)\cap(g)$ 。这句话的意思是：多项式的最大公因式和最小公倍式，完美对应理想的加法和交运算，和整数环 $\mathbb{Z}$ 的规律一字不差。

不可约性判别准则#

我最初学不可约多项式时，总把它当成“多项式版的素数”。这个直觉对了一半，但漏掉了最关键的一点：素不素，得看你在哪个环里混。$x^2 + 1$ 在 $\mathbb{R}[x]$ 里铁板一块不可约，扔到 $\mathbb{C}[x]$ 里立刻碎成 $(x+i)(x-i)$ ，丢进 $\mathbb{F}_5[x]$ 又变成 $(x+2)(x+3)$ 。不可约性不是多项式的固有属性，而是它和基环（base ring）互动的结果。

正式定义很干脆：设 $f \in R[x]$ 次数大于零。如果 $f = gh$ 在 $R[x]$ 中成立时，$g$ 或 $h$ 必须是单位元（unit），那么 $f$ 就是 $R$ 上的不可约多项式（irreducible polynomial）。这句话的意思是：只要一个多项式不能拆成两个次数更低的非平凡多项式相乘，它就是不可约的。在域 $F$ 上，$F[x]$ 的单位元就是非零常数，所以不可约等价于“无法分解为两个低次多项式的乘积”。

这种对基环的依赖不是麻烦，而是宝藏。“$f$ 在哪些域上能分解？”这个问题直接长出了伽罗瓦理论。多项式模不同素数的分解模式，通过 Chebotarev 密度定理（Chebotarev density theorem）和它的伽罗瓦群（Galois group）紧密挂钩。我们接下来要掌握的三个判别法，就是拆解这个问题的瑞士军刀。

有理根测试#

这句话的意思是：有理根的分子必须整除常数项，分母必须整除最高次项系数，无限搜索瞬间收缩成有限列表。证明只需把 $f(p/q)=0$ 两边乘 $q^n$ ，整理得 $a_n p^n + a_{n-1} p^{n-1} q + \cdots + a_0 q^n = 0$ 。这句话的意思是：除了首项外每项都含因子 $q$ ，所以 $q \mid a_n p^n$ ，由互质得 $q \mid a_n$ ；同理可证 $p \mid a_0$ 。

例子 1：判断 $f(x) = x^3 - 3x + 1$ 在 $\mathbb{Q}$ 上是否不可约。候选有理根只有 $\pm 1$ 。手算 $f(1) = 1 - 3 + 1 = -1$ ，$f(-1) = -1 + 3 + 1 = 3$ 。这句话的意思是：两个候选值都不是根，有理根列表清空。因为 $f$ 是三次多项式，如果可约必含一次因子，从而必有有理根。既然没有，$f$ 在 $\mathbb{Q}$ 上不可约。

例子 2（完整分解）：$f(x) = 2x^3 + x^2 - 7x - 6$ 。候选根：$\pm 1, \pm 2, \pm 3, \pm 6, \pm 1/2, \pm 3/2$ 。试算 $f(2) = 16 + 4 - 14 - 6 = 0$ 。这句话的意思是：$x=2$ 是根，$(x-2)$ 必为因子。做长除法：$(2x^3 + x^2 - 7x - 6) \div (x-2) = 2x^2 + 5x + 3$ 。二次项继续分解：$2x^2 + 5x + 3 = (2x+3)(x+1)$ 。最终 $f = (x-2)(2x+3)(x+1)$ 。这句话的意思是：有理根测试配合除法，直接把三次多项式拆成三个一次因子。

反例（测试的局限）：$f(x) = x^4 + 4$ 。候选根 $\pm 1, \pm 2, \pm 4$ 全都不是根。这句话的意思是：有理根测试通过，但多项式依然可约。利用 Sophie Germain 恒等式：$x^4 + 4 = (x^2+2)^2 - (2x)^2 = (x^2+2x+2)(x^2-2x+2)$ 。这句话的意思是：没有一次因子不代表没有二次因子，有理根测试只能排除一次因子，高次分解需要更强工具。

Eisenstein 判别法#

当有理根测试不够用时，Eisenstein 判别法（Eisenstein’s criterion）提供了一键判定。定理条件非常对称：设 $f = a_n x^n + \cdots + a_0 \in \mathbb{Z}[x]$ （$n \geq 1$ ）。如果存在素数 $p$ 满足：

1. $p \nmid a_n$ ，
2. $p \mid a_i$ 对所有 $i < n$ 成立，
3. $p^2 \nmid a_0$ ， 那么 $f$ 在 $\mathbb{Q}$ 上不可约。这句话的意思是：找一个素数 $p$ ，让它整除除了首项外的所有系数，但 $p^2$ 不整除常数项，满足这三条就能直接锁定不可约。

证明思路极其漂亮。假设 $f = gh$ 在 $\mathbb{Z}[x]$ 中成立（Gauss 引理保证有理分解可拉回整数分解）。模 $p$ 还原：$\bar f = \bar a_n x^n$ 在 $\mathbb{F}_p[x]$ 里。这句话的意思是：除了首项，其他系数全被 $p$ 吃掉了，多项式退化成单项式。由 $\mathbb{F}_p[x]$ 的唯一分解性，$\bar g$ 和 $\bar h$ 只能是 $x$ 的幂次。所以 $p \mid g(0)$ 且 $p \mid h(0)$ ，推出 $p^2 \mid g(0)h(0) = a_0$ 。这句话的意思是：常数项必须被 $p^2$ 整除，直接和条件 3 矛盾，假设崩塌，$f$ 不可约。

例子 1：$f = x^5 + 6x^4 + 9x^3 + 12x + 3$ 。取 $p=3$ 。首项系数 $1$ 不被 $3$ 整除；$6,9,0,12,3$ 全被 $3$ 整除；常数项 $3$ 不被 $9$ 整除。这句话的意思是：三条 Eisenstein 条件完美命中，$f$ 在 $\mathbb{Q}$ 上不可约，无需任何进一步计算。

例子 2（平移伪装）：$f = x^4 + 1$ 直接看没有素数满足条件。但做代换 $x \to x+1$ ：$(x+1)^4 + 1 = x^4 + 4x^3 + 6x^2 + 4x + 2$ 。取 $p=2$ 。首项 $1$ 不被 $2$ 整除；$4,6,4,2$ 全被 $2$ 整除；常数项 $2$ 不被 $4$ 整除。这句话的意思是：平移后的多项式满足 Eisenstein 条件，而平移是环自同构不改变可约性，所以原多项式 $x^4+1$ 也不可约。

反例（条件 3 失败）：$f = x^2 + 4x + 4$ 。取 $p=2$ ，条件 1、2 满足，但 $p^2 = 4$ 整除常数项 $4$ 。这句话的意思是：Eisenstein 判别法失效，而 $f$ 确实可约为 $(x+2)^2$ 。条件 3 是防止常数项“藏得太深”的关键保险。

模 $p$ 还原#

这句话的意思是：系数模 $p$ 后在有限域里都拆不开，在整数域里更不可能拆开。证明用反证法：若 $f=gh$ 且 $\deg g, \deg h \geq 1$ ，模 $p$ 得 $\bar f = \bar g \bar h$ 且次数不变（首一保证首项不消失）。这句话的意思是：整数域的分解会原封不动投影到有限域，和 $\bar f$ 不可约矛盾。

例子：$f = x^4 + x + 1$ 。模 $2$ 得 $\bar f = x^4 + x + 1 \in \mathbb{F}_2[x]$ 。试根 $\bar f(0)=1, \bar f(1)=1$ ，无一次因子。若可约必为两个二次不可约多项式相乘。$\mathbb{F}_2[x]$ 里唯一的不可约二次式是 $x^2+x+1$ 。计算 $(x^2+x+1)^2 = x^4+x^2+1 \neq \bar f$ 。这句话的意思是：模 $2$ 后既无根也拆不成二次式，$\bar f$ 在 $\mathbb{F}_2$ 上不可约，原多项式在 $\mathbb{Q}$ 上也不可约。

反例（逆命题不成立）：$x^4 + 1$ 在 $\mathbb{Q}$ 上不可约，但模任意素数 $p$ 都可约。这句话的意思是：模 $p$ 不可约是充分条件不是必要条件，有限域里的分解可能比有理数域更碎。遇到这种情况，换一个小素数或者退回 Eisenstein 平移法即可。

实战策略总结：先跑有理根测试（秒杀 $\leq 3$ 次）；再试小素数 Eisenstein（必要时平移 $x \to x+a$ ）；接着模 $2,3,5$ 还原；最后才上系数硬比。这句话的意思是：按计算成本从低到高排兵布阵，绝大多数教科书问题会在前三步投降。

唯一分解整环#

我学环论时，一度以为“分解唯一”是理所当然的。直到看到 $\mathbb{Z}[\sqrt{-5}]$ 的例子，我才意识到唯一分解不是天赋，而是特权。唯一分解整环（Unique Factorization Domain, UFD）就是享有这种特权的环。

正式定义：整环 $R$ 是 UFD，如果每个非零非单位元素都可以写成不可约元素的乘积，且这种写法在相伴（associate）和重排意义下唯一。这句话的意思是：环里的元素都能拆成“素因子”，拆法只有一种，顶多因子顺序换换或者乘个可逆常数。

例子 1：$\mathbb{Z}$ 是 UFD，算术基本定理保证 $12 = 2^2 \cdot 3$ 唯一。$F[x]$ （$F$ 为域）是 UFD，多项式分解唯一。$\mathbb{Z}[i]$ （高斯整数）也是 UFD，$5 = (2+i)(2-i)$ 唯一。这句话的意思是：我们熟悉的数系和域上多项式环，全都在 UFD 的安全区里。

例子 2：$\mathbb{Z}[x]$ 是 UFD 但不是 PID。这句话的意思是：整系数多项式依然能唯一分解，但理想结构变复杂了，$(2,x)$ 这种理想找不到单个生成元。$\mathbb{Q}[x,y]$ 也是 UFD 非 PID。变量一多，好环的层次就开始无限细分。

定理：每个 PID 都是 UFD。这句话的意思是：只要每个理想都是主理想，唯一分解自动成立。证明分两块。存在性用升链条件（ascending chain condition）：假设 $a$ 不能分解，则 $a=a_1 b_1$ 且 $a_1$ 也不能分解，迭代得 $(a) \subsetneq (a_1) \subsetneq (a_2) \subsetneq \cdots$ 。这句话的意思是：真因子链无限上升，但 PID 是 Noether 环，理想升链必须终止，矛盾推出分解必存在。唯一性靠“不可约 $\Rightarrow$ 素”：在 PID 中，不可约元 $p$ 生成的理想 $(p)$ 是极大理想，极大理想必是素理想。这句话的意思是：$p \mid ab$ 必推出 $p \mid a$ 或 $p \mid b$ ，素性保证因子可以逐个消去，归纳得唯一性。

UFD 的结构让初等数论无缝推广。最大公因式、最小公倍式、素因子分解全部可用。在 UFD $R$ 上，分式域 $\text{Frac}(R)$ 有干净的部分分式分解。这句话的意思是：任何有理函数都能拆成 $u/p^k$ 的和，微积分里的积分技巧在任意 UFD 上都有代数根源。

失败：$\mathbb{Z}[\sqrt{-5}]$ #

经典反例登场：$6 = 2 \cdot 3 = (1 + \sqrt{-5})(1 - \sqrt{-5})$ 。这句话的意思是：同一个数 $6$ 出现了两套完全不同的因子组合。我们验证四个因子全不可约。用范数（norm）$N(a+b\sqrt{-5}) = a^2 + 5b^2$ 。$N(2)=4$ 。若 $2=\alpha\beta$ 且非单位，则 $N(\alpha)N(\beta)=4$ ，只能 $N(\alpha)=N(\beta)=2$ 。但方程 $a^2+5b^2=2$ 无整数解。这句话的意思是：$2$ 拆不出非平凡因子，它是不可约的。同理可证 $3, 1\pm\sqrt{-5}$ 全不可约。四个因子范数不同，互不相伴。UFD 在这里彻底崩塌。

为什么崩？因为在 $\mathbb{Z}[\sqrt{-5}]$ 里，不可约 $\not\Rightarrow$ 素。$2$ 不可约，但 $2 \mid (1+\sqrt{-5})(1-\sqrt{-5}) = 6$ ，而 $2$ 不整除 $1+\sqrt{-5}$ 也不整除 $1-\sqrt{-5}$ 。这句话的意思是：不可约元失去了“素性”，乘积被整除推不出因子被整除，唯一分解的归纳链条直接断裂。

其中 $\mathfrak{p} = (2, 1 + \sqrt{-5}), \mathfrak{q}_1 = (3, 1 + \sqrt{-5}), \mathfrak{q}_2 = (3, 1 - \sqrt{-5})$ 。这句话的意思是：把元素升级成理想后，$(6) = \mathfrak{p}^2 \mathfrak{q}_1 \mathfrak{q}_2$ 的分解唯一确定，歧义只在于如何把素理想打包回元素。理想理论把破碎的算术重新缝合。

从 $\mathbb{Z}$ 到 $\mathbb{Z}[x]$ 再到 $\mathbb{Q}[x]$ ：Gauss 引理#

整系数多项式和有理系数多项式之间，隔着一道分母的墙。Gauss 引理（Gauss’s Lemma）就是拆墙的炸药。

先定义内容（content）：$f \in \mathbb{Z}[x]$ 的内容 $c(f)$ 是所有系数的最大公因数。如果 $c(f) = 1$ ，$f$ 称为本原多项式（primitive polynomial）。这句话的意思是：把系数的公共因子全抽干，剩下的部分就叫本原的。任何非零 $f$ 可唯一写成 $f = c(f) \cdot f^*$ ，其中 $f^*$ 本原。

这句话的意思是：两个抽干公因子的多项式乘起来，系数绝不会凭空冒出新的公共因子。证明用反证法：假设 $fg$ 的所有系数都被素数 $p$ 整除。模 $p$ 得 $\bar f \bar g = 0$ 在 $\mathbb{F}_p[x]$ 中。这句话的意思是：有限域上的多项式环是整环，乘积为零必有一个因子为零，即 $\bar f=0$ 或 $\bar g=0$ ，说明 $f$ 或 $g$ 的系数全被 $p$ 整除，和本原性矛盾。

推论极其实用：设 $f \in \mathbb{Z}[x]$ 本原。如果 $f = gh$ 在 $\mathbb{Q}[x]$ 中成立，那么存在 $g^*, h^* \in \mathbb{Z}[x]$ 使得 $f = g^* h^*$ 且次数对应相同。这句话的意思是：有理数域上的分解，分母会被自动清除，拉回整数环后依然成立。这就是为什么首一整系数多项式的有理根必为整数。

定理：$\mathbb{Z}[x]$ 是 UFD。更一般地，$R$ 是 UFD $\Rightarrow$ $R[x]$ 是 UFD。这句话的意思是：基环能唯一分解，多项式环也能唯一分解，变量随便加都不怕。证明骨架：对 $f \in \mathbb{Z}[x]$ 写 $f = c(f) f^*$ 。$c(f)$ 在 $\mathbb{Z}$ 里唯一分解，$f^*$ 在 $\mathbb{Q}[x]$ 里唯一分解。由 Gauss 推论，$f^*$ 的因子可取在 $\mathbb{Z}[x]$ 且本原。这句话的意思是：整数部分的唯一性和有理多项式部分的唯一性，被 Gauss 引理无缝焊接，整体唯一性得证。

层次回顾#

环的优良性质是一层层叠加的。我整理了一张对照表，帮你一眼看清位置：

这句话的意思是：从域到整环，每往下掉一层，就丢失一种算术便利，但换来更广的适用范围。多项式环 $R[x]$ 的性质完全由基环 $R$ 的层级决定。

实际中的因式分解#

理论装进工具箱后，必须上手拧螺丝。下面我挑出一组典型例子，把判别法、除法算法和 Gauss 引理串起来算透。每个例子我都会把步骤摊开，让你看到决策树是怎么实时生长的。

例 4（有理根+除法）：在 $\mathbb{Q}$ 上分解 $f = 2x^4 + 3x^3 - 4x^2 - 3x + 2$ 。 候选根 $\pm 1, \pm 2, \pm 1/2$ 。试算 $f(1) = 2+3-4-3+2=0$ ，$f(-2) = 32-24-16+6+2=0$ 。这句话的意思是：$1$ 和 $-2$ 都是根，$(x-1)(x+2)=x^2+x-2$ 是因子。做除法：$(2x^4 + 3x^3 - 4x^2 - 3x + 2) \div (x^2+x-2) = 2x^2 + x - 1$ 。二次项分解：$2x^2+x-1 = (2x-1)(x+1)$ 。最终 $f = (x-1)(x+2)(2x-1)(x+1)$ 。展开验证：$(x^2+x-2)(2x^2+x-1) = 2x^4 + x^3 - x^2 + 2x^3 + x^2 - x - 4x^2 - 2x + 2 = 2x^4 + 3x^3 - 4x^2 - 3x + 2$ 。这句话的意思是：四项一次因子相乘完美还原原式，分解闭合。

例 5（系数硬比）：$f = x^4 - 10x^2 + 1$ 在 $\mathbb{Q}$ 上是否不可约？ 有理根 $\pm 1$ 均非根。假设分解为两个二次式 $(x^2+ax+b)(x^2+cx+d)$ 。展开比对系数：$a+c=0 \Rightarrow c=-a$ ；$bd=1$ ；$a(d-b)=0$ 。这句话的意思是：交叉项系数为零迫使 $a=0$ 或 $d=b$ 。 情形 $a=0$ ：$b+d=-10, bd=1$ 。$t^2+10t+1=0$ 的根是 $-5\pm 2\sqrt{6}$ ，非有理数。 情形 $d=b$ ：$b^2=1 \Rightarrow b=\pm 1$ 。代入得 $-a^2+2b=-10$ ，即 $a^2=12$ 或 $a^2=8$ ，均非有理平方。 这句话的意思是：所有可能的有理系数二次分解路径全被堵死，$f$ 在 $\mathbb{Q}$ 上不可约。顺便一提，这正是 $\sqrt{2}+\sqrt{3}$ 的最小多项式。

例 5b（根验证与扩域次数）：验证 $\alpha = \sqrt{2}+\sqrt{3}$ 是 $x^4-10x^2+1$ 的根。 $\alpha^2 = 2 + 2\sqrt{6} + 3 = 5 + 2\sqrt{6}$ 。移项 $\alpha^2 - 5 = 2\sqrt{6}$ 。两边平方 $(\alpha^2-5)^2 = 24$ 。展开 $\alpha^4 - 10\alpha^2 + 25 = 24$ ，即 $\alpha^4 - 10\alpha^2 + 1 = 0$ 。这句话的意思是：代数操作消去根号后，$\alpha$ 精确满足该四次方程。因为 $\mathbb{Q}(\sqrt{2},\sqrt{3})$ 在 $\mathbb{Q}$ 上的扩张次数是 $4$ （基 $1,\sqrt{2},\sqrt{3},\sqrt{6}$ 线性无关），$\alpha$ 的最小多项式次数必整除 $4$ 。又 $\alpha \notin \mathbb{Q}, \alpha^2 \notin \mathbb{Q}$ ，次数大于 $2$ 。结合 $f(\alpha)=0$ 且 $\deg f=4$ ，$f$ 就是最小多项式。这句话的意思是：次数匹配加根验证，直接锁定不可约性。

例 6（Eisenstein 直杀）：$f = x^5 + 6x^4 + 9x^3 + 12x + 3$ 。取 $p=3$ 。$3 \nmid 1$ ；$3 \mid 6,9,0,12,3$ ；$9 \nmid 3$ 。这句话的意思是：Eisenstein 三条件全中，$f$ 在 $\mathbb{Q}$ 上不可约，计算结束。

例 7（分圆多项式分解）：在 $\mathbb{Q}$ 上分解 $x^6 - 1$ 。 利用平方差和立方差：$x^6-1 = (x^3-1)(x^3+1) = (x-1)(x^2+x+1)(x+1)(x^2-x+1)$ 。这句话的意思是：六次单位根按阶数分组，每个分圆多项式 $\Phi_d$ 贡献一个不可约因子。一般公式 $x^n - 1 = \prod_{d \mid n} \Phi_d(x)$ 。对 $n=12$ ：$x^{12}-1 = \Phi_1 \Phi_2 \Phi_3 \Phi_4 \Phi_6 \Phi_{12}$ 。次数和 $1+1+2+2+2+4=12$ 。这句话的意思是：分圆分解把单位根的几何对称性翻译成了代数因子的乘积。

例 8（复根与伽罗瓦群预览）：$x^3 - 2$ 在 $\mathbb{C}$ 上的根是 $\sqrt[3]{2}, \sqrt[3]{2}\omega, \sqrt[3]{2}\omega^2$ ，其中 $\omega = e^{2\pi i/3}$ 。这句话的意思是：三个根在复平面上构成等边三角形，半径 $\sqrt[3]{2}$ 。在 $\mathbb{Q}$ 上，$x^3-2$ 用 Eisenstein ($p=2$ ) 判定不可约。分裂域是 $K = \mathbb{Q}(\sqrt[3]{2}, \omega)$ ，扩张次数 $[K:\mathbb{Q}] = 6$ 。伽罗瓦群 $\text{Gal}(K/\mathbb{Q})$ 同构于 $S_3$ 。具体计算：自同构由根的重排决定。$\sigma$ 可把 $\sqrt[3]{2}$ 映到三个根之一，把 $\omega$ 映到 $\omega$ 或 $\omega^2$ 。组合起来正好 $3 \times 2 = 6$ 个自同构。例如 $\tau(\sqrt[3]{2}) = \sqrt[3]{2}\omega, \tau(\omega)=\omega$ 是 $3$ -循环；$\rho(\sqrt[3]{2})=\sqrt[3]{2}, \rho(\omega)=\omega^2$ 是对换。这句话的意思是：根的置换对称性完全决定了域扩张的自同构群，多项式分解和群论在这里第一次正面握手。

例 9（基域扩张的细化）：分解 $x^4 - 4$ 。 在 $\mathbb{Q}$ 上：$x^4-4 = (x^2-2)(x^2+2)$ 。两个二次式判别式 $\pm 8$ 非平方，均不可约。 在 $\mathbb{R}$ 上：$x^2-2 = (x-\sqrt{2})(x+\sqrt{2})$ ，但 $x^2+2$ 仍不可约。 在 $\mathbb{C}$ 上：$x^2+2 = (x-i\sqrt{2})(x+i\sqrt{2})$ 。完全分解为 $(x-\sqrt{2})(x+\sqrt{2})(x-i\sqrt{2})(x+i\sqrt{2})$ 。这句话的意思是：域越大，能用的常数越多，因子就拆得越碎，直到全变成一次式。

例 10（Sophie Germain 陷阱）：在 $\mathbb{Z}$ 上分解 $x^4 + 4$ 。 配方：$x^4 + 4 = x^4 + 4x^2 + 4 - 4x^2 = (x^2+2)^2 - (2x)^2 = (x^2+2x+2)(x^2-2x+2)$ 。这句话的意思是：看似不可约的四次式，补项造平方差后裂成两个二次式。判别式 $4-8=-4$ ，无实根，在 $\mathbb{Z}$ 上已不可约。这是不可约性问题的经典反直觉案例。

例 11（多元分解）：在 $\mathbb{Z}[x,y]$ 中分解 $x^2 - y^2$ 。 平方差：$x^2-y^2 = (x-y)(x+y)$ 。两个一次式内容均为 $1$ ，不可约。对比 $x^2+y^2$ ：在 $\mathbb{R}[x,y]$ 中不可约，由 Gauss 引理推知在 $\mathbb{Z}[x,y]$ 中也不可约。这句话的意思是：多元多项式的不可约性可以降维到系数域判断，符号差一个正负号，分解命运截然不同。

例 12（对称二次型）：分解 $f = x^2 + y^2 + z^2 - xy - yz - xz$ 。 视作 $x$ 的多项式：$x^2 - (y+z)x + (y^2+z^2-yz)$ 。判别式 $\Delta = (y+z)^2 - 4(y^2+z^2-yz) = -3(y-z)^2$ 。根为 $x = \frac{y+z \pm (y-z)\sqrt{-3}}{2}$ 。这句话的意思是：根含 $\sqrt{-3}$ ，不在 $\mathbb{Q}$ 中，所以 $f$ 在 $\mathbb{Q}[x,y,z]$ 上不可约。在 $\mathbb{Q}(\sqrt{-3})$ 上可裂为两个 $x$ 的一次因子。系数域的微小扩张直接改变分解状态。

这句话的意思是：$p$ 次多项式在 $p$ 元域里恰好有 $p$ 个根，完全分裂成一次因子，有限域的算术结构在这里展现得淋漓尽致。

例 14（有限域上的分圆）：在 $\mathbb{F}_2$ 上分解 $\Phi_5(x) = x^4+x^3+x^2+x+1$ 。 试根 $f(0)=1, f(1)=1$ ，无一次因子。若可约必为两个二次式。$\mathbb{F}_2$ 上唯一不可约二次式是 $x^2+x+1$ ，但 $(x^2+x+1)^2 = x^4+x^2+1 \neq \Phi_5$ 。这句话的意思是：模 $2$ 后既无根也拼不成二次式，$\Phi_5$ 在 $\mathbb{F}_2$ 上不可约。理论解释：$2$ 模 $5$ 的阶是 $4$ ，等于 $\deg \Phi_5$ ，有限域理论保证不可约。

例 15（Frobenius 轨道）：在 $\mathbb{F}_3$ 上分解 $x^9 - x$ 。 在 $\mathbb{F}_9$ 上，$x^9-x$ 以所有 $9$ 个元素为根。在 $\mathbb{F}_3$ 上按 Frobenius 映射 $\alpha \mapsto \alpha^3$ 的轨道分组。不动点是 $\mathbb{F}_3$ 的 $3$ 个元素，贡献 $3$ 个一次因子。剩余 $6$ 个元素分成 $3$ 个大小为 $2$ 的轨道，每个轨道生成一个不可约二次式。这句话的意思是：$x^9-x = (x)(x-1)(x-2) \cdot q_1(x) q_2(x) q_3(x)$ ，次数 $3\times 1 + 3\times 2 = 9$ 完美匹配。有限域的自同构直接指挥因子分组。

下一步#

走到这里，你已经亲手跑通了多项式环的除法引擎，摸清了不可约性的三把钥匙，也看清了唯一分解在哪些环里坚如磐石、在哪些环里碎成一地。多项式不是终点，它是跳板。下一篇文章，我们要把多项式环 $F[x]$ 按一个不可约多项式 $f(x)$ 折叠起来，构造商环 $F[x]/(f(x))$ 。你会亲眼看到，这个商环自动变成一个域，而 $x$ 在商环里的像，就是 $f(x)$ 的一个根。换句话说，我们不再“寻找”根，而是用代数结构“制造”根。

这会直接引出代数扩张（algebraic extension）、分裂域（splitting field）和伽罗瓦理论（Galois theory）的核心舞台。你会遇到这些问题：把一个根加进域里，扩张次数怎么算？多个根一起加，域的对称群长什么样？为什么五次以上的一般多项式没有根式解？伽罗瓦对应（Galois correspondence）如何把子群和中间域一一配对？我们会用 $\mathbb{Q}(\sqrt{2}, \sqrt{3})$ 和 $x^3-2$ 做完整计算，把抽象的群作用（group action）变成具体的根置换游戏。

带着这两个问题进入下一篇：如果 $f(x)$ 可约，商环 $F[x]/(f(x))$ 会变成什么结构？域的自同构群究竟如何“读取”多项式的分解模式？多项式的因子分解只是序幕，对称性的舞蹈才刚刚开始。