伽罗瓦理论：群与方程的千年谜题

伽罗瓦理论是抽象代数最辉煌的成就之一，它建立了域扩张与群论之间的深刻联系。用伽罗瓦理论，我们可以彻底回答"五次方程为什么没有求根公式"这个数学史上悬而未决的千年难题。

问题的起源：方程可解性

从一次到四次

数学史上，寻找多项式方程的"求根公式"是一条漫长的路：

• 一次方程 \(ax + b = 0\)：显然可解，\(x = -b/a\)
• 二次方程 \(ax^2 + bx + c = 0\)：古巴比伦人就知道了，\(x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}\)
• 三次方程：16 世纪意大利数学家卡尔达诺发表了求根公式（实际由塔尔塔利亚发现），涉及立方根
• 四次方程：卡尔达诺的学生费拉里找到了方法，通过巧妙的代换化为三次方程

每一步都更难，但总能找到由加减乘除和开根号组成的公式。于是人们自然地问：

五次方程呢？

数学家们为此奋斗了近 300 年，直到 19 世纪初才有了答案。

阿贝尔-鲁菲尼定理

定理（阿贝尔，1824；鲁菲尼，1799）：一般五次及更高次方程没有求根公式——不存在用系数的加减乘除和开根号来表达根的公式。

阿贝尔证明了"不存在"，但没有解释"为什么"。真正深入回答"什么时候可解，什么时候不可解"的，是年仅 20 岁便英年早逝的伽罗瓦（Évariste Galois, 1811–1832）。

💡 伽罗瓦在决斗前夜写下了他的理论。他把域扩张和群论联系在一起，创造了一套能精确判断任意多项式方程是否可用根式求解的方法。这不仅回答了"五次方程为什么不可解"，还回答了"哪些五次方程可以解"。

伽罗瓦群

定义

设 \(K/F\) 是域扩张。\(K\) 的所有 \(F\)-自同构（固定 \(F\) 中每个元素的域自同构 \(\sigma: K \to K\)）构成的群，称为 \(K/F\) 的伽罗瓦群，记作 \(\text{Gal}(K/F)\)。

更具体地说，\(\sigma \in \text{Gal}(K/F)\) 需要满足： 1. \(\sigma: K \to K\) 是域同构（保持加法和乘法） 2. 对所有 \(a \in F\)，\(\sigma(a) = a\)（固定底域）

群运算是函数复合。

通俗解释

伽罗瓦群度量的是域扩张的"对称性"。

想象你在一张桌子上摆了几颗宝石（多项式的根），底座（底域 \(F\)）固定不动。伽罗瓦群就是在不动底座的情况下，所有可能的"重新摆放宝石"的方式——前提是这种重新摆放必须保持所有代数关系不变。

例如：\(\sqrt{2}\) 和 \(-\sqrt{2}\) 在 \(\mathbb{Q}\) 上满足完全相同的代数关系（都是 \(x^2 - 2 = 0\) 的根），所以"把它们互换"是一个合法的对称变换。但你不能把 \(\sqrt{2}\) 换成 \(\sqrt{3}\)，因为那会破坏代数关系。

例子：\(\text{Gal}(\mathbb{Q}(\sqrt{2})/\mathbb{Q})\)

\(\mathbb{Q}(\sqrt{2}) = \{a + b\sqrt{2} \mid a, b \in \mathbb{Q}\}\)。

一个 \(\mathbb{Q}\)-自同构 \(\sigma\) 必须固定所有有理数，所以完全由 \(\sigma(\sqrt{2})\) 决定。

由于 \(\sigma\) 保持运算，\(\sigma(\sqrt{2})^2 = \sigma(2) = 2\)，所以 \(\sigma(\sqrt{2}) = \pm\sqrt{2}\)。

于是只有两个自同构： - \(\text{id}\)：\(a + b\sqrt{2} \mapsto a + b\sqrt{2}\)（恒等） - \(\sigma\)：\(a + b\sqrt{2} \mapsto a - b\sqrt{2}\)（共轭）

