抽象代数（七）：域扩张 — 构建更大的数系

我高中第一次碰到 $x^2 + 1 = 0$ 时，老师在黑板上画了个大大的叉，说“实数范围内无解”。过了两周，同一个老师又走上讲台，轻描淡写地引入一个符号 $i$ ，宣布 $i^2 = -1$ ，然后所有方程突然就都有解了。我当时坐在底下心里直犯嘀咕：这算不算作弊？缺什么就硬造什么，数学难道可以这样凭空变魔术？

后来我才明白，这不仅不是作弊，反而是代数里最诚实、最克制的一步。你没有破坏原有的算术规则，你只是把数系的边界往外推了一点点，推到刚好能装下那个新根为止。数学家把这种操作叫作域扩张（field extension）。我更喜欢把它想象成给工具箱升级：你原本只有一把十字螺丝刀（有理数 $\mathbb{Q}$ ），遇到内六角螺丝（$\sqrt{2}$ ）拧不动。你不是把十字螺丝刀扔了，而是往工具箱里塞进一把内六角扳手。工具箱变大了，但原来的工具一件没少，新旧工具还能配合使用。域扩张就是这种“受控的数系膨胀”。我们只泵入刚好够解方程的新元素，而扩张次数（degree）就是用来精确计量我们到底泵进了多少“空气”的仪表盘。

第一次读这部分内容时，我以为会陷入无穷无尽的符号推演。结果完全相反：一旦你把“解方程”翻译成“构造域”，整个画面突然变得异常干净。每一步扩张都有明确的次数，次数沿着链条乖乖相乘，原本看起来像玄学的根式求解，瞬间降级成基域上的线性代数。这篇笔记就从最朴素的直觉出发，把次数、基底、极小多项式、塔律、分裂域这些核心零件一个个拆开看。读完之后，你会拥有一套完整的记账工具，足以在下一篇里直接上手 Galois 理论的核心定理。

动机：解多项式需要更大的域#

先看一个最直白的例子。考虑实数域 $\mathbb{R}$ 上的多项式 $f(x) = x^2 + 1$ 。它在实数里根本没有根，因为任何实数的平方都大于等于零。但如果我们允许自己跨进更大的域 $\mathbb{C} = \mathbb{R}(i)$ ，这个多项式立刻就能拆成 $(x - i)(x + i)$ 。策略粗暴但有效：方程在当前地盘无解，就圈一块更大的地，把解养在里面。

这种操作在代数里到处都是，我随手列几个你肯定眼熟的：

• $x^2 - 2$ 在 $\mathbb{Q}$ 里无解，但在 $\mathbb{Q}(\sqrt{2})$ 里乖乖交出 $\pm\sqrt{2}$ 。
• $x^2 - 5$ 在 $\mathbb{Q}(\sqrt{2})$ 里依然无解，得再扩一次到 $\mathbb{Q}(\sqrt{2}, \sqrt{5})$ 才行。
• $x^3 - 2$ 在 $\mathbb{Q}$ 里无解，在 $\mathbb{Q}(\sqrt[3]{2})$ 里拿到一个实根 $\sqrt[3]{2}$ ，但还缺两个复根。必须再扩到 $\mathbb{Q}(\sqrt[3]{2}, \omega)$ 才能集齐三个根，这里 $\omega = e^{2\pi i/3}$ 是本原三次单位根（primitive cube root of unity）。
• 有限域 $\mathbb{F}_p$ 上的 $x^p - x - 1$ 更倔，除非你把它的一个根从代数闭包 $\overline{\mathbb{F}_p}$ 里拽出来，否则它永远不肯彻底分解。

反例也得看一个，不然容易产生“所有多项式都需要扩张”的错觉。比如 $x^2 - 2$ 放在 $\mathbb{R}$ 上，它早就分解成 $(x-\sqrt{2})(x+\sqrt{2})$ 了。这时候 $\mathbb{R}$ 本身就是它的分裂域，扩张次数是 $1$ ，根本不需要动土。扩张只在“缺根”的时候才发生。

模式永远是一样的：给定域 $K$ 上一个拆不开的多项式，我们就造一个更大的域 $L \supseteq K$ ，让多项式在 $L$ 里彻底躺平。域扩张理论把这套手艺标准化，专门回答三个问题：怎么造？造出来比原来大多少？什么时候能造出最小的那个？

历史上，这条思路是被几百年来“求根公式”的执念逼出来的。二次方程有求根公式，三次有 Cardano 公式，四次有 Ferrari 方法。到了五次，所有代数技巧集体罢工。后来人们才醒悟，死磕根的表达式是走错路了，真正该看的是这些根生成的域扩张长什么样、对称性如何。域扩张不是为了方便计算硬凑出来的技术补丁，它是代数深层结构的母语。

我常把域扩张的次数想象成“维度过路费”（dimensional toll）。你想把 $\sqrt[3]{2}$ 塞进数系，就得交 3 个单位的维度税；你想塞 $\sqrt{2}$ ，交 2 个单位。最妙的是，这套收费系统完全不支持“分期付款”。古希腊人妄想用尺规（每次只能开平方，也就是每次只交 2 的倍数税）去凑出 $\sqrt[3]{2}$ ，相当于想用一堆 2 元硬币拼出 3 元的账单。塔律一乘，$2 \times 2 \times \cdots \times 2$ 永远是 2 的幂，根本凑不出因子 3。这不是几何技巧不够娴熟，而是算术底层的整除律直接亮了红灯。域扩张的次数就像一道隐形的预算墙，它不关心你画图的手有多稳，只冷冷地核算维度的账本。一旦账对不上，任何构造都是空中楼阁。

这句话的意思是，只要分母 $a^2 - 2b^2$ 不为零，逆元就存在且仍在 $L$ 里。因为 $\sqrt{2}$ 是无理数，$(a,b) \neq (0,0)$ 时分母绝不可能为零。所以 $L$ 确实是个域。把它看成 $\mathbb{Q}$ 上的向量空间，基底就是 $\{1, \sqrt{2}\}$ 。

一旦你接受“解多项式 = 构造合适的域”，一大票古典难题瞬间统一。三等分角、倍立方、正十七边形作图、五次方程有没有根式解，全部翻译成“某个扩张存不存在”以及“扩张次数是多少”。古希腊人没法把“60°角不能三等分”写成定理，因为他们缺语言；现在我们有域扩张，一句话就能封死。从“找一个数”跳到“构造一个域”，就是整个抽象代数的分水岭。

顺便提一个极其实用的记账好处。当你在 $\mathbb{Q}$ 、$\mathbb{Q}(\sqrt{2})$ 、$\mathbb{Q}(\sqrt{2}, i)$ 、$\overline{\mathbb{Q}}$ 之间来回跳的时候，很容易搞混哪些恒等式在哪个地盘成立。把每个域当成前一个域上的向量空间，维度乘法就是你的内置验算器：如果次数乘不对，推导肯定有漏洞。我靠这招抓出过自己至少三次笔误。

域扩张和次数#

先给正式定义。一对域 $K \subseteq L$ 就叫一个域扩张（field extension），等价说法是存在单射域同态 $K \hookrightarrow L$ 。我们记作 $L/K$ ，把 $K$ 叫基域（base field），$L$ 叫扩张域（extension field）。注意 $L/K$ 这个斜杠绝对不表示商群或商环，它只是代数学家偷懒的记号，读作“$L$ over $K$ ”。

