第 14–16 章 · 域论与伽罗瓦理论的辉煌终章

伽罗瓦理论是 19 世纪数学的巅峰之作：把"方程可不可解"翻译成"群的结构"。核心是一台翻译机——域扩张与子群的一一对应——五次方程没有根式解的百年难题由此被一刀解决。

域扩张的语言

扩张 $F \subseteq K$，$K$ 当作 $F$ 上的向量空间，维数 $[K:F]$ 是扩张的"大小"。代数元（满足 $F$ 上多项式）的最小多项式决定扩张结构：$\mathbb{Q}(\sqrt[3]{2})$ 维数 3。分裂域：多项式全部根所在的最小域——伽罗瓦理论的舞台。

伽罗瓦对应：一本双面账

对分裂域扩张 $F \subseteq K$，伽罗瓦群 $G = \text{Aut}(K/F)$（保持 $F$ 不动的对称变换群）：

维数对账：$[K:L] = |H|$，$[L:F] = [G:H]$。扩张的所有结构问题被翻译成群论问题——域论被群论"接盘"。正规扩张对应正规子群，商群对应商域。

三大应用

• 尺规作图：可作图 ⟺ 次数是 2 的幂的塔扩张。三等分角、倍立方（次数 3）、化圆为方（$\pi$ 超越）当场判死。
• 根式可解性：方程可用根式解 ⟺ 伽罗瓦群可解（有"素数阶商群"的正规链）。一般五次方程的伽罗瓦群是 $S_5$，其正规链断在 $A_5$（单群）——不可解。
• 有限域分类：$q$ 个元素的域存在且唯一（$q = p^n$），乘法群循环——上一节的商环构造在这里完成分类。

老师的提醒

• 学伽罗瓦理论的正确姿势：每个抽象命题配一个 $4$ 次以内的具体扩张（$\mathbb{Q}\subseteq\mathbb{Q}(\sqrt{2},\sqrt{3})$ 是标配练习，群是 Klein 四元群）。
• $S_5$ 不可解 = 一般五次方程无根式解，但具体的五次方程可以有根式解（如 $x^5-2=0$）——"一般"与"个别"的区别要分清。

自检

• 伽罗瓦对应中维数如何对账？
• 为什么 $A_5$ 单性导致五次方程不可解？
• 尺规作图判据是什么？用它判死"三等分任意角"。

更深一层：伽罗瓦对应的"字典"使用手册

伽罗瓦对应是一本双面字典：域的一面（$F \subseteq L \subseteq K$）与群的一面（$\{e\} \subseteq H \subseteq G$）逐条互译——子群 $H$ ↔ 不动域 $K^H$、正规子群 ↔ 正规扩张、商群 ↔ 商域层次。使用手册的核心条款是维数对账：$[K : L] = |H|$、$[L : F] = [G : H]$——任何一侧的维数问题都可以翻到另一侧用群论数出来。$\mathbb{Q}(\sqrt2, \sqrt3)$ 的标本（$V_4$ 群、三个二次中间域）就是这个字典的最小完整样本：群论里数子群，域论里数中间域，两条账完全对平。

正规性条款是字典里最微妙的一条：$L/F$ 正规 ⟺ $H$ 正规于 $G$，且商群 $\mathrm{Gal}(L/F) \cong G/H$。这就是为什么"可解性"要求正规链——链上每一跳都得能"取商"，而取商的合法性由正规性担保。

推导细读：为什么"根式可解 ⟺ 群可解"

五次方程不可解的完整逻辑链值得串成一线：方程可用根式解 ⟹ 分裂域可以装进一根"根式塔"（逐次添加 $n$ 次根）⟹ 塔的每一层扩张的伽罗瓦群是交换循环群 ⟹ 整个伽罗瓦群有一条"循环群商"的正规链 ⟹ 群可解。一般五次方程的伽罗瓦群是 $S_5$，可解性要求正规链的商全为素数阶循环——但 $A_5$ 是单群（5 阶交错群无非平凡正规子群），链条断在 $S_5 \to A_5$ 这一跳。"单群挡路 = 不可解"：$A_5$ 的单性（阶 60，检验所有正规子群不存在）是整个不可解定理的孤注一掷点。