\[\text{Gal}(\mathbb{Q}(\sqrt{2})/\mathbb{Q}) = \{\text{id}, \sigma\} \cong \mathbb{Z}_2\]

例子：\(\text{Gal}(\mathbb{Q}(\sqrt[3]{2}, \omega)/\mathbb{Q})\)

这是 \(x^3 - 2\) 的分裂域上的伽罗瓦群。三个根为： \[\alpha_1 = \sqrt[3]{2}, \quad \alpha_2 = \omega\sqrt[3]{2}, \quad \alpha_3 = \omega^2\sqrt[3]{2}\]

每个 \(\mathbb{Q}\)-自同构必须将 \(\{\alpha_1, \alpha_2, \alpha_3\}\) 的根互相置换（因为自同构保持多项式关系），同时也可能改变 \(\omega\)。

经过仔细分析，一共有 \(6\) 个自同构，它们对根的置换恰好给出了 \(S_3\) 的全部 \(6\) 个元素：

\[\text{Gal}(\mathbb{Q}(\sqrt[3]{2}, \omega)/\mathbb{Q}) \cong S_3\]

💡 这解释了为什么三次方程可以用根式求解——\(S_3\) 是可解群（后面会详细说明）。

伽罗瓦扩张

定义

有限扩张 \(K/F\) 称为伽罗瓦扩张（或正规可分扩张），若它满足以下等价条件之一：

1. \(K\) 是 \(F\) 上某个可分多项式的分裂域
2. \(|\text{Gal}(K/F)| = [K : F]\)（自同构的个数等于扩张次数）
3. \(K^{\text{Gal}(K/F)} = F\)（被所有自同构固定的元素恰好是 \(F\)）

通俗解释

并非所有域扩张都是伽罗瓦扩张。伽罗瓦扩张是"对称性最好"的扩张——自同构的个数恰好等于扩张次数，不多不少。

反例：\(\mathbb{Q}(\sqrt[3]{2})/\mathbb{Q}\) 不是伽罗瓦扩张。这个域只包含一个实数根 \(\sqrt[3]{2}\)，另外两个复数根不在其中。唯一的 \(\mathbb{Q}\)-自同构是恒等映射（\(\sqrt[3]{2}\) 只能映到自己——另外两个根不在这个域中）。所以 \(|\text{Gal}| = 1 \neq 3 = [\mathbb{Q}(\sqrt[3]{2}):\mathbb{Q}]\)。

正例：\(\mathbb{Q}(\sqrt[3]{2}, \omega)/\mathbb{Q}\) 是伽罗瓦扩张。所有三个根都在域中，\(|\text{Gal}| = 6 = [K:\mathbb{Q}]\)。

伽罗瓦基本定理

定理：伽罗瓦对应

设 \(K/F\) 是伽罗瓦扩张，\(G = \text{Gal}(K/F)\)。则存在如下反序一一对应：

\[\{\text{中间域 } E : F \subseteq E \subseteq K\} \xleftrightarrow{1:1} \{\text{子群 } H \leq G\}\]

对应规则是： - 中间域 \(E\) \(\longrightarrow\) 子群 \(H = \text{Gal}(K/E)\) - 子群 \(H\) \(\longrightarrow\) 固定域 \(K^H = \{x \in K \mid \sigma(x) = x, \forall \sigma \in H\}\)

并且： - 反序：\(E_1 \subseteq E_2 \Leftrightarrow H_1 \supseteq H_2\)（域越大，对应的子群越小） - 次数公式：\([K : E] = |H|\)，\([E : F] = [G : H]\) - 正规性对应：\(E/F\) 是正规扩张 \(\Leftrightarrow\) \(H \unlhd G\)（\(H\) 是 \(G\) 的正规子群） - 此时 \(\text{Gal}(E/F) \cong G/H\)

证明（核心思路）：