这句话的意思是，把大域 $L$ 摊平看成小域 $K$ 上的向量空间，数一数最少需要几个基底才能线性组合出 $L$ 里的所有元素。如果 $[L:K]$ 是有限整数，就叫有限扩张（finite extension）；否则叫无限扩张（infinite extension）。

例1（$\mathbb{C}/\mathbb{R}$ ，次数2）：任何复数都能写成 $a + bi$ ，$a,b \in \mathbb{R}$ 。集合 $\{1, i\}$ 在 $\mathbb{R}$ 上线性无关，因为 $a + bi = 0$ 且 $a,b$ 是实数时，实部虚部必须同时为零。它又能生成整个 $\mathbb{C}$ ，所以 $[\mathbb{C}:\mathbb{R}] = 2$ 。

例2（$\mathbb{Q}(\sqrt{2})/\mathbb{Q}$ ，次数2）：前面算过，基底 $\{1, \sqrt{2}\}$ ，次数为2。

例3（$\mathbb{Q}(\sqrt[3]{2})/\mathbb{Q}$ ，次数3）：基底是 $\{1, \sqrt[3]{2}, \sqrt[3]{4}\}$ 。为什么线性无关？因为 $\sqrt[3]{2}$ 在 $\mathbb{Q}$ 上的极小多项式是 $x^3 - 2$ 。用 Eisenstein 判别法（取素数 $p=2$ ）一眼看出它在 $\mathbb{Q}$ 上不可约。一个不可约三次多项式的根，绝不可能满足任何次数更低的有理系数多项式，否则就能做带余除法推出矛盾。所以 $1, \alpha, \alpha^2$ 独立，次数是3。

例4（$\mathbb{Q}(\sqrt{2}, \sqrt{3})/\mathbb{Q}$ ，次数4）：基底 $\{1, \sqrt{2}, \sqrt{3}, \sqrt{6}\}$ 。验证独立性时，假设 $a + b\sqrt{2} + c\sqrt{3} + d\sqrt{6} = 0$ 。把含 $\sqrt{3}$ 的项拎出来：$(a+b\sqrt{2}) + \sqrt{3}(c+d\sqrt{2}) = 0$ 。如果 $c+d\sqrt{2} \neq 0$ ，就能解出 $\sqrt{3} = -\frac{a+b\sqrt{2}}{c+d\sqrt{2}} \in \mathbb{Q}(\sqrt{2})$ 。但 $\sqrt{3}$ 根本不在 $\mathbb{Q}(\sqrt{2})$ 里（否则设 $\sqrt{3} = p+q\sqrt{2}$ ，平方后对比有理/无理部分会推出 $pq=0$ ，两条分支都矛盾）。所以括号必须分别为零，退回例2的逻辑，推出 $a=b=c=d=0$ 。次数为4。

例5（$\mathbb{R}/\mathbb{Q}$ ，无限）：$\mathbb{R}$ 不可数，而任何有限维 $\mathbb{Q}$ -向量空间都是可数的（基底有限，系数可数，笛卡尔积仍可数）。更具体点，$1, \sqrt{2}, \sqrt{3}, \sqrt{5}, \sqrt{7}, \ldots$ （不同素数的平方根）在 $\mathbb{Q}$ 上线性无关，光这一串就撑出无限维子空间。

例6（$\mathbb{C}/\mathbb{Q}$ ，无限）：同理，$\mathbb{C}$ 包含 $\mathbb{R}$ ，维数只能更大。

反例（平凡扩张）：$\mathbb{Q}(\sqrt{2}) / \mathbb{Q}(\sqrt{2})$ 。大域小域是同一个，基底只有 $\{1\}$ ，次数 $[L:L] = 1$ 。这说明扩张次数为1当且仅当根本没扩。

次数是扩张最核心的不变量。它直接告诉你域“胖”了多少，它卡死了自同构的上限（下一篇 Galois 对应会死死咬住这一点），而且它满足乘法链式法则，把复杂的格结构计算降维成整数乘法。后面每次看到“次数”，直接在心里替换成“控制结构变形的旋钮”。

现在先记住两条实战启发：

1. 想证次数下界，就找线性无关的元素。 你能证出 $1, \alpha, \ldots, \alpha^{k-1}$ 在 $K$ 上无关，就有 $[K(\alpha):K] \geq k$ 。这步通常不难。
2. 想证次数上界，就甩出一个多项式。 如果 $\alpha$ 满足 $K[x]$ 里一个 $k$ 次多项式，就有 $[K(\alpha):K] \leq k$ 。上下界一夹，配合不可约性，次数直接锁死。

本文后面几乎所有次数计算，都是这套“找多项式 + 验极小”的组合拳。

简单扩张和极小多项式#

如果整个扩张 $L/K$ 只需要添加一个元素 $\alpha$ 就能生成，即 $L = K(\alpha)$ ，我们就叫它简单扩张（simple extension）。那个 $\alpha$ 叫本原元素（primitive element）。

怎么判断添加的元素是“老实人”还是“野路子”？看它满不满足多项式方程。设 $\alpha \in L$ ，如果存在非零多项式 $f(x) \in K[x]$ 使得 $f(\alpha) = 0$ ，就说 $\alpha$ 在 $K$ 上是代数的（algebraic）。否则，$\alpha$ 是超越的（transcendental）。

例子摆出来就清楚了：

• $\sqrt{2}$ 在 $\mathbb{Q}$ 上代数，满足 $x^2 - 2 = 0$ 。
• $i$ 在 $\mathbb{Q}$ 上代数，满足 $x^2 + 1 = 0$ 。
• $\pi$ 和 $e$ 在 $\mathbb{Q}$ 上超越（Lindemann 1882, Hermite 1873）。证明完全不是代数路子，全靠幂级数余项的分析估计，硬得很。
• 有限域 $\mathbb{F}_q$ 里每个元素在 $\mathbb{F}_p$ 上都是代数的，因为 $\mathbb{F}_q$ 作为 $\mathbb{F}_p$ -向量空间维数有限，元素多了必然线性相关，一相关就凑出多项式关系。

这句话的意思是，把多项式环按极小多项式“取模”，得到的商环正好同构于添加 $\alpha$ 后生成的新域，多项式算术直接对应域内运算。

证明思路（我尽量说人话）：考虑赋值同态 $\varphi : K[x] \to L$ ，把 $f(x)$ 映成 $f(\alpha)$ 。因为 $\alpha$ 代数，核 $\ker\varphi$ 不是零理想。$K[x]$ 是主理想整环，核一定由单个多项式生成。取那个唯一的首一生成元，就是 $m_\alpha$ 。为什么不可约？因为 $K[x]/\ker\varphi \cong K[\alpha]$ 是 $L$ 的子环，肯定是整环。在主理想整环里，商是整环当且仅当理想是素理想，当且仅当生成元不可约。既然不可约，$(m_\alpha)$ 就是极大理想，商环 $K[\alpha]$ 直接升级成域。所以 $K(\alpha) = K[\alpha]$ ，证毕。$\square$

