🔢 mathematics

A necessary condition for solvability by radicals

这篇论文是多伦多大学 2026 年春季 MAT401 课程的讲义，基于伽罗瓦理论证明了代数方程根式可解的一个必要条件。

原作者： Askold Khovanskii (Department of Mathematics, University of Toronto, Canada)

发布于 2026-04-13

📖 1 分钟阅读🧠 深度阅读

原作者： Askold Khovanskii (Department of Mathematics, University of Toronto, Canada)

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇文章是 Askold Khovanskii 教授为多伦多大学数学课程准备的一份讲义，日期标注为 2026 年（这是一个未来的设定，但内容基于经典的数学理论）。

它的核心任务是回答一个困扰了数学家几百年的问题：为什么有些方程（比如五次方程）无法用“开根号”的方法解出来？

为了让你轻松理解，我们把这篇充满术语的数学论文，翻译成一场关于“解方程”的冒险故事。

🌟 核心故事：解方程就像拆俄罗斯套娃

想象一下，你面前有一个复杂的数学谜题（一个高次方程）。

目标：找到这个方程的根（答案）。
工具：我们只允许使用“开根号”（比如 $\sqrt{2}$ , $\sqrt[3]{5}$ ）和加减乘除。这就像我们手里只有一套特定的“万能钥匙”。

如果这个方程能用这些钥匙打开，我们就说它是**“根式可解”**的。如果打不开，那就说明它太复杂了，超出了这些钥匙的能力范围。

这篇论文要证明的结论是：只有当这个方程背后的“对称性结构”（伽罗瓦群）足够简单（可解）时，它才能被开根号解开。

🧩 第一部分：对称性的魔法（伽罗瓦理论简介）

在数学里，方程的根之间往往藏着某种对称性。

比喻：想象你有一堆颜色不同的球（方程的根）。如果你交换其中两个球的位置，方程的某些性质（比如系数）看起来完全没变。这种“交换后不变”的能力，就是对称性。
伽罗瓦群：数学家把所有可能的“交换方式”收集起来，组成一个**“对称性俱乐部”**（这就是伽罗瓦群）。
- 如果俱乐部成员很少，大家关系简单，这个俱乐部就是“好管理”的（可解的）。
- 如果俱乐部成员太多，关系错综复杂，怎么理都理不清，这个俱乐部就是“混乱”的（不可解的）。

**论文的前半部分（第 1-4 节）**就是在介绍这个俱乐部的规则：

正常扩张：如果你把方程的所有根都找全了，你就拥有了一个完整的“对称性俱乐部”。
中间层：如果你只找到了一部分根，就像在俱乐部里先建了一个“小分社”。
核心定理：如果你能一步步把方程解开，那么这个“对称性俱乐部”必须能被一层层地拆解，直到最后变成最简单的“单人俱乐部”。

🔗 第二部分：开根号的链条（第 5-7 节）

现在，我们来看看“开根号”到底是在做什么。

比喻：解方程就像爬梯子。
- 第一步：我们在底层的数字（有理数）上，加了一个 $\sqrt{2}$ 。
- 第二步：在有了 $\sqrt{2}$ 的基础上，再加一个 $\sqrt[3]{5}$ 。
- 以此类推，直到最后一步，我们终于找到了方程的根。
- 这整个梯子，就叫**“根式链”**。

论文的一个关键发现（第 7 节）：
直接爬这个梯子（根式链）有时候很乱，因为每加一个根号，可能会破坏之前的对称性，导致我们没法用“伽罗瓦群”来描述它。

怎么办？
作者提出了一种**“标准化”**（Normalization）的方法：

想象我们在爬梯子之前，先造一个巨大的、完美的**“脚手架”**（正规化扩张）。
这个脚手架包含了所有可能需要的“单位根”（比如 $x^n=1$ 的所有解，就像时钟上的刻度）。
在这个完美的脚手架上，每一步“开根号”的操作，都会变得非常有规律，就像是在一个整齐的网格上移动。

🛠️ 第三部分：为什么有些梯子搭不起来？（第 8-9 节）

这是论文最精彩的部分，它解释了为什么有些方程无解。