映射是良定义的：\(\text{Gal}(K/E)\) 确实是 \(G\) 的子群（复合保持固定 \(E\) 的性质）；\(K^H\) 确实是 \(F\) 和 \(K\) 之间的中间域。

互逆性：

1. 从 \(E\) 出发：\(E \mapsto H = \text{Gal}(K/E) \mapsto K^H\)。需要证 \(K^H = E\)。由伽罗瓦扩张的条件 (3)（\(K^{\text{Gal}(K/E)} = E\)），这正好成立。

2. 从 \(H\) 出发：\(H \mapsto K^H = E \mapsto \text{Gal}(K/E)\)。需要证 \(\text{Gal}(K/E) = H\)。\(K/E\) 也是伽罗瓦扩张，由条件 (2)，\(|\text{Gal}(K/E)| = [K:E] = |H|\)，结合 \(H \leq \text{Gal}(K/E)\)，得 \(H = \text{Gal}(K/E)\)。

正规性：\(E/F\) 正规意味着每个 \(F\)-自同构将 \(E\) 映到自身，即对每个 \(\sigma \in G\)，\(\sigma(E) = E\)。这等价于 \(\sigma H \sigma^{-1} = H\)，即 \(H \unlhd G\)。

通俗理解

伽罗瓦基本定理是整个伽罗瓦理论中最深刻、最优美的定理。它说的是：

域的结构和群的结构是同一枚硬币的两面。

域的"夹层"（中间域）与群的"子群"完美对应，而且关系是反转的——域越大，群越小。直觉上说，域越大，"自由度"越少（能固定更多元素的自同构越少），所以对应的子群越小。

这就像一面"魔法镜子"：你在镜子的一面看到域的层级结构，在另一面看到群的子群格，两者完全一样（只是上下颠倒了）。

完整例子：\(x^3 - 2\) 的伽罗瓦对应

取 \(f(x) = x^3 - 2\)，分裂域 \(K = \mathbb{Q}(\sqrt[3]{2}, \omega)\)，\(G = \text{Gal}(K/\mathbb{Q}) \cong S_3\)。

\(S_3\) 的子群格：

子群 \(H\)	阶	指数 \([G:H]\)	固定域 \(K^H\)	\([K^H:\mathbb{Q}]\)
\(\{e\}\)	\(1\)	\(6\)	\(K\)	\(6\)
\(\langle (123) \rangle \cong A_3\)	\(3\)	\(2\)	\(\mathbb{Q}(\omega)\)	\(2\)
\(\langle (23) \rangle\)	\(2\)	\(3\)	\(\mathbb{Q}(\sqrt[3]{2})\)	\(3\)
\(\langle (12) \rangle\)	\(2\)	\(3\)	\(\mathbb{Q}(\omega\sqrt[3]{2})\)	\(3\)
\(\langle (13) \rangle\)	\(2\)	\(3\)	\(\mathbb{Q}(\omega^2\sqrt[3]{2})\)	\(3\)
\(S_3\)	\(6\)	\(1\)	\(\mathbb{Q}\)	\(1\)

验证反序性：\(\{e\} \leq A_3 \leq S_3\) 对应 \(K \supseteq \mathbb{Q}(\omega) \supseteq \mathbb{Q}\)——子群越大，固定域越小 ✓

验证正规性：\(A_3 \unlhd S_3\)（\(A_3\) 是 \(S_3\) 的唯一正规子群），对应的 \(\mathbb{Q}(\omega)/\mathbb{Q}\) 是正规扩张 ✓。而 \(\langle(23)\rangle\) 不是 \(S_3\) 的正规子群，对应的 \(\mathbb{Q}(\sqrt[3]{2})/\mathbb{Q}\) 确实不是正规扩张 ✓。

💡 这个例子完美展现了伽罗瓦对应的威力：不需要直接分析复杂的域扩张结构，只要计算群的子群就够了！\(S_3\) 的子群一目了然，每个子群都给出一个中间域。

应用：方程的根式可解性

根式扩张与可解群

定义：根式扩张