为了看清“不可约”（irreducible）这三个字有多要命，我们故意挑个可约多项式试刀。取 $f(x) = x^2 - 1 \in \mathbb{Q}[x]$ ，构造商环 $\mathbb{Q}[x]/(x^2-1)$ 。在这里 $x^2 \equiv 1$ ，看起来也能降次。但算一笔账：$(x-1)(x+1) = x^2 - 1 \equiv 0$ 。两个非零元素相乘居然得零，零因子（zero divisor）直接冒头。域的定义要求每个非零元都有逆元，可一旦有零因子，逆元就彻底没戏（否则两边同乘逆元会推出 $1=0$ 的荒谬结论）。这就是为什么极小多项式必须不可约：只有不可约，商环才能避开零因子陷阱，顺利升级成域。代数结构在这里没有任何妥协余地，可约多项式只能生成环，不可约多项式才能生成域。一刀切下，界限分明。

这句话的意思是，添加一个代数元素后，域扩张的次数恰好等于该元素极小多项式的次数，基底就是幂次从 $0$ 到 $n-1$ 的那一串。

原因很直白：在商环 $K[x]/(m_\alpha)$ 里，次数小于 $n$ 的多项式刚好构成一组完整的陪集代表。同构映射把它们一对一送到 $1, \alpha, \ldots, \alpha^{n-1}$ 上。高次幂？用 $m_\alpha(\alpha)=0$ 降次就行。

这个定理之所以要命，是因为它把一个可能无限维的域，强行压缩成有限维向量空间，乘法表甚至能写在餐巾纸上。$\mathbb{Q}(\sqrt[3]{2})$ 里的任何运算，等价于 $\mathbb{Q}[x]/(x^3 - 2)$ 里的多项式模运算。求逆元？Bezout 引理白送：只要 $f(\alpha) \neq 0$ ，就有 $\gcd(f, m_\alpha) = 1$ ，于是存在 $s, t \in K[x]$ 使得 $sf + tm_\alpha = 1$ 。代入 $\alpha$ 得到 $f(\alpha)s(\alpha) = 1$ ，逆元就是 $s(\alpha)$ ，一个 $\alpha$ 的多项式。

我还特别喜欢它的表示论视角：把“乘以 $\alpha$ ”看成 $K(\alpha)$ 上的 $K$ -线性变换。在基底 $\{1, \alpha, \ldots, \alpha^{n-1}\}$ 下，这个变换的矩阵正好是 $m_\alpha$ 的伴侣矩阵（companion matrix）。所以 $m_\alpha$ 同时是 $\alpha$ 作为代数元素的极小多项式，也是“乘 $\alpha$ 算子”的极小多项式。不是巧合，是同一个多项式理想在消灭同一个向量。域论和线性代数在这里咬得死死的。

示例：$\mathbb{Q}(\sqrt{2})$ 里的完整算术#

极小多项式 $m(x) = x^2 - 2$ （Eisenstein $p=2$ 不可约）。基底 $\{1, \sqrt{2}\}$ 。

乘法算一个：$(3 + 5\sqrt{2})(1 - 2\sqrt{2}) = 3 - 6\sqrt{2} + 5\sqrt{2} - 10\cdot 2 = -17 - \sqrt{2}$ 。结果仍在基底张成的空间里。

逆元完整算一遍：$(3 + 5\sqrt{2})^{-1} = \frac{3 - 5\sqrt{2}}{3^2 - 2\cdot 5^2} = \frac{3 - 5\sqrt{2}}{9 - 50} = \frac{3 - 5\sqrt{2}}{-41} = -\frac{3}{41} + \frac{5}{41}\sqrt{2}$ 。分母有理化一步到位，系数全是有理数。

示例：$\mathbb{Q}(\sqrt[3]{2})$ 里的完整算术#

记 $\alpha = \sqrt[3]{2}$ ，满足 $\alpha^3 = 2$ 。基底 $\{1, \alpha, \alpha^2\}$ 。

乘法：$(1 + \alpha)(2 - \alpha + \alpha^2) = 2 - \alpha + \alpha^2 + 2\alpha - \alpha^2 + \alpha^3 = 2 + \alpha + 2 = 4 + \alpha$ 。注意 $\alpha^3$ 直接替换成 $2$ ，高次项瞬间消失。

逆元用扩展欧几里得硬算：对 $1+x$ 和 $x^3 - 2$ 做辗转相除。 $x^3 - 2 = (x^2 - x + 1)(x + 1) - 3$ 。 移项得 $3 = (x^2 - x + 1)(x + 1) - (x^3 - 2)$ 。 代入 $x = \alpha$ ，因为 $\alpha^3 - 2 = 0$ ，右边第二项消失，剩下 $3 = (\alpha^2 - \alpha + 1)(1 + \alpha)$ 。 两边除以 $3$ ，得到 $(1+\alpha)^{-1} = \frac{1}{3}(\alpha^2 - \alpha + 1)$ 。 验算：$\frac{1}{3}(\alpha^2 - \alpha + 1)(1 + \alpha) = \frac{1}{3}(1 + \alpha^3) = \frac{1}{3}(1 + 2) = 1$ 。完美闭合。

我初学这里时，总觉得 $K[x]/(m_\alpha)$ 这个同构像句空话。直到我亲手算了一次高次幂降维，才彻底信服。就拿 $\alpha = \sqrt[3]{2}$ 来说，假设我要算 $\alpha^5 + 3\alpha^4 - \alpha + 7$ 。硬算根号很痛苦，但用“模极小多项式”的视角，这就是多项式带余除法。用 $x^5 + 3x^4 - x + 7$ 除以 $x^3 - 2$ ，商是 $x^2 + 3x$ ，余数是 $2x^2 + 6x - x + 7 = 2x^2 + 5x + 7$ 。因为 $\alpha^3 - 2 = 0$ ，高次项直接归零，原式瞬间塌缩成 $2\alpha^2 + 5\alpha + 7$ 。这跟钟表算术模 12 完全同构：时针转过 15 格，等价于转过 3 格。极小多项式就是那个“模数”，它把无限延伸的多项式长链，硬生生折叠进一个 $n$ 维的有限房间里。每次做域内运算，你其实都在做带余除法，余式的系数就是新元素在基底下的坐标。这套机制保证了域扩张绝对不会“溢出”基底张成的空间，也是为什么我们敢放心大胆地把域论问题降级成线性代数。你不需要死记硬背乘法表，多项式除法就是你的自动降维引擎。

超越的情况与反例#

这句话的意思是，超越元素不满足任何多项式关系，它的幂次 $1, \alpha, \alpha^2, \ldots$ 永远线性无关，扩张次数直接爆炸到无穷。典型例子：$\mathbb{Q}(\pi) \cong \mathbb{Q}(x)$ 。

代数数 $\overline{\mathbb{Q}}$ 只是 $\mathbb{C}$ 里一个可数子域；超越数是剩下的所有东西（不可数多）。几乎所有实数都是超越的，但想指名道姓揪出一个超越数，难如登天。Liouville（1844）靠构造“有理逼近好得离谱”的数给出了第一批显式例子，这条历史支线直接孕育了现代丢番图逼近。$\pi$ 的超越性直到 1882 年才由 Lindemann 拿下。至于 $e + \pi$ 是不是无理数？至今开放。