1. 开根号的本质是“加法”和“乘法”的简单游戏

当你开 $n$ 次方根时（比如 $\sqrt[n]{a}$ ），在数学结构上，这相当于在一个简单的循环群（像时钟一样转圈）里移动。
Lemma 8.2 & 8.3 告诉我们：只要你的“脚手架”里有足够的单位根（时钟刻度），那么每一步开根号操作，产生的“对称性俱乐部”都是非常听话、非常有序的（阿贝尔群/交换群）。
- 比喻：就像你在玩一个只有“顺时针转”和“逆时针转”的游戏，顺序不重要，先转再转和先转再转结果一样。这种结构是**“可解”**的。

2. 层层递进的逻辑

如果你能一步步开根号解出方程，那就意味着：
- 你的“大俱乐部”（整个方程的对称性）可以分解成很多层。
- 每一层都是一个“小俱乐部”（每一步开根号带来的对称性）。
- 而每一个“小俱乐部”都是有序、可解的（因为开根号操作本身很单纯）。
结论：如果一个大俱乐部是由很多个“有序小俱乐部”层层嵌套组成的，那么整个大俱乐部也是有序、可解的。

3. 最终判决（Theorem 9.1）

如果一个方程能用根式解出来 $\rightarrow$ 它的对称性俱乐部必须是“可解”的。
反之：如果一个方程的对称性俱乐部太混乱（比如五次方程的对称群 $S_5$ ，它像一团乱麻，无法拆解成简单的有序层），那么无论你怎么努力，都不可能用开根号的方法解出它！

🎯 总结：这篇论文说了什么？

用大白话总结：

解方程就是寻找数字之间的对称性。
开根号是一种很简单的操作，它只能处理那些结构简单、层层递进的对称性。
这篇论文证明了：如果你能用开根号解出一个方程，那么这个方程背后的对称性结构一定也是“简单可解”的。
反过来，如果你发现一个方程的对称性结构太复杂（像五次方程那样），那就直接宣判：它无法用开根号解开。

一句话隐喻：
这就好比你想用乐高积木（开根号）搭出一座城堡（方程的解）。如果城堡的结构太复杂、太扭曲，超出了乐高积木的拼接逻辑，那你永远搭不出来。这篇论文就是那个告诉你“为什么搭不出来”的说明书。

论文技术总结：可根式解的一个必要条件

1. 研究问题 (Problem)

本文的核心问题是：什么样的代数方程可以通过根式（radicals）求解？
具体而言，作者试图从伽罗瓦理论的角度出发，严格证明一个著名的结论：如果一个多项式方程在特征为零的域上可根式解，那么其分裂域的伽罗瓦群必须是可解群（solvable group）。这是阿贝尔 - 鲁菲尼定理（Abel-Ruffini theorem）证明中的关键“必要性”部分。

2. 方法论 (Methodology)

作者采用了一种结构化的归纳法，结合域论和群论的基本定理，通过以下步骤构建证明：

基础回顾：首先回顾了伽罗瓦理论的基本定理，包括正规扩张（normal extension）、伽罗瓦群的定义、基本定理（扩张次数等于群阶数）、中间域与子群的对应关系，以及正规子群与正规扩张的对应关系。
根式链的正规化（Normalization）：
- 定义了一般的“根式扩张链”（chain of radical extensions），即通过逐次添加 $a_i^{k_i} \in R_{i-1}$ 得到的扩张。
- 指出一般的根式扩张链不一定是正规扩张，因此无法直接定义伽罗瓦群。
- 关键步骤：构造了根式扩张链的**“正规化”（normalization）。通过引入单位根（splitting field of $x^N-1$ ）和轨道（orbit）的概念，将任意根式链嵌入到一个嵌套的正规根式扩张序列**（nested set of normal radical extensions）中。
群论分析：
- 分析正规化序列中每一步扩张的伽罗瓦群结构。
- 利用单位根扩张的伽罗瓦群同构于乘法群 $U(n)$ 的子群（交换群）。
- 利用添加 $n$ 次根（在包含单位根的域上）的扩张，其伽罗瓦群同构于加法循环群 $\mathbb{Z}_n$ 的子群（交换群）。
归纳推导：利用伽罗瓦对应，证明整个扩张序列的伽罗瓦群具有一个正规子群序列，其商群均为交换群，从而证明该群是可解群。最后利用商群保持可解性的性质，得出原方程分裂域的伽罗瓦群也是可解的。