域扩张 \(K/F\) 称为根式扩张，若存在一条"链"： \[F = K_0 \subseteq K_1 \subseteq K_2 \subseteq \cdots \subseteq K_m = K\] 其中每一步 \(K_{i+1} = K_i(\alpha_i)\)，且 \(\alpha_i^{n_i} \in K_i\)（即每次只添加某个元素的 \(n_i\) 次根）。

定义：可解群

有限群 \(G\) 称为可解群，若存在子群链： \[G = G_0 \supseteq G_1 \supseteq G_2 \supseteq \cdots \supseteq G_k = \{e\}\] 使得每个 \(G_{i+1} \unlhd G_i\)（正规子群）且 \(G_i/G_{i+1}\) 是阿贝尔群。

定理：伽罗瓦判别法

多项式方程 \(f(x) = 0\) 可用根式求解（即所有根都在某个根式扩张中），当且仅当其伽罗瓦群 \(\text{Gal}(E/F)\) 是可解群（其中 \(E\) 是 \(f\) 的分裂域）。

证明（核心思路）：

根式 \(\Rightarrow\) 可解群：

每一步根式扩张 \(K_i(\sqrt[n_i]{a})\) 的伽罗瓦群是循环群（阶整除 \(n_i\)），循环群是阿贝尔的。通过伽罗瓦对应，整条链给出了伽罗瓦群的一个子群链，商群都是阿贝尔的——这就是可解群的定义。

可解群 \(\Rightarrow\) 根式：

可解群的子群链 \(G \supseteq G_1 \supseteq \cdots \supseteq \{e\}\)（阿贝尔商）对应中间域的链。每一步的伽罗瓦群是阿贝尔的，而阿贝尔扩张（在适当添加单位根后）可以由根式实现。逐步添加根式即可表达所有根。

通俗理解

这个定理把一个代数问题（方程能否用根号解）翻译成了一个群论问题（伽罗瓦群是否可解）。

"可解群"这个名字不是巧合——它的命名正是因为与方程的可解性直接对应。可解群的特点是可以"一层一层"地分解为阿贝尔群，就像方程可以"一层一层"地用根式表达。

• 阿贝尔群（交换群）对应最简单的根式操作——开 \(n\) 次方
• 可解群 = 可以逐层化为阿贝尔群 = 方程可以逐层用根式求解

例子：二次方程

\(f(x) = x^2 - 2\)，分裂域 \(\mathbb{Q}(\sqrt{2})\)，\(\text{Gal} \cong \mathbb{Z}_2\)。

\(\mathbb{Z}_2\) 是阿贝尔群，当然是可解群：\(\mathbb{Z}_2 \supseteq \{e\}\)。

对应的根式解：\(x = \pm\sqrt{2}\)。只需一步开方 ✓

例子：三次方程

\(f(x) = x^3 - 2\)，分裂域 \(\mathbb{Q}(\sqrt[3]{2}, \omega)\)，\(\text{Gal} \cong S_3\)。

\(S_3\) 是可解群，子群链为： \[S_3 \supseteq A_3 \supseteq \{e\}\]

• \(S_3/A_3 \cong \mathbb{Z}_2\)（阿贝尔 ✓）
• \(A_3/\{e\} \cong \mathbb{Z}_3\)（阿贝尔 ✓）

对应的根式求解过程： 1. 先用二次根式处理判别式（对应 \(S_3/A_3 \cong \mathbb{Z}_2\)） 2. 再用三次根式求出根（对应 \(A_3 \cong \mathbb{Z}_3\)）

这正是卡尔达诺公式的结构！

例子：四次方程

四次方程的伽罗瓦群是 \(S_4\) 的子群。\(S_4\) 是可解群： \[S_4 \supseteq A_4 \supseteq V_4 \supseteq \mathbb{Z}_2 \supseteq \{e\}\]

其中 \(V_4 = \{e, (12)(34), (13)(24), (14)(23)\}\) 是克莱因四元群。每个商群都是阿贝尔的，所以四次方程可以用根式求解 ✓