为什么超越这么难证？直觉上，整系数多项式只有可数多个，每个只有有限个根，代数数是可数个有限集的并，基数太小。基数论直接宣判“绝大多数实数超越”。但你要指着某个具体的 $r$ 说“它超越”，等于要证明 $\mathbb{Z}[x]$ 里无穷多个多项式全都不在 $r$ 处为零。这是全称命题，硬刚必死。Liouville 的鬼才在于，他构造了像 $\sum_{n \geq 1} 10^{-n!}$ 这种数，它们能被有理数 $p/q$ 逼近到误差 $\ll q^{-k}$ （对任意 $k$ 成立），然后他证明代数数根本做不到这种精度的逼近。同一套逼近哲学，经 Roth 和 Schmidt 在 20 世纪打磨，现在还在推着数论往前走。

代数数对四则运算封闭：如果 $\alpha, \beta$ 代数，那么 $\alpha+\beta$ 、$\alpha\beta$ 、$\alpha/\beta$ （$\beta \neq 0$ ）全代数。证明极其结构主义：由塔律，$\mathbb{Q}(\alpha, \beta)$ 是 $\mathbb{Q}$ 的有限扩张，有限扩张里每个元素自动代数。一句话收尾，维度计数工具把原本要写三页的直接验证碾成一行。

塔律及其后果#

塔律（tower law）是维度计数的绝对主力。给定三层嵌套域 $K \subseteq M \subseteq L$ ，你可以分两步爬楼梯 $K \to M \to L$ ，维度直接相乘。

这句话的意思是，大域到小域的总扩张次数，等于中间每一段扩张次数的乘积，像连环齿轮一样严丝合缝。

证明（基底拼接法）：设 $\{e_1, \ldots, e_m\}$ 是 $M$ 的 $K$ -基底，$\{f_1, \ldots, f_n\}$ 是 $L$ 的 $M$ -基底。我断言 $\{e_i f_j\}_{i,j}$ 就是 $L$ 的 $K$ -基底。

生成性：任取 $\ell \in L$ ，它能被 $M$ -基底表示：$\ell = \sum_j \mu_j f_j$ ，系数 $\mu_j \in M$ 。每个 $\mu_j$ 又能被 $K$ -基底表示：$\mu_j = \sum_i a_{ij} e_i$ ，系数 $a_{ij} \in K$ 。代回去，$\ell = \sum_{i,j} a_{ij} e_i f_j$ 。所有元素都能拼出来。

线性无关：假设 $\sum_{i,j} a_{ij} e_i f_j = 0$ ，$a_{ij} \in K$ 。按 $j$ 分组：$\sum_j \left(\sum_i a_{ij} e_i\right) f_j = 0$ 。因为 $\{f_j\}$ 在 $M$ 上无关，每个括号 $\sum_i a_{ij} e_i$ 必须是 $M$ 里的零元。又因为 $\{e_i\}$ 在 $K$ 上无关，每个系数 $a_{ij}$ 必须是 $0$ 。证毕。$\square$

直接推论（次数整除性）：如果 $K \subseteq M \subseteq L$ 且 $[L:K]$ 有限，那么 $[M:K]$ 必整除 $[L:K]$ 。特别地，如果 $\alpha \in L$ 代数且 $[L:K] = n$ ，那么 $\deg m_\alpha$ 必整除 $n$ 。

这句话的意思是，中间域的次数必须是总次数的因数，任何代数元素的极小多项式次数也逃不出这个整除牢笼。几乎所有“这种扩张不存在”的论证，根子都在这儿。

应用1：$\sqrt{2} + \sqrt{3}$ 单枪匹马生成 $\mathbb{Q}(\sqrt{2},\sqrt{3})$ #

爬塔 $\mathbb{Q} \subset \mathbb{Q}(\sqrt{2}) \subset \mathbb{Q}(\sqrt{2}, \sqrt{3})$ 。第一步次数2。第二步也是2，因为前面证过 $\sqrt{3} \notin \mathbb{Q}(\sqrt{2})$ 。塔律一乘，总次数 $[ \mathbb{Q}(\sqrt{2}, \sqrt{3}) : \mathbb{Q} ] = 4$ 。

现在令 $\alpha = \sqrt{2} + \sqrt{3}$ 。平方一次：$\alpha^2 = 5 + 2\sqrt{6}$ ，于是 $\sqrt{6} = (\alpha^2 - 5)/2 \in \mathbb{Q}(\alpha)$ 。 再拿 $\alpha$ 乘 $\sqrt{6}$ ：$\alpha\sqrt{6} = (\sqrt{2}+\sqrt{3})\sqrt{6} = 2\sqrt{3} + 3\sqrt{2}$ 。 联立 $\alpha = \sqrt{2} + \sqrt{3}$ ，解二元一次方程组： $\sqrt{2} = \alpha\sqrt{6} - 2\alpha = \alpha(\sqrt{6} - 2)$ ， $\sqrt{3} = \alpha - \sqrt{2}$ 。 两个根号全用 $\alpha$ 表出来了，所以 $\mathbb{Q}(\alpha) = \mathbb{Q}(\sqrt{2}, \sqrt{3})$ 。一个元素顶两个，这就是本原元素定理（primitive element theorem）的现场演示：可分有限扩张全是简单扩张。

既然总次数是4，$\alpha$ 的极小多项式必为4次。动手推导： $\alpha^2 - 5 = 2\sqrt{6} \Rightarrow (\alpha^2 - 5)^2 = 24 \Rightarrow \alpha^4 - 10\alpha^2 + 25 = 24 \Rightarrow \alpha^4 - 10\alpha^2 + 1 = 0$ 。 所以 $m_\alpha(x) = x^4 - 10x^2 + 1$ 。它在 $\mathbb{Q}$ 上不可约（可用有理根定理+二次分解反证），次数锁定为4。

应用2：三大几何作图不可能的代数死刑#

里，且每步 $[K_{i+1} : K_i] \in \{1, 2\}$ 。塔律一连乘，$[K_n : \mathbb{Q}]$ 必须是 $2$ 的幂。但倍立方需要构造 $\sqrt[3]{2}$ ，而 $[\mathbb{Q}(\sqrt[3]{2}) : \mathbb{Q}] = 3$ 。3 不整除任何 $2^k$ ，直接枪毙。希腊人磨了两千年，我们用一段整除论证结案。

三等分 $60^\circ$ 角：等价于构造 $\cos(20^\circ)$ 。三倍角公式 $\cos(3\theta) = 4\cos^3\theta - 3\cos\theta$ 代入 $\theta=20^\circ$ ，得 $1/2 = 4x^3 - 3x$ ，整理为 $8x^3 - 6x - 1 = 0$ 。有理根检验排除所有可能，多项式在 $\mathbb{Q}$ 上不可约，次数3。同样不是2的幂，不可构造。

化圆为方：等价于构造 $\sqrt{\pi}$ 。但 $\pi$ 超越，$[\mathbb{Q}(\sqrt{\pi}) : \mathbb{Q}] = \infty$ ，连有限都不是，更别提2的幂。不可能。

