第九章 · 可解性与作图

本章定位

本章回答 Galois 理论的原初问题：为什么有些方程可以用根式求解，而有些不行？

答案的优美程度超乎想象——它完全由一个群论条件决定：

f = 0 根式可解 ⟺ Gal (f / K) 是可解群

Galois 的这一判据不仅解释了为什么二次、三次、四次方程有根式解法，还解释了为什么五次及以上一般方程没有。更进一步，它将古老的尺规作图问题（如三等分角、倍立方）也归结为 Galois 群的结构分析。

从"能不能解"到"为什么能解"

在 Galois 之前，数学家们花了几百年寻找五次方程的根式解——Ruffini 和 Abel 证明了它不存在，但 Galois 的理论远比这个否定结果深刻得多。Galois 告诉我们在什么条件下根式解法存在，从而给出了一个正面的结构理论，而非仅仅是"不行"。

本章导航

节	主题	核心内容	关键概念
§9.1	可解群与 Abel 群	可解群的定义、Abel-Ruffini 定理、根式扩张、Galois 可解性判据、Kummer 理论、Artin-Schreier 理论	可解群, 导出列, 根式扩张, Kummer 扩张, Lagrange 预解式
§9.2	尺规作图与域扩张	可作图数的域论刻画、三大古典难题的否定解答、正 $n$ 边形的作图条件 (Gauss-Wantzel)	可作图数, 二次扩张塔, Gauss-Wantzel 定理

知识网络

         ┌───────────────────────────┐
         │  群论 Ch1                 │
         │  (可解群、导出列、A₅单性) │
         └─────────┬─────────────────┘
                   │
         ┌─────────┴─────────────────┐
         │  Galois 对应 (Ch8)         │
         │  (反序双射、正规子群 ↔    │
         │   正规扩张、商群同构)       │
         └─────────┬─────────────────┘
                   │
      ┌────────────┴────────────┐
      │  ★ 第九章：可解性与作图   │
      │  根式可解 ⇔ Gal群可解     │
      │  尺规可作 ⇔ 域度为2的幂   │
      └────────────┬────────────┘
                   │
         ┌─────────┴─────────────────┐
         │  后续应用                   │
         │  • Ch10: 有限域 Abel 扩张   │
         │  • Ch12: 逆 Galois 问题     │
         └───────────────────────────┘

阅读路径

快速路径（30 分钟）：只读 §9.1 中可解群的定义（[定义]）、Abel-Ruffini 定理（[定理]）的陈述和证明概要，以及 $x^{5} - 4 x + 2$ 的具体例子（[例]）。理解"可解群 ↔ 根式可解"的核心直觉。

标准路径（2 小时）：完整阅读 §9.1，重点理解 Galois 可解性判据（[定理]）的双向证明中"可解群 → 根式塔"的关键步骤。然后阅读 §9.2 掌握尺规作图的域论刻画。

深入路径（3 小时）：在标准路径基础上，仔细研究 §9.1 中 Kummer 理论（[定理]）的完整证明，包括 Lagrange 预解式和 Hilbert 定理 90 的运用，以及 Artin-Schreier 理论在特征 $p$ 情形的类比。

核心定理速览

定理	内容	直觉
[定理]	一般五次及以上方程不是根式可解的	$S_{5}$ 不可解（ $A_{5}$ 是单群）
[定理]	$f$ 根式可解 $⟺$ $Gal (f / K)$ 是可解群	群的可解性完全控制方程的根式可解性
[定理]	含 $n$ 次单位根时，Abel 扩张 ↔ $K^{\times} / (K^{\times})^{n}$ 的子群	Kummer 理论给出 Abel 扩张的完整分类
[定理]	正 $n$ 边形可尺规作图 $⟺$ $n = 2^{k} p_{1} \dots p_{r}$ （ $p_{i}$ 互异 Fermat 素数）	可作图性等价于扩张次数为 2 的幂

关键概念对比

概念	定义	Galois 群侧	域扩张侧
可解群	有正规列使商群均为 Abel	$G = G_{0} ⊳ G_{1} ⊳ \dots ⊳ {e}$ , $G_{i} / G_{i + 1}$ Abel	—
根式扩张	逐次添加根式	—	$K = K_{0} \subseteq K_{1} \subseteq \dots$ , $K_{i + 1} = K_{i} (α^{1 / n_{i}})$
可解判据	$f$ 根式可解 $⟺$ Gal 群可解	群的导出列终止	域塔可以分解为根式扩张
可作图数	可尺规构造的长度	—	包含在二次扩张塔中
作图判据	正 $n$ 边形可作 $⟺$ 特殊条件	$φ (n)$ 是 2 的幂	$[Q (ζ_{n}) : Q]$ 是 2 的幂

三次方程的根式解法为什么"有效"？

对于三次方程 $x^{3} + p x + q = 0$ ，Cardano 公式给出了根式解。从 Galois 理论角度看，这是因为 $S_{3}$ 是可解群（ $S_{3} ⊳ A_{3} ⊳ {e}$ ，商群分别为 $Z / 2$ 和 $Z / 3$ ）。而四次方程对应的 $S_{4}$ 也是可解群（ $S_{4} ⊳ A_{4} ⊳ V_{4} ⊳ {e}$ ）。但 $S_{5}$ 不可解—— $A_{5}$ 是阶 60 的单群，无法进一步分解为 Abel 商。

前置知识

必需：第八章 · Galois 对应（反序双射、正规子群 ↔ 正规扩张、商群同构）、第一章 · 群论（可解群、正规子群、商群、 $A_{5}$ 的单性）
推荐：第七章 · Galois 群（Galois 群的定义和计算）、第四章 · 多项式（可分性、Eisenstein 判据）

后续指向

第十章：有限域上的 Galois 群——有限域的 Abel 扩张完全由 Kummer 理论和 Frobenius 自同构控制
第十二章：逆 Galois 问题——是否每个有限群都是某个 $Q$ -多项式的 Galois 群？

← [第八章 · Galois 对应](/chapters/08-galois-correspondence/)[§9.1 可解群与 Abel 群 →](9.1-solvable-groups)

第九章 · 可解性与作图 ​

本章定位 ​

本章导航 ​

知识网络 ​

阅读路径 ​

核心定理速览 ​

关键概念对比 ​

前置知识 ​

后续指向 ​