3. 关键贡献与核心定义 (Key Contributions & Definitions)

正规根式扩张序列的定义 (Definition 6.3)：
作者定义了一种特殊的嵌套正规扩张序列 $E_0 \subset E_1 \subset \dots \subset E_n$ ，其中：
1. $E_1$ 是 $x^N-1$ 的分裂域（引入单位根）。
2. 后续每一步 $E_i$ 是 $E_{i-1}$ 上形如 $\prod (x^{k_i} - \omega_m)$ 的多项式的分裂域，其中 $\omega_m$ 是前一步域中元素的轨道。
  这一构造解决了普通根式链非正规的问题，使得伽罗瓦群在整个链条上都有定义。
根式链的正规化定理 (Theorem 7.2)：
证明了对于任意给定的根式扩张链，都存在一个上述定义的“正规化”嵌套序列，使得原链包含在该序列中。这是连接“可根式解”与“正规扩张”的桥梁。
伽罗瓦群结构的引理 (Lemmas 8.2 - 8.4)：
- 引理 8.2： $x^n-1$ 的分裂域伽罗瓦群是交换群（同构于 $U(n)$ 的子群）。
- 引理 8.3：若基域包含 $n$ 次单位根，则 $x^n-a$ 的分裂域伽罗瓦群是交换群（同构于 $\mathbb{Z}_n$ 的子群）。
- 引理 8.4：多个此类多项式乘积的分裂域伽罗瓦群也是交换群（同构于 $\mathbb{Z}_n$ 直和的子群）。
  这些引理证明了正规化序列中每一步的相对伽罗瓦群都是交换群（commutative）。

4. 主要结果 (Results)

定理 9.1 (Theorem 9.1)：
如果特征为零的域 $K$ 上的多项式方程 $P(x)=0$ 可根式解，且 $E$ 是其分裂域，则伽罗瓦群 $G(E, K)$ 是可解群。

证明逻辑流：
1. 若方程可根式解，则存在根式链 $R_n$ 包含分裂域 $E$ 。
2. 构造该链的正规化序列 $E_0 \subset \dots \subset E_{n+1}$ ，使得 $E \subset E_{n+1}$ 。
3. 根据引理 8.2 和 8.4，序列中每一步 $E_{i+1}/E_i$ 的伽罗瓦群 $G(E_{i+1}, E_i)$ 都是交换群。
4. 根据推论 5.4，若一个群有一系列正规子群且商群均为交换群，则该群（此处为 $G(E_{n+1}, K)$ ）是可解群。
5. 由于 $E$ 是 $K \subset E_{n+1}$ 的中间正规域，根据伽罗瓦基本定理， $G(E, K)$ 是 $G(E_{n+1}, K)$ 的商群。
6. 可解群的商群仍是可解群，故 $G(E, K)$ 可解。

5. 意义与影响 (Significance)

理论完整性：该讲义清晰地梳理了从“可根式解”到“伽罗瓦群可解”的必要性证明路径。虽然充分性（即群可解 $\implies$ 方程可根式解）通常基于线性代数构造，但必要性部分完全依赖于伽罗瓦理论的群结构分析。
教学价值：作为多伦多大学 MAT401 课程的讲义，它通过“正规化”这一技巧，巧妙地处理了根式扩张通常不具备正规性的技术难点，为初学者提供了一个严谨且逻辑连贯的视角。
数学基础：该结果确立了代数方程求解的群论障碍。它解释了为什么五次及以上的一般多项式方程没有根式解（因为其伽罗瓦群 $S_n$ 当 $n \ge 5$ 时不是可解群）。

总结：
Khovanskii 的这篇讲义通过构造“正规化”的根式扩张序列，成功地将根式解的存在性问题转化为伽罗瓦群的群论性质问题，严谨地证明了可根式解蕴含伽罗瓦群可解这一核心定理。这是现代代数中连接域扩张与群结构最经典的成果之一。