反例（可构造的）：正五边形。$\cos(72^\circ) = \frac{\sqrt{5}-1}{4}$ ，只涉及一次开平方，扩张次数2，是2的幂，尺规可作。正七边形呢？$\cos(2\pi/7)$ 的极小多项式次数是3（分圆多项式 $\Phi_7(x)$ 次数6，取实部降一半），不是2的幂，不可作。可构造正 $n$ 边形的完整刻画是 $n = 2^k p_1 \cdots p_r$ ，$p_i$ 为互异费马素数。高斯19岁证出正17边形可作（$\varphi(17)=16=2^4$ ），反向由 Wantzel 在 1837 年补全。

顺手验算一个容易踩坑的复合扩张：$\mathbb{Q}(\sqrt{2}, i)$ 。直觉上 $\sqrt{2}$ 贡献次数 2，$i$ 也贡献次数 2，总次数应该是 4。但万一 $i$ 早就藏在 $\mathbb{Q}(\sqrt{2})$ 里呢？我们直接列方程排查：假设 $i = a + b\sqrt{2}$ （$a,b \in \mathbb{Q}$ ），两边平方得 $-1 = a^2 + 2b^2 + 2ab\sqrt{2}$ 。因为 $\sqrt{2}$ 无理，必须有 $2ab=0$ 。若 $b=0$ ，则 $a^2=-1$ 无有理数解；若 $a=0$ ，则 $2b^2=-1$ 同样无解。排查完毕，$i$ 确实不在 $\mathbb{Q}(\sqrt{2})$ 里，第二步扩张次数稳稳是 2。塔律乘出来 $2 \times 2 = 4$ ，基底 $\{1, \sqrt{2}, i, i\sqrt{2}\}$ 严丝合缝。这种“先假设藏进去了，再平方拆项打脸”的排查法，是我每次算复合扩张次数时的标准动作。别信直觉，信方程。

塔律最反直觉的地方，在于它不管两个扩张“长得多不像”，只要嵌套起来，次数就乖乖相乘。拿 $\mathbb{Q}(\sqrt{2}, \sqrt[3]{2})$ 开刀。先看 $\mathbb{Q} \subset \mathbb{Q}(\sqrt{2})$ ，次数2。再把 $\sqrt[3]{2}$ 添进去。$\sqrt[3]{2}$ 在 $\mathbb{Q}$ 上的极小多项式是 $x^3 - 2$ ，但它在 $\mathbb{Q}(\sqrt{2})$ 上会不会突然可约？如果可约，它必须有一次或二次因子，意味着 $\sqrt[3]{2}$ 会落在 $\mathbb{Q}(\sqrt{2})$ 里。假设 $\sqrt[3]{2} = a + b\sqrt{2}$ ，两边立方展开，对比有理和无理部分会直接推出 $b=0$ ，退回 $\sqrt[3]{2} \in \mathbb{Q}$ 的矛盾。所以 $x^3 - 2$ 在 $\mathbb{Q}(\sqrt{2})$ 上依然不可约，第二步次数还是3。塔律一乘，总次数 $2 \times 3 = 6$ 。基底长什么样？把两段基底做笛卡尔积：$\{1, \sqrt{2}\} \times \{1, \sqrt[3]{2}, \sqrt[3]{4}\}$ ，展开就是 $\{1, \sqrt[3]{2}, \sqrt[3]{4}, \sqrt{2}, \sqrt{2}\sqrt[3]{2}, \sqrt{2}\sqrt[3]{4}\}$ 。这六个数在 $\mathbb{Q}$ 上线性无关，任何新域里的数都能唯一写成它们的线性组合。塔律不是抽象的维度游戏，它是实打实的基底拼接说明书，专治各种“看起来会互相干扰”的复合扩张。

这句话的意思是，环境域的总维度像一把尺子，强行规定里面每个代数元素的极小多项式次数必须是总次数的因数。你不可能在次数为4的扩张里塞进一个次数为3的元素，构造再花哨也没用。这一条观察，就是上面所有作图不可能证明的发动机，也是逆 Galois 理论的重要基石。

数值验算：在 $\mathbb{Q}(\sqrt{2}, \sqrt{3})$ （次数4）里，$\sqrt{2}, \sqrt{3}, \sqrt{6}, \sqrt{2}+\sqrt{3}, \sqrt{2}+\sqrt{6}$ 的极小多项式次数全是1、2或4。你绝对找不到次数3的元素。整除律是铁律。

分裂域和代数闭包#

前面一直在“加一个根”。现在升级：一次性把所有根全加进来。

设 $f(x) \in K[x]$ 是次数 $n \geq 1$ 的多项式。$f$ 在 $K$ 上的分裂域（splitting field）是一个域 $L \supseteq K$ ，满足两条：

1. $f(x)$ 在 $L$ 上彻底分解为一次因式： $f(x) = c(x - \alpha_1)(x - \alpha_2) \cdots (x - \alpha_n), \quad \alpha_i \in L.$ 这句话的意思是，多项式在分裂域里能拆到最碎，所有根都老老实实躺在 $L$ 中。
2. $L = K(\alpha_1, \ldots, \alpha_n)$ ，即 $L$ 由这些根生成。

第二条是防作弊条款：我们要的是包含所有根的最小域，不是随便抓个超大域糊弄过去。

定理：对任意 $f(x) \in K[x]$ ，分裂域一定存在，且在 $K$ -同构意义下唯一。

存在性草图：对 $\deg f$ 归纳。一次多项式 trivial。否则在 $K$ 上分解 $f$ ，挑一个次数 $\geq 2$ 的不可约因子 $g$ 。构造 $K_1 = K[x]/(g(x))$ ，在 $K_1$ 里 $g$ 有根 $\overline{x}$ ，于是 $f$ 在 $K_1[x]$ 里能提出因子 $(x - \overline{x})$ ，剩下部分次数降低，继续归纳。有限步后所有根都被添加进来。

唯一性草图：对 $[L_1 : K]$ 归纳。如果 $f$ 已经在 $K$ 里分裂，两个分裂域都是 $K$ 。否则挑不可约因子 $p$ ，它在 $L_1$ 有根 $\alpha$ ，在 $L_2$ 有根 $\beta$ 。映射 $\overline{x} \mapsto \beta$ 给出 $K(\alpha) \cong K(\beta)$ 。现在 $L_1$ 是 $f/(x-\alpha)$ 在 $K(\alpha)$ 上的分裂域，$L_2$ 是 $f/(x-\beta)$ 在 $K(\beta)$ 上的分裂域，归纳假设把同构一路延拓到整个 $L$ 。

例子走一遍：

• $x^2 - 2$ 在 $\mathbb{Q}$ 上：分裂域 $\mathbb{Q}(\sqrt{2})$ ，次数2。
• $x^2 + 1$ 在 $\mathbb{R}$ 上：分裂域 $\mathbb{C}$ ，次数2。
• $x^3 - 2$ 在 $\mathbb{Q}$ 上：根是 $\sqrt[3]{2}, \omega\sqrt[3]{2}, \omega^2\sqrt[3]{2}$ 。分裂域 $\mathbb{Q}(\sqrt[3]{2}, \omega)$ 。塔 $\mathbb{Q} \subset \mathbb{Q}(\sqrt[3]{2}) \subset \mathbb{Q}(\sqrt[3]{2}, \omega)$ ，步长3和2，总次数6。
• $x^4 - 2$ 在 $\mathbb{Q}$ 上：根 $\pm\sqrt[4]{2}, \pm i\sqrt[4]{2}$ 。分裂域 $\mathbb{Q}(\sqrt[4]{2}, i)$ 。塔 $\mathbb{Q} \subset \mathbb{Q}(\sqrt[4]{2}) \subset \mathbb{Q}(\sqrt[4]{2}, i)$ ，步长4和2（因为 $\mathbb{Q}(\sqrt[4]{2}) \subset \mathbb{R}$ 不含 $i$ ），总次数8。下一篇会拿这个例子开刀。