五次方程不可解

\(A_5\) 是单群

关键事实：交错群 \(A_5\)（\(60\) 阶）是单群——它没有非平凡的正规子群。

💡 \(A_5\) 是最小的非阿贝尔单群。对比一下：\(A_3 \cong \mathbb{Z}_3\)（阿贝尔，可解），\(A_4\) 有正规子群 \(V_4\)（可解），但 \(A_5\) 是"坚不可摧"的——无法进一步分解。

\(S_5\) 不是可解群

假设 \(S_5\) 是可解群，则存在子群链 \(S_5 = G_0 \supsetneq G_1 \supsetneq \cdots \supsetneq \{e\}\)，每个商 \(G_i/G_{i+1}\) 阿贝尔。

\(S_5\) 唯一的非平凡正规子群是 \(A_5\)（\(S_5/A_5 \cong \mathbb{Z}_2\)，阿贝尔没问题）。

但 \(A_5\) 是单群——它没有非平凡正规子群！所以子群链在 \(A_5\) 处就卡住了：无法继续往下分解，\(A_5/\{e\} = A_5\) 不是阿贝尔群（\(|A_5| = 60\)）。

因此 \(S_5\) 不是可解群。

定理：一般五次方程不可用根式求解

一般五次方程 \(x^5 + bx^3 + cx^2 + dx + e = 0\) 的伽罗瓦群是 \(S_5\)。

\(S_5\) 不是可解群，由伽罗瓦判别法：一般五次方程没有根式解。

通俗理解

整条论证链如下：

\[\boxed{A_5 \text{ 是单群}} \Rightarrow \boxed{S_5 \text{ 不可解}} \Rightarrow \boxed{\text{五次方程无根式解}}\]

为什么恰好在五次"断裂"？

• \(n \leq 4\) 时，\(A_n\) 不是单群（\(A_4\) 有正规子群 \(V_4\)，\(A_3\) 本身阿贝尔），所以 \(S_n\) 可解
• \(n \geq 5\) 时，\(A_n\) 是单群且非阿贝尔，所以 \(S_n\) 不可解

\(n = 5\) 是一道分水岭：交错群从"可分解"变为"不可分解"，对称群从"可解"变为"不可解"。

💡 这并不是说所有五次方程都无法求解！许多特殊的五次方程仍然有根式解（比如 \(x^5 - 1 = 0\)，伽罗瓦群是 \(\mathbb{Z}_5\)，可解）。伽罗瓦理论说的是一般的五次方程（系数是独立的"字母"）不可用根式求解。

小结

• 伽罗瓦群 \(\text{Gal}(K/F)\) 是域扩张的对称群，由固定底域的自同构组成
• 伽罗瓦扩张是"对称性最好"的扩张：\(|\text{Gal}| = [K:F]\)
• 伽罗瓦基本定理：中间域 \(\xleftrightarrow{1:1}\) 子群（反序对应），正规扩张 \(\leftrightarrow\) 正规子群
• 伽罗瓦判别法：方程可用根式求解 \(\Leftrightarrow\) 伽罗瓦群是可解群
• \(A_5\) 是单群 \(\Rightarrow\) \(S_5\) 不可解 \(\Rightarrow\) 一般五次方程无根式解

伽罗瓦理论完美地展现了群论与域论的对应关系：群的代数结构精确刻画了方程根之间的对称性，而这种对称性决定了方程能否用根式求解。从这个意义上说，伽罗瓦理论是现代代数学的起点。

概念关系图

下图展示了本篇核心概念——伽罗瓦群、伽罗瓦扩张、基本定理、可解性判别——及其相互关系：

系列回顾

本系列从集合与映射出发，经过等价关系、群论（群、子群、陪集、循环群、置换群、同态）、环论（环、理想）、域扩张，最终到达伽罗瓦理论。这条路径展现了抽象代数如何从具体走向抽象，又如何用抽象理论解决具体的数学问题。

希望这个系列能帮助你建立起对抽象代数的整体认识！