注意精确表述：一般五次方程（含独立参数）不可解；具体五次方程可能可解（$x^5 - 2 = 0$ 的群是可解的）——"一般"对应 $S_5$，"个别"对应小子群。这个区别是初学者最常混淆的地方。

在真实世界里：伽罗瓦思想的现代后代

伽罗瓦"用对称群研究结构"的思想远远超出了方程论。密码学：椭圆曲线点的自同构群、离散对数的群结构选择（为什么用大素数域/椭圆曲线而不用"太好算"的域）；编码理论：码的自同构群决定译码算法（BC1 码的对称性）；拓扑学：覆盖空间的基本群对应（伽罗瓦对应的拓扑翻版——"基本群 = 覆盖的伽罗瓦群"）；量子计算：任意子与辫群的对应。"结构的不对称性由它的对称群完全刻画"——这条伽罗瓦式的世界观，是现代数学与物理共用的操作系统。Artin 书以尺规作图与五次方程收尾，但这条世界观在读者的整个数学生涯里持续发放利息。

专题深入：伽罗瓦对应的"字典"使用手册展开

伽罗瓦对应是一本双面字典：域的一面（$F \subseteq L \subseteq K$）与群的一面（$\{e\} \subseteq H \subseteq G$）逐条互译——子群 $H$ ↔ 不动域 $K^H$、正规子群 ↔ 正规扩张、商群 ↔ 商域层次。使用手册的核心条款是维数对账：$[K : L] = |H|$、$[L : F] = [G : H]$——任何一侧的维数问题都可以翻到另一侧用群论数出来。$\mathbb{Q}(\sqrt2, \sqrt3)$ 的标本（$V_4$ 群、三个二次中间域）就是这个字典的最小完整样本：群论里数子群，域论里数中间域，两条账完全对平。

正规性条款是字典里最微妙的一条：$L/F$ 正规 ⟺ $H$ 正规于 $G$，且商群 $\mathrm{Gal}(L/F) \cong G/H$。这就是为什么"可解性"要求正规链——链上每一跳都得能"取商"，而取商的合法性由正规性担保。

数学细节展开：为什么"根式可解 ⟺ 群可解"

五次方程不可解的完整逻辑链值得串成一线：方程可用根式解 ⟹ 分裂域可以装进一根"根式塔"（逐次添加 $n$ 次根）⟹ 塔的每一层扩张的伽罗瓦群是交换循环群 ⟹ 整个伽罗瓦群有一条"循环群商"的正规链 ⟹ 群可解。一般五次方程的伽罗瓦群是 $S_5$，可解性要求正规链的商全为素数阶循环——但 $A_5$ 是单群（5 阶交错群无非平凡正规子群），链条断在 $S_5 \to A_5$ 这一跳。"单群挡路 = 不可解"：$A_5$ 的单性（阶 60，检验所有正规子群不存在）是整个不可解定理的孤注一掷点。

注意精确表述：一般五次方程（含独立参数）不可解；具体五次方程可能可解（$x^5 - 2 = 0$ 的群是可解的）——"一般"对应 $S_5$，"个别"对应小子群。这个区别是初学者最常混淆的地方。

工程案例细节：伽罗瓦思想的现代后代（工程版）

伽罗瓦"用对称群研究结构"的思想远远超出了方程论。密码学：椭圆曲线点的自同构群、离散对数的群结构选择；编码理论：码的自同构群决定译码算法；拓扑学：覆盖空间的基本群对应（伽罗瓦对应的拓扑翻版——"基本群 = 覆盖的伽罗瓦群"）；量子计算：任意子与辫群的对应。"结构的不对称性由它的对称群完全刻画"——这条伽罗瓦式的世界观，是现代数学与物理共用的操作系统。Artin 书以尺规作图与五次方程收尾，但这条世界观在读者的整个数学生涯里持续发放利息。