这里值得把 $x^3 - 2$ 的次数账本彻底摊开。为什么添入 $\omega$ 只让次数乘 2，而不是乘 3？因为 $\omega$ 满足 $x^2 + x + 1 = 0$ ，这是一个二次多项式。关键问题是：它在 $\mathbb{Q}(\sqrt[3]{2})$ 上会不会突然分解？$\mathbb{Q}(\sqrt[3]{2})$ 是纯实数域，而 $x^2+x+1$ 的判别式（discriminant）$\Delta = 1^2 - 4 = -3 < 0$ ，根全是复数。实数域里根本装不下复根，所以这个二次式在实数子域上绝对不可约。于是 $[\mathbb{Q}(\sqrt[3]{2}, \omega) : \mathbb{Q}(\sqrt[3]{2})] = 2$ 铁板钉钉。塔律一乘 $3 \times 2 = 6$ 。分裂域的次数不是瞎猜的，它是基域性质（这里是“全实”）和多项式判别式联手算出来的精确值。每扩一步，都得拿判别式和基域的特征对一遍账。

分裂域的“最小性”经常藏着惊喜。看 $f(x) = x^4 + 1$ 。它在 $\mathbb{Q}$ 上不可约（做变量替换 $x=y+1$ 配合 Eisenstein 可证），四个根是 $\frac{\pm 1 \pm i}{\sqrt{2}}$ 。按直觉，加一个根 $\alpha = \frac{1+i}{\sqrt{2}}$ 似乎只拿到四分之一，还得继续扩。但算一下就会发现：$\alpha^2 = i$ ，于是 $i \in \mathbb{Q}(\alpha)$ ；同时 $\alpha^{-1} = \frac{\sqrt{2}}{1+i} = \frac{1-i}{\sqrt{2}}$ 也在里面。更妙的是，$\alpha^3 = \alpha \cdot \alpha^2 = \frac{1+i}{\sqrt{2}} \cdot i = \frac{-1+i}{\sqrt{2}}$ ，$\alpha^7 = \alpha^3 \cdot \alpha^4 = \frac{-1+i}{\sqrt{2}} \cdot (-1) = \frac{1-i}{\sqrt{2}}$ 的共轭变体，剩下三个根全是 $\alpha$ 的幂次！也就是说，$\mathbb{Q}(\alpha)$ 一个域就把四个根全包圆了。分裂域就是 $\mathbb{Q}(\alpha)$ 本身，次数只有 4，而不是 $4! = 24$ 。这种“牵一发而动全身”的现象，代数里叫正规扩张（normal extension）。加一个根，自动带出全家桶。对比之下，$x^3 - 2$ 就没这么客气，加实根 $\sqrt[3]{2}$ 根本带不出复根，必须额外引入 $\omega$ 。分裂域的构造之所以干净，就是因为多项式的根之间被代数关系死死绑在一起。你不需要一个个硬塞，数学结构会自己把门打开，而次数就是这扇门宽度的精确刻度。

反例（不是分裂域）：$\mathbb{Q}(\sqrt[3]{2})$ 包含 $x^3-2$ 的一个根，但它不是分裂域。因为它漏了两个复根，多项式在里面拆不成一次因式乘积。分裂域必须“全收”，少一个都不行。

注意分裂域的次数可以远大于多项式次数（比如 $x^3-2$ 次数3，分裂域次数6），也可以相等（比如 $x^2-2$ ）。这个比值正好是 Galois 群的阶，下一篇会看到这不是巧合，而是对称性的直接反映。

如果一个域 $\overline{K}$ 满足：$\overline{K}[x]$ 里每个非常数多项式在 $\overline{K}$ 中都有根（即 $\overline{K}$ 代数闭），且 $\overline{K}/K$ 是代数扩张，就叫 $K$ 的代数闭包（algebraic closure）。

定理：每个域都有代数闭包，且在 $K$ -同构意义下唯一（构造不典范，依赖选择）。存在性证明靠 Zorn 引理硬拉。对 $\mathbb{Q}$ ，代数闭包 $\overline{\mathbb{Q}}$ 就是所有代数数的集合，坐在 $\mathbb{C}$ 里面。它是可数的，对 $\mathbb{Q}$ 无限维，但装得下每个有理多项式的每个根。对 $\mathbb{F}_p$ ，代数闭包 $\overline{\mathbb{F}_p} = \bigcup_{n \geq 1} \mathbb{F}_{p^n}$ ，是所有特征 $p$ 有限域的并。代数基本定理说白了就是：$\mathbb{C}$ 是 $\mathbb{R}$ 的代数闭包。

有限域是分裂域理论最漂亮的应用之一。$\mathrm{GF}(p^n) = \mathbb{F}_p[x]/(f(x))$ ，其中 $f$ 是任意 $n$ 次不可约多项式。换 $f$ 不会换域，只会换坐标系，所有选择都 $\mathbb{F}_p$ -同构。

手算 $\mathrm{GF}(8)$ ：取 $\mathbb{F}_2[x]/(x^3 + x + 1)$ 。记 $\alpha = \overline{x}$ ，满足 $\alpha^3 = \alpha + 1$ （特征2里 $-1=1$ ）。 元素共8个：$\{0, 1, \alpha, \alpha+1, \alpha^2, \alpha^2+1, \alpha^2+\alpha, \alpha^2+\alpha+1\}$ 。 乘法演示：$\alpha \cdot \alpha^2 = \alpha^3 = \alpha + 1$ 。 $(\alpha+1)(\alpha^2+\alpha) = \alpha^3 + \alpha^2 + \alpha^2 + \alpha = (\alpha+1) + 0 + \alpha = 1$ 。所以 $(\alpha+1)^{-1} = \alpha^2+\alpha$ 。 逆元演示：$\alpha^{-1} = \alpha^2 + 1$ ，因为 $\alpha(\alpha^2+1) = \alpha^3 + \alpha = (\alpha+1) + \alpha = 1$ 。 乘法群 $\mathrm{GF}(8)^\times$ 阶为7，是循环群。$\alpha$ 就是生成元：$\alpha^1=\alpha, \alpha^2=\alpha^2, \alpha^3=\alpha+1, \alpha^4=\alpha^2+\alpha, \alpha^5=\alpha^2+\alpha+1, \alpha^6=\alpha^2+1, \alpha^7=1$ 。七步跑遍非零元。这就是为什么有限域在密码学和编码理论里既是字母表又是离散对数舞台。

把零散例子按结构收个尾，方便你脑内建图：

• 素域：$\mathbb{Q}$ （特征0）和 $\mathbb{F}_p$ （特征$p$ ）。任何域都唯一包含其中之一作为最小子域。
• 有限扩张：$\mathbb{Q}(\sqrt{2}), \mathbb{Q}(i), \mathbb{Q}(\sqrt[3]{2}, \omega), \mathrm{GF}(p^n)$ 。次数有限，自动代数。
• 无限代数扩张：$\overline{\mathbb{Q}}/\mathbb{Q}$ 和 $\overline{\mathbb{F}_p}/\mathbb{F}_p$ 。维数无限，但每个元素仍代数。
• 超越扩张：$\mathbb{Q}(\pi)/\mathbb{Q}$ 或 $\mathbb{C}(t)/\mathbb{C}$ 。偏离本篇主线，但是代数几何的主角。
• 分裂域：按多项式定制的最小域。下一篇 Galois 理论的绝对核心。

可分性与完美域#

讲完分裂域，理论上应该一气呵成进 Galois 理论，但有个坑必须先填掉：可分性。所谓可分多项式，就是它在分裂域里没有重根；可分扩张就是元素的极小多项式都可分。在特征零或者有限域上，这个条件白送——所有不可约多项式都可分。问题出在特征 $p$ 的无限域，比如 $\mathbb{F}_p(t)$ 。考虑 $f(x) = x^p - t \in \mathbb{F}_p(t)[x]$ ，它在分裂域里只有一个根 $t^{1/p}$ ，重数 $p$ 。形式导数 $f'(x) = px^{p-1} = 0$ ，于是 $\gcd(f, f') = f$ ，重根判定一票通过。这种东西就是不可分多项式的典型样本。

我第一次撞到这例子是写笔记的时候，本来以为 Galois 理论可以无脑套用，结果立刻被特征 $p$ 教做人。可分性失败意味着固定域定理不再成立，自同构数小于扩张次数，整个 Galois 对应直接崩盘。这就是为什么标准教材一上来就把基域限定在特征零或者有限域——这两类是完美域（perfect field），定义就是“所有代数扩张都可分”。$\mathbb{Q}$ 完美，$\mathbb{F}_p$ 完美，但 $\mathbb{F}_p(t)$ 不完美。

判定一个不可约多项式是否可分有个干净的判据：$f$ 可分当且仅当 $\gcd(f, f') = 1$ 。在特征零里 $\deg f' = \deg f - 1 \geq 0$ 且 $f'$ 非零，加上 $f$ 不可约，最大公因式只能是常数；特征 $p$ 里如果 $f'(x) \equiv 0$ ，意味着 $f(x) = g(x^p)$ ，重根就这么钻出来了。这一节我用得最多的快捷键是“看到特征 $p$ 先求导”，几乎能挡住九成的潜在反例。

正规扩张#

定义。 有限扩张 $L/K$ 称为正规扩张（normal），若它是 $K[x]$ 中某个多项式的分裂域。等价地说，$K[x]$ 中任一不可约多项式，只要在 $L$ 中有一个根，就必有全部根都在 $L$ 中。

例子。 $\mathbb{Q}(\sqrt{2})/\mathbb{Q}$ 是正规扩张：它是 $x^2 - 2$ 的分裂域。然而 $\mathbb{Q}(\sqrt[3]{2})/\mathbb{Q}$ 不是正规扩张：$x^3 - 2$ 在 $\mathbb{Q}(\sqrt[3]{2}) \subset \mathbb{R}$ 里有根 $\sqrt[3]{2}$ ，但另外两个根 $\sqrt[3]{2}\omega$ 和 $\sqrt[3]{2}\omega^2$ 是非实数，落在 $\mathbb{Q}(\sqrt[3]{2})$ 之外。给一个不可约多项式添上一个根，不一定得到正规扩张；你可能得把全部根都添进去。

例子。 $x^3 - 2$ 在 $\mathbb{Q}$ 上的分裂域是 $\mathbb{Q}(\sqrt[3]{2}, \omega)$ ，作为分裂域它是正规的，次数为 6。

定义。 有限扩张 $L/K$ 称为 Galois 扩张，若它既正规又可分。

“所有根都在场”（正规）加上“所有根都不同”（可分），恰好把自同构群推到允许的最大尺寸，即 $|\mathrm{Gal}(L/K)| = [L : K]$ 。这正是 Galois 对应能够成立的关键，也是第 8 篇接着要展开的起点。

为什么这件事要紧。 可分性和正规性是让 Galois 理论干净的两个技术条件。把它们剥掉，立刻冒出各种病态：对应不再是双射，自同构群太小，中间域在群里找不到对应物。坚持只看 Galois 扩张并不是迂腐，而是进入这门学科核心定理的入场券。在 $\mathbb{Q}$ 上、在有限域上——也就是对几乎所有读到这篇文章的人——这张门票是免费的，因为可分性自动成立，我们只需要补上分裂域条件。

一个有用的直观图像：Galois 对应是 $L$ 中包含 $K$ 的子域与 $\mathrm{Gal}(L/K)$ 的子群之间的反变等价。不可分性让域那一侧膨胀而群那一侧不膨胀；非正规性反过来。两种失败都会破坏双射，而且只要数一数两边大小，就能立刻看出是哪一侧崩了。

收尾再补一个观察。可分性有一条有用的“传递性”事实：若 $K \subseteq M \subseteq L$ 且 $M/K$ 与 $L/M$ 都可分，则 $L/K$ 可分。（证明：任一 $\alpha \in L$ 在 $M$ 上有可分极小多项式；该多项式的系数本身在 $K$ 上可分；合起来 $\alpha$ 生成的是 $K$ 的可分扩张。）类似的“正规性”陈述则是错的——正规性不沿塔传递。这是正规性比可分性更微妙的第一个信号，也是下一篇文章会花大量篇幅去识别 Galois 群里哪些子群对应正规子域的原因。

深入：域扩张上的具体计算#

理论讲再多，不如把 $[\mathbb{Q}(\sqrt{2}, \sqrt{3}) : \mathbb{Q}] = 4$ 这个最经典的塔律计算亲手拆一遍。第一步先扩 $\sqrt{2}$ ：极小多项式是 $x^2 - 2$ ，在 $\mathbb{Q}$ 上不可约（无理根，二次没有有理根就是不可约），所以 $[\mathbb{Q}(\sqrt{2}) : \mathbb{Q}] = 2$ ，基底是 $\{1, \sqrt{2}\}$ 。

第二步在 $\mathbb{Q}(\sqrt{2})$ 上扩 $\sqrt{3}$ 。$\sqrt{3}$ 满足 $x^2 - 3$ ，关键问题：$x^2 - 3$ 在 $\mathbb{Q}(\sqrt{2})$ 上还可约吗？如果可约，必有 $\sqrt{3} = a + b\sqrt{2}$ ，平方得 $3 = a^2 + 2b^2 + 2ab\sqrt{2}$ 。比对 $\sqrt{2}$ 系数得 $ab = 0$ 。$a = 0$ 时 $2b^2 = 3$ ，$b^2 = 3/2$ 无理；$b = 0$ 时 $a^2 = 3$ ，$a$ 无理。两条路都走不通，所以 $x^2 - 3$ 在 $\mathbb{Q}(\sqrt{2})$ 上仍不可约，$[\mathbb{Q}(\sqrt{2}, \sqrt{3}) : \mathbb{Q}(\sqrt{2})] = 2$ 。

塔律 $[L : K] = [L : F][F : K]$ 直接给出 $[\mathbb{Q}(\sqrt{2}, \sqrt{3}) : \mathbb{Q}] = 2 \cdot 2 = 4$ 。基底是 $\{1, \sqrt{2}, \sqrt{3}, \sqrt{6}\}$ ——四个元素，每个都来自塔的两层基底相乘。验证一下 $\sqrt{6} = \sqrt{2}\sqrt{3}$ 没法写成前三个的有理组合，留给读者。这个 4 维结构会在下一篇 Galois 理论里被 $V_4$ 群完美对应——每个基元素被四个自同构按 $\pm$ 号刷一遍，对称性显形。

塔律乘法背后藏着的几何#

塔律 $[L : K] = [L : F][F : K]$ 写成乘法不是巧合，是维度叠加的几何反映。把 $F/K$ 想成 $K$ 上的二维平面（如果 $[F:K]=2$ ），把 $L/F$ 想成 $F$ 上的二维平面，那 $L$ 在 $K$ 上就是 $2 \times 2 = 4$ 维的空间——基底由两组基对偶地相乘得到。这跟矩阵 Kronecker 积、张量积维度公式是同一件事：层叠的线性结构在维度上就是相乘。

我自己理解这条律的时候，常画一个矩形格点图：横轴 $K$ -基底 $\{1, \sqrt{2}\}$ ，纵轴 $\mathbb{Q}(\sqrt{2})$ -基底 $\{1, \sqrt{3}\}$ ，格点位置 $(i,j)$ 标 $\sqrt{2}^i \sqrt{3}^j$ 。四个格点就是四个基元素，整个域是格点张成的有理线性组合。这种“维度乘法”的几何感对后面理解 Galois 群在基底上置换的轨道结构非常关键——群作用就是格点的对称翻折。

初学者常见陷阱#

我自己踩过、也见学生踩过的几个坑，列在这里当避雷针。第一个：把“代数扩张”和“有限扩张”等同起来。有限扩张一定代数，反过来不成立——$\overline{\mathbb{Q}} / \mathbb{Q}$ 是无限代数扩张。第二个：忘记检查极小多项式的不可约性。$x^2 - 2$ 在 $\mathbb{Q}$ 上不可约，但在 $\mathbb{Q}(\sqrt{2})$ 上可约成 $(x - \sqrt{2})(x + \sqrt{2})$ ，所以“极小多项式”这个概念跟基域绑死，换基域必须重算。

第三个坑最致命：以为 $\mathbb{Q}(\sqrt{2}) + \mathbb{Q}(\sqrt{3})$ 就是 $\mathbb{Q}(\sqrt{2}, \sqrt{3})$ 。前者只是加法封闭，没有乘法封闭——$\sqrt{2} \cdot \sqrt{3} = \sqrt{6}$ 不在里面。域扩张永远是 $\mathbb{Q}(\sqrt{2}, \sqrt{3})$ ，包含所有有限的有理多项式表达式。第四个：写 $\sqrt{2}$ 时心里要清楚选的是哪个根。代数上 $\sqrt{2}$ 和 $-\sqrt{2}$ 完全对称，没有内禀的“正根”。这个对称性就是 Galois 群的源头，下一篇会被狠狠利用。

这些概念在哪里冒头#

域扩张不只是抽代教材里的玩具。代数数论几乎是“数域 $\mathbb{Q}$ 的有限扩张研究”——每一个数域 $K = \mathbb{Q}(\alpha)$ 的整数环 $\mathcal{O}_K$ 决定了它的素分解、单位群、类群。Fermat 大定理的早期失败尝试就是因为 Lamé 默认 $\mathbb{Z}[\zeta_p]$ 是唯一分解整环，结果 Kummer 发现并非如此，从而催生了理想类群理论。

代数几何里，函数域 $K(V)$ 是品种 $V$ 上的有理函数构成的域，$V$ 的几何性质（不可约、连通、维度）大量被翻译成 $K(V)/k$ 的代数性质（不可约多项式、整闭、超越次数）。密码学的椭圆曲线密码学全部在有限域 $\mathbb{F}_q$ 的扩张上跑——SM2、Curve25519 都依赖 $\mathbb{F}_p$ 上的椭圆曲线点群结构。编码理论里的 BCH 码、Reed-Solomon 码靠的也是 $\mathbb{F}_q$ 扩张的元素当字母表。哪怕你只关心机器学习，量子机器学习里的 stabilizer formalism 直接构建在 $\mathbb{F}_2$ 的扩张上。这套语言的复用率高得惊人。

我希望你带走的东西#

如果一篇文章只能记一件事，我希望是：域扩张就是把代数方程的根加进基础域，记账方式就是商环 $K[x]/(p)$ 。塔律告诉你怎么把多步扩张拼成一步，分裂域告诉你单个多项式的“最小够用域”长什么样，可分性告诉你什么时候 Galois 理论可以下嘴。

第二件事，是把“次数”当作维度处理。$[L:K]$ 是 $L$ 作为 $K$ -向量空间的维度，所有计算最后都收敛到线性代数。第三件事，是养成“先求极小多项式”的反射弧——遇到一个新元素 $\alpha$ ，先问它满足什么不可约多项式，再算次数、再写基底。整个域扩张的运作机制就是这三步循环。带着这个工具去下一篇 Galois 理论，你会发现群的对称性其实早就藏在基底的排列方式里，等着被读出来而已。

下一步#

域扩张给了我们一套统一的语言来描述“加根、扩域、记账”：单代数扩张就是商环 $K[x]/(p)$ ，多次扩张叠成塔，所有根加进来就是分裂域，全部加满就是代数闭包。尺规作图的不可能性被翻译成“次数是不是 2 的幂”，几何死结变成了一行整除检查。但故事只讲了一半。我们知道了域怎么变大，还没碰这些变大过程中隐藏的对称性。

下一篇会正式进入 Galois 理论。每个 Galois 扩张 $L/K$ 都会对应一个有限群 $\mathrm{Gal}(L/K)$ ，它的元素是保持 $K$ 不动的 $L$ -自同构。想象你在魔方上转一面：魔方的状态变了，但整体结构没坏。Galois 群就是在根的集合上做这种“保持算术关系不变的置换”。我们会亲手算出 $\mathbb{Q}(\sqrt{2}, \sqrt{3})$ 的 Galois 群是 Klein 四元群 $V_4$ ，四个自同构分别把 $\sqrt{2} \mapsto \pm\sqrt{2}$ 、$\sqrt{3} \mapsto \pm\sqrt{3}$ 。更关键的是 Galois 对应（Galois correspondence）：中间域和子群之间有一一对应，包含关系反向，次数等于指数。本篇里那个次数为 8 的 $x^4 - 2$ 分裂域，下一篇会被剖开成二面体群 $D_4$ 的子群格，所有中间域将一次性显形。

带着这个问题读下一篇：如果域的扩张次数是 8，为什么它的自同构群不是随便一个 8 阶群，而必须是 $D_4$ ？根之间的代数关系，到底是怎么把群的形状“锁死”的？答案就在对称性与维度的交叉点上。