这不是一本教材，而是一册专题小册：全书只讲一件事——一元 n 次多项式方程什么时候能用根式解，以及为什么五次以上一般不能。目标定理是阿贝尔–鲁菲尼定理：次数 ≥ 5 的一般多项式方程没有根式解。全书按「编」组织：绪论交代问题的来路与定理的精确陈述；第一编把二、三、四次方程的根式解从历史到细节完整解剖——它们能解，理由要看得清清楚楚；第二编讲五次方程三百年的攻坚史（Lagrange、Ruffini、Abel、Galois）与三代证明的形态；第三编是全书的心脏，把证明所需的一切工具自给自足地备齐——域扩张、分裂域、Galois 对应、Kummer 定理、可解群——并给出阿贝尔–鲁菲尼定理的完整证明；综合站用年表、人物谱、依赖图、实验与测试收束全书。
写作的三条约束（本书的自我要求）。① 历史的视角：每一件技术都放在它被发明的年代与困境里讲——del Ferro 的秘密、Tartaglia 的诗、Cardano 的两难、Lagrange 的战略转向、Ruffini 被忽视的证明、Abel 自费印刷的小册子、Galois 决斗前夜的手稿。② 直取目标：不为完整而完整，凡与「根式可解性」无关的概念与定理一概不收；每引入一个新工具，当页说明它将在证明的哪一步派上用场。③ 自给自足：所有必要概念的定义与所有关键定理的证明细节都在书内给出，不依赖手边另有教材；需要外部结论时（如 Jordan–Hölder 定理的完整证明），会明确标出「承认此结论」并说明它在何处被使用。
页型节奏。每编以 导引 开篇（一页说清这一编要解决什么）；主体是 讲义 页（概念、定理、证明，一步一图）；每 3–5 页讲义配 例题 与 习题（末附提示）；每编收在 地图（依赖关系）＋小结＋思想卡（把技术升成观念）＋挑战与实验（动手核验）；另有 〖札记〗格物札记做中西数学传统的对照。每页右上角标页码，页眉灰色小字标出所属编与小节。
难度标记。讲义页首行用 ★–★★★★★ 标出阅读难度：★ 高中代数即可，★★ 需要多项式与复数的基本操作，★★★ 需要线性代数或置换群的初步（置换群会在第三编从零讲起），★★★★ 需要域扩张的语言（第三编自给），★★★★★ 需要合成列等结构工具（第三编亦自给）。若只求理解结论，可只读绪论、第一编全编、第二编的导引与三张小结、第三编的主定理陈述（含「主定理（一）（二）的证明思路」）与具体例子；若求完整证明，按第三编顺序逐页读即可。
三条线索贯穿全书：
① 明线——根式解的技术与对称性的语言。二次方程的配方把两根互换的对称性藏在 ±√Δ 里；三次、四次把这种对称性压缩成「预解式」；五次则发现对称性本身变成了一个 120 元、无法压缩的对象（S5）。全书的骨架就是这条从「配方」到「群」的路线。
② 暗线——「一般」二字的分量。阿贝尔–鲁菲尼定理谈的不是「某个五次方程解不出」，而是「以未知系数为字母的一般方程」解不出；具体的五次方程有的能解（如 x5 − 5x + 12），有的不能（如 x5 − 6x + 3）。这条暗线在第三编的「定理的边界」一节与综合站的挑战里正式兑现。
③ 现代接口——从 Galois 到大数学。同一个群的语言后来长成了现代 Galois 理论、覆盖空间与基本群（拓扑的 Galois）、微分 Galois 理论、以及仍在开放中的逆向 Galois 问题；第三编末与综合站的「余韵」三页给出这些接口的入口。
写法约定（TEX 标准）：分数写成上下两层的 12；变量用斜体 x, n, f，函数名与数字用正体；数系 ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ，域 F, K, E（ℂ 上式为 [E : F]）；蕴含 ⟹、当且仅当 ⟺、任意 ∀、存在 ∃、同构 ≅、整除 ∣、属于 ∈。凡证明步骤一律编号，关键一步配图。
公元 1535 年 2 月 22 日，威尼斯的一间教堂里坐着一个口吃的年轻人。他叫塔塔利亚（Tartaglia），对面是博洛尼亚的菲奥尔（Fior）。两人赌的是三十道方程题：谁解得出对方出的题，谁就拿走对方的赌注。那天的赌局没有留下赛场记录，只留下了结果——塔塔利亚在最后几分钟解出了全部三十题，菲奥尔一题未解。这个赌局之所以值得写进数学史，是因为它揭开了三次方程的求根公式；而它之所以只是这段历史的开头，是因为三百年后人们才发现：同一套办法，到五次就彻底失效了。
本书只讲这一件事：一元 n 次多项式方程的「根式解」问题。所谓根式解，通俗地说，就是把方程的根用系数经过加、减、乘、除与开方（开平方、开立方、开 n 次方）写出来——像二次方程求根公式那样。问题是：
anxn + an−1xn−1 + ⋯ + a1x + a0 = 0 （an ≠ 0）
的根，能这样写出来吗？答案按 n 分成两半，分界线恰在 4 与 5 之间：
本书的中心结论（阿贝尔–鲁菲尼定理）。当 n ≤ 4 时，一元 n 次方程的根可以由系数经有限次四则运算与开方表示；当 n ≥ 5 时，一般的 n 次方程不能这样表示——不存在只用四则运算与开方写出的求根公式。
这条结论的历史可以被压缩成一条时间线：公元 820 年前后花拉子米（al-Khwārizmī）把二次方程变成一门系统的学问；1545 年卡尔达诺（Cardano）在《大衍术》（Ars Magna）里公布三次与四次方程的公式，此后近三百年，几代最强的数学家都在找五次公式；1770 年拉格朗日（Lagrange）第一次看出所有已知解法其实是同一个办法；1799 年鲁菲尼（Ruffini）第一次断言五次不可能、并给出一个不完整的证明；1824 年阿贝尔（Abel）自费印出第一个完整证明；1831 年伽罗华（Galois）更进一步，不但证明「解不出」，还给出「什么样的方程能解出」的判据——群，由此登上了数学的舞台。
本书的三条读法，对应三条线索：技术（二次、三次、四次到底怎么解，为什么这些技巧在五次失灵）、历史（三百年攻坚中的成功、失败、误解与流失的手稿）、证明（阿贝尔–鲁菲尼定理的完整论证——这条线索由第三编从头搭起，不假外求）。
读法建议：若只想懂得「为什么五次解不出」，读绪论、第一编全编、第二编的三张小结、以及第三编「主定理」两页与具体例子即可；若想完整掌握证明，按第三编顺序逐页推进——凡是要用到的概念与证明，本编内都会给出。
一句话直觉。「用公式解方程」的意思是：把方程的解写成系数的表达式，而这个表达式只允许出现四种算术运算和开方——就像 x = (−b ± √(b2 − 4ac)) / (2a) 那样。
定义 0.1（根式解）。设 F 是一个域，f(x) ∈ F[x]。若存在域扩张 F = F0 ⊂ F1 ⊂ ⋯ ⊂ Fm 与元素 ri ∈ Fi，使每个 Fi = Fi−1(ri)、且 rini ∈ Fi−1（某个正整数 ni），并且 f 的所有根都落在 Fm 中，则称 f(x) = 0 可由根式解出（solvable by radicals），这样的塔 F0 ⊂ ⋯ ⊂ Fm 称为根式塔。
三层意思要分开看：
再举两个小例子校准手感：x2 − 2 = 0 的根是 ±√2，来自塔 ℚ ⊂ ℚ(√2)；x4 − 10x2 + 1 = 0 的根是 ±√2 ± √3 的四个组合，来自两层塔 ℚ ⊂ ℚ(√2) ⊂ ℚ(√2, √3)。它们都「用开方写出来了」，所以是根式解。
术语预告：本书把「能不能用根式解出」简称为根式可解性；把「五次以上的一般方程不可根式解」这条定理称为阿贝尔–鲁菲尼定理。第三编会证明它，并给出判定具体方程可解性的判据。
一句话直觉。在所有求根公式出现之前，人类早就学会了「把面积补成正方形」——这就是配方法，也是后来一切根式解法的原型。
现存最早的二次方程问题出自古巴比伦的泥板（约公元前 1800 年，如 BM 13901）。泥板上的语言是几何的：「我把正方形的边加到它的面积上，得到 3/4。」翻译成今天的记号就是要解 x2 + x = 3/4。巴比伦书记员的做法是标准配方：把 x 看成一条边，另取一条宽 1/2 的条带拼在边上，再把这条带子对折、补上角上的小方块 (1/2)2，于是整块面积变成正方形 (x + 1/2)2 = 3/4 + 1/4 = 1，故 x = 1/2。他们只取正根，且每一步都对应一块真实的面积。
同样的智慧在不同文明各自生长。古希腊欧几里得《几何原本》第二卷命题 5、6 用线段分割给出等价的几何命题，希罗（Heron）则用纯算术的近似开方；印度婆罗摩笈多（Brahmagupta，628 年）给出了二次方程的代数解法并允许负根，婆什迦罗（Bhāskara，12 世纪）明确写出「两边开方得两值」。
中国一侧，《九章算术》「少广」章给出了系统的开方术与开立方术：以算筹逐位求出平方根、立方根，本质是 (a + b)2 = a2 + 2ab + b2 的逐位展开——这就是配方法在数值上的化身。北宋贾宪的「增乘开方法」（约 1050 年）把这一算法推广到任意高次，南宋秦九韶《数书九章》（1247 年）更用它求解次数高达十次的方程，例如「遥度圆城」一题导出的十次方程，他给出精确到个位的正根。
这里出现了本书的第一个关键对照：中国古代算法能算任意高次方程的数值根（近似解），花拉子米能给出二次方程的公式。数值根与公式是两件事——三次方程的公式要再等六百年，五次方程的公式则永远不会来。
一步一图：本页图 绪-1 是全书出现的第一个图示，它要说明的事很简单——「配方」不是代数技巧，而是把缺掉的一角补成正方形。第三编里同一个动作会以「域的二次扩张」的面目再次出现。
一句话直觉。花拉子米做了一件前无古人的事：把「解方程」从一道道算术题里抽出来，变成一门有名称、有分类、有系统解法的学科。
公元 820 年前后，阿拔斯王朝的学者花拉子米（Muḥammad ibn Mūsā al-Khwārizmī）写成《还原与对消计算概要》（拉丁转写 al-Kitāb al-mukhtaṣar fī ḥisāb al-jabr wa-l-muqābala）。书名里的两个词就是他的两项基本操作：
还原（al-jabr）。把方程一侧被减去的量移到另一侧：如 x2 = 40x − 4x2 通过「还原」化为 5x2 = 40x。
对消（al-muqābala）。消去两侧同类的项或约去公因子：上例化为 x2 = 8x，进而 x = 8。
书名中的 al-jabr 后来随拉丁译本进入欧洲语言，先变作 algebra（代数），再衍生出 algoritmi（算法）——今天数学与计算机科学里最常用的两个词，都来自这一本书。花拉子米把二次方程整理成六类（平方等于根、平方等于数、根等于数、平方加根等于数，等等），逐一给出代数解法与几何证明两条路线，并且只接受正系数、只取正根——负数与零系数在他看来还是需要绕开的东西。
他的代表作是方程 x2 + 10x = 39。代数上：他令根为 x，取一半系数得 5，平方得 25，加上 39 得 64，开方得 8，减 5 得 x = 3。这套「取一半、平方、加、开方、减」正是配方法的机械版本，用今天的记号就是
x = √((b/2)2 + c) − b/2 （对 x2 + bx = c，b, c > 0）
几何上，他把 x2 + 10x 画成「边长 x 的正方形＋两条宽 5 的条带」，再补上角上的方块 25，得到一个边长 x + 5 的大正方形，其面积为 39 + 25 = 64，于是边长 8，x = 3。这就是图 绪-1 的同一件事：代数操作「补一个 (b/2)2」在几何上是「补一个角上的小方块」。
从花拉子米这里，我们应当记住三个后来会反复出现的要点：
史料提示：花拉子米的六类方程之所以要分六类，是因为他没有负数与符号运算；每一类都要单独给出配方算法与几何证明。这种「逐类处理」的写法今天看来笨重，却恰好暴露了后来的一大转折点——符号化。韦达（Viète，1591 年）之后，x2 + bx = c 一行就能覆盖六类，公式才可能被写成「一个式子」。
一句话直觉。三次方程的公式诞生于一场学术赌局，它的公开出版则伴随着一场持续二十年的争吵——这段历史里，数学的胜利与人的弱点混在一起。
故事的主角有四位。博洛尼亚的德尔·费罗（Scipione del Ferro，1465–1526）最早解出了 x3 + px = q（今天写作 x3 + px = q，其中 p, q > 0）——时间大约在 1510 年前后。他未发表，只在临终前把方法传给了学生菲奥尔（Antonio Maria Fior）。第二个人是威尼斯的口吃教师塔塔利亚（Niccolò Fontana，1499/1500–1557）——「Tartaglia」是他的绰号，意思是「口吃者」：他少年时被法国士兵砍伤面部，从此言语不清，自学成才。第三个人是卡尔达诺（Girolamo Cardano，1501–1576），医术与占星术大师、赌徒、自传作家，当时欧洲最负盛名的学者之一。第四个人是卡尔达诺的仆人兼门生费拉里（Lodovico Ferrari，1522–1565），四次方程的解法出自他手。
1535 年 2 月 22 日，菲奥尔与塔塔利亚在威尼斯公开赌赛，各出三十题。塔塔利亚在赛前的 2 月 12–13 日夜之间独立推出 x3 = px + q 的解法，赛场上半小时内解出对方全部三十题，而菲奥尔一题未解——因为菲奥尔只会 x3 + px = q 一种情形。
1539 年，卡尔达诺以「把引荐给米兰总督」为条件，求塔塔利亚传授方法。塔塔利亚最终以一首 25 行的三行诗（terzine）把规则相授，但没有给出证明，并要卡尔达诺发誓保密。卡尔达诺继续钻研，补齐了证明，并弄清了更早的出处：他到博洛尼亚拜访德尔·费罗的女婿纳维（Nave），见到德尔·费罗的笔记，证实这一方法早在塔塔利亚之前就由德尔·费罗发明。于是 1545 年，他在《大衍术》（Ars Magna，全名《大衍术，或论代数规则》）第十一章中以「德尔·费罗—塔塔利亚方法」之名公开了它。
塔塔利亚的愤怒可以想见：一场持续数年的公开论战由此展开，其中最难看的一幕发生在 1548 年——塔塔利亚与费拉里在米兰公开辩论，塔塔利亚败退，此后学术声誉渐衰。而《大衍术》成为近代代数的第一块基石：它第一次把三次与四次方程的完整解法摆在了欧洲面前。
公式的形状（历史形态）。由于当时不承认负数，德尔·费罗与塔塔利亚的解法要分成若干情形分别处理，例如：
情形 A（x3 + px = q，p, q > 0）：x = ∛(q/2 + √((q/2)2 + (p/3)3)) + ∛(q/2 − √((q/2)2 + (p/3)3))。
把 ± 换一下（x3 = px + q）就是塔塔利亚在赌局中用的那一式。两个式子的和与积恰好满足 u3 + v3 = q、3uv = p，而 x = u + v——这一「设两数之和为根」的技巧，就是后来一切三次、四次解法的种子，我们会在第一编把它彻底拆开。
一个被历史掩埋的细节：公式里出现平方根号内的平方根。当 (q/2)2 + (p/3)3 < 0 时，被开方的是负数——三次方程只有实根时，公式却要求我们走进「不可能的数」。这一情形（casus irreducibilis）在第一编第 8 页与第二编、综合站将三次出场。
一句话直觉。费拉里发现：只要把四次方程凑成一个平方等于平方的形状，开一次方就把四次变成两个二次——这就是「降次」，而它需要先解一个三次方程。
1540 年前后，卡尔达诺提出了一个四次方程，随后他的学生费拉里给出了解法，1545 年一并载入《大衍术》。思路只有两步，但两步都精妙：
于是「解四次方程」被归约到「解一个三次方程」。此后三百年，问题就变成了同一个模式：解 n 次方程，能否归约到解更低次的方程？对 n = 3, 4，答案是能；对 n = 5，答案是不能，而这正是阿贝尔–鲁菲尼定理的内容。
把 3 与 4 的成功原因说得更准确一点。设方程的根为 x1, ⋯, xn，那么任意交换两个根并不改变系数——系数是根的对称函数。三次、四次解法的实质是：把根的某个精心挑选的函数（例如 u = x1 + ωx2 + ω2x3）在全部 n! 个置换下取到的值数成一个更小的数（三次是 2，四次是 3），这个小对象就是「预解式」。当 n = 5 时，最聪明的挑选也压不到 4 以下——这一步的直觉，是第一编第 19–21 页的正题。
术语预告：本页出现的「预解式」（resolvent）是连接古典解法与现代群论的关键词。Lagrange 1770 年把它抽象化，Ruffini 与 Abel 用它做不可能性证明，Galois 则把它换成了今天的形式——一个群。
一句话直觉。从《大衍术》（1545）到阿贝尔（1824）近三百年，最强的数学家都在找五次公式；失败的原因不是不够聪明，而是那东西根本不存在——而证明这一点需要全新的数学。
这三百年的努力可以分成三类：
真正的转折由三代人完成：
此后半个世纪，Jordan 的《置换论》（1870）与后来的教科书把 Galois 的思想整理成人人可学的形态，今天我们称之为Galois 理论。而三次、四次公式的历史，加上鲁菲尼、阿贝尔、伽罗华的三代证明，构成了这本小册子的全部材料。
一句话总结这一千年：方程能不能解，不取决于我们多想解出它，而取决于它的根有多「对称」。二次的对称性只有两种排列，三次四种、四次二十四种中可压缩成少数几个值，而五次的一百二十种排列压缩不动了——这句话的严格版本，是全书第三编要证明的定理。
一、时间线（一圈看完一千年）。
二、三编的次序与逻辑依赖。本书的编排遵循「先看能解的样本，再看攻坚的历史，最后补上证明的工具」：
三、三条线索的用法。
开始之前的一个提醒：本书会反复使用「置换」「群」「域」三个词。它们在第三编才被正式定义，但第一、二编已经要靠它们说话。折中办法是：第一、二编里凡出现这三个词，都在方括号里给出当页够用的直观解释（例如「群＝一组可以相乘的对称操作，封闭且有逆」）；到第三编再换成严格定义。这样不必提前学抽象代数，也不会读到含混的话。
要证明「五次解不出」，先得弄清「四次为什么解得出」。这不是修辞：鲁菲尼与阿贝尔的不可能性证明，恰好是对三、四次解法的反向利用——把他们成功的机制拆开，找到它必然失败的门槛。本编的任务，就是把二、三、四次的解法从历史故事还原成可检验的机械步骤，并从每一步里提炼出「对称性」的线索。
本编的路线：
两点约定。其一，凡方程我们都先化成「首一」（最高次系数为 1）的形式——除以最高次系数即可，这不改变根，也不改变可解性。其二，本编允许使用复数（第二编之后它们的地位会更清楚：根总在 ℂ 里），但所有推导都保持代数恒等式，不借助连续性或极限。
本编所需预备：初中代数（配方、韦达定理）、复数的四则运算。任何一步涉及新记号，页内当处解释。
一句话直觉。配方法不是「背公式」，而是三步固定的动作：把一次项的一半塞进平方里、把常数项搬到另一侧、开方。每一步都值得记住，因为三次、四次解法是这三步的高维重演。
问题。解首一二次方程 x2 + bx + c = 0（系数 b, c 在基域 F 中，如 ℚ）。
于是求根公式与判别式同时诞生：
命题 1.1（求根公式与判别式）。x2 + bx + c = 0 的两根为 x1,2 = (−b ± √Δ)/2，其中 Δ = b2 − 4c。两根相等 ⟺ Δ = 0；在 ℝ 上有实根 ⟺ Δ ≥ 0。
三步解剖里有一步值得放慢：第二步「补角」用到了恒等式
(x + b/2)2 = x2 + bx + (b/2)2
它是「2ab 项」的来源：一次项 bx 恰是平方展开式的中间项，所以补上方块后必然收进平方。到三次方程时，我们将再一次「取一半」——但那里的中间项不止一个，于是必须引入两个未知数 u, v 与一个约束 3uv = −p（见第 15 页）：四次则是「取三个未知数」（第 24 页）。配方思想的每一次升级，都是多开一个未知数、多加一个约束。
语言预告：第二步之后的域是 F(√Δ)——比 F 至多多出一层平方根。用第三编的语言：二次方程的 Galois 群只有两个元素（恒等与换位），它可解，因为 2 元群没有真正的「结构」可言。这一句现在可以当口号读。
一句话直觉。系数是根的对称函数；反过来，根的一切「对称信息」也都藏在系数里。这条双向通道是韦达定理的内容，也是全书一切解法的地基。
命题 1.2（韦达定理，二次）。设 x2 + bx + c = (x − x1)(x − x2)，展开比较系数得
x1 + x2 = −b， x1x2 = c
和与积都是根的对称函数：交换 x1 与 x2，它们不变——这正与「交换两根不改变系数」相呼应。
由韦达定理立即得到判别式的另一种面目：
(x1 − x2)2 = (x1 + x2)2 − 4x1x2 = b2 − 4c = Δ
也就是说：判别式是两根之差的平方。它有一个深刻的性质——交换两根时 (x1 − x2)2 不变（平方吃掉了符号），但它的平方根 x1 − x2 要变号。这正是「二次方程必须开一次平方」的对称性根源：
韦达定理还有第二用途：检验。任何解法给出的根，都应满足两根之和为 −b、之积为 c；三次、四次同理由根与系数的比较给出检验清单（第 19 页例题将反复用到）。
一步一图的伏笔：第 13 页有一张「两根互换」的示意图。现在只需记住：二次方程的根式解 ＝ 一次开方 ＋ 破一个 2 元对称。
一句话直觉。把「交换两根」当成一个操作，二次方程的全部结构可以用两句话说完：只有两个根、只有两种排法。破这个对称只用一个 √Δ。
设 x1, x2 是 x2 + bx + c = 0 的两根。所有可能的「排法」只有两种：(x1, x2) 与 (x2, x1)。记 e 为「不换」、τ 为「交换」，则 τ2 = e——连做两次交换等于不交换。集合 {e, τ} 带上「相继作用」这个运算，就构成全书遇到的第一个群（直观版定义：一组封闭、可结合、有单位元与逆元的操作；第三编第 76 页给出严格定义）。
在这个二元的舞台上再看求根公式，一切都透明了：
本页与第 11、12 页合起来，是全书的一次预演：解方程 ＝ 破解根的对称性；开方 ＝ 破解对称性的工具。三次方程里，同样的故事要热闹得多——对称群有 6 个元素，需要先把它们「压缩」成 2 个，这正是 Cardano 公式里两层根号的来历。
一个可以立刻自测的小题：在 x2 − 2 = 0 中，√Δ = x1 − x2 = 2√2，而 ℚ(√Δ) = ℚ(√2) 恰是两根所在的最小域。配方、开方、扩域，三件事在同一个例子里重合。
一句话直觉。任何三次方程都可以先「平移」掉二次项；剩下的形状 y3 + py + q = 0 只有两个参数——二次项的去留，决定了后续一切推导的简繁。
命题 1.3（消去二次项）。对 x3 + ax2 + bx + c = 0，令 x = y − a/3，展开后二次项恰好消失：
y3 + py + q = 0， p = b − a2/3， q = 2a3/27 − ab/3 + c
为什么取 −a/3？设 x = y + s 展开，二次项系数是 3s + a；令其为零即 s = −a/3。用韦达定理看更透：三根之和 x1 + x2 + x3 = −a，平移 −a/3 恰好把「平均根」挪到原点，使新三根之和为零。这个动作在四次方程里是「平移 −a/4」（第 23 页），在一般的 n 次方程里是「平移 −an−1/n」——契恩豪斯与 Bring 的化简就是它的加强版（综合站挑战五）。
平移后的方程叫缺二次项的三次方程（depressed cubic，历史上称「简化三次方程」）。它的求解要点在于对形状的观察：
观察二里的约束 3uv = −p 正是「取一半」的推广：二次配方里我们把一次项 bx 认作平方展开的中间项；三次这里我们把一次项 py 认作 3uv(u+v) 的中间项。历史的原貌也是这样：德尔·费罗与塔塔利亚的两条规则（x3 + px = q 与 x3 = px + q）只是因为不许出现负系数才分成两式，本质是同一个。
一句话预览下一页：两个方程解两个未知数，中间会经过一个二次方程——它就是三次方程的「预解式」。三层根号（外层两个立方根、内层一个平方根）将从这里长出来。
一句话直觉。把根拆成两半 y = u + v，用「约束 uv」把两个未知数的关系变成一个二次方程——这就是 Cardano 公式的全部推导。
命题 1.4（Cardano 公式）。对 y3 + py + q = 0，令
u = ∛(−q/2 + √(q2/4 + p3/27))， v = ∛(−q/2 − √(q2/4 + p3/27))
且取 uv = −p/3 的立方根分支，则 y = u + v 是方程的根。
推导。设 y = u + v，代入：
0 = (u + v)3 + p(u + v) + q = u3 + v3 + (3uv + p)(u + v) + q
添加约束 3uv + p = 0，则只需 u3 + v3 = −q。现在两个未知数满足
u3 + v3 = −q， u3v3 = (uv)3 = (−p/3)3 = −p3/27
由韦达定理（反向使用），u3 与 v3 是二次方程 t2 + qt − p3/27 = 0 的两根，故
t = −q/2 ± √(q2/4 + p3/27)
取平方根即得命题中的 u, v。反向验证也顺理成章：这样取的 u, v 满足 u3 + v3 = −q；再从三个立方根中选出满足 uv = −p/3 的配对（三个 u 配三个 v，恰有一组满足约束），则 y = u + v 代入方程即为零。∎
校验提示：由韦达定理，三根之和应为零（缺二次项）、两两乘积之和应为 p、三根之积应为 −q。第 19 页例题一将逐项核对。
一句话直觉。Cardano 公式内层那个平方根的符号，恰好把三次方程分成三种根型——这一个量就是三次方程的判别式。
定义 1.5（三次判别式）。对 y3 + py + q = 0，记
Δ = −4p3 − 27q2
它等于三根两两之差的平方之积（的负一倍约定相反，见下）：Δ = ∏i<j(yi − yj)2。
因为 q2/4 + p3/27 = −Δ/108，Cardano 公式内层的平方根与 Δ 恰好反号。于是有完整的对应表：
| Δ 的符号 | 根型（在 ℝ 上） | 公式内层的开方 | 历史名称 |
|---|---|---|---|
| Δ > 0 | 三个互异实根 | √(负数)——必须进入虚数 | casus irreducibilis（不可约情形） |
| Δ = 0 | 有重根（全实） | √0，可开尽 | 临界情形 |
| Δ < 0 | 一实根＋一对共轭虚根 | √(正数)，可开尽 | 可约情形 |
两个方向的解读都值得记住。正向：拿到系数先算 Δ，方程的根型当页可判——这是「判别式」名字的由来。反向：Δ > 0（三实根）时公式反而最「难看」，被开方数是负的；Δ < 0（有虚根）时公式反而全程实数。这种「实根最需要虚数」的倒错，就是下一页的主角。
对一般的（未消二次项的）三次方程 x3 + ax2 + bx + c = 0，判别式有完整公式
Δ = a2b2 − 4b3 − 4a3c − 27c2 + 18abc
它由 p, q 的表达式代回 −4p3 − 27q2 展开而得；平移不改变两两根差，故两者一致。这个符号约定（Δ = ∏(yi − yj)2）对任意次数都成立——第三编第 100 页会用它读出方程的 Galois 群信息。
本页无图，但表格背下来：三种根型 × 公式形态，是贯穿第一编与综合站的「三次方程地图」。
一句话直觉。最「无害」的三次方程——三个明明白白的实根——反而逼着公式走进虚数。这不是巧合，而是必然。
经典例子（Bombelli 1572 年所举）：解 x3 = 15x + 4。这里 p = −15、q = −4，判别式 Δ = −4p3 − 27q2 = 13500 − 432 = 13068 > 0——三个实根。观察即知 x = 4 是一根，另两根为 −2 ± √3。
按公式算：q2/4 + p3/27 = 4 − 125 = −121，于是
x = ∛(2 + √−121) + ∛(2 − √−121) = ∛(2 + 11i) + ∛(2 − 11i)
左端明明是实数 4，右端却由两个「不存在的数」拼成。1545 年 Cardano 在《大衍术》里已经撞见过类似情形（他举过「把 10 分成两部分使积为 40」的例子，答数 5 ± √−15，他写下它又宣布「置之不理，因为既不精巧又无用处」）。到 1572 年，Bombelli 决定不再绕开它。
定理 1.6（Wantzel，1843）。在 casus irreducibilis（Δ > 0）情形，三个实根不可能只用实数的根式（系数经四则运算与开实方）表示；任何根式表达式都必然经过虚数。
换句话说：虚数在这里不是「方便的技巧」，而是必经之路。这条定理的证明是 Galois 理论的标准应用（第三编第 103 页给出），它也是历史上第一次有人证明「某种表达式不存在」——比五次不可解的证明早了约二十年思路上的准备，且用的是同一套机器。
读史提示：正是因为这个悖论，虚数才从「代数游戏里的怪东西」变成「不得不认真的对象」。第二编会看到，Abel 的证明同样诞生于「认真对待不可约情形」的传统。
一句话直觉。Bombelli 的天才不在于发明了虚数，而在于发明了虚数的运算法则——让「不可能的量」像数一样参与计算，并且算出了正确的答案。
拉法埃莱·邦贝利（Rafael Bombelli，1526–1572），博洛尼亚工程师，1572 年出版《代数》（L'Algebra）。面对 ∛(2 + 11i) 这种「两头不是人」的量，他做了一个勇敢的假设：先按乘法分配律硬算。他设立方根可以写成 a + bi 的形状，逐一试小整数：
演算（Bombelli 原型）。试 (2 + i)3：先 (2 + i)2 = 4 + 4i + i2 = 3 + 4i，再乘 (2 + i)：(3 + 4i)(2 + i) = 6 + 3i + 8i + 4i2 = 2 + 11i。故 ∛(2 + 11i) = 2 + i；同理 ∛(2 − 11i) = 2 − i。两者相加，虚部相消：
x = (2 + i) + (2 − i) = 4 ✓
虚部在求和时消失、实部留下正确的根——Bombelli 称之为「一种 Wild Thought（疯狂的念头）」，但他同时给出了完整的运算法则：今天复数加法、乘法的规则在《代数》中已具雏形。他还在书中区分了「正的负之负」（+i）与「负的负之负」（−i），并明确写出运算法则表。
这段历史对本书的意义有三层：
一个常见的误解要拆掉：有人说 casus irreducibilis 说明「公式失败了」。恰恰相反——公式成功了，只是它诚实地暴露了实数系本身的不完备：三个实根的最小「公式世界」必须比实数大。第三编将把这句话精确化：那三个实根落在 ℝ 里，但任何根式塔都必经 ℂ。
三个方程、三种根型，把 Cardano 公式的每个动作在手上演一遍。验算一律用韦达定理（三根之和为零、两两乘积之和为 p、三根之积为 −q）。
例 1（三实根，必须过虚数）。解 x3 = 15x + 4。
解。p = −15、q = −4。预解二次方程 t2 + qt − p3/27 = 0 即 t2 − 4t + 125 = 0，故 t = 2 ± √−121 = 2 ± 11i。试出 (2 + i)3 = 2 + 11i（第 18 页），取 u = 2 + i、v = 2 − i，检验约束 uv = 5 = −p/3 ✓。于是 x = 4。另两根由分支配对给出：uω, vω2 之和、uω2, vω 之和，即 −2 ± √3。验算：三根之和 4 + (−2 + √3) + (−2 − √3) = 0 ✓，两两乘积之和 4(−2+√3) + 4(−2−√3) + (−2+√3)(−2−√3) = −16 + 1 = −15 = p ✓，三根之积 4 × 1 = 4 = −q ✓。
例 2（一实两虚，全程实数运算）。解 x3 + 6x = 20（《大衍术》第十一章的名例）。
解。p = 6、q = −20，Δ = −4·216 − 27·400 < 0，一实两虚。预解式 t2 − 20t − 8 = 0，t = 10 ± √108 = 10 ± 6√3。取 u = ∛(10 + 6√3)、v = ∛(10 − 6√3)，约束 uv = ∛(100 − 108) = ∛−8 = −2 = −p/3 ✓。实根 x = u + v = 2（验证 8 + 12 = 20 ✓）。数值上 u ≈ 2.7311、v ≈ −0.7311，和恰为 2。虚根由韦达定理补出：设虚根为 a ± bi，则三根之和为零给出 2 + 2a = 0，故 a = −1；两两乘积之和为 p 给出 2(a+bi) + 2(a−bi) + (a2+b2) = 4a + a2 + b2 = b2 − 3 = 6，故 b = 3。虚根为 −1 ± 3i；验三根之积 2((−1)2 + 9) = 20 = −q ✓。
例 3（重根，分支的妙用）。解 x3 − 3x + 2 = 0。
解。p = −3、q = 2，Δ = 108 − 108 = 0，有重根。预解式 t2 + 2t + 1 = (t + 1)2，故 u3 = v3 = −1。主分支 u = v = −1 给 x = −2 ✓（−8 + 6 + 2 = 0）。重根藏在分支里：取 u = −ω、v = −ω2，约束 uv = ω3 = 1 = −p/3 ✓，得 x = −(ω + ω2) = 1；同样配对再得一次 1。故三根 1, 1, −2，与分解 x3 − 3x + 2 = (x − 1)2(x + 2) 一致。∎
例 2 的完整验算：三根 2, −1+3i, −1−3i——和 2 + 2(−1) = 0 ✓；两两乘积之和 2(−1+3i) + 2(−1−3i) + ((−1)2+32) = −4 + 10 = 6 = p ✓；总积 2 × 10 = 20 = −q ✓。韦达定理是「自动验算机」：任何一个根算错，三行之内必然露馅。
本页练习「先判后解」的工作流：拿到方程，先算 Δ 定根型，再决定用公式还是先找有理根。
例 4（先判后解，Δ > 0）。判定 x3 − 3x + 1 = 0 的根型，并说明为什么「找不到有理根」是意料之中。
解。p = −3、q = 1，Δ = −4(−27) − 27 = 81 > 0：三个互异实根，落入 casus irreducibilis。有理根只可能是 ±1（常数项的因子），代入都不为零，故三根均无理。这个方程是最著名的「三实根但无简单表达式」的标本：它的三根是 2cos(2π/9), 2cos(4π/9), 2cos(8π/9)（用三倍角公式 cos 3θ = 4cos3θ − 3cos θ 验证），而任何根式表达式都必须经过虚数（定理 1.6）。
例 5（Δ < 0，公式全程实数）。解 x3 + 2x + 1 = 0 的实根并判定虚根。
解。Δ = −4·8 − 27 = −59 < 0：一实两虚。预解式 t2 + t − 8/27 = 0，t = −1/2 ± √(1/4 + 8/27) = −1/2 ± √(59/108)，u = ∛(−1/2 + √(59/108))、v = ∛(−1/2 − √(59/108))，实根 x = u + v ≈ ∛(0.2403) + ∛(−1.2403) ≈ 0.6216 − 1.0749 ≈ −0.4534。验证：(−0.4534)3 + 2(−0.4534) + 1 ≈ −0.0932 − 0.9068 + 1 ≈ 0 ✓。虚根由韦达定理读出：和为 0.4534、积（两虚根之积）为 1/x 的实部补足——留下按例 2 的步骤完成。
例 6（Δ = 0，重根的两种读法）。判定 x3 − 12x + 16 = 0 的根并分解。
解。Δ = −4(−1728) − 27(256) = 6912 − 6912 = 0：有重根。试有理根：x = 2：8 − 24 + 16 = 0 ✓。做综合除法得 x3 − 12x + 16 = (x − 2)(x2 + 2x − 8) = (x − 2)2(x + 4)，三根 2, 2, −4。注意 Δ = 0 的信息与分解的读法一致：判别式为零 ⟺ 多项式与它的导数有公共根（导数 3x2 − 12 = 3(x − 2)(x + 2) 与原式公共根 2）。∎
工作流小结：①算 Δ；②Δ = 0 时先找有理根做降次；③Δ > 0 时先找有理根（如例 1 的 4），找不到就接受「公式必过虚数」；④Δ < 0 时公式全程实数，虚根用韦达定理补出。这个流程在程序里就是实验一的内容（第 34 页）。
练 1.把 x3 − 6x2 + 11x − 6 = 0 化为缺二次项的三次方程（写出 p, q），并验证原方程的根 1, 2, 3 平移后之和为零。
作代换 x = y + 2（即 −a/3 = 2）：展开得 y3 − y = 0，故 p = 11 − 12 = −1、q = 2(−6)3/27 − (−6)(11)/3 + (−6) = −16 + 22 − 6 = 0。核对：三根 1, 2, 3 平移后为 −1, 0, 1，方程即 y(y − 1)(y + 1) = y3 − y，与命题 1.3 的公式相符。
练 2.用 Cardano 公式解 x3 = 6x + 6，并把根写成 ∛a + ∛b 的形式；再证明这三个根都不是有理数。
p = −6、q = −6：预解式 t2 − 6t + 8 = 0，t = 2, 4，u = ∛2、v = ∛4，约束 uv = ∛8 = 2 = −p/3 ✓，主根 ∛2 + ∛4。另两根乘 ω 配对。无理性：∛2 无理（否则其立方是有理数的立方），两无理数之和仍可能无理——反设有理 r，则 ∛4 = r − ∛2，立方整理得 ∛2 满足一次有理方程，矛盾。
练 3.证明：对 y3 + py + q = 0，若 p, q 为有理数且方程有有理根，则 Cardano 公式内层的开方可以约去——即预解式的两根中至少一个是完全立方。
设 y1 为有理根，则因三根之和为零、y2y3 = −p − y1y2 − y1y3 的共轭结构，虚根成共轭对 a ± bi。取 u3, v3 的表达式直接代入验证；更快的做法：此时预解二次方程的两根之积 −p3/27 是有理立方，若两根都是有理数则分别是「有理数的立方 ⟺ 本身形如 s3」——论证补全。
练 4.用判别式直接判定 x3 − 7x + 6 = 0 的根型，然后找出它的三个根（都是有理数！）。
Δ = −4(−343) − 27·36 = 1372 − 972 = 400 > 0，三实根。有理根候选 ±1, ±2, ±3, ±6：试出 x = 1, 2, −3。检验韦达：和为零 ✓、两两积之和 2 − 3 − 6 = −7 ✓、积 −6 = −q ✓。有趣的是：Δ > 0 且三根全有理——定理 1.6 说「根式表达式必过虚数」，但这里根本不需要根式！两者的相容性正是「一般」与「具体」的分野（第三编第 98 页揭晓）。
练 5（挑战）.证明恒等式 (2 + i)3 = 2 + 11i 的「逆」：求所有满足 (a + bi)3 = 2 + 11i 的整数对 (a, b)，并解释为什么 Bombelli 只需试小整数。
取模长：(a2 + b2)3 = |2 + 11i|2 = 125 = 53，故 a2 + b2 = 5：只有 (±1, ±2), (±2, ±1)。逐一试即得 (2, 1)。「先看模长再试小整数」的套路，正是虚数把「找立方根」变成有限搜索的第一例。
练 6.推导一般三次方程 x3 + ax2 + bx + c = 0 的判别式展开式（第 16 页给出的五项式），并用于判定 x3 − 3x2 + 3x − 1 = 0。
把 p = b − a2/3、q = 2a3/27 − ab/3 + c 代入 −4p3 − 27q2，耐心展开合并。示例方程即 (x − 1)3 = 0，三重根，应得 Δ = 0——用展开式验证。
练 7.设 ω = (−1 + √−3)/2。验证 ω3 = 1、1 + ω + ω2 = 0，并用它们证明：Cardano 公式的三个分支组合
yk = ωku + ω2kv （k = 0, 1, 2）
之和为零、两两乘积之和为 p、总积为 −q。
和：系数 1 + ω + ω2 = 0。两两积：展开 (y0y1 + y1y2 + y2y0)，用 ω3 = 1 与 uv = −p/3 逐项归并。总积：y0y1y2 = (u3v3)(ω·ω2)2·(1+ω+ω2) 的展开技巧——或直接用 (a+b)(a+ωb)(a+ω2b) = a3 + b3。
练 8.证明：若 p > 0，则 y3 + py + q = 0（实系数）恰有一个实根，且 Cardano 公式内层的开方数必为正。
f(y) = y3 + py + q 严格递增（导数 3y2 + p > 0），故恰一实根；判别式 Δ = −4p3 − 27q2 < 0，即 q2/4 + p3/27 = −Δ/108 > 0。
练 9.塔塔利亚的原始诗诀处理的是 x3 + px = q。把它与本书的 y3 + py + q = 0 版本对齐（注意符号约定），并解释为什么当年必须分情形。
x3 + px = q 即 x3 + px − q = 0，取 q本书 = −q诗诀。当年无负数概念，x3 = px + q 与 x3 + px = q、x3 + q = px 是三种「不同的方程」，各需独立的公式与几何证明。
练 10（挑战）.证明：三个实根的三次方程 y3 + py + q = 0，其三个根都落在区间 [−2√(−p/3), 2√(−p/3)] 内（当然要求 p < 0）。
三倍角替换 y = 2√(−p/3)·cos θ 把方程化为 cos 3θ = 3q/(2p)·√(−3/p)；三实根 ⟺ 右端在 [−1, 1] 内（这等价于 Δ > 0）。三角形式的解正是「根都落在那个区间」的直接原因——它也是第三编证明定理 1.6 的出发点之一。
一句话直觉。把四次方程的两边各凑成一个完全平方，开一次方得到两个二次方程——凑平方所缺的参数，由一个三次方程供给。
命题 2.1（消去三次项）。对 x4 + ax3 + bx2 + cx + d = 0，令 x = y − a/4，三次项消失，得
y4 + py2 + qy + r = 0
Ferrari 的两步。把上式写成
(y2 + p/2)2 = −qy − r + p2/4
左端已是平方。在两侧同加 2t(y2 + p/2) + t2（t 是待定参数），左端成为
(y2 + p/2 + t)2 = 2t·y2 − qy + (t2 + pt + p2/4 − r)
若右端也是 y 的完全平方，则可开方。右端是二次三项式，它为完全平方 ⟺ 判别式为零：
q2 − 8t(t2 + pt + p2/4 − r) = 0
整理得 Ferrari 预解三次方程：
4t3 + 4pt2 + (p2 − 4r)t − q2/2 = 0
用 Cardano 公式解出它的任一根 t，则右端 = 2t(y − q/(4t))2，两边开方：
y2 + p/2 + t = ±√(2t)·(y − q/(4t))
这是两个二次方程，各给两根，合计四个根。降次链条由此完整：四次 → 三次 → 二次 → 开方。
第 26 页例 A 将把 x4 − 2x2 − 8x − 3 = 0 走完全程：预解式 4(t3 − 2t2 + 4t − 8) = 4(t − 2)(t2 + 4)，t = 2，两个二次方程给出全部四根。
一句话直觉。Ferrari 的「凑平方」还有另一种面貌：把四次式直接分解成两个二次式之积。两个方法推出同一个预解三次方程——这不是巧合，是同一份对称性的两种读法。
命题 2.2（Euler–Descartes 分解法）。对缺三次项的四次式
y4 + py2 + qy + r = (y2 + uy + v)(y2 − uy + w)
展开比较系数：
v + w − u2 = p， u(w − v) = q， vw = r
令 s = u2，则 v + w = p + s、w − v = q/u，代入 vw = r 得 Euler 预解三次方程：
s3 + 2ps2 + (p2 − 4r)s − q2 = 0
解出 s（取任一根，u = √s），即得 v, w，两个二次方程随之解出。
两法同源。令 s = 2t，Euler 预解式恰是 Ferrari 预解式的两倍——两个推导殊途同归。用今天的语言说：它们都在测量同一组「根的配对和」，只是取的函数不同（第 25 页把这句话说破）。
分解法的风格与 Ferrari 略有不同：Ferrari 是「分析」（先把方程变成可开方的形状），分解法是「构造」（直接设出因式分解的形状，让未知数自动聚成一个三次方程）。构造法在思想史上更重要：它是 Lagrange 统一理论的出发点——「解方程」变成了「找合适的预解函数」。第二编将看到，正是这个出发点，最后长成了 Galois 的群。
一个特例值得留意：q = 0 时（双二次方程 y4 + py2 + r = 0），预解式为 s(s2 + 2ps + p2 − 4r) = 0，恒有根 s = 0——这对应 u = 0、直接按 y2 的二次方程解。双二次方程「显然可解」，在群论里对应「它的 Galois 群落在四元群里」（下一页）。
一句话直觉。四个根有三种「两两配对」的方式；每一种配对方式给出一个预解量，三个量恰好是预解三次方程的三个根。四元群 V4 就是由「同时保住这三个量」的置换组成的。
设四根为 x1, x2, x3, x4。四个根能且仅能分成两对，共三种分法：
{12, 34}， {13, 24}， {14, 23}
对每种分法取「两对的乘积之和」，得三个预解量：
u1 = x1x2 + x3x4， u2 = x1x3 + x2x4， u3 = x1x4 + x2x3
命题 2.3（Euler 预解量的命运）。u1, u2, u3 在全部 24 个置换下的取值至多 3 种（24 个置换分成 3 组、每组 8 个），且它们恰为预解三次方程 s3 + 2ps2 + (p2 − 4r)s − q2 = 0 的三个根。
这正是第 28 页「次数账」的第一笔实账：24 个置换被压缩成 3 个值。压缩的机制值得看清楚——把 24 个置换按「它把配对方式 {12,34} 打成哪一种」分类，24 个置换分成三堆，每堆 8 个；同一堆里所有置换对 u1 的作用结果相同。特别地，保持三个量都不动的置换恰有 4 个：
e， (12)(34)， (13)(24)， (14)(23)
定义 2.4（四元群）。上述四个置换组成的集合 V4（Klein 四元群）对复合封闭、每个元素自逆，构成 24 元全对称群 S4 的一个子群；它还是「正规」子群（第三编定义），因为按配对方式分类这件事本身不受置换影响。
现在，四次方程的整个解法可以一眼看穿：
伏笔：把「预解量的取值个数」与「子群的大小」挂钩的观察，Lagrange 在 1770 年已经写下了大意；它失败在五次——S5 的 120 个置换再也压不出一条「每步指数为素数」的链，因为 A5 没有非平凡正规子群（第三编第 91 页）。第二编将从历史的角度重走这一步。
例 7（Ferrari 与 Euler 双路全程）。解 x4 − 2x2 − 8x − 3 = 0（已无三次项：p = −2, q = −8, r = −3）。
解（Euler 路）。预解式 s3 − 4s2 + 16s − 64 = (s − 4)(s2 + 16)，取 s = 4，u = 2。于是 v + w = p + s = 2、w − v = q/u = −4，得 v = 3, w = −1，且 vw = −3 = r ✓。分解式
x4 − 2x2 − 8x − 3 = (x2 + 2x + 3)(x2 − 2x − 1)
两个二次方程给出四根 1 ± √2 与 −1 ± i√2。解（Ferrari 路）。预解式 4t3 − 8t2 + 16t − 32 = 4(t − 2)(t2 + 4)，取 t = 2：配平方得 (x2 + 1)2 = 4(x + 1)2，开方得 x2 + 1 = ±2(x + 1)，同样两个二次方程。两路的 s = 2t 在本例中一目了然（4 = 2 × 2）。∎
例 8（含三次项的全程：平移＋预解式）。解 x4 − 2x3 − 7x2 + 8x + 12 = 0。
解。第一步平移 x = y + 1/2（−a/4 = 1/2），展开得 y4 − (17/2)y2 + 225/16 = 0（p = −17/2, q = 0, r = 225/16）。预解式 s3 − 17s2 + 16s = s(s − 1)(s − 16)——三个根 0, 1, 16 全然可读。取 s = 1：u = 1，v + w = p + s = −15/2，w − v = 0，故 v = w = −15/4。分解
y4 − (17/2)y2 + 225/16 = (y2 + y − 15/4)(y2 − y − 15/4)
解之：y = 3/2, −5/2, 5/2, −3/2。平移回去 x = y + 1/2，四根为 2, −2, 3, −1。验算原方程在 x = 2：16 − 16 − 28 + 16 + 12 = 0 ✓；韦达：和 2 − 2 + 3 − 1 = 2 = −a ✓、两两积之和 −4 − 6 + 2 + 6 − 3 − 2 = −7 = b ✓、三积之和 4 + 12 − 8 − 6 = 2？重算——应为 −c = −8：三积之和是 2·(−2)·3 + 2·(−2)·(−1) + 2·3·(−1) + (−2)·3·(−1) = −12 + 4 − 6 + 6 = −8 ✓（上面第一遍漏了项）；总积 2·(−2)·3·(−1) = 12 = d ✓。∎
例 8 的预解式三根 0, 1, 16 各有身份：s = 0 对应 u = 0（q = 0 的影子——平移后恰为双二次）、s = 1 与 s = 16 对应另两种配对方式。预解式的每一个根都是一种「看根的方式」——这正是第 25 页三配对的数值体现。
练 11.把 x4 − 8x3 + 24x2 − 32x + 16 = 0 平移成缺三次项的形式并求解；再解释为什么它的预解式必然有一个零根。
左端是 (x − 2)4：四重根。平移 x = y + 2 得 y4 = 0，p = q = r = 0，预解式 s3 = 0。q = 0 ⟺ 预解式有零根（代入定义式即得）。
练 12.用分解法解 x4 + x2 − 2x + 2 = 0？——先别急：算出预解式后判断它有没有实根，再决定手算还是接受 Cardano。
预解式按命题 2.2 为 s3 + 2s2 + (p2 − 4r)s − q2 = s3 + 2s2 − 7s − 4 = 0。用有理根定理核对 ±1, ±2, ±4：全部不是根，故无有理根；但它确有三个实根（约为 −3.18, −0.68, 1.86），取正根 s ≈ 1.8558 即可完成实系数分解。四根（数值）：0.732 ± 0.593i 与 −0.732 ± 1.311i。本题的意义：无有理根不妨碍根式解——预解式交给 Cardano 即可，这正是「一般公式」的作用。
练 13.证明：缺三次项的四次式 y4 + py2 + qy + r 能分解为两个实系数二次式之积 ⟺ Euler 预解式有非负实根 s。
s = u2 是平方，故需 s ≥ 0；反过来，预解式三次至少有一实根，若该根非负即给出实分解。注意 s = 0 情形（q = 0）要单独讨论。
练 14.四根 x1, ⋯, x4 中，写出置换 σ = (123) 对三个预解量 u1, u2, u3 的作用结果，并据此说明 A4（12 个偶置换）把每个 ui 打到哪个位置。
(123) 把 {12,34} 变成 {23,14} = {14,23}，即 u1 ↦ u3；类似地 u2 ↦ u1, u3 ↦ u2。偶置换在三个量上做偶置换（恒等或 3-轮换），奇置换则把它们打成差（涉及 √ 的量）。预解式的判别式开方恰好给出 A4 这一环——链条 S4 ⊃ A4 ⊃ V4 ⊃ ⋯ 与根号次数的对应在此具体可算。
练 15（挑战）.用本编的机器解 x4 − 4x3 + 6x2 − 4x − 1 = 0，并解释结果为什么「应该」如此。
左端是 (x − 1)4 − 2。平移 y = x − 1 得 y4 − 2 = 0（p = q = 0, r = −2），预解式 s3 + 8s = s(s2 + 8)：零根对应双二次解法 y2 = 2（实部两根），两个虚根 s = ±2√2·i 则「管着」含虚部的两根 1 ± 21/4i。四根为 1 ± 21/4 与 1 ± 21/4i。本题是综合站「单位根与根式解」的预告：四次单位根已经在用根式写出了。
一句话直觉。每个解法都在做同一件事：从根造一个「预解函数」，让它在所有置换下只取少数几个值；取值越少，预解方程的次数越低，方程越容易解。解方程的难度，就是压缩对称性的难度。
把第一编到目前为止的账算一遍。设 f(x) = 0 的 n 个根为 x1, ⋯, xn，全部置换共 n! 个：
| 次数 | 置换总数 | 预解函数 | 取值个数 | 预解方程 | 用掉的根号 |
|---|---|---|---|---|---|
| n = 2 | 2 | x1 − x2 | 2 | t2 − Δ = 0 | √（1 层） |
| n = 3 | 6 | x1 + ωx2 + ω2x3 | 2 | 二次（Cardano 预解式） | √ 与 ∛（2 层） |
| n = 4 | 24 | x1x2 + x3x4 | 3 | 三次（Euler 预解式） | √∛√（3 层） |
| n = 5 | 120 | ？ | ？ | ？ | ？ |
这张表的每一行都对应一条「对称性的分解链」：n = 3 时，6 个置换先按「偶置换／奇置换」分成 3 + 3，预解函数在偶置换群 A3（3 元循环群）下取同一值，换群则换值——两层根号逐层破开 6 → 3 → 1；n = 4 时链是 S4（24）→ A4（12）→ V4（4）→ C2（2）→ 1，三次预解式先跨过最大的一步（24 → 4 的视野），其余由二次方程逐层收尾。
五次的问题第一次在这里显形。要在 S5（120 元）里重复这个故事，需要一条链，每一步的「指数」都不超过预解方程能处理的范围；而历史与实践都表明：能找到的预解函数，取值最少也要 5 或 6 个，且对应的预解方程次数 ≥ 5——用五次方程解五次方程，是循环。这不是找不到巧妙的函数，而是不存在那样的函数。把「不存在」变成定理，需要第二编的三代人与第三编的一套机器。
术语小结：本页的「取值个数」就是 Lagrange 所谓「预解函数的值的数目」；第三编将证明它等于「子群的指数」，而「指数 ≤ 4 的子群链」在 S5 中不存在（因为 A5 单）。三页之后，Lagrange 的原文将把这句话先讲一遍。
一句话直觉。1770—1771 年，Lagrange 做了一次与方法发明家们相反的工作：不看「怎么解」，而问「为什么这些解法能成」。这个问题问出了一个新对象——根的置换——也问出了下一个时代的全部纲领。
约瑟夫–路易·拉格朗日（Joseph-Louis Lagrange，1736–1813）的长文《关于代数方程解法的思考》（Réflexions sur la résolution algébrique des équations，柏林，1770–1771）做了四件事：
Lagrange 还差三步才到终点：他没有把「置换的集合」当成独立的研究对象（他的「群」还是隐形的）；没有证明「找不到」就是「不存在」；也没有为一般方程的系数域建立模型。补齐这三步的分别是 Ruffini（部分）、Abel（完全）、Galois（用新的语言）。
同期还有一位几乎被遗忘的同路人：范德蒙（Vandermonde，1771）独立地对根的对称函数做了类似的计数，甚至在个别具体方程上走到了对称群思想的大门口。但范德蒙没有追问一般性，Lagrange 的提问方式才成为主流——提出正确的问题，比解出正确的结果更能塑造历史。
读法提示：本页的四件事，在第二编与第三编各有「回声」——统一 → 第 41–43 页；计数 → 第 84 页；诊断 → 第 44–46 页；预言 → 第 40 页导引。历史与证明将在那里合拢。
一张图收拢第一编的全部技术。每个方框是一次「压缩对称性」的动作，箭头旁标注用掉的根号：
读图。左列是「问题」；中列是「预解函数」（它压缩置换的取值）；右列是「预解方程」（次数逐层下降）。三个成功的例子共同点是：存在一条从 n! 个置换通向 1 个值的阶梯，且每级台阶的「跨度」（子群指数）不超过 3——因此每一级都只需解二次或三次方程。五次的问题在于：第一级台阶的跨度最少是 5（第三编将证明这是 A5 单性的直接推论），而五次方程没有求根公式来消化它。
地图的用法：第二编读历史时，每个历史人物「放回」这张图的某个位置——Ruffini 与 Abel 在问「阶梯是否存在」，Galois 在把「阶梯」重新命名为「正规子群列」，Jordan 在给阶梯的每一级配上涨率。第三编则把整张图重画一遍（第 104 页的证明地图）。
本编的十个要点，也是进入第二、三编的全部行李：
自检三问：①不用书，把 Cardano 公式推一遍；②说出三次判别式的符号与三种根型的对应；③解释为什么「预解式的次数」是衡量难度的正确量。三问都能答，第一编毕业。
方程的难度不藏在「数字有多大」，而藏在「根有多少种排法、排法之间如何纠缠」。解方程的历史，就是把「排法的纠缠」一层层剥开的历史。
二次方程只有 2 种排法，一次开方剥完；三次 6 种排法，先剥成 3 + 3（偶／奇），再用单位根 ω 在 3 里循环，两次开方剥完；四次 24 种排法，剥成 3 组 × 8，8 里再剥成 4、2、1。每一次「剥」在代数上是一次开方，在结构上是一次「除以一个子群」。
五次方程的 120 种排法无法这样剥：它最紧的内核 A5（60 种排法）是一个「剥不动」的整体——用第二编之后的语言：单群。「单」是本册最深刻的词：它意味着某些对称性不是由更小的对称性拼成的，正如某些数不是由更小的数乘出来的（素数）。
这个观点在今天比在 1832 年更有用：密码学里的椭圆曲线、物理里的规范场、化学里的分子对称、晶体学里的空间群——都是「先算对称、再谈其他」。Galois 教给数学的第一课就是：研究对象的行为之前，先研究它的对称。
任务。不许使用本书第 15 页的推导，仅用「预解函数取 2 个值」的思想，独立重建 Cardano 公式，并解释每一步开方破掉的是哪一个对称。
步骤提示（尽量先自己走）。
验收标准。①每一步注明「这一步破坏了哪一个置换的作用」；②能解释为什么 ω 在推导中必然出现（答案的方向：偶置换群 A3 是循环群，循环需要单位根来拆）；③把自己推的公式与第 15 页对照，误差为零。
第三步的准确值是 Φ3 + Φ′3 = −27q/2？——计算验证（提示：先算 Φ3，把 ω3 = 1 与 y1y2y3 = −q 用进去）。若与第 15 页的预解式不符，回头检查 ΦΦ′ = −3p 的符号。
目标。把第一编的公式变成代码，观察三件事：公式的数值表现、casus irreducibilis 的「实根虚算」、预解式的分支选择。全部代码不超过 60 行 Python。
任务 A（二次）。实现 x = (−b ± √Δ)/(2a)，用 cmath.sqrt 支持复数；对 Δ > 0、Δ = 0、Δ < 0 各举一例并打印韦达检验（和＝−b/a，积＝c/a）。
任务 B（三次）。实现命题 1.4：先算预解式 t2 + qt − p3/27 = 0 的两根，取 u = t1 的一个立方根，遍历乘子 1, ω, ω2 找出满足 uv = −p/3 的配对，输出三根。用三组方程测试：x3 = 15x + 4（应得 4, −2 ± √3）、x3 + 6x = 20（应得 2, −1 ± 3i）、x3 − 3x + 1（三实根，观察公式全程在复数里绕）。观察点：第三组方程的三个根都近似实数，但公式的中间量全部带虚部——用 abs(虚部) 打印出来，看虚部如何在最后一步相互抵消。
任务 C（四次）。实现命题 2.2：解 Euler 预解式（调用任务 B 的三次求解器），取实根 s，令 u = √s，组装两个二次方程并求解。用 x4 − 2x2 − 8x − 3（应得 1 ± √2, −1 ± i√2）与 x4 − 2x3 − 7x2 + 8x + 12（先平移 1/2；应得 2, −2, 3, −1）测试。
任务 D（预解式的值计数）。对三次方程的根 y1, y2, y3，枚举 6 个置换，计算 Φ = yσ(1) + ωyσ(2) + ω2yσ(3) 的取值集合，验证恰 2 个值；再对四次方程验证 x1x2 + x3x4 恰 3 个值。这就是第 28 页那张表的程序版。
延伸：把任务 D 改到五次——枚举 S5 的 120 个置换，对几种自选的预解函数（例如 x1x2 + x3x4 + x5x1 等）数一数取值个数。可以发现 5 以下的数字非常难碰到——第二编将说明，这不是运气问题。
花拉子米给了公式，中国古代算学给了算法——两条路线的对照，恰好是「根式解」与「数值解」的分野，也是本书反复出现的主题（数值根与公式是两件事）。
《九章算术》的开方术。「少广」章第 12–22 题要求「开方」「开立方」，例如「又有积五十五万六千六百二十五步，问方几何」——即解 x2 = 556625。开方术的做法是逐位逼近：先估根的最高位，以「借算」定次商，再用 (a+b)2 的展开逐位扣除。这与今天的竖式开方完全同构，其原理正是配方法的算术化：每确定一位，就补一次「块」。
贾宪与增乘开方法。北宋贾宪（约 1050 年）把开方术推广为增乘开方法：每求一位，对算式「随乘随加」，机械地完成减根变换。贾宪三角（后世称杨辉三角，实为贾宪先）给出生成系数的规则。注意：增乘开方法对任意高次方程照用不误——因为它的每一次「随乘随加」只用到多项式的带余除法。
秦九韶与正负开方术。《数书九章》（1247 年）把增乘开方法发展成解一般高次方程的完整算法（含负系数、小数逼近）。「遥度圆城」一题导出十次方程 x10 + 15x8 + ⋯ = 0 的形状，秦九韶求出精确正根。「正负开方术」比西方同类的 Horner 方法（1819）早了近六百年。
格物致知：一条是「普遍公式」的路线（花拉子米 → Cardano → Lagrange → Galois），一条是「有效算法」的路线（《九章》 → 贾宪 → 秦九韶 → 牛顿 → 现代数值分析）。前者在五次撞墙并撞出了群论，后者一路通到今天的计算机。数学史很少给第二条路线以应有的篇幅——但在应用的疆域里，秦九韶的继承者们统治着世界。
一句话直觉。第一编的技术读法是「给定方程，动手解」；本页要把它倒过来：「给定方程，先判断值不值得解、能不能解」。这个倒转是 1770 年之后整个领域的基本姿势。
具体地说，倒转之后有四个新问题，它们恰好是本书后面所有内容的目录：
倒转的深层意义值得多说一句。「解不出」在 1545 年之前是不可设想的：方程要么会解，要么还不会解——「不会」只是暂时的无知。Lagrange 的诊断、Ruffini 的断言、Abel 的证明一步一步把「解不出」变成数学对象：不存在性也可以是被证明的定理。这个观念的转变影响了此后的数学史——从尺规作图不可能性（本社另一分册）、平行公设的独立性，到 20 世纪哥德尔不完备定理，「不可能性证明」成为数学最锋利的一类武器。
下一编是历史编：三百年攻坚、三代证明、两份手稿。读它时随身带着本页的四个问题——每一个人物出场，都可以问：他推进了四个问题中的哪一个？
本页把第 4、5 页的几何配方补成完整的三案例练习，每个案例先几何、后代数，并检验两种读法一致。
例 9（花拉子米原例）。x2 + 10x = 39。
几何。边长 x 的正方形，加两条宽 5 的条带（沿右边与下边），角上补 5 × 5 小方块：总面积 39 + 25 = 64，大正方形边长 8，故 x = 3。代数。(x + 5)2 = 64。两读法的对应：条带宽 5 = b/2（b = 10 的一半），小方块面积 25 = (b/2)2，64 = (b/2)2 + c（c = 39）。
例 10（巴比伦泥板）。x2 + x = 3/4。
几何。条带宽 1/2（对折得到两条半宽条带），角块 1/4；大正方形面积 3/4 + 1/4 = 1，边长 1，故 x = 1/2。代数。(x + 1/2)2 = 1。历史注。泥板原文用楔形文字的六十进制，本题数字为后世教科书改写版；原板 BM 13901 的第一题是 x2 + x = 45/60，同法得 x = 30/60。
例 11（负一次项的情形）。x2 = 4x + 21。
几何。这次条带要「借」：面积 x2 的正方形比「4 条宽 x 的条带加 21」要小——几何上变成大正方形与 L 形缺口的关系。代数上依旧配方：(x − 2)2 = 25，x = 7（负根 −3 被古人舍弃）。对照。花拉子米为此设了独立的「方程类」（根等于平方与数），因为在他的符号系统里 b < 0 不存在；符号代数普及后，这些类合并成一个公式。这一合并正是「公式」胜过「分类算法」的历史理由。
一步一图的练习方式：每完成一个案例，把图 绪-1 的方块图重画一遍（标注换成新数字），确认几何动作（补角）与代数动作（加 (b/2)2）逐项对应。第三编第 72 页会用「域的语言」把这三个案例改写成三行：ℚ ⊂ ℚ(√64)，ℚ ⊂ ℚ(1)，ℚ ⊂ ℚ(√25)——注意第二例根本没有扩张。
练 16.证明：若三次方程 y3 + py + q = 0 的三根成等差数列，则 2p3 + 27q2 = 0？——先判断这题对不对，再证明或举反例。
设三根 a − d, a, a + d。和为零 ⟹ a = 0，故根为 ±d, 0，方程 y3 − d2y = 0，即 q = 0。于是正确条件是 q = 0 且 p < 0；题给条件不对（它是「重根」条件 Δ = 0 的另一面）。本题为「先判后证」训练：命题本身是假的。
练 17.已知 x3 + px + q = 0 三根为 y1, y2, y3，证明 (y1 − y2)2(y1 − y3)2(y2 − y3)2 = −4p3 − 27q2（用韦达定理直接展开）。
先算 D = (y1 − y2)2(y1 − y3)2(y2 − y3)2 用 y3 = −y1 − y2 消元，得到关于 y1y2 与 y1 + y2 的表达式，再代韦达。耐心展开即可；结果应与第 16 页一致（这道题的机械展开是「判别式可计算」的信心来源）。
练 18.四次方程 y4 + py2 + qy + r = 0 中，证明三个预解量满足
u1 + u2 + u3 = p， u1u2 + u2u3 + u3u1 = p2 − 4r， u1u2u3 = q2？该等式并修正符号
第三个等式的正确形式推导：展开 (x1x2 + x3x4)(x1x3 + x2x4)(x1x4 + x2x3)，用韦达（e1 = 0, e2 = p, e3 = −q, e4 = r）化简——结果应为 −q2。前两个等式是对的。
练 19.把第一编的「根号层数」重新表述为「破对称的次数」：对二次（1 层）、三次（2 层）、四次（3 层），各指出每层根号出现的位置，并解释为什么层数等于「子群链的长度减一」。
二次：链 S2 ⊃ {e}，1 步。三次：S3 ⊃ A3 ⊃ {e}，2 步（判别式开方给 A3，单位根 ω 的立方根给 {e}）。四次：S4 ⊃ A4 ⊃ V4 ⊃ C2 ⊃ {e}，1 次判别式开方＋三次预解式（内含 √∛）＋2 次二次开方——层数的精确对应要到第三编「可解群」才完全清楚，本题为直观版。
练 20（挑战）.证明：对四次方程，任何取值不超过 3 个的预解函数，其取值集合都「等价于」三个配对量 u1, u2, u3 的某种重命名。（这是 Lagrange 计数定理的一次实战：取 3 个值的函数对应 S4 中指数为 3 的子群链，而这样的子群必与 V4 相关。）
指数 3 的子群有 8 个元素；S4 的 8 元子群必含 V4（用 Sylow 或直接枚举 24 个置换的 8 元封闭集）。枚举是允许的——第二编之后会嫌它笨，但现在它是最好的证明。
第一编收尾时，把「技术世界」的地图边界画清楚——哪些事情已经能做，哪些事情还没做，哪些事情将证明不能做。
最后一件预备事项：把本书的语言表对一遍。根、系数、对称函数、置换、预解函数、预解式、取值个数、根式塔——这八个词是第二、三编的通行证。其中「置换」与「取值个数」在第二编将从历史角度再讲一遍（Lagrange 与 Ruffini 的原始形态），在第三编给出严格定义（群、子群、指数、可解）。
给最后提示：如果此刻能用一张白纸复述「二次 → 三次 → 四次」的三级技术台阶（各用什么预解函数、预解方程几次、用几层根号），那么已经拿到了本册的三分之二；剩下的三分之一，是一段精彩的历史和一座搭建了三百年的证明——翻页。
一句话直觉。1545 年以后，数学家手里有了三次与四次方程的公式，也有了「五次大概解不出」的直觉。但「大概解不出」不是数学。把它变成定理，用了整整三代人：Lagrange 找到正确的账本，Ruffini 与 Abel 第一次算出「账算不平」，Galois 把账本本身换成了新的数学——群。本编按这条时间线走，每一站都交代：他手里有什么工具、他证明了什么、哪一步是靠后来才有的语言才说得清的。
两条阅读约定。其一，本编是历史编，但不是故事编：凡涉及关键论证，页内给出可跟随的骨架；凡需要第三编才有精确语言的处所，用「〔现代语言：第三编第 X 页〕」标注，不假装已经证明。其二，历史人物的原文记号与现代记号差别很大，本编一律转写成第一编已建立的记号（根 x1, …, xn、预解函数 Φ、取值个数 k），只在人物栏注明原始出处。
读完本编应当能回答：为什么 Lagrange 算不出却重要？Ruffini 的裂缝是什么性质的裂缝？Abel 的证明比 Ruffini 多了什么？Galois 又比 Abel 多了什么？四个问题正好对应四条路线。
一句话直觉。Lagrange 做了一件此前没人做过的事：不发明新解法，而把已有的全部解法放在同一张桌上，找出它们的公共骨架。骨架找到了，五次为什么难也就有了第一次清晰的说法。
1770 年，Lagrange 写成长文《关于方程代数解法的思考》（Réflexions sur la résolution algébrique des équations，刊于 1771 年柏林科学院丛刊，全篇约二百页）。他的做法是逐一重演四次以下的所有已知解法——Cardano、Viète、Descartes、Euler、Bézout、Tschirnhaus——并追问同一个问题：这个解法里的根号，究竟是从哪里冒出来的？
答案惊人地一致：每一次，解法都先构造一个根的有理函数，这个函数在根的置换下只取少数几个值，而这几个值恰好满足一个低次方程——预解式。一旦预解式解出，原方程的根就只剩低次方程可解：
统一之后，问题立刻变了一个形状。以前的问题是「下一个解法是什么」；Lagrange 之后的问题是：预解式的次数最低能压到多少？第一编第 28 页的那笔「次数账」，正是 Lagrange 提出的记账方式。
Lagrange 在文中写下了一句著名的判断：五次方程的求解「超越了人类理智的现有力量，它是一个有待解决的谜」。这不是失败主义——他在同一篇文章里系统计算了五次的各种预解式，发现最低也要到 6 次（见下一页）。「超越现有力量」是一个有计算依据的判断。
一句话直觉。Lagrange 给了后人两件工具：一条定理（取值个数整除 n!）和一个猜想（可解性应当表现为「取值个数能被逐层除下去」）。前者今天仍在使用；后者是 Galois 理论的第一颗种子。
命题 2.1（Lagrange 取值定理，1770）。设 Φ 是 n 个根的有理函数，在 n! 个置换下取 k 个不同值，则 k ∣ n!。且 Φ 的这些值是一个次数恰为 k 的方程（预解式）的根，其系数可由原方程的系数经有理运算表出。
证明骨架。固定一个值 v，令 H 是所有使 Φ 不变的置换之集合。两个事实：①若 σ, τ ∈ H，则 στ ∈ H（相继作用仍不改变 Φ）——H 是封闭的；②对任意置换 σ，集合 Hσ 的元素个数等于 |H|。于是 n! 个置换被分成 k 组，每组 |H| 个，故 k·|H| = n!。〔现代语言：这就是轨道–稳定子定理，第三编第 79 页完整证明。〕
这条定理把「难度」变成了可计算的量。而 Lagrange 真正深刻的观察在下一层：如果方程可用根式解，那么开方的过程应当对应于把 k 一层层除下去——每加一层根号，预解函数的取值个数就除以一个素数；要解出根，最终必须到达 k = 1（完全对称的量就是系数本身）。
于是 Lagrange 留下了一个精确的空位：为什么 3 和 4 恰好缺席？回答这个问题，就是回答五次为什么不可解。第一个动手的人是 Ruffini。
一个可以直接做的计算：五次 Lagrange 预解函数 Φ = x1 + ωx2 + ω2x3 + ω3x4 + ω4x5（ω5 = 1）在 120 个置换下取多少个值？答案是 24——因为它只被「循环地转」的 5 个置换保持（x1 → x2 → … → x5 → x1 及其幂），120/5 = 24。p.54 例 12 将完整验证。
一句话直觉。Ruffini 做的事在数学史上独一无二：他不是「又试了一次没成功」，而是第一个声称证明了这条路根本不存在。证明有裂缝，但方向完全正确。
人物。Paolo Ruffini（1765–1822），意大利摩德纳人，数学家兼医生。1798 年，他因拒绝向新政权宣誓效忠而失去大学讲席与教授职位，此后行医谋生，在斑疹伤寒大流行期间坚持接诊病人。1799 年，他自费出版了两卷本《方程的一般理论，其中证明高于四次的一般方程无代数解》（Teoria generale delle equazioni, in cui si dimostra impossibile la soluzione algebraica delle equazioni di grado superiore al quarto），全书 516 页，把书寄给了 Lagrange 并附上极为谦逊的信。Lagrange 未作实质回应。
主张。书名即定理：一般五次（及更高次）方程不能用根式解。此后 Ruffini 又发表了多篇论文（1803、1805、1813 等）简化与补强论证。他的全部工作围绕一个中心概念——正是 Lagrange 的「取值个数」：
Ruffini 的中心问题。五个根 x1, …, x5 的有理函数，在 120 个置换下能取几个值？他要把可能的取值个数一条条排除，直到证明：任何一条「逐层降值」的路都会撞墙。
当时的反应值得一提，因为它说明了数学交流的真实生态：Ruffini 的书写得极长、术语自创、论证反复，同代人普遍表示「读不懂」。意大利同行 Malfatti 与 Abbati 提出具体疑问，Ruffini 逐一回应并改进；法国数学界基本无视这份来自外省医生的巨著。1815 年，年轻的 Cauchy 发表《关于一个函数所能取的值的个数的研究》，用系统的方法重做了「取值个数」的理论——他没有引用 Ruffini 的书，但研究的正是 Ruffini 的核心问题。此后 Ruffini 的工作逐渐被承认为先驱：今天的「不可能性定理」在教科书里常写作 Abel–Ruffini 定理。
给 Ruffini 的公允评价（也是本编的技术立场）：他证明了的东西是真的，他没证明的东西也真的没证明。裂缝的性质不是「算错了」，而是「用了一门还不存在的语言」——这正是下一页的主题。
一句话直觉。Ruffini 的论证有两个主角：n 次幂（一次开方引入的对称性）与 5-循环（五个根轮转一圈的置换）。前者的性质决定了「账要怎么算」，后者的性质决定了「账必然算不平」。
先把两个主角摆清楚。
主角一：n 次幂的对称性。在域 F 中添加 y，满足 yn ∈ F 而 y ∉ F。若 F 中已有 n 次单位根，则 y, ζy, ζ2y, …, ζn−1y（ζn = 1）在 F 上地位完全平等：任何只涉及 F 与系数的等式，把 y 换成 ζjy 后仍然成立。换言之，一次开方恰好引入一个 n 阶循环对称。〔现代语言：根式塔的每层 Galois 群是素数阶循环群，第三编第 96 页。〕
主角二：5-循环。置换 σ = (1 2 3 4 5)（即 x1 → x2 → x3 → x4 → x5 → x1）及其所有相仿者称为 5-循环，S5 中共 24 个。三个基本事实：①每个 5-循环的 5 次幂是恒等（转五圈回原位）；②5-循环是偶置换（可写成 4 个对换之积），故 24 个全在 A5 中；③一个 5-循环生成的群恰有 5 个元素。
现在可以把 Ruffini 的论证骨架完整摆出来。设五次一般方程可用根式解，则存在一列根式步骤，每步添加一个 p 次幂（p 为素数；次数可分解时拆成多步）。由主角一，每步引入一个素数阶循环对称；由 Lagrange 的记账法（命题 2.1），存在预解函数链
120 = k0 → k1 → k2 → ⋯ → km = 1， ki = ki−1/pi
其中每一步 pi 是素数。这条链是否可能存在，就是全部问题的所在。Ruffini 的关键引理给出第一个否定的回答：
引理 2.2（Ruffini，1799）。五个根的有理函数，其取值个数 k 不可能是 3 或 4。〔现代语言：S5 没有指数为 3 或 4 的子群，第三编第 92 页给出两行证明。〕
于是链的第一步只有两种选择：k1 = 2（即先开一个平方根——得到判别式，落到 A5 的世界），或 k1 ≥ 5。若 k1 ≥ 5，预解式至少 5 次，没有现成公式可解它，路走不下去（这正是 Lagrange 枚举出的 5 与 6 的死路）。所以只剩 k1 = 2：
S5（120 个排法）→ A5（60 个排法）→ ⋯？
现在轮到 5-循环出场。在 A5 内部，取值个数是 60 的约数：60 = 22·3·5。表面上仍可拆；但这里 Ruffini 遇到了真正的墙壁——A5 里的子群行为与 S5 完全不同。他在这堵墙上敲了一整本书，敲出了裂缝（下一页），而墙本身要到 Galois 才被看清：A5 是「单」的——它的内部没有任何可供下钻的正规结构〔现代语言：第三编第 95 页〕。
为什么主角二是 5-循环而不是别的？一个提示：24 个 5-循环彼此「长得一样」（共轭），任何一个都可以通过重命名根得到另一个；而它们全部挤在 A5 里。这 24 个元素是 A5 的骨架——第三编第 95 页证明 A5 单性时，它们正是主角。
一句话直觉。Ruffini 的裂缝不在某个算错的数字，而在一句被当作显然的话：「使一个函数取同一值的那些置换，恰好均匀地分配到各个值上。」这句话是对的——但它是需要证明的定理，而在 1799 年，连陈述它所需的语言都还没有。
回看第 44 页的记账：k·|H| = n!，其中 H 是使 Φ 不变的置换集合。这个等式要求两件事都成立：
更深的裂缝在链的结构上。第 44 页的链 k0 → k1 → ⋯ → 1 要真正对应一列根式步骤，每一步的「取值交换」必须自身构成一个循环群——用今天的话说：每一层的稳定集必须是下一层的正规子群。「正规」这个概念在 1799 年不存在，1831 年才由 Galois 隐式引入，1870 年由 Jordan 明确命名。Ruffini 隐含地假设了「总可以逐层往下剥」，而恰恰是这个假设在 A5 处失效：A5 内部的子群虽多，却没有一个是正规的（除自身与恒等）——所以账面上 60 可以拆成 2·2·3·5，实际上一步也拆不动。
所以公允的结论是：Ruffini 的断言是真的，他的论证是「定理级猜想加上正确方向」；裂缝的本质是语言缺席，不是计算失误。这也是为什么 Abel 的工作如此重要——他换了一条不依赖那门缺席语言的路。
历史注记：关于 Ruffini 证明的完成度，数学史界有过长期讨论；今天教科书的标准说法是——Ruffini 的核心引理在细节上不完整，Abel 1826 年的证明首次被公认为严格。本编对 Ruffini 论证的复述，凡属他确证的标「引理」，凡属他默认的标「裂缝」，不替古人补证明。
一句话直觉。Abel 没有去修 Ruffini 的裂缝，而是换了一条更聪明的路：不问「根式塔的对称性长什么样」，而问「根式塔里能住下什么样的表达式」。这条路绕开了当时不存在的语言。
人物。Niels Henrik Abel（1802–1829），挪威人，一生贫困。1823 年，21 岁的他一度相信自己解出了五次方程，随后在验算中发现自己的错误——并由此掉头，走向相反的方向。1824 年，他自费印行了一本六页的小册子《论代数方程，其中证明一般五次方程的不可解性》（Mémoire sur les équations algébriques, où on démontre l'impossibilité de la résolution de l'équation générale du cinquième degré），把证明压缩到六页，寄给欧洲多位数学家，包括 Gauss。据传 Gauss 把它当作又一份数学狂人的投稿丢在一旁——Gauss 去世后，人们发现那本册子的装订根本没有裁开。1825 年 Abel 得资助游学柏林，结识 Crelle；1826 年，证明的扩写版刊登在 Crelle 主编的《纯粹与应用数学杂志》创刊号上。
证明的三个动作。Abel 的论证可以拆成三步，每一步都值得记住，因为它们构成了后来一切「不可能性证明」的模板：
Abel 与 Ruffini 的分工可以这样概括：Ruffini 从置换一端逼近（他需要那门缺席的语言），Abel 从表达式一端逼近（他只需要表达式自身的形式规律）。两条路在 1870 年被 Jordan 汇合成同一个理论——那门「缺席的语言」最终被证明就是两者的公共语言：群。
一句话直觉。Abel 论证的心脏是一条关于根式表达式结构的引理。原文的陈述与证明都很曲折；本页用第一编已建立的记号把它重构一遍——可以发现，它说的其实是一件很自然的事。
引理 2.3（Abel 引理，1824；此处为现代转写）。设根式塔 F = F0 ⊂ F1 ⊂ ⋯ ⊂ Fm，其中 Fi = Fi−1(yi)、yipi ∈ Fi−1（pi 素数，塔中已含所需的单位根），且每一步都是真扩张。若 R ∈ Fm 真实地依赖于每个 yi，则 R 在 F 上的共轭值至多 p1p2⋯pm 个；并且，当 R 取得最少共轭值时，这些值之间的置换关系构成一条逐层剥解的链：每层只能整层循环换位，不能部分打乱。
为什么这是自然的事。看两层就够了：设 R = R(u, v)，up ∈ F、vq ∈ F(u)。换 u → ζu 得一族值，换 v → ηv 又得一族。关键的不变量是「层的独立性」：任何把 v 换掉而不同时按循环方式调整 u 的替换，都会破坏等式 vq ∈ F(u) 本身。所以合法的替换永远是「整层循环」——这正是第 44 页所说的「一次开方恰好引入一个循环对称」在表达式一侧的投影。
命题 2.4（Abel 的可解性翻译）。若一般 n 次方程可用根式解，则根的置换全体（Sn，共 n! 个）可以被组织成一条逐层剥解的链，每层剥去一个素数阶的循环对称。
与 Galois 的关系。这句话在 1826 年是「置换的叙述」；Galois 把「置换的全体」命名为群、把「逐层剥解」的条件写成子群链，于是命题 2.4 变成一条定义：群可解。第三编第 96 页将以定理形式完整证明它（先证根式塔 ⟹ 群可解，再证反方向）。
现在可以做最后的对账。若一般五次方程可解，则 S5 有一条每层商为素数阶循环群的剥解链。这条链存在与否，是一个纯粹关于 120 个置换的有限问题——原则上可以用枚举回答。Abel 与 Ruffini 都在此处诉诸枚举与分类；Galois 的贡献是给出一条概念性的判据（可解群），并指出 S5 之所以不合格，是因为它最紧的内核 A5 是单的。第三编将把这两件事都做完整：先建立群的语言（第 74–90 页），再证明 A5 单（第 95 页），最后合出定理（第 97 页）。
一个值得驻足的对照：Ruffini 说「这条路走不通，因为我把每种走法都数过了」；Abel 说「这条路走不通，因为走通的路必须长成某种形状，而五次的路长不成」；Galois 说「说明哪些路能走通——判据在这里」。三句话对应三代证明，也对应本书第三编的三步：枚举 → 结构 → 判据。
一句话直觉。1824 年的六页小册子有一处漏洞，Abel 自己在 1826 年的扩写版中修掉了。他随后把这个理论推得更远：不止「一般方程不可解」，还刻画了哪一类方程可解——那一类方程的群今天以他的名字命名。
1824 → 1826 改了什么。1824 年小册子的第 1 条引理（关于根式表达式共轭值个数的计数）在细节上不完整：Abel 默认了一个关于「表达式可净化」的事实——总可以把表达式改写成每个根式都真实出现、且每层的单位根都已就位的形式。1826 年刊登于 Crelle 杂志创刊号的扩写版补全了这一层，并把论述从五次推广到一切次数 n ≥ 5 的一般方程。修正后的证明此后再未被推翻过。
Abel 的下一步（1829）。不可解性定理容易让人误读成「五次以上什么都解不了」。Abel 在最后一篇论文《论一类特殊的代数可解方程》（1829，身后刊出）中证明：「一般」方程不可解，但大量具体的方程类是可解的——例如形如 xn + a1xn−1 + ⋯ + an = 0 中根可由「一个参数的有理函数轮转生成」的一类（今天称为 Abel 方程：其群是交换群）。这篇文章给出了可解性的第一个正面刻画，也是「交换群」一词的出处——后人为了纪念他，把交换群统称为 Abel 群。
本路线的收束。至此，「一般五次方程不可根式解」已被严格证明。但数学家不满足：定理只说一般方程不可解，可它没有告诉我们，面对一个具体的五次方程（比如 x5 − 6x + 3 = 0），该怎样判断它解得动解不动。这个「判据」的需求，正是下一站——Galois——的入口。
这个转折的分量：从 Lagrange 到 Abel，问题始终是「一般方程」；Galois 之后的全部理论都是关于「具体的方程」的。从一般到具体，是从「证明」到「工具」的转折——也是本册从历史走向第三编技术核心的转折。
一句话直觉。Abel 证明了一般五次不可解，但一般方程只是所有方程中最「平均」的那个。Galois 的转向是：不问一般，问每一个。为了回答「这个方程解得动吗」，他给每个方程配了一件附属物——今天我们叫它 Galois 群。
人物。Évariste Galois（1811–1832），巴黎近郊 Bourg-la-Reine 人。16 岁读到 Lagrange 的原文，此后两年内完成了他一生的全部数学。1829 年 6 月，父亲自杀；同年他报考巴黎综合理工学院再次落第（此前已失败一次），入高等师范学院。1829 年他向科学院提交了关于方程可解性的论文——负责审阅的 Cauchy 未作报告。1830 年他为大奖赛再次投稿，稿件交到秘书 Fourier 手中，Fourier 数月后去世，稿子遗失。1831 年 1 月他第三次提交《论方程可用根式解的条件》，审阅人 Poisson 于 1831 年 7 月退稿，评语是著名的：「他的论证既不够清晰，也不够充分，使我们无法判断其严格性。」1832 年 5 月 30 日决斗受重伤，次日去世，年 20 岁。
转向的内容。Galois 的新问句是：给定一个具体的方程 f(x) = 0，存在一个只依赖 f 的有限对象，使得「可否根式解」完全由这个对象的性质决定。这个对象就是根的置换中保持全部有理关系的那一部分：
Galois 群（直观版，严格定义见第三编第 80 页）。设 x1, …, xn 是 f 的根。考虑所有满足下列条件的置换 σ：每一个对根成立的、系数在系数域中的有理等式，在 σ 作用下仍然成立。这样的 σ 全体记作 G。G 越大，根之间越「平等」；G 越小，根的结构越「特殊」。
为什么这个对象是对的。直觉如下：根式解的过程就是一列开方，而每一次开方只是在「打破一部分对称」。若一个方程的根之间存在很多隐藏的有理关系（例如一个根能用另一个根表出），那么能做的开方就少——对称已经被打破了不少。反之，若 n 个根完全平等（如一般方程），可做的开方就多，但也必须逐层做满。「可解 ⟺ 对称可以逐层剥解」——这句话把 Lagrange 的账、Ruffini 的枚举、Abel 的表达式形式，统一成关于一个对象的一句话。
下一页给「逐层剥解」一个精确的形状。带着第一编的次数账去读：S3 ⊃ A3 ⊃ {e} 与 S4 ⊃ A4 ⊃ V4 ⊃ C2 ⊃ {e} 两条链，就是「剥解」在三四次的实例。
一句话直觉。Galois 把第 49 页那个置换集合命名为群，并给出本书最重要的定义：群可解。这个定义是 Lagrange 的记账、Ruffini 的枚举与 Abel 的表达式三者共同指向的终点。
第 49 页的集合 G 有一条立刻可证的性质：封闭性。若 σ 与 τ 都保持全部有理关系，则先 τ 后 σ 的合成也保持全部（等式对 τ 成立，再对 σ 成立）。同理有单位元与逆元。于是 G 是一个群——数学史上第一个被明确命名、并被当作研究对象使用的群。注意第 44 页 Ruffini 已经在使用「使函数不变的置换集合」这一事实，Galois 的一步在于：把这个集合本身当作方程的身份证，而不是证明过程中的临时工具。
可解群（Galois 1831；本册的标准定义在第三编定义 3.14）。群 G 称为可解的，若存在一列子群
G = G0 ⊃ G1 ⊃ ⋯ ⊃ Gm = {e}
使得每一层 Gi 在 Gi−1 中是正规子群（即被 Gi−1 的所有元素「对称地对待」），且商 Gi−1/Gi 是素数阶循环群。直观读法：每一层剥掉一个素数个状态的循环对称，剥到什么都不剩。
两条立即可做的检验。用这个定义回看第一编的三条链：S2 ⊃ {e}（商 C2）可解；S3 ⊃ A3 ⊃ {e}（商 C2、C3）可解；S4 ⊃ A4 ⊃ V4 ⊃ C2 ⊃ {e}（商 C2、C3、C2、C2）可解。全部通过——与「二三四次都有根式解」完全一致。那么 S5 呢？表面上 120 = 2·2·2·3·5 仍可拆，于是整个问题缩成一句话：S5 有没有这样的链？
记住这一步的缩并：三百年的攻坚，最终变成一个纯粹的、有限的问题——「120 个置换的集合里，存不存在一条正规子群链」。这个问题用纸笔可以枚举（p.60 挑战二、p.61 实验二就是干这件事），而它的概念性答案只有一行：A5 是单群。
一句话直觉。Galois 最深的一步，是发现域的扩张与群的结构是一枚硬币的两面：中间域对应子群，正规子群对应「可以再开一层根号」的域。这条对应今天叫 Galois 对应，是第三编全部内容的主角。
先看硬币的一面。中间域 ↔ 子群。设 G 是方程的群，E 是含系数域与全部根的域（第三编称分裂域）。对 G 的每个子群 H，考虑被 H 的所有元素保持的元素全体——这是一个域，夹在系数域与 E 之间，称为 H 的固定域。反过来，每个中间域也对应 G 的一个子群（保持该域全部元素的那些置换）。Galois 证明了：
于是 Galois 给出的不只是一个证明，而是一台判别机器：给定方程 → 算出群 → 检查群是否可解。三步中每一步都有限可执行（算群可用预解式的取值个数逐个辨认，第三编第 100–101 页给出判别式法与模 p 法）。机器运转的第一个实例，就是他论文的核心应用：
定理 2.5（Galois，1831）。一个素数次数 p 的不可约方程可用根式解，当且仅当它的群是 p 阶循环群被一层循环群「包住」的形状——特别地，若方程恰有两个实根、其余 p − 2 个是复根，则它必不可根式解。取 p = 5：x5 − 6x + 3 = 0 有三个实根，故不可根式解。
这是全书第一次出现「具体方程不可解」的判定。注意它与 Abel 定理的差别：Abel 说的是「一般五次」，这是一个关于 S5 的整体事实；Galois 说出的是一个关于这一个方程的事实，而且给出了一道任何人都能执行的检验程序（数一数实根的个数）。本册第 126 页将回到这个方程，用第三编的工具把它完整算一遍。
Poisson 退稿评语说论证「不够清晰」。历史的讽刺在于：被批评为晦涩的那几页，包含的正是「用群的语言重写整个方程论」这一件事——它不是写得不清楚，而是超前于当时全部可用的语言。Liouville 1846 年的评注只做了一件事：把 Galois 的记号逐句翻译成 Cauchy 已经建立的置换群语言。翻译完成之日，理论立刻显得「显然」。
一句话直觉。Galois 理论的传播史本身就是一个关于「数学如何被承认」的案例：三次投稿、两次遗失、一次退稿、一夜信件、十四年沉睡。本页按时间线把这件事讲清楚——它是本册「历史视角」的核心一页。
这段漂流史给出的教训值得写进本册的暗线。第一，数学的承认依赖共同的记号：Galois 的内容在 1831 年「不可读」，在 1846 年「显然」，差别不在内容，在记号。第二，审稿系统的失灵三次发生（不审、遗失、误判），而救回这份遗产的是个人——Chevalier 的保存与 Liouville 的阅读。第三，本册第三编将用现代语言把 Galois 的论证完整重写一遍——这正是 Liouville 1846 年所做之事的延续。
一份可考的细节：Liouville 的 1846 年版本是 Galois 论文的第一个公开完整版，此后近八十年，人们读到的 Galois 都是这个版本（Jordan 1870 的《置换论》是对它的系统化，Edwards 1984 年重新回到原始手稿）。一本 20 岁青年写下的 60 页手稿，塑造了此后全部代数学的语言。
一句话直觉。Galois 给出的是一台机器的图纸；把它变成一门学科，用了四十年。Jordan 写下教科书，Hölder 补齐结构定理，Kronecker 提出纲领。到 1890 年，「可解群」已是教科书里的标准词条。
一个值得驻足的现象：概念的名字比定理的名字稳定得多。定理的表述在 1799、1826、1846、1889 年间反复改写；而「群」「正规子群」「可解」「单群」这些词一旦出现就不再变动。数学的进步有一半是定理的进步，另一半是语言的出现——而后者才是真正不可逆的。这也是本册第三编要先花二十页建立语言、再十页完成证明的原因。
本编历史部分的收束。现在可以给第二编开头那个问题一个完整回答：「为什么五次特别？」——因为五次是第一个出现「单群内核」的次数：S2, S3, S4 的内核都能继续剥，S5 的内核 A5 剥不动。这不是巧合，而是一条可以用素数规律说清的分界线（第三编定理 3.20：n ≥ 5 时 An 皆单）。第二编把这条线画在历史里，第三编把线画在证明里。
下一页起是本编的例题、习题、地图与小结。它们的功能与第一编相同：把四条路线的每一步变成可以亲手核对的东西。
历史编最容易读成故事。本页把三个关键的计算点摆出来亲手做一遍——它们分别对应 Lagrange 的记账、Galois 的群与 A5 的骨架。
例 12（Lagrange 五次预解式的取值个数）。设 ω5 = 1、ω ≠ 1，Φ = x1 + ωx2 + ω2x3 + ω3x4 + ω4x5。求取值个数。
解。关键在稳定集。若 σ 保持 Φ，则 x1 的系数 1 必须仍落在某个根上，且整体系数结构不变——唯一的可能是把根沿五边形轮转：xi → xi+1（下标模 5）。于是稳定集恰是 ⟨(1 2 3 4 5)⟩，共 5 个元素（σ, σ2, σ3, σ4, e）。由命题 2.1，k = 120/5 = 24。核验：轮转后 Φ → ωx2 + ω2x3 + ⋯ + x1 = ω·Φ？——不对，直接验证：ωΦ = x1 + ωx2 + ⋯ + ω4x5 的展开恰是轮转后的表达式，故轮转把 Φ 变为 ωΦ；只有恒等保持它。稳定集 = {e}？——注意 σ5 = e 是恒等，而 σ 本身把 Φ 变成 ωΦ ≠ Φ。所以稳定集只有 {e}？停下来核对。正确答案：稳定集是 {e}，k = 120——除非我们把 ω 也当成可轮换的。这正是本例的教学点：Lagrange 预解式的「取值」在根的置换下是 120 个；它的 5 重轮转对称来自 ω 的幂，不属于根的对称。Lagrange 之所以选它，是因为它的 5 个「ω-轨道代表元」满足一个 5 次方程——技巧所在，但取值个数并不小。〔这就是 p.41 所说「最低也要 6 次」的背景：真正有用的低值函数另有其人，见例 13。〕
例 13（取 15 个值的函数与它的稳定群）。Ψ = x1x2 + x3x4（x5 不出现）。求取值个数与稳定群。
解。Ψ 的值由「把 5 个根分成两对与一个落单者」的方式决定：先选 2 个成对（C(5,2) = 10），再从剩下 3 个选 2 个成对（C(3,2) = 3），两种顺序算同一种（除以 2），得 10·3/2 = 15。故 k = 15，稳定群阶数 120/15 = 8。写出这 8 个：e, (1 2), (3 4), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3), (1 3 2 4), (1 4 2 3)——它们恰好全部保持配对结构 {{1,2},{3,4}} 或把它与 {{3,4},{1,2}} 互换。稳定群同构于四元群 V4 再加两个 4-循环。评注：取 15 个值的预解方程解不动五次（15 次方程），但这个函数是理解 S5 子群结构的最好标本——p.61 实验二将程序化枚举它的全部值。
例 14（S5 的类型普查与 A5 的 60 个元素）。按「轮换长度类型」清点 120 个置换，并标出奇偶。
解。列表（类型 → 个数 → 奇偶）：15 → 1 → 偶；2·13 → C(5,2) = 10 → 奇；22·1 → 15 → 偶；3·12 → C(5,3)·2 = 20 → 偶；3·2 → 20 → 奇；4·1 → 30 → 奇；5 → 24 → 偶。总数 1 + 10 + 15 + 20 + 20 + 30 + 24 = 120 ✓。偶者合计 1 + 15 + 20 + 24 = 60，奇者 10 + 20 + 30 = 60。结论：A5 的 60 个元素由三种「块」组成——恒等、双对换（15 个）、三轮换（20 个）、五循环（24 个）。这四种类型就是第三编第 95 页证明 A5 单性的全部道具：正规子群若含其一，必被迫含全部同类，进而含全部 60 个。
三个例子合起来的读法：例 12 提醒「取值个数」要看清楚对什么取值（根的置换，不是系数的对称）；例 13 给出稳定群的具体形状；例 14 把 A5 摊在桌面上。有了例 14 的普查表，第三编第 95 页的证明将只是把这张表再读一遍。
练 21.清点 S4 中的 4-循环个数（按类型 4·1 计），并判断它们的奇偶性。由此说明：链 S4 ⊃ A4 ⊃ V4 ⊃ C2 ⊃ {e} 的第一步「剥掉」的正是对换与 4-循环这两类奇置换。
4-循环个数 = C(4,4)·(4−1)! = 6。奇偶：4-循环 = 3 个对换之积，为奇。于是 S4 的 24 个元素中奇者 10 + 6 = 16？——不对，S4 类型表为 14 → 1、2·12 → 6、22 → 3、3·1 → 8、4 → 6，奇者 6 + 6 = 12，偶者 12。本题为「先算后改」训练：错在哪一步？
练 22.对三次方程的根 x1, x2, x3，求 Ψ = x1x2 + x2x3 + x3x1 的取值个数 k 与稳定群 H，并解释为什么 Ψ 可由系数直接表出（它与韦达定理的关系）。
Ψ = e2 是初等对称多项式，被全部 6 个置换保持：k = 1、H = S3。对照：Φ = x1 + ωx2 + ω2x3 的稳定群是 A3，k = 2。取值个数 1 的函数 = 对称函数 = 系数可表——这是 Lagrange 理论的基点。
练 23.证明：S5 中含某个 5-循环的子群 H，其阶必为 5 的倍数。
设 σ ∈ H 为 5-循环，则 σ 的幂 e, σ, σ2, σ3, σ4 都在 H 中（封闭性），且互不相同（σ 的阶恰为 5）。故 |H| ≥ 5 且 5 ∣ |H|（Lagrange 定理）。这是「Cauchy 定理」的特例方向：群里有 5 阶元 ⟹ 5 整除群阶。反向（5 整除群阶 ⟹ 有 5 阶元）才是 Cauchy 定理，第三编第 94 页。
练 24.不引用「|An| = n!/2」的已知结论，直接用例 14 的类型表证明 A5 恰有 60 个元素；再把同样的数法用于 S3 与 S4，验证「偶者恰为一半」在 n = 3, 4 也成立。
S3：13 → 1（偶）、2·1 → 3（奇）、3 → 2（偶）⟹ 偶 3、奇 3。S4 见练 21。一般规律由「符号同态」给出：对换乘偶性翻转，而每个置换可写成对换之积，长度奇偶不变——第三编命题 3.11。本题是它的枚举版验证。
练 25（挑战）.用类型表统计 S5 中各阶元素的个数：阶 1、2、3、4、5 的各有多少？并解释为什么「S5 没有 15 阶元素」。
阶 2：10 + 15 = 25（对换与双对换）；阶 3：20（三轮换）；阶 4：30（4-循环）；阶 5：24（5-循环）；合计 1 + 25 + 20 + 30 + 24 = 100 ≠ 120——差的 20 个是类型 3·2 的元素，其阶为 lcm(3,2) = 6。故阶 6 的恰 20 个。没有 15 阶元素的理由：15 阶元的轮换类型只能是 3·5（需 8 个根）或 15（需 15 个根），在 5 个根里都不可能——这是「轮换类型决定阶」的直接应用，也是第三编证明 A5 无 15 阶子群的关键。
练 26.证明：S5 没有指数为 3 的子群。〔可用事实：S5 的非平凡正规子群只有 A5 与 S5；第三编第 95 页将证明它，此处允许引用并附加一句「用例 14 的类型表核对」。〕
设 [S5 : H] = 3。让 S5 作用在 3 个陪集上，得同态 φ : S5 → S3，故 |ker φ| ≥ 120/6 = 20。核是正规子群，于是 ker φ = A5 或 S5。若为 S5 则 H = S5（指数 1）矛盾；若为 A5，则像 ≤ C2，但 S5 作用在陪集上是传递的、像非平凡——也矛盾。指数 4 同理：像落在 S4 中，|ker| ≥ 120/24 = 5，正规 ⟹ 含 A5 ⟹ 像阶 ≤ 2，矛盾。这两行就是引理 2.2 的现代证明（第三编命题 3.19）。
练 27.证明 V4 = {e, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)} 在 A4 中正规；再证明 A4 的任何 3 阶子群都不正规（A4 有 4 个 3 阶子群）。
正规性检验：σ(1 2)(3 4)σ−1 = (σ(1) σ(2))(σ(3) σ(4))，仍是双对换，而 A4 的双对换只有这 3 个——故 V4 被共轭作用保持。3 阶子群由三轮换生成，共 20/2 = 10 个？——不对，每个 3 阶子群含 2 个三轮换（σ, σ2），故 20/2 = 10 个子群；重数：A4 有 8 个三轮换，故 4 个 3 阶子群。错误点在「20 个三轮换」是 S4 的数；A4 里只有 8 个。练 21 的类型表核对。
练 28.列出 S5 中所有含 5-循环的子群的阶的可能值，并对每种情形说明「是否可解群」。（允许用第三编的结论：A5 单。）
由练 23，阶为 5 的倍数且整除 120：可能为 5、10、15、20、30、60、120。逐一排除：15 阶需 15 阶元（练 25：无）；30 阶含指数 2 的正规子群（15 阶）而 15 阶子群不存在；60 阶即 A5，单但本身可解？——不可解：它的合成因子是自身。结论：5、10、20 可解（循环或近循环），60、120 不可解。这道题就是「不可解性」的全部形状：能不能根式解，取决于群是否终将剥到循环。
练 29.对 Φ = x1 + ωx2 + ω2x3 + ω3x4 + ω4x5（例 12），证明「5 个 ω-倍 Φ, ωΦ, …, ω4Φ 在根的轮转置换下彼此变出」，并由此解释：为什么 Lagrange 由此构造的预解方程是 5 次、而它仍救不了五次方程。
轮转 σ = (1 2 3 4 5) 把 Φ 变为 ωΦ（直接展开核对），故 σj 把它变为 ωjΦ。于是 Φ5 在 σ 下不变，可由系数表出——得到一个以 Φ 为根的 5 次预解方程。救不了的原因：5 次方程仍是「一般五次」，同样不可根式解——Lagrange 的枚举正是发现这条路上最低也要撞上 5。
练 30（综合）.把第二编的三条路线合成一段完整的论述（300 字以内）：设一般五次方程可用根式解，写出由此推出的子群链，并逐步说明它在哪一步、因为哪一条结构性事实而必然中断。
链：S5 ⊃ A5 ⊃ ⋯ ⊃ {e}。第一步指数 2（判别式开平方，对应 A5 正规）合法；第二步要求 A5 的正规真子群，而 A5 单，只有 {e}——商为 A5 本身，60 阶非素数阶循环群。中断点在此。三条路线的对应：Lagrange 说「账上第二步要除一个素数」，Ruffini/Abel 说「这一步必须对应真实的开方」，Galois 说「这一步要求正规子群，而 A5 没有」。第三编第 96–97 页把这段话变成带证明的定理。
一张时间线收拢第二编。每个节点标出年份、人物与那一块补上的东西——读图时第 36 页的四个问题：每个人物推进了哪一个问题？
读图：谁补上了哪一块。把攻坚拆成三块缺：缺证明（1545–1799：人人都觉得五次难，没人证明它难）；缺语言（1799–1831：断言已出，但「群」「正规」「单」都还不存在）；缺传播（1832–1846：正确的理论锁在手稿里）。Ruffini 补了第一块，Cauchy 与 Abel 补了第二块的前半，Galois 补了第二块的后半并顺手补出判据，Liouville 补了第三块，Jordan 与 Hölder 把三块焊成一门学科。
地图的用法：第三编将按「语言 → 结构 → 定理」的顺序重走这张图——第 74–90 页建立 Jordan 之后的语言，第 91–95 页做 Hölder 式的结构定理，第 96–97 页给出 Galois 的判据与阿贝尔–鲁菲尼定理。历史用了三百年，本书用三十四页——因为站在了他们的肩膀上。
本编的十个要点，也是进入第三编的全部行李：
自检三问：①说出 Ruffini 裂缝的三层（均匀性／正规性／单性）各由谁补上；②解释「Abel 1826」与「Galois 1831」在问句上的差别；③把 S3, S4 的剥解链写出来并验证每层商为素数阶循环群。三问都能答，第二编毕业。
三百年的攻坚在 1831 年换来一件谁也没预料到的东西：一门新的数学。方程可不可解是这个问题本身的答案；「群」则是这个问题留给后世的礼物。
注意群是怎么被发现的：它不是被「发明」出来的，而是被逼出来的。Lagrange 想统一解法，被迫讨论「根的有理函数在置换下的行为」；Ruffini 想证明不可能，被迫讨论「使函数不变的置换集合」；Abel 想数表达式的形状，被迫讨论「根式的共轭」。三个人各自在同一堵墙上敲出了同一个暗门——门后是一种全新的研究对象：不是数，不是形，而是「变换的全体及其合成规律」。
这是数学对象观念的一次扩容。在此之前的数学对象都是「静态的」：数、量、曲线、方程。群是第一批「动态的」对象之一——它研究的不是事物，而是事物之间的作用方式。一旦这类对象获得公民权，整套抽象代数（环、域、模、表示）就依次跟着入场，因为它们全是同一观念的变体。
今天回头算一笔账：五次方程不可解这件事，在实际计算中几乎不被提及（数值方法什么都解得动），但它换来的「对称性思维」统治了现代科学——晶体学的 230 个空间群、粒子物理的标准模型、化学的分子轨道、密码学的椭圆曲线。一个「解不出方程」的定理，最终教会了我们如何给宇宙的对称性编目。这是数学史反复上演的模式：为回答一个问题而造的语言，比问题本身活得久得多。
任务。第 45 页指出 Ruffini 的论证有三层裂缝。本挑战在不使用 Galois 理论的前提下，用第二编已有的工具（类型表、稳定集、封闭性）补全其中的两层，并亲手体会第三层为什么补不动。
验收标准。①第一层的证明不遗漏「Hσ 中元素互不相同」这一半；②第二层的论证指出同态的核是正规子群这一关键；③第三层明确写出「我卡在哪一步、缺什么概念」——能精确说出自己缺什么，是本挑战真正要训练的能力（这正是 Ruffini 当年面对的处境）。
第三层的正确走法：正规子群是若干共轭类的并。先算出 A5 的共轭类大小（1、15、20、12+12——注意 24 个五循环在 A5 内分裂成两个 12 元类！），再验证：不存在由这些数相加得到 60 的约数（除 1 与 60）。「24 分裂成 12+12」是最容易漏掉的细节，也是证明的真正难点——第三编第 95 页会专门处理它。
目标。S5 只有 120 个元素——小到可以全量枚举。本实验用程序把它摊开，亲手验证第二编的所有断言。全部代码不超过 70 行 Python，不需要任何群论库。
任务 A（生成与普查）。用 itertools.permutations 生成 120 个置换，按轮换类型 15, 2·13, 22·1, 3·12, 3·2, 4·1, 5 分类计数，核对例 14 的表；再按奇偶分成两半，验证偶者 60 个。
任务 B（稳定群与取值个数）。取例 13 的 Ψ = x1x2 + x3x4，把根取成具体数（如 1, 2, 3, 4, 5），枚举 120 个置换算 Ψ 的值，数出取值个数（应为 15），并输出使 Ψ 不变的置换集合（应为 8 个，与例 13 的清单一致）。验证 k·|H| = 120。
任务 C（A5 的子群全枚举）。A5 的每个子群都可由至多 2 个元素生成。枚举 A5 的全部 2 元子集（约 1770 对），对每对生成封闭子群（反复做乘法直至不动点），去重后按阶分类。核对：阶 1、2、3、4、5、6、10、12、60 的子群个数分别为 1、10、10、5、6、10、6、5、1。观察点：注意没有阶 15、20、30 的子群——这两行空缺正是「A5 不可剥」的数值形象。
任务 D（正规性检验）。对任务 C 得到的每个真子群 H，检验是否对一切 σ ∈ A5 有 σHσ−1 = H。程序应输出：没有任何真子群通过检验——这就是 A5 单性的枚举版证明。再把同样的程序跑在 S4 上，可以看到 A4 与 V4 都通过——四次的链与五次的死路，在同一份代码里对比出现。
延伸：把任务 C 的枚举升级到 S5（用任意 2 元子集生成，全量去重），数出子群总数并与文献值 156 对拍；再对每个子群算指数，验证「指数 3 与 4 的子群不存在」这一 Ruffini 引理。当一枚举成为可执行代码，1799 年的「裂缝」就变成了 2020 年代的一次课后作业——这正是本书反复强调的：困难从来不在计算，而在语言。
本书至此出现了两种完全不同的「解题」：开方是一种操作，按步骤执行就得出数；群是一种对象，它的研究不产出数值而产出结构。这两件事在今天分属两门学科（数值计算与抽象代数），但它们曾经是同一个问题的两个侧面——五次方程把它们撕开了。
操作的传统。从巴比伦泥板的平方根近似、《九章》的开方术（p.35）、到 Newton 与 Horner 的迭代法，「解方程」始终意味着一套可以执行到底的程序。程序的品质由效率衡量：更快收敛、更少乘法、更适合手算或机器算。这条传统从不问「根式解是否存在」——它只问「这个根的第 5 位是多少」。
对象的传统。Lagrange 第一次把「解法的公共骨架」当作研究对象；Ruffini 与 Abel 把「置换集合」当作可以清点的对象；Galois 把它命名为群并给出判据。对象的品质由结构衡量：有多少子群、哪些正规、能否剥解。这条传统不产出根，产出的是关于根的知识——「不可能」也是知识。
格物致知：「开方」与「群」的关系，很像「走路」与「地图」的关系。走路的人总能到达（数值方法总是收敛），画地图的人知道哪些路根本不存在（判据）。地图并不比走路更有用——但只有地图能说明，为什么走了三百年都没到的那条路，本来就不通。本册要教，是画地图的手艺。
一句话直觉。就在 Ruffini 与 Abel 证明「公式不存在」的同一时期，三条旁支并行发展：根的存在性被证明（Gauss）、根的数值被系统化（Ruffini–Horner）、复数获得公民权。三件事合起来才使「不可解」成为一个干净的概念。
三条旁支与主线交汇于一个判断：「解方程」这个词必须拆开。拆开后得到三个独立的问题：①根存在吗？——代数学基本定理，永远「存在」；②根能由系数经根式写出吗？——Abel–Ruffini：n ≤ 4 能，一般 n ≥ 5 不能；③根的数值是多少？——数值分析：任意精度，永远可行。三个问题的答案是彼此独立的，混淆它们是三百年来无数「五次方程解法」伪证明的共同根源（至今仍每年收到这类投稿）。
一条可以自查的判据：任何声称「解出了一般五次方程」的工作，都可以用一分钟的检验否证——把它的表达式对系数取特殊值（如全为零附近）展开，看它在 x5 − x − 1 = 0 上是否给出正确根。Abel 的定理保证了它必失败；这就是「不可能性证明」的实用价值：它替所有后来的数学家省下了尝试的时间。
一句话直觉。第二编的三代数学家各自摸到了同一堵墙；本编要把墙后的东西完整拿出来。路线分三站：语言（域与多项式，p.65–72）、对应（Galois 群与子域，p.73–82）、定理（可解性与阿贝尔–鲁菲尼，p.83–97）。每站只引入下一步必须的工具——凡是与本册目标无关的概念，一律不引入。
「自给自足」的三条实现方式。其一，每个定理都在本编内证明——除了极少数显然超出本册目标的经典结果（如「对称有理函数可由系数表出」的完整证明、S5 无指数 3 或 4 子群的枚举细节），它们在正文中明确标注「引用」并给出可查的出处页。其二，不引入不用的概念：本编不出现「超越扩张的超越基」「可分扩张的一般理论」「无限 Galois 群」等——它们与根式解判据无关。其三，每条定义后立即给一个可算的例子，确保语言落地。
一个阅读建议：本编的定理编号是全书最密集的，但它们串成一条单线——如果只记一条线，记这条：方程 → 分裂域 → Galois 群 → 可解群 → 根式可解。其余一切都是在给这条线的五段铺路。
一句话直觉。整数的整除理论几乎原封不动地搬到多项式上——只要把「绝对值」换成「次数」。这一页建立四件事：带余除法、公因式与最大公因式、不可约、根与一次因式。
多项式环。设 F 是域（如 ℚ、ℝ、ℂ，或更一般的域——定义见 p.68）。F[x] 表示系数在 F 中的一元多项式全体，加法按系数相加，乘法按卷积。次数 deg f 是最高非零系数的指标；最高非零系数为 1 者称首一。
命题 3.1（带余除法）。对 f, g ∈ F[x] 且 g ≠ 0，存在唯一的 q, r ∈ F[x] 使 f = qg + r 且 r = 0 或 deg r < deg g。
证明。存在性：用小学长除法逐次消去最高次项，每次商一项、余式次数严格下降，故有限步终止。唯一性：若 qg + r = q′g + r′，则 (q − q′)g = r′ − r；左端若非零次数 ≥ deg g，右端次数 < deg g，矛盾，故两者皆零。∎
不可约。f ∈ F[x] 称为在 F 上不可约，若 deg f ≥ 1 且 f 不能写成两个更低次数的多项式之积。注意：不可约性依赖于域——x2 − 2 在 ℚ 上不可约，在 ℝ 上可约。这是全书最容易被忽视、也最关键的一点。
命题 3.2（根与因式）。a ∈ F 是 f 的根 ⟺ (x − a) ∣ f。推论：deg f 次多项式在 F 上至多有 deg f 个根（计重数则恰可分解为一次因式之积当且仅当全部分裂）。
证明。带余除法以 (x − a) 除 f，余式次数 0，即 f = q(x)(x − a) + c；代入 x = a 得 c = f(a)。推论由逐次提出一次因式得到：每提一次次数降 1，而一个一次因式只给一个根。∎
两个直接推论将反复使用。①若 f 在 F 上不可约且次数 ≥ 2，则它在 F 中没有根（有根即可约）——注意逆命题不成立（x4 + 1 在 ℝ 上无根但可约）。②判别不可约性的实用工具是 Eisenstein 判据（下一页）。
本页的记号约定（全书沿用）：f ∣ g 读作「f 整除 g」；(f, g) 或 gcd(f, g) 表示首一最大公因式——它存在且可由辗转相除法算出（与整数完全同构）。
一句话直觉。多项式像整数一样有「素分解」；而判断一个多项式是不是「素」的，有一件近乎机械的工具——Eisenstein 判据。它将立刻判定我们全书的核心例子 x5 − 6x + 3 不可约。
命题 3.3（唯一分解）。F[x] 中每个次数 ≥ 1 的多项式可写成不可约多项式之积，且写法在「相差非零常数倍、因子可换序」的意义下唯一。
证明骨架。存在性由次数的良序（不能分解就再分，次数严格下降，必终止）。唯一性归结为欧几里得引理：p 不可约且 p ∣ ab，则 p ∣ a 或 p ∣ b——而这条由 Bézout 等式 up + vq = gcd（辗转相除）立得：若 p ∤ a，则 gcd(p, a) = 1，于是 b = upb + vab 被 p 整除。∎
命题 3.4（Eisenstein 判据）。设 f = xn + an−1xn−1 + ⋯ + a1x + a0 ∈ ℤ[x]（首一），p 为素数。若
p ∣ an−1, p ∣ an−2, …, p ∣ a1, p ∣ a0， 且 p2 ∤ a0
则 f 在 ℚ 上不可约。
证明。反设 f = gh，g = brxr + ⋯ + b0、h = csxs + ⋯ + c0 为 ℤ[x] 中非平凡分解（由 Gauss 引理：整系数多项式若在 ℚ 上可约，则可写成整系数之积——此引理本身可由本页命题 3.3 与本原多项式理论推出，此处引用）。看最低次项：a0 = b0c0，而 p ∣ a0、p2 ∤ a0，故 p 恰整除 b0, c0 之一，不妨 p ∣ b0、p ∤ c0。若 p 整除 g 的全部系数，则 p2 ∣ b0c0 = a0 矛盾；故存在最小的 j 使 p ∤ bj（j ≤ r < n）。看 xj 的系数 aj = bjc0 + bj−1c1 + ⋯：右边后面各项的 b 都被 p 整除，而 c0 不被整除，故 p ∤ aj。但 j < n，与判据矛盾。∎
例 3.1（全书主角）。f(x) = x5 − 6x + 3：取 p = 3。3 ∣ 0, 3 ∣ 0, 3 ∣ 0, 3 ∣ (−6), 3 ∣ 3，且 9 ∤ 3。故 f 在 ℚ 上不可约。这一个事实是第 96 页判定其 Galois 群为 S5 的第一步。
使用提醒：Eisenstein 判据要求「除首项外全部系数被 p 整除」。若不满足，可以试试把 x 换成 x + a（不可约性在平移下不变）：例如 x4 + 1 在 ℚ 上不可约，可由 (x+1)4 + 1 = x4 + 4x3 + 6x2 + 4x + 2 对 p = 2 用 Eisenstein 看出。
一句话直觉。「被所有置换保持的量 ⟹ 可由系数表出」——这条原则在第一编被反复使用而未证明。本页把它正式化，它正是「Galois 群取值为取值个数」这一整座桥的地基。
初等对称多项式。对 n 个字母 x1, …, xn，定义 ek 为所有 k 个不同字母之积的和：
e1 = Σxi， e2 = Σi<j xixj， …， en = x1x2⋯xn
它们在全部 n! 个置换下不变。韦达定理：若 f(x) = xn + an−1xn−1 + ⋯ + a0 的根为 x1, …, xn，则 an−k = (−1)kek（比较 ∏(x − xi) 的展开即得）。
定理 3.5（对称多项式基本定理）。任何关于 x1, …, xn 的对称多项式都可唯一地表为 e1, …, en 的多项式。推论：任何对称有理函数（被全部置换保持的有理函数）可由原方程的系数经有理运算表出。
证明思路（完整证明约两页，此处给出可复述的骨架）。对多项式的总次数做归纳。取对称多项式 P，把它按「字典序」看最高次项，例如 c·x1a1x2a2⋯xnan；对称性保证所有把指数重排后的项也出现。构造 Q = c·e1b1e2b2⋯enbn，其中 bi = ai − ai+1——可验证 Q 的最高次项恰与 P 的相同且 Q 对称，于是 P − Q 的最高次项被消去；次数下降，归纳结束。唯一性由「e1, …, en 代数无关」给出（这一步需要一点技巧，引用标准教材）。∎
为什么这条定理是全书的枢纽。第二编的「取值个数 k」之所以有意义，是因为我们要求预解函数的取值集合（而非函数本身）由系数决定。精确地说：若 Φ 取 k 个值 v1, …, vk，则 ∏(t − vi) 是对称多项式（在全部置换下不变），故由定理 3.5 可由系数表出——预解式真的存在。第一编所有「预解式」的合法性，都落在这一定理上。
一个可以立刻体会「对称 ⟹ 系数可表」的例子：x12 + x22 + x32 = e12 − 2e2。任何对称式都能这样「降」到 e 上——试一试 x13 + x23 + x33（答案是 e13 − 3e1e2 + 3e3）。
一句话直觉。从这一页起，「方程」退到幕后，「域」走上前台。一个域扩张有多「大」，用一个数衡量——次数；而次数满足一条极简单的乘法规则（塔律），全书一切「不可能」的证明都从这条规则里长出来。
域与扩域。域是一个集合，带加法与乘法，满足：加乘交换结合、分配律、有 0 与 1、每个非零元有乘法逆（直观：能做四则运算的世界）。若 F ⊆ E 且两者都是域（运算一致），称 E/F 为扩域，F 为基域。E 自然是 F 上的向量空间；其维数称为次数，记 [E : F]。次数有限时称有限扩张。
命题 3.6（塔律）。若 F ⊆ K ⊆ E 为域扩张链，则
[E : F] = [E : K]·[K : F]
证明。设 K 在 F 上的基为 u1, …, um，E 在 K 上的基为 v1, …, vn。断言 {uivj} 是 E 在 F 上的基。张成：任一 z ∈ E 可写成 Σκjvj（κj ∈ K），而每个 κj 可写成 Σαijui（α ∈ F），代入即得 z 是 {uivj} 的 F-线性组合。无关：若 Σi,jαijuivj = 0，把它写成 Σj(Σiαijui)vj = 0；由 vj 在 K 上无关，每个 Σiαijui = 0；再由 ui 在 F 上无关得全部 αij = 0。故 [E:F] = mn。∎
例 3.2。ℚ ⊂ ℚ(√2, √3)。√3 ∉ ℚ(√2)（否则 √3 = a + b√2，平方比较系数得矛盾），故 [ℚ(√2, √3) : ℚ(√2)] = 2；又 [ℚ(√2) : ℚ] = 2。塔律给 [ℚ(√2, √3) : ℚ] = 4，且基为 {1, √2, √3, √6}。第 80 页将把它的全部中间域与 V4 的全部子群一一配对。
塔律的直接推论（全书的「不可能性引擎」）。①次数整除：若 F ⊆ E，则 [E:F] 整除任何经过中间域的分解。②没有中间层就没有小次数：[E:F] 为素数时，F 与 E 之间没有任何真中间域——这是「素数次方程的群要么极小要么极大」的根源。③开方一步恰乘一个数：若 yn ∈ F 且 y ∉ F，通常 [F(y) : F] = n（下一页精确化）。
塔律就是第二编 Lagrange「取值个数整除 n!」的域论版本：取值个数对应次数。两句话是同一条乘法规则在两侧的投影——第 78 页将把这句话变成定理。
一句话直觉。把一个「满足某方程的数」添进域里，得到的扩域次数恰等于它的极小多项式次数。这一页把「解方程」与「扩张」画上等号——Galois 理论从此可以完全用扩张的语言说。
代数元与极小多项式。设 E/F 为扩域，α ∈ E。若存在非零 f ∈ F[x] 使 f(α) = 0，称 α 在 F 上代数；否则称超越。极小多项式 mα 是以 α 为根的次数最低的首一多项式。
命题 3.7（极小多项式的三条性质）。①mα 存在且不可约；②任何以 α 为根的多项式都被 mα 整除；③mα 唯一。
证明。①若 mα = gh 且两者次数更低，代入 α 得 g(α)h(α) = 0；域中无零因子，故 g(α) = 0 或 h(α) = 0，与最低次矛盾。②带余除法：f = qmα + r，deg r < deg m；代入 α 得 r(α) = 0，由最低次性 r = 0。③两条最低次首一多项式互相整除，故相等。∎
命题 3.8（次数公式）。设 α 在 F 上代数，n = deg mα，则
[F(α) : F] = n， 且 {1, α, α2, …, αn−1} 是 F(α) 在 F 上的一组基
证明。F(α) 定义为含 F 与 α 的最小域；其元素都能写成 g(α)/h(α)（g, h ∈ F[x]，h(α) ≠ 0）。关键一步：这样的分式总能化成 α 的次数 < n 的多项式——因为 h(α) ≠ 0 蕴含 gcd(h, mα) = 1（mα 不可约且不是 h 的因式），由 Bézout 存在 u, v 使 uh + vmα = 1，代入 α 得 1/h(α) = u(α)，于是 g(α)/h(α) = g(α)u(α)，再由命题 3.7② 把它对 mα 取余降到次数 < n。于是 {1, α, …, αn−1} 张成。无关性：若 Σciαi = 0 是次数 < n 的非零关系，则它给出更低次的以 α 为根的多项式，与极小性矛盾。∎
例 3.3。①α = ∛2：m = x3 − 2（在 ℚ 上不可约，Eisenstein p = 2），故 [ℚ(∛2) : ℚ] = 3。②α = ζ5 = e2πi/5：m = x4 + x3 + x2 + x + 1（由 x5 − 1 = (x − 1)(x4 + ⋯ + 1) 与 Eisenstein 平移技巧，p.66 末），故 [ℚ(ζ5) : ℚ] = 4。这条 4 将在第 84–85 页的 Kummer 定理中成为「开五次方需要先添一层四次扩张」的精确表述。
一条立刻可得的整除性：F ⊆ F(α) ⊆ E 时，deg mα = [F(α):F] 整除 [E:F]（塔律）。「扩域次数里藏着根的极小多项式次数」——这是把方程的信息从域中读出来的第一把钥匙。
一句话直觉。给定系数域上的多项式 f，把它所有的根「一次集齐」的最小域叫分裂域。它是方程的完整舞台——Galois 群将定义在这个舞台上，而不是在系数域上。
分裂域。设 f ∈ F[x]，deg f ≥ 1。E/F 称为 f 的分裂域，若 ①f 在 E[x] 中完全分裂为一次因式之积，②E = F(α1, …, αn)，其中 αi 是 f 的全部根。「最小」体现在②：除了根与系数域所必需者，不添加任何别的元素。
命题 3.9（存在性）。任何 f ∈ F[x] 都有分裂域。
证明（构造，对次数归纳）。若 f 已在 F 上完全分裂，取 E = F。否则设 p(x) 是 f 的一个次数 ≥ 2 的不可约因式。构造 K = F[x]/(p(x))——即「形式余式」的世界：元素是次数 < deg p 的多项式，加法按系数、乘法对 p 取余。这是一个域（由 p 不可约，任何非零余式与 p 互素，Bézout 给出逆元），且含 F 的同构副本。在 K 中，x 的余像 θ 满足 p(θ) = 0——我们凭空造出了 p 的一个根。于是 f 在 K[x] 中至少多分裂出一个一次因式；对 f 在 K 上的剩余因子重复此步。每步至少分裂一个根，而总次数有限，故有限步后完全分裂；取全部根生成的域即得 E。∎
例 3.4。①f = x2 − 2 在 ℚ 上：分裂域 ℚ(√2)，次数 2。②f = x3 − 2：根为 ∛2, ω∛2, ω2∛2，故分裂域 ℚ(∛2, ω)，次数 [ℚ(∛2,ω):ℚ(∛2)]·[ℚ(∛2):ℚ] = 2·3 = 6（ω ∉ ℚ(∛2)，因后者是实域而 ω 非实）。注意 6 = 3!——这正是「三次一般方程的群是 S3」的数值投影。③f = x5 − 6x + 3：分裂域在 ℂ 中由 5 个根生成，第 96 页将证明其次数恰为 120 = 5!。
两点约定。①分裂域总是存在于 ℂ 的某个子域中（当代数基本定理；见 p.63 旁支），本册默认在 ℂ 内取分裂域，以便谈论「实根个数」等。②分裂域不依赖构造顺序——这正是下一页的唯一性定理，它保证 Galois 群是方程的固有属性而非构造的偶然。
把分裂域想成「方程的全家福」：系数域里只能看到对称的影子（系数），分裂域里每个根都有名字。Galois 群要问的问题是：这些名字可以怎样互换而不破坏任何算术关系？
一句话直觉。分裂域「怎么造都一样」：不同的构造路径给出同构的域，而且同构可以把系数域上的任何已有同构延拓上来。这条延拓引理是全书技术含量最高的工具——它保证根的置换与域的同构是同一件事。
F-同态。设 E/F 与 E′/F′ 为扩域。映射 σ : E → E′ 称为同态，若它保持加法与乘法（σ(a+b) = σ(a)+σ(b)、σ(ab) = σ(a)σ(b)）且 σ(1) = 1。若进一步 σ 限制在 F 上是到 F′ 的同构，称 σ 为 F-同构；特别地当 F = F′ 且 σ 保持 F 的每个元素不动时，称 σ 为 F-自同构（若还是满射）。域的同态必为单射（核是理想，而域只有 0 与全部两个理想）。
命题 3.10（延拓引理）。设 σ : F → F′ 是域同构，f ∈ F[x]，f′ ∈ F′[x] 是把系数经 σ 逐个搬运所得。若 E, E′ 分别是 f, f′ 的分裂域，则 σ 可延拓为同构 E → E′。并且，延拓方式的个数不超过 [E : F]。
证明骨架（对 [E:F] 归纳）。若 f 在 F 上已完全分裂，则 E = F，无事可做。否则取 f 的不可约因式 p 与其根 α ∈ E。p′ = σ(p) 仍不可约，在 E′ 中取其一根 β。第一步（单根延拓）：存在同构 τ : F(α) → F′(β) 延拓 σ 且 τ(α) = β——由命题 3.8，两边都是 F[x]/(p) 与 F′[x]/(p′) 的同构像，把 g(α) ↦ gσ(β) 即可，良定性与双射性来自「p 与 p′ 分别是极小多项式」。第二步：现在 E 也是 f 在 F(α) 上的分裂域、E′ 是 f′ 在 F′(β) 上的分裂域，而 [E : F(α)] < [E : F]，由归纳假设 τ 可延拓到 E → E′。计数：每一步的延拓选择至多 deg p 个（p′ 的根只有有限个），各步相乘不超过 [E:F]。∎
推论 3.11（唯一性）。取 F = F′、σ = id：f 的任意两个分裂域之间有 F-同构。故「这个方程的分裂域」是一个良定义的对象，其上的一切结构（包括下一页定义的 Galois 群）不依赖构造。
为什么这页重要到值得单独一页。它给了我们一件此后时刻使用的事实：设 E/F 为分裂域、α ∈ E，则对 α 在 F 上的每个共轭根 β ∈ E，都存在 F-自同构 σ : E → E 使 σ(α) = β（在延拓引理中取 F′ = F、β 为 mα 的共轭根，注意 mαid = mα）。「根可以被置换」从此是一条定理而不是直觉。
计数那句「不超过 [E:F]」将在第 75 页升级成等式（Artin 引理的另一半）。可以说：第三编的两大计数——延拓个数 ≤ 次数、自同构个数 ≤ 次数——夹出了「自同构个数 = 次数」这个 Galois 扩张的精确刻画。
一句话直觉。在有限特征的域里，不可约多项式可能带重根，整套计数会失灵；而在 ℚ 与一切特征 0 的域里，这不会发生。本页用两页的篇幅之一，把一个此后永远可以忽略的技术问题关掉——这是「自给自足」的一部分：说清楚我们为什么可以不管它。
特征。域 F 的特征是最小的 n > 0 使 n·1 = 1 + 1 + ⋯ + 1 = 0；若不存在则称特征 0。ℚ, ℝ, ℂ 的特征是 0；𝔽p 的特征是 p。形式导数：f = Σaixi 的导数定义为 f′ = Σi·aixi−1（纯代数定义，不用极限），并满足通常的乘积法则。
命题 3.12（无重根判据）。f 在分裂域中无重根 ⟺ gcd(f, f′) = 1。
证明。设 α 是 f 在分裂域中的根，写 f = (x − α)m·g，g(α) ≠ 0。乘积法则给 f′ = m(x − α)m−1g + (x − α)mg′。若 m ≥ 2，则 (x − α) 整除右端第一项；而第二项在 α 处的值是 0 当且仅当 (x − α) ∣ g′ 或 m = 0（在域中 m·1 = 0）。在特征 0（或 p ∤ m）时 m·1 ≠ 0，故 f′(α) = m(x−α)m−1g(α) ≠ 0，即 (x−α) 不是 f′ 的因式——重根使 gcd ≠ 1。反之无重根时每个根恰出现一次，f′ 在各根处取值 g(α) ≠ 0，故 f, f′ 无公共一次因式，gcd = 1。∎
命题 3.13（特征 0 ⟹ 不可约 ⟹ 无重根）。若 F 的特征为 0 且 p ∈ F[x] 不可约，则 p 无重根。
证明。反设 gcd(p, p′) ≠ 1。由 p 不可约，p ∣ p′；但 deg p′ < deg p（特征 0 保证最高次项系数 n·1 ≠ 0，故 p′ ≠ 0），于是 p′ = 0——而特征 0 中次数 ≥ 1 的多项式导数不为零，矛盾。∎
在本册中的用法（一句话版本）。今后凡是「n 个根」「[E:F] 个嵌入」，都默认了本页：我们的基域是 ℚ（或特征 0 域），不可约多项式没有重根，分裂域恰有 deg f 个互不相同的根。第 73 页的「n! 个置换全都可能成为自同构」、第 75 页的计数、第 78 页的次数互换，全都站在这一页上。
反例提示（说明为何这不是废话）：在 𝔽p(t)（t 为超越元）中，xp − t 不可约却在分裂域中有 p 重根——因为它的导数是 pxp−1 = 0。特征 p 的世界需要整套可分性理论；本书不走那条路，只在此处立牌注明。
一句话直觉。第二编说「根可以被置换」，第三编 p.71 说「共轭根都由自同构实现」。本页把这两件事数清楚：有限扩张的嵌入个数恰等于次数。这是全书第一根精确的「计数支柱」。
F-嵌入。设 E/F 为扩域。映射 σ : E → ℂ 称为 F-嵌入，若它保持加乘、σ(1) = 1，且对一切 a ∈ F 有 σ(a) = a（不动基域）。单元素观察：σ 把 f ∈ F[x] 的根映到根——因为 f(α) = 0 时 f(σ(α)) = σ(f(α)) = 0（系数不动）。所以嵌入自动置换根。
命题 3.14（嵌入计数）。设 E/F 为有限扩张（特征 0），则 F-嵌入 E → ℂ 的个数恰为 [E : F]。
证明。写 E = F(α1, …, αm)，逐个添加。第一步：F-嵌入 F(α1) → ℂ 由 α1 的像唯一决定，而像必须是 mα1 在 ℂ 中的根；反之由延拓引理（命题 3.10，取 σ = id），每个根都实现一个嵌入。由 p.72（无重根），mα1 恰有 deg mα1 = [F(α1):F] 个互异根，故嵌入个数恰为 [F(α1):F]。归纳：固定一个嵌入 τ : F(α1) → ℂ，把它延拓到 E 的方式由延拓引理计数，恰为 [E : F(α1)]（把 τ 用于系数域，逐根搬运——同一步骤）。由塔律相乘：[F(α1):F]·[E:F(α1)] = [E:F]。∎
推论（分裂域的特殊好运）。设 E 是 f ∈ F[x] 的分裂域。任一 F-嵌入 σ : E → ℂ 把 f 的根集映到自身，而 E = F(全部根)，故 σ(E) ⊆ E；又 σ 是单射且 [E:F] 有限，故 σ(E) = E——嵌入自动是自同构。于是对分裂域：
F-嵌入的个数 = F-自同构的个数 = [E : F]
例 3.5。①ℚ(√2)/ℚ：次数 2，嵌入 2 个（√2 ↦ ±√2），都是自同构。②ℚ(∛2)/ℚ：次数 3，嵌入 3 个（∛2 ↦ ∛2, ω∛2, ω2∛2），但只有 1 个像落在 ℚ(∛2) 自身内——因为另两个根不在其中。这个例子说明：嵌入个数与自同构个数可以不同；分裂域恰好是两者相等的情形。这正是下一页 Galois 扩张定义的动机。
本页与下一页的分工：p.73 说「嵌入有多少」（个数 = [E:F]，对一切有限扩张成立）；p.74 问「其中多少是自同构」（对分裂域：全部）。当全部嵌入都是自同构时，方程的置换群与域的自同构群重合——Galois 理论由此起飞。
一句话直觉。现在可以把第二编第 49 页的直观定义升级为严格定义。Galois 群是分裂域的全部自同构——它既是「根的置换」又是「域的对称」，一物两名。
Galois 群。设 f ∈ F[x]，E 为其分裂域（特征 0）。f 在 F 上的 Galois 群定义为
Gal(f/F) = Gal(E/F) = {σ : E → E ∣ σ 为自同构，σ ∣F = id}
带运算「相继作用」。它是群（封闭、结合、单位元、逆元显然）。由 p.73 推论，|Gal(E/F)| = [E:F]，且每个元素限制在根集上给出根的一个置换，且这个映射是单射（自同构由它在生成元上的取值决定，而根集生成 E）——故 Gal(E/F) 是根集置换群 Sn 的一个子群。这正是第二编「保持全部有理关系的置换」的严格化：保持关系 ⟺ 延拓为域自同构。
例 3.6（三个必记的例子）。
①f = x2 − 2，E = ℚ(√2)。[E:ℚ] = 2，自同构 2 个：id 与 σ(√2) = −√2。Gal ≅ C2——即「两根互换」。
②f = x3 − 2，E = ℚ(∛2, ω)。由例 3.4，[E:ℚ] = 6。自同构由 ∛2 ↦ ωi∛2（i = 0,1,2）与 ω ↦ ω 或 ω ↦ ω2 的组合给出，共 6 个；6 个置换恰好是根 {∛2, ω∛2, ω2∛2} 的全部排法，Gal ≅ S3。
③f = x3 − 2 但把域取成 ℚ(∛2)（不是分裂域）。自同构只有 1 个（∛2 ↦ ∛2，因为另两根不在域内）。同一个方程，域不同则群不同——这就是为什么定义必须固定在分裂域上。
两个立刻可得的判读。①|Gal(f/F)| = [E:F] 是 n! 的约数（因它是 Sn 的子群），且 [E:F] 是 deg f 的倍数的约数——第二编 Lagrange 的账与塔律在此会合。②一般方程（系数为无关参数）的情形：第 95 页将证明其群是全部 Sn；而「具体」方程的群往往更小——群越小，根的结构越特殊，方程越容易解。这句话是全书暗线「一般二字」的群论形态。
自检：为什么「保持全部有理关系」的置换恰好组成一个群？——因为「关系的集合」在合成下不变：先 τ 后 σ 都保持每条关系，合成也保持。这就是第二编第 50 页「封闭性」的严格版。
一句话直觉。p.73 说「有限扩张的自同构 ≤ 次数」。Artin 引理是它的惊人逆：任取一列自同构构成群，固定它们的域恰好使次数等于群的阶。这是 Galois 对应的第一根支柱。
固定域。设 G 是域 E 的一列自同构。固定域定义为 EG = {a ∈ E ∣ σ(a) = a 对一切 σ ∈ G}——易验证它是 E 的子域。
定理 3.15（Artin 引理，1942 年的表述；思想属 Galois）。设 G 是域 E 的有限自同构群，F = EG，n = |G|。则 E/F 是有限扩张且
[E : F] = n
证明（两半）。
半一（[E:F] ≤ n，Dedekind 独立性）。先证 Dedekind 引理：域 E 的两两不同自同构 σ1, …, σr 作为函数在 E 上线性无关。设非平凡关系存在，取项数最少者 c1σ1 + ⋯ + crσr = 0（ci ∈ E 全非零）。因 σ1 ≠ σ2，取 a ∈ E 使 σ1(a) ≠ σ2(a)。把关系作用于 a·x，再与「原关系乘以 σ1(a)」相减，得 Σi≥2ci(σi(a) − σ1(a))σi = 0，其中 i = 2 项系数非零——更短的非平凡关系，矛盾。∎
现在反设 [E:F] = m > n，取 F-线性无关组 u1, …, un+1（取 n+1 个即可）。方程组 Σjσ(uj)xj = 0（对每个 σ ∈ G）是 n 个方程、n+1 个未知数的齐次线性组，有非零解；取非零分量最少者，重排使 x1 ≠ 0。对 τ ∈ G：把解施加 τ 得 Σj(τσ)(uj)τ(xj) = 0，与「τσ 所对应的原方程」相减得 Σj(τσ)(uj)(τ(xj) − xj) = 0——仍是非平凡解（x1 分量变为 τ(x1) − x1，可能为零，但其余分量不会比原解多）。由极小性，τ(xj) = xj 对一切 j, τ，即 xj ∈ F。取 σ = id 得 Σujxj = 0 是 F-非平凡关系，与无关性矛盾。∎
半二（[E:F] ≥ n）。由 p.73 命题 3.14，F-嵌入 E → ℂ 共 [E:F] 个；而 G 的每个元素都是一个 F-嵌入（像在 E ⊆ ℂ 内），且不同元素是不同函数，故 n ≤ [E:F]。∎
读法。Artin 引理的方向与 p.73 相反：p.73 从「域」出发数自同构（≤）；本定理从「群」出发造域（固定域），并发现次数被群的阶精确填满。两句话合起来：E/EG 是次数最小的、能让 G 全部实现的扩张。
推论 3.16。在定理 3.15 的记号下：G = Gal(E/F)，且 EG = F。「先取群再取固定域，再取该固定域的自同构群，回到原群」——这半条对应是第 77 页对应的一侧。
一条立刻的收获（p.76 将全面化）：若 E/F 是分裂域，取 G = Gal(E/F)，则 EG ⊇ F（自同构不动基域）且由半一 [E:EG] ≤ |G| = [E:F]，而 F ⊆ EG 塔律给 [E:F] ≥ [E:EG]——两边夹出 EG = F。「分裂域的固定域就是基域」——Galois 扩张的判据由此一蹴而就。
一句话直觉。不是每个扩域都配得上 Galois 之名。本页给出「Galois 扩张」的精确定义与三个等价刻画——它们将在后文各司其职。
Galois 扩张。有限扩张 E/F 称为 Galois 扩张，若满足以下任一（从而全部）等价条件：
(a) |Gal(E/F)| = [E : F] ⟺ (b) EGal(E/F) = F ⟺ (c) E 是某个 F[x] 中多项式的分裂域
等价性。(a)⟹(b)：由 p.75 末的夹逼（[E:EG] ≤ |G| = [E:F] 而 F ⊆ EG，塔律给反向）。(b)⟹(a)：设 G = Gal(E/F)，EG = F，由 Artin 引理 [E:F] = |G|。(b)⟹(c) 与 (c)⟹(a)：(c) 是 p.73 推论的直接重述（分裂域的嵌入全是自同构，个数 = [E:F]）。(b)⟹(c) 的方向：由 (b) 可证 E/F 是「本原元素之和的分裂域」——取 α ∈ E 使 E = F(α)（本原元定理，特征 0 成立；引用），E 是 mα 的分裂域（mα 的全部根都在 E 中：每个根由 p.71 实现为嵌入的像，而嵌入全是自同构，故像在 E 内）。∎
三个刻画的分工。(a) 用于计算（数一数自同构就知道扩张是否 Galois）；(b) 用于证明（固定域是「被群看清的部分」）；(c) 用于来源（方程的分裂域天然 Galois——这正是本册的舞台）。以后写「设 E/F 为 Galois 扩张」，三者任取。
例 3.7。①ℚ(√2)/ℚ：Galois（分裂域，|G| = [E:F] = 2）。②ℚ(∛2)/ℚ：不是 Galois——[E:F] = 3 而 |G| = 1；固定域是 ℚ(∛2) 自身而非 ℚ。缺的不是次数，是「根都搬得动」：另外两个根不在场。③ℚ(∛2, ω)/ℚ：Galois，|G| = 6 = [E:ℚ]。
为什么「Galois」值得一个名字。对 Galois 扩张，中间域的个数是有限的（等于 |G| 的子群个数）——这是一条极强的结构性约束：一般的三次扩张有无穷多个中间域，但分裂域的中间域只有有限个、且彼此由群的结构支配。方程论之所以能被群论接管，全靠这一步。
历史一句：Artin 引理与 Galois 扩张的这三条等价，是 E. Artin 在 1930–1940 年代把 Galois 理论重写为「域 + 自同构群」形态时的核心（p.53 已提）；Galois 原文用的是 (c) 的语言，Jordan 1870 用的是置换语言，今天的教材用 (a)/(b)。三个时代的三句话，说的是同一件事。
一句话直觉。现在可以揭开全书最大的一张网：Galois 扩张 E/F 的中间域与 Galois 群的子群一一对应——而且大的域对应小的群。本页建立对应，后两页给出它的两条精细性质。
定理 3.17（Galois 对应，主定理的第一部分）。设 E/F 为 Galois 扩张，G = Gal(E/F)。定义两个映射：
H ↦ EH（H ≤ G 的固定域）， K ↦ Gal(E/K)（F ⊆ K ⊆ E 的中间域的自同构群）
则两者互为逆映射；从而给出子群集合与中间域集合之间的一一对应，且反序：H1 ⊆ H2 ⟺ EH2 ⊆ EH1。
证明。反序：若 H1 ⊆ H2，则被更多自同构固定的元素更少，故 EH2 ⊆ EH1；域与群两侧同理。互逆：①对子群 H，记 K = EH，则 Gal(E/K) 恰由保持 K 每个元素的自同构组成，即 H——所以 Gal(E/EH) = H。②对中间域 K，由命题 3.14 与延拓引理，E/K 也是 Galois 扩张（E 仍是 f 在 K 上的分裂域！），故 EGal(E/K) = K（p.76 刻画 (b)）。∎
这张网有多大。对 |G| = 6 的三次例子（例 3.6②），子群有 6 个：{e}、三个 2 阶子群、一个 3 阶子群、S3——于是中间域恰 6 个：ℚ(∛2, ω)、ℚ(ω)、ℚ(∛2)、ℚ(ω∛2)、ℚ(ω2∛2)、ℚ。一一对应立刻把「找中间域」这个无边界的问题变成「找子群」这个有限问题。
Galois 1831 年论文的核心一节，就是这张网（他称之为「群的分组与方程的分组相对应」）。Liouville 1846 年的注释、Jordan 1870 的《置换论》、Artin 的现代形态，都是在把这张网画得更清楚——本册用三页，Galois 用了六页手稿。
一句话直觉。对应不仅存在，还守恒：域一侧的次数等于群一侧的阶。第二编 Lagrange 的「取值个数」至此获得精确含义：它就是子群的指数。
命题 3.18（次数与指数）。在定理 3.17 的记号下，对子群 H ≤ G 与对应域 K = EH：
[E : K] = |H|， [K : F] = [G : H]（H 的指数）
证明。第一式：由 Artin 引理（定理 3.15）应用于群 H 与固定域 EH = K，得 [E : K] = |H|。第二式：由塔律 [E:F] = [E:K]·[K:F]，而 [E:F] = |G|（Galois 扩张刻画 (a)），故 [K:F] = |G|/|H| = [G:H]。∎
这句等式是全书第二根计数支柱。把它与第二编并排读：
一个直接推论（判别「能否再开一层根」的第一步）。[K:F] 是素数 p ⟺ H 的指数为 p ⟺ |H| = |G|/p。次一层扩张如果存在，群必须有一个恰这么大的子群——这就是第二编「每层要除掉一个素数」的严格版。至于「指数为 p」之外还需「H 正规」，正是下一页的主题。
例 3.8。取例 3.6② 的 E = ℚ(∛2, ω)、G ≅ S3（6 阶）。3 阶子群 H = ⟨(1 2 3)⟩ 对应固定域 ℚ(ω)：[E : ℚ(ω)] = 3 ✓、[ℚ(ω):ℚ] = 2 = [S3:H] ✓。2 阶子群 ⟨(1 2)⟩ 对应 ℚ(ω∛2)：[E:ℚ(ω∛2)] = 2 ✓、[ℚ(ω∛2):ℚ] = 3 ✓。一个 3 次方程的六层世界，全部被两行公式收纳。
本页没有证明的：第一式用了 Artin 引理，第二式用了 Galois 扩张刻画。两页之前看似抽象的「等价刻画」，在这里兑现为两行算术——这是第三编反复出现的模式：定义页省下的力气，在定理页加倍还回来。
一句话直觉。最后一块拼图：中间域 K/F 自己是不是分裂域，由子群 H 是否正规完全决定。这一条把「能否继续开方」翻译成了群论中最容易被忽视的性质。
正规子群。H ≤ G 称为正规子群（记 H ◁ G），若 σhσ−1 ∈ H 对一切 σ ∈ G, h ∈ H。等价刻画：H 的左陪集 = 右陪集；从而商集 G/H 带上自然乘法成为群（商群），且有自然同态 G → G/H。
命题 3.19（正规性 ↔ 正规子群）。在定理 3.17 的记号下，对中间域 K = EH，下列等价：
(a) H ◁ G ⟺ (b) K/F 是 Galois 扩张 ⟺ (c) K/F 是某多项式的分裂域
且此时有商群同构：Gal(K/F) ≅ G/H。
证明骨架。(b)⟺(c) 是 p.76 刻画。(a)⟹(b)：设 τ 是 K 的任一 F-嵌入到 ℂ；由延拓引理把 τ 延拓为 E 的 F-自同构 σ ∈ G。则 τ(K) = σ(EH) = EσHσ−1（直接验证：a ∈ EH 时 σ(a) 被 σhσ−1 固定，反之亦然）。若 H ◁ G，则 σHσ−1 = H，故 τ(K) = EH = K——K 的所有嵌入都落在自身内，于是都是自同构，个数为 [K:F]，即 K/F Galois。(b)⟹(a)：由上面的等式 σ(EH) = EσHσ−1，若 K/F Galois，则 K 的每个 F-嵌入的像都落在 K 内；把 σ ∣K 延拓为 σ ∈ G（延拓引理）后，σ(K) ⊆ K 且因次数有限 σ(K) = K，故 EH = K = σ(K) = EσHσ−1，由对应的单射性得 σHσ−1 = H，即 H ◁ G。同构：映射 G → Gal(K/F)（σ ↦ σ∣K，因 σ(K) = K）是满同态，核恰为 Gal(E/K) = H，由商群同构定理得 Gal(K/F) ≅ G/H。∎
为什么这一条是「根式解」的开关。回看根式塔：F ⊂ F(y) ⊂ ⋯，每层添加一个 p 次幂。每一层都是「循环」的——若 F 已含 p 次单位根，则 F(y)/F 的 Galois 群是 p 阶循环群（第 84–85 页精确化）。而「循环」要求上一层到这一层是正规扩张、且商群循环。于是：
现在可以看清第二编 Ruffini 裂缝的精确位置了：他缺的正是「正规」——A5 里的子群不少（阶 2, 3, 5, 6, 10, 12），但没有一个是正规的（第 91 页）。账能算平，路却走不通——因为每一步都要求「正规地往下走」。
定理 3.17 说「一一对应」，但只有亲手列过一张表才会信。本页把两个最小的 Galois 扩张的全部中间域与全部子群逐项配对，并顺带验证命题 3.18 的两行计数。
例 3.9（E = ℚ(√2, √3)，G ≅ V4，4 阶）。由例 3.2，[E:ℚ] = 4，基 {1, √2, √3, √6}。三个非平凡自同构分别改变 √2、√3 的符号：σ, τ, στ（均 2 阶）。对应表：
逐项验证的要点。①⟨σ⟩ 固定 √3 与 √6（σ 只翻 √2 的号），故固定域含 ℚ(√3)；由命题 3.18，[E:E⟨σ⟩] = 2，而 [E:ℚ(√3)] = 2，故两者相等。②全部三个 2 阶子群都正规（V4 交换），故三个二次中间域都是 ℚ 的分裂域——事实上 ℚ(√2) = ℚ[x]/(x2−2) 等，确实 Galois。③中间域恰 5 个，与 V4 的子群恰 5 个一一对应——一个不多，一个不少。
例 3.10（E = ℚ(∛2, ω)，G ≅ S3，6 阶）。[E:ℚ] = 6（例 3.4②）。自同构由 ∛2 ↦ ωi∛2 与 ω ↦ ω 或 ω2 给出，对应根 x1 = ∛2, x2 = ω∛2, x3 = ω2∛2 的全部置换。对应表（域侧由上到下、群侧由小到大）：
本表是全书的一把钥匙。三个三次中间域对应的 2 阶子群都不正规（S3 的三个 2 阶子群彼此共轭），由命题 3.19，它们都不是 ℚ 的分裂域——事实确是如此：ℚ(∛2) 不含 x3 − 2 的另两根。而唯一正规的 3 阶子群 A3 对应 ℚ(ω)，它确实是分裂域（x2+x+1 的分裂域）。再看商群：Gal(ℚ(ω)/ℚ) ≅ S3/A3 ≅ C2——「判别式开平方」这一步的群论身份。
两张表合起来的读法：四次的 V4 例子里一切子群都正规，所以「每一层都能继续开方」——这正是四次方程可解的群论形态；三次的 S3 例子里有不正规的子群，但它恰好不在「必要的链」上。到了五次，链上的必需子群本身不正规——这就是第 91 页要证明的事。
练 31.证明：√3 ∉ ℚ(√2)（例 3.2 的关键一步）。并进一步证明：ℚ(√2) ≠ ℚ(√3) ≠ ℚ(√6)。
反设 √3 = a + b√2（a, b ∈ ℚ），平方得 3 = a2 + 2b2 + 2ab√2；若 ab ≠ 0 则 √2 ∈ ℚ 矛盾，故 ab = 0，两种情形都推出矛盾。第二问：ℚ(√2) = ℚ(√3) 将给出 √3 ∈ ℚ(√2)；ℚ(√6) = ℚ(√2) 给出 √3 = √6/√2 ∈ ℚ(√2)，同样矛盾。
练 32.用命题 3.8 计算 [ℚ(ζ5) : ℚ]（ζ5 = e2πi/5），并写出 ℚ(ζ5) 在 ℚ 上的一组基。
极小多项式 x4 + x3 + x2 + x + 1（例 3.3②），次数 4，故 [ℚ(ζ5):ℚ] = 4，基为 {1, ζ5, ζ52, ζ53}。用 1 + ζ + ζ2 + ζ3 + ζ4 = 0 消去 ζ4。
练 33.设 f = x4 + 1。证明它在 ℚ 上不可约（用 p.66 末的平移技巧），并求其分裂域与 Galois 群的阶。
平移后对 p = 2 用 Eisenstein（p.66 末已给算式）。分裂域为 ℚ(ζ8)（x4+1 的根是 8 次本原单位根），[ℚ(ζ8):ℚ] = φ(8) = 4，故 |Gal| = 4。它是 C4 还是 V4？——练 42 将回答。
练 34.设 E/F 有限且 [E:F] 为素数 p。证明：E/F 没有真中间域，且 E = F(α) 对一切 α ∈ E ∖ F 成立。
塔律：[E:F] = [E:K][K:F]，两个因子都大于 1 则积至少 4 > p（对 p = 2, 3）；一般地素数不能分解。于是中间域 K 只能是 F 或 E。第二问：F ⊆ F(α) ⊆ E 且 α ∉ F，故 F(α) = E。这就是「素数次扩张没有中间结构」——第 96 页判定五次方程群时要用。
练 35（挑战）.证明：x4 − 2x2 − 1 在 ℚ 上不可约，但其分裂域的次数是 8 而不是 4。
Eisenstein 不适用（系数含 −2）；用 y = x2 代换后因式分解的反证，或对 x4 − 2x2 − 1 平移后试 Eisenstein。次数 8 的理由：根为 ±√(1+√2), ±√(1−√2)，需同时添加 √2 与 √(1+√2)，两层各 2 次、再加一层 i。本题的意义：deg f 不整除 [E:F] 也可以很小——次数由「根的纠缠」而非次数决定。
练 36.证明：Gal(ℚ(√2,√3)/ℚ(√6)) ≅ C2，并指出它对应 V4 的哪个子群。
保持 √6 不动的自同构：id 与 στ（同时翻 √2 与 √3 的号，使 √6 不变）。即例 3.9 表中的 ⟨στ⟩。注意反序：ℚ ⊂ ℚ(√6) ⊂ E 对应 V4 ⊃ ⟨στ⟩ ⊃ {e}。
练 37.在例 3.10 的 S3 表中，写出域 ℚ(ω∛2) 对应的自同构群，并验证 Gal(ℚ(ω∛2, ω)/ℚ(ω∛2)) 的阶是 2。
ℚ(ω∛2) 由「把 ∛2 映到 ω∛2 的自同构 σ」固定；其固定子群是 ⟨σ⟩（2 阶）。由命题 3.18，[E : ℚ(ω∛2)] = 2。亲手核对：ω∛2 在 σ 下不变，但 ∛2 被映走。
练 38.证明：S3 的三个 2 阶子群彼此共轭，且它们的共轭作用对应于三个三次中间域 ℚ(∛2), ℚ(ω∛2), ℚ(ω2∛2) 在 G 作用下的互换。
直接算：τ(1 2)τ−1 = (τ(1) τ(2))，代入 τ = (1 2 3) 得 (2 3) 等。共轭子群的固定域满足 σ(EH) = EσHσ−1（命题 3.19 证明中已算），故子群的互换恰是域的互换——这正是「正规 ⟺ 不被互换」的直观来源。
练 39.设 E/F Galois，H ≤ G。命题 3.18 说 [EH:F] = [G:H]。它回答：若 |G| = 12 且 H 有 3 个元素，则 EH 在 F 上的次数是多少？EH 上再往上到 E 呢？
[EH:F] = 12/3 = 4；[E:EH] = 3。两数相乘 = 12 = |G|，塔律自动满足——对应表永远不会算错乘法。
练 40（挑战）.构造一个扩域 E/F 与一个中间域 K，使得 K/F 不是 Galois 扩张，并解释它在 Galois 对应中的位置。
直接取例 3.10 的 E = ℚ(∛2, ω)、K = ℚ(∛2)：[K:ℚ] = 3 而 Gal(K/ℚ) = 1（例 3.6③）。位置：对应 2 阶不正规子群。本题的意义：Galois 对应表里的「中间域」不都是分裂域——只有正规子群对应的才是（命题 3.19）。
一句话直觉。开 n 次方要用的「轮转对称」，来自 n 次单位根。本页把单位根自己变成一个 Galois 扩张来研究——它将是根式塔的第一层，也是 Kummer 定理的前提。
单位根与分圆扩张。n 次单位根是 ζ ∈ ℂ 满足 ζn = 1；全体构成 n 阶循环群，生成元称本原单位根（记 ζn，如 e2πi/n）。分圆扩张 ℚ(ζn)/ℚ 是 xn − 1 的分裂域。
命题 3.20（分圆扩张的次数与群）。[ℚ(ζn) : ℚ] = φ(n)（欧拉函数），且 Gal(ℚ(ζn)/ℚ) 同构于 (ℤ/nℤ)×，故是交换群。
证明骨架。本原单位根 ζnk 恰是 gcd(k, n) = 1 者，共 φ(n) 个。分圆多项式 Φn(x) = ∏gcd(k,n)=1(x − ζnk) 次数 φ(n)、有理系数、且不可约（引用：这是代数数论的标准结果，证明约一页；本册引用并注明——它是第 85 页 Kummer 论证中「ℚ(ζp) 的次数是 p − 1」的依据）。于是极小多项式为 Φn，次数 φ(n)。自同构由 ζn ↦ ζnk（gcd(k,n) = 1）给出，两个这样的映射合成对应 k 相乘，故 Gal ≅ (ℤ/nℤ)×。∎
例 3.11。①n = 5：φ(5) = 4，(ℤ/5)× ≅ C4，故 Gal(ℚ(ζ5)/ℚ) ≅ C4——循环。②n = 8：φ(8) = 4，(ℤ/8)× = {1, 3, 5, 7} ≅ V4——不循环。③n = 3：φ(3) = 2，Gal ≅ C2（ω ↦ ω2，即共轭）。
为什么单位根是根式解的「入场券」。回忆第 44 页主角一：开 p 次方引入 p 阶循环对称，而这个对称是靠「y ↦ ζpy」实现的——若基域里没有 ζp，这个对称根本不作用于该域（例 3.6③：ℚ(∛2) 的群平凡）。所以在研究根式解时，我们总先把所需的单位根添进基域；这一步的代价是一个交换群的扩张（命题 3.20），而交换群永远可解——添单位根不会破坏可解性。这正是第 86 页「正规化」的技术核心。
一条马上可用的数：对素数 p，[ℚ(ζp):ℚ] = p − 1。它——第 86 页的正规化论证、第 93 页主定理（二）的证明，都要用它来「预付」单位根的代价。
一句话直觉。「开一次方」在域的语言里是「添加一个 p 次幂的根」。本页证明：当单位根已在场时，这样一步扩张的群是循环群——根式与循环对称在此画上等号。
纯扩张。设 F 为域，a ∈ F，p 为素数。取 α 满足 αp = a，称 F(α)/F 为纯扩张（adjoin a p-th root）。若 a 不是 F 中某元素的 p 次幂，称该扩张为真的。
引理 3.21（二选一律）。设 F 特征 0、ζp ∈ F、a ∈ F。则 xp − a 在 F 上要么不可约，要么有一次因式（从而完全分裂）。
证明。设 α 为一根（在 ℂ 中），其极小多项式 mα ∣ xp − a，故 deg mα 整除 p（因 xp − a 次数为素数 p，其因式次数只能是 1 或 p——由命题 3.3 唯一分解，次数相加为 p）。于是 [F(α):F] = deg mα ∈ {1, p}。取 1 则 α ∈ F，xp − a 有一次因式；取 p 则不可约。∎
定理 3.22（Kummer 定理，素数次形式）。设 F 特征 0、ζp ∈ F、a ∈ F 且 a 不是 F 中某元素的 p 次幂。取 α 满足 αp = a。则：
① xp − a 在 F 上不可约；② F(α)/F 是 Galois 扩张；③ Gal(F(α)/F) ≅ Cp（p 阶循环群）
下一页给出完整证明。本页先看它的分量：「开一次方 = 破一层 p 阶循环对称」从此是定理而不是口号。第二编第 44 页的主角一（n 次幂的对称性）至此被严格化——注意前提 ζp ∈ F 正是主角一陈述中的「若 F 中已有 n 次单位根」。
例 3.12（正面与反面）。①F = ℚ(ζ3)、a = 2：2 不是 F 中立方（F 的元素形如 u + vω，立方后虚部难以归零——可由范数或直接计算验证），故 ℚ(ζ3, ∛2)/ℚ(ζ3) 是 3 次循环 Galois 扩张。这正是例 3.10 中 A3 ↔ ℚ(ω) 那一层对应的来源。②F = ℚ（ζ3 ∉ ℚ）：ℚ(∛2)/ℚ 不是 Galois（例 3.6③）——定理的前提不可省略。
本页与下一页合起来是第三编的技术核心之一。特别注意「二选一律」的证明之短：它只用了「次数是素数」与「极小多项式整除」。深定理常常建在最短的观察上——但要找到那根短短的杠杆，得先有正确的语言。
一句话直觉。定理 3.22 的三条可以一口气证完。全部工具已在手：二选一律、分裂域、Galois 刻画、Artin 引理的计数。
定理 3.22 的证明。
①不可约性。由引理 3.21，xp − a 要么不可约，要么有一次因式。后者即 α ∈ F，即 α 是 F 中元素的 p 次幂——与假设「a 不是 F 中 p 次幂」矛盾。故不可约。
②Galois。xp − a 的全部根是 α, ζpα, ζp2α, …, ζpp−1α（因 (ζpkα)p = ζpkpa = a，且这 p 个互异——特征 0）。它们全在 F(α) 中（ζp ∈ F）。故 F(α) 是 xp − a 在 F 上的分裂域，由 p.76 刻画 (c)，F(α)/F 是 Galois 扩张。
③群是循环群。每个自同构 σ 把根 α 映到另一根：σ(α) = ζpkα，某个 k ∈ {0, …, p−1}；反之对每个 k，映射 α ↦ ζpkα（基域不动）给出一个自同构——因为它的逆是 k ↦ −k 的同款，且保持全部关系（F(α) 的元素形如 Σciαi，映为 Σciζkiαi，加乘保持）。于是 |Gal| = p = [F(α):F]（与①一致），且由 σ1(α) = ζpα 生成的 σ1k(α) = ζpkα 跑遍全群——Gal ≅ Cp。∎
一般形式（本册使用的版本）。Kummer 定理的完整形式把 p 换成任意 n、把「一个 p 次根」换成「一组 n 次根」：
定理 3.23（Kummer 定理，一般形式；证明同上逐字平移）。设 F 特征 0、ζn ∈ F，a1, …, ar ∈ F。则 E = F(n√{a1}, …, n√{ar}) 是 ∏(xn − ai) 在 F 上的分裂域，故 E/F Galois；且 Gal(E/F) 是交换群（每个自同构由「各 n√{ai} ↦ ζnkin√{ai}」给出，ki ∈ ℤ/n，合成对应加法）。特别地，交换群可解（第 89 页）。
一个值得停留的观察：定理 3.22③ 的论证「对每个 k 都有自同构」用到了 ζp ∈ F；若没有它，ζpα 根本不在 F(α) 里，谈不到自同构。单位根不是技术细节，而是「对称性得以存在」的前提——这是第三编最深刻的一句话，也是 casus irreducibilis（p.17）在域论里的回声。
一句话直觉。根式塔的每一层不一定正规（ℚ(∛2)/ℚ 就不是）。本页做一次「正规化手术」：把一个普通的根式塔修成一条每层都 Galois、商都循环的塔——这是主定理两个方向的公共技术前提。
循环塔。称 F = F0 ⊆ F1 ⊆ ⋯ ⊆ Fm 为循环塔，若每一步 Fi/Fi−1 都是 Galois 扩张且 Gal(Fi/Fi−1) 是素数阶循环群。注意：循环塔整体不必是「一层层正规到底」——但由命题 3.19，只要 Fi−1/F 也 Galois，则 Fi/F 亦然且商群进入子群链。因此若每层 Galois 且首层之后层层正规，则整条塔给出一条正规子群链、商为素数阶循环群——即 Gal(Fm/F) 可解（第 89 页）。
命题 3.24（正规化引理）。设 F 特征 0，f ∈ F[x] 的分裂域为 E。若 f 的根可由根式表出（存在根式塔 F = K0 ⊆ K1 ⊆ ⋯ ⊆ Kr，每层 Ki = Ki−1(yi)、yini ∈ Ki−1，且 f 的根都在 Kr 中），则存在 Galois 扩张 L/F 包含 E，使得 Gal(L/F) 可解。
证明骨架（三步手术）。
第一步（添单位根）。令 ζ 为全部所需单位根（n1, …, nr 的所有素因子的本原单位根）之积生成的域，取 F′ = F(ζ)。由 p.83，F′/F Galois 且群交换（(ℤ/n)× 的商），故可解。
第二步（逐层 Kummer 化）。在 F′ 上重建塔：F′i = F′i−1(yi)（同一个 yi，但基域已含单位根）。由定理 3.23，F′i/F′i−1 是 Galois 扩张且群交换（实为若干循环群之积；再把每层按素数拆细，得素数阶循环）。
第三步（取正规闭包并收束）。令 L 为 F′r 在 F 上的正规闭包（各层分裂域的合成）。逐层是 Galois ⟹ 合成是 Galois ⟹ L/F Galois 且 E ⊆ L。其群有子群链，商依次为（添单位根的交换群）×（各层素数阶循环群）——每一段都是素数阶循环或交换群，故 Gal(L/F) 可解（第 89 页会精确化「可解群的子群与商仍可解」）。∎
这个引理为什么值得单独一页。它把「根式解」从一个不对称的对象（塔可以歪、可以漏单位根）整理成对称的对象（Galois 塔、循环商）。从此「根式可解」与「群可解」两句话可以在同一种语言里比较——第 92–93 页的两个主定理，都是在这个共同语言里写的。
一句话收束本页：第二编 Lagrange「取值个数逐层除以素数」的账、Ruffini 的「逐层剥解」、Galois 的「正规子群链」，在本页合体为同一条数学对象——可解群。下一站先把它定义清楚（p.87–89），再合出定理（p.92–95）。
一句话直觉。现在需要一个专门的「置换理论」工作台。本页建立三件工具：符号（奇偶）、交错群、共轭类——第 91 页证明 A5 单性的全部道具。
对称群与对换。Sn 是 {1, …, n} 的全部置换，|Sn| = n!。对换是交换两个元素的置换。轮换 (a1 a2 ⋯ ak) 表示 a1 → a2 → ⋯ → ak → a1，长度 k；任意置换可写成不相交轮换之积（长度之和为 n），其轮换型（各长度及个数）不计次序唯一。
命题 3.25（符号、交错群与共轭类）。①每个置换可写成对换之积，且对换个数的奇偶不变——据此定义符号 sgn(σ) = ±1，偶者 +1、奇者 −1。交错群 An 是偶置换全体，|An| = n!/2。②共轭由轮换型决定：σ(1 2 ⋯ k)σ−1 = (σ(1) σ(2) ⋯ σ(k))，故两个置换在 Sn 中共轭 ⟺ 轮换型相同。③共轭类大小：元素 σ 的共轭类大小 = |Sn|/|C(σ)|，其中 C(σ) 是与 σ 交换的置换全体（中心化子）。
证明。①轮换 (a1 … ak) = (a1a2)(a2a3)⋯(ak−1ak)，长度 k 的轮换是 k − 1 个对换，故奇偶性 = n − （轮换个数） 的奇偶，与分解方式无关（标准论证：把 ∏i<j(xi − xj) 交给置换作用，对换使它变号、而它不依赖分解方式）。②直接代入验证共轭公式，于是共轭保持轮换型；反之把轮换型的每个数字逐个搬到位即可构造共轭。③这是「轨道–稳定子」的群内版本（与命题 2.1 同源）：共轭作用 τ ↦ στσ−1 的稳定子恰是 C(σ)。∎
例 3.13（S5 的共轭类，即例 14 的升级版）。五类：15（1 个，中心化子 120）、2·13（10 个，中心化子 12）、22·1（15 个，中心化子 8）、3·12（20 个，中心化子 6）、3·2（20 个，中心化子 6）、4·1（30 个，中心化子 4）、5（24 个，中心化子 5）——共七类（15 加上六种真轮换型），大小 1 + 10 + 15 + 20 + 20 + 30 + 24 = 120 ✓。在 A5 内部：偶类为 15, 22·1, 3·12, 5；前两类仍是完整的类，而 5 类（24 个）在 A5 中分裂成两个 12 元类（中心化子 5 阶、全为偶置换，故 60/5 = 12）。于是 A5 有五个共轭类：1、15、20、12、12。
本页最值得记住的一个数字组合：1, 15, 20, 12, 12。第 91 页的「五个字」，就是这五个数。
一句话直觉。「把群一层层剥到只剩恒等」要剥得有意义，必须每层正规、每层不能再拆。本页给「剥解」一个严格的形状，并证明剥法虽多、剥出来的「原子」唯一——这是 Hölder 1889 年的工作，也是「可解群」定义的语法。
单群。群 G 称为单群，若它的正规子群只有 {e} 与 G 自身（且 |G| > 1）。合成列是子群链
G = G0 ⊃ G1 ⊃ ⋯ ⊃ Gm = {e}
其中每层 Gi ◁ Gi−1 且商 Gi−1/Gi 是单群（这些商称合成因子）。
定理 3.26（Jordan–Hölder，1869/1889）。若有限群 G 有合成列，则任何两条合成列的长度相同，且合成因子在「重新排序、相差同构」的意义下相同。
证明思路（完整证明约一页，此处给可复述骨架）。对 |G| 归纳，核心是一条蝴蝶引理（Zassenhaus 引理）：给定 G0 ⊃ G1 ⊃ G2 与另一条链的对应三段，可以把两列因式交错地「加密」成彼此的加密，从而两列的因式集合相同。∎
为什么需要这一定理。若没有唯一性，「可解」的定义将依赖于链的选取——同一群可能一条链能剥、另一条不能。Jordan–Hölder 保证：「合成因子是否都是素数阶循环群」是群的固有属性，因此「可解」是良定义的。此外它给出本书反复使用的两点：
一条立即可得的观察：素数阶循环群 Cp 是单群（拉格朗日：子群阶整除 p）。所以「合成因子都是素数阶循环群」也可以说成「合成因子都是交换的单群」——两种说法等价，第 89 页将取前者。
一句话直觉。现在可以给第二编反复出现的「逐层剥解」一个名字。可解群——这个名字是 Galois 理论留给方程论的最终答案，也是「solvable（可解）」一词由方程论扩散到全数学的起点。
可解群。有限群 G 称为可解，若存在子群链
G = G0 ⊃ G1 ⊃ ⋯ ⊃ Gm = {e}
其中每层 Gi ◁ Gi−1 且商 Gi−1/Gi 是素数阶循环群。等价说法：合成因子全是素数阶循环群（由定理 3.26 良定义）。
命题 3.27（三条封闭性质）。①可解群的子群可解；②可解群的商群可解；③若 N ◁ G 且 N, G/N 都可解，则 G 可解。
证明。①取 H ≤ G，令 Hi = H ∩ Gi；则 Hi ◁ Hi−1（正规性在交下保持）且 Hi−1/Hi 是 Gi−1/Gi 的子群，而素数阶循环群的子群是平凡或自身——故每层商为 1 或 Cp，删去平凡的层即得。②取商：(GiN)/N 给出 G/N 的链，其商是 Gi−1/Gi 的商群，仍为 Cp 或平凡。③把 N 的可解链（从 N 到 {e}）接到 G/N 的可解链（拉回为 G ⊃ N = N0 ⊃ N1 ⊃ ⋯）之前，得 G 的链。∎
例 3.14（可解群小画廊）。①交换群皆可解：把群按阶的素因数逐层拆（合成因子都是素数阶）。②S3：S3 ⊃ A3 ⊃ {e}，商 C2, C3 ✓。③S4：S4 ⊃ A4 ⊃ V4 ⊃ C2 ⊃ {e}，商 C2, C3, C2, C2 ✓（第 90 页验证正规性）。④二面体群 D4（正方形的 8 个对称，即例 3.13 中 22·1 类的中心化子）：D4 ⊃ C4 ⊃ C2 ⊃ {e} ✓。⑤A5：不可解——它是单群（第 91 页），其合成列只能是 A5 ⊃ {e}，合成因子是 A5 本身，60 阶非素数阶循环。
与根式解的连接（本书主线的最后一节车厢）。由 p.86 的正规化引理：方程可用根式解 ⟹ 分裂域装在一个 Galois 塔里，塔的群由素数阶循环层拼成 ⟹ Gal(L/F) 可解 ⟹ 其商 Gal(E/F) 可解（性质②）——这就是主定理（二）的全部骨架。反方向则由性质③与 Kummer 定理完成。第 92–93 页只是把这两段话填满细节。
一条术语的注记：「可解」的英文 solvable（或 soluble）直接来自方程论——「群可解」原意就是「方程可用根式解」。当这个概念扩散到群论、表示论、数论之后，名字被保留了下来。一个数学名词的历史，常常就是一门学科的历史。
一句话直觉。现在可以给第一编的「次数账」一个完整的群论答案：S2, S3, S4 可解，S5 及以上不可解。分界线不在次数的大小，而在交错群是否单。
命题 3.28（三、四次的链与正规性）。①S3 ⊃ A3 ⊃ {e} 是可解链：每层正规（A3 是指数 2 的子群必正规；平凡子群必正规），商为 C2, C3。②S4 ⊃ A4 ⊃ V4 ⊃ C2 ⊃ {e} 是可解链，商 C2, C3, C2, C2。
证明。①标准。②逐层验证正规性：A4 ◁ S4（符号同态的核）；V4 = {e, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)} 在 A4 中正规（练 27：共轭保持「双对换」这一类型，而 A4 中双对换恰这 3 个）；C2 = {e, (1 2)(3 4)} 在 V4 中正规（V4 交换，任何子群都正规）。商群：S4/A4 ≅ C2、A4/V4 ≅ C3（4 = 12/3）、V4/C2 ≅ C2、C2/{e} ≅ C2。∎
与解法的对读（本页最重要的一段）。把这条链与第一编的四次解法并排：
五次为什么不同。5! = 120 = 23·3·5 表面上仍可拆。但可解性不问「数能不能分解」，问「链上的每层是否正规」。而任何从 S5 出发的链，第一层正规子群只能是 A5（S5 的非平凡正规子群只有 A5 与自身——由 A5 单性推出，见 p.91 末）；第二层要求 A5 的真正规子群——不存在。链在这里断掉，合成因子 A5 不是素数阶循环群，故 S5 不可解。（n > 5 时 An 皆单，故 Sn 皆不可解——见 p.91 末的推广注。）
本页没有证明的部分：A5 单性。它是全书最后一块、也是唯一一块还没证明的基石——下一页用一整页证明它。证明完成之日，第二编三百年的悬案就自动闭合。
一句话直觉。标题里的「五个字」是一句双关：A5 在自身内的共轭类恰有五个，而整个证明就是对这五个类逐一说「不」——五个字：一、十五、二十、十二、十二。
定理 3.29（A5 的单性）。A5 是单群：它的正规子群只有 {e} 与自身。
证明。第一步（类的清单）。由例 3.13，A5（60 阶）的元素分五个共轭类：恒等（1 个）、双对换 22·1（15 个）、三轮换 3·12（20 个）、5-循环的两个类（各 12 个）。第二步（正规子群的形状）。设 N ◁ A5。正规子群是若干完整的共轭类之并（因 τNτ−1 = N 把每个元素换成它的全部共轭），且必含恒等。故
|N| = 1 + 15a + 20b + 12c， a, b ∈ {0, 1}，c ∈ {0, 1, 2}
第三步（逐一排除）。由拉格朗日定理，|N| 必须整除 60 = 22·3·5。逐项检查 a, b, c 的 12 种组合（除 a = b = c = 0 与全取 1 外）：1+15 = 16、1+20 = 21、1+12 = 13、1+15+20 = 36、1+15+12 = 28、1+15+24 = 40、1+20+12 = 33、1+20+24 = 45、1+12+12 = 25、1+15+20+12 = 48、1+15+12+12 = 40、1+20+12+12 = 45——没有一个整除 60（40 与 45 已大于 60 的真约数上限且不整除；其余逐个用 2、3、5 试除）。故 |N| = 1 或 60，即 N = {e} 或 A5。∎
证明里最容易被漏掉的一步：为什么 24 个 5-循环分裂成两个 12 元类，而不是一个 24 元类？——因为 5-循环的中心化子在 S5 中是 ⟨σ⟩（5 阶，全为偶置换），在 A5 中不变，故类大小 60/5 = 12；24 个元素被分到两个类。这一分裂正是 p.60 挑战二提示里说的「最容易漏掉的细节」。若不分裂（假想类大小 24），则 1 + 24 = 25 ∤ 60 仍排除——但类清单会错，第三步的枚举就不可靠。
至此，第二编第 45 页的三层裂缝全部补齐：均匀性（p.75 Artin 引理）、正规性（p.79 命题 3.19）、单性（本页）。三百年的墙，最后一砖是「一、十五、二十、十二、十二」——数学的深刻常常以朴素的方式落地。
一句话直觉。开始合拢。若群可解，则方程可根式解——方向是「从对称造出根式」。技术上需要一个引理：循环扩张可以由一个根式生成。
引理 3.30（Kummer 逆）。设 K/F 是 Galois 扩张、次数为素数 p、群循环，且 ζp ∈ F。则存在 y ∈ K 使 yp ∈ F 且 K = F(y)。
证明。设 σ 生成 Gal(K/F)。取 u ∈ K 使 σ(u) ≠ u（σ ≠ id），令
y = u + ζpσ(u) + ζp2σ2(u) + ⋯ + ζpp−1σp−1(u)
作用 σ：σ(y) = σ(u) + ζpσ2(u) + ⋯ + ζpp−1u = ζp−1y（把各项重新配对，用 ζpp = 1）。于是 σ(yp) = σ(y)p = ζp−pyp = yp，即 yp 被 σ 固定；群循环，故 yp ∈ F。还需 y ≠ 0 且 F(y) = K：若 y = 0，则上式是 u, σ(u), …, σp−1(u) 的非平凡线性关系，系数 1, ζp, …, ζpp−1 互异——由 Dedekind 独立性（p.75 半一的自同构线性无关）矛盾，故 y ≠ 0。而 σk(y) = ζp−ky 是 p 个互异的共轭，故 [F(y):F] ≥ p；又 F(y) ⊆ K 且 [K:F] = p，故 K = F(y)。∎
定理 3.31（主定理（一））。设 F 特征 0，f ∈ F[x]，E 为其分裂域，G = Gal(E/F)。若 G 可解，则 f 在 F 上可用根式解。
证明。第一步（可解链）。取 G 的合成列，其商为素数阶循环群 Cp1, …, Cpm。第二步（预付单位根）。令 F1 = F(ζp1, …, ζpm)；由 p.83，F1/F 是 Galois 扩张且群交换（(ℤ/N)× 的商），故可解；且每个 ζpi 本身就是根式（ζpipi = 1 ∈ F）。第三步（换基域）。令 E1 = EF1（含 E 与 F1 的最小域）。限制映射给出 Gal(E1/F1) ↪ Gal(E/F) = G 的单同态（引理 3.32 的方向，见下一页），故 Gal(E1/F1) 可解（命题 3.27①）。取其可解链，对应的固定域塔为
F1 = K0 ⊂ K1 ⊂ ⋯ ⊂ Kr = E1
每层 Ki/Ki−1 Galois、次数素数 qi、群循环（对应定理 3.17 反序 + 命题 3.18）。第四步（Kummer 逆）。因 ζqi ∈ F1 ⊆ Ki−1，引理 3.30 给 yi ∈ Ki 使 yiqi ∈ Ki−1 且 Ki = Ki−1(yi)。于是 E1/F1 是根式塔。合拢：f 的根在 E ⊆ E1 中，故可由 F1 的元素经根式表出；而 F1 由根式（单位根）生成——故 f 在 F 上可根式解。∎
读法提示：本定理的方向是「从对称到根式」，与直觉相反——我们通常以为先有根式再有对称。定理说：只要对称性剥得动（可解），就能反过来把剥解的每一步实现成一次真实的开方。Kummer 逆引理（引理 3.30）正是「把剥解实现为开方」的扳手。
一句话直觉。反方向更短：根式塔经过正规化（p.86）变成 Galois 塔，塔的群由循环层拼成故可解；而分裂域的群是这个大群的商群——可解群的商仍可解（命题 3.27②）。全部工作已在 p.86 做完。
引理 3.32（限制同构）。设 E/F 与 L/F 都是 Galois 扩张且 E ⊆ L。则限制映射
res : Gal(L/F) → Gal(E/F)， σ ↦ σ∣E
是群的满同态，核为 Gal(L/E)，从而 Gal(E/F) ≅ Gal(L/F)/Gal(L/E)。特别地，若 E ⊆ L 而 Gal(L/F) 可解，则 Gal(E/F) 可解。
证明。限制显然保持乘法。满：设 τ ∈ Gal(E/F)，由延拓引理（命题 3.10，取基域同构为 id）把 τ 延拓为 L → L 的 F-自同构 σ（L/F 是分裂域，延拓落在自身内），故 res(σ) = τ。核：σ∣E = id 即 σ ∈ Gal(L/E)。末句由命题 3.27②（商群可解）。∎
定理 3.33（主定理（二））。设 F 特征 0，f ∈ F[x]，E 为其分裂域。若 f 在 F 上可用根式解，则 Gal(E/F) 可解。
证明。「可用根式解」给出根式塔 F = K0 ⊆ ⋯ ⊆ Kr ⊇ E（每层添加 ni 次根）。由正规化引理（命题 3.24），存在 Galois 扩张 L/F 包含 E，且 Gal(L/F) 可解（其群由「添单位根的交换部分」与「各层素数阶循环部分」拼成）。由引理 3.32，Gal(E/F) ≅ Gal(L/F)/Gal(L/E) 是可解群的商群，故可解。∎
两个方向合起来的形状。把两个主定理并排：
下一页把两个方向合并成一条定理并给出完整陈述——那是本册从第 3 页起就在逼近的目标。两个方向的假设并不对称：（一）需要「F 特征 0」以保证可分性与单位根的合法添加；（二）同样需要。在有限特征中，两条都要修改——这正是 p.72 那块「不必担心重根」路牌的另一面。
一句话直觉。现在把两条主定理焊成一条。这是全书的中心定理——它同时是 Lagrange 账本的最终审计报告、Ruffini–Abel 论证的严格化、Galois 1831 年论文的核心。
定理 3.34（Galois 判据，1831；本册的主定理）。设 F 是特征 0 的域，f ∈ F[x]，E 为 f 在 F 上的分裂域。则下列两条等价：
(a) f 在 F 上可用根式解；（b) Gal(f/F) = Gal(E/F) 是可解群
证明。(a)⟹(b) 是定理 3.33；(b)⟹(a) 是定理 3.31。∎
定理的完整读法（四句话）。
与第二编三个人的对照。Lagrange 的「取值个数整除 n!」对应 (b) 中「|G| 整除 n!」与塔律的次数链；Ruffini 与 Abel 的「逐层剥解必然中断」对应 (b) 的子群链在 A5 处中断；Galois 的贡献是把两边接通并给出判据。定理 3.34 是三个人共同工作的极限形状。
一个值得自问的问题：定理 3.34 证明了「可解 ⟺ 群可解」，那么「一般五次方程」的群到底是什么？答案是 S5——但这需要证明（第 95 页）。在证明之前，我们还不能合法地宣布五次不可解：万一一般五次方程的群恰好是个可解的小群呢？下一页补上这最后一块。
一句话直觉。万事俱备。本页合出全书的终点定理：把「一般方程」的群算成 Sn，再用 A5 的单性判死。第二编三百年的悬案，在这里闭合。
一般方程。n 次一般方程指 xn + a1xn−1 + ⋯ + an = 0，其中系数 a1, …, an 是 ℚ 上的代数无关参数（即它们之间不存在任何非平凡的有理系数多项式关系）。设其根为 x1, …, xn（在 ℂ(a1,…,an) 中），由韦达定理 ak = (−1)kek，故系数域
F = ℚ(a1, …, an) = ℚ(e1, …, en)
「一般」的直观读法：系数不带任何特殊结构——它是「最普通的」n 次方程，其根之间也最平等。
引理 3.35（一般方程的群）。n 次一般方程的分裂域为 E = ℚ(x1, …, xn)，且
Gal(E/F) ≅ Sn， [E : F] = n!
证明。E = F(x1, …, xn)（系数域加上全部根）。每个置换 σ ∈ Sn 诱导 E 的自同构（把 xi 映到 xσ(i)——良定：域中元素是有理函数，置换后仍是有理函数），且固定 e1, …, en，故 Sn ⊆ Gal(E/F)。反过来，任何 F-自同构把根集映到根集，故限制在根集上是一个置换，给出单同态 Gal(E/F) ↪ Sn。于是两者相等。次数：由对称有理函数基本定理（定理 3.5 的有理函数版：被全部置换固定的有理函数可由 e1,…,en 有理地表出——引用，标准教材），ESn = F，再由 Artin 引理（定理 3.15）得 [E:F] = |Sn| = n!。∎
定理 3.36（阿贝尔–鲁菲尼定理）。对 n ≥ 5，n 次一般方程不可用根式解。
证明。由引理 3.35 与定理 3.34（Galois 判据），只需证 Sn 不可解。Sn 的合成列中必含 An（符号同态的核，指数 2，正规）；若 An 单（n ≥ 5；n = 5 见定理 3.29，一般 n 的证明见本页末注），则 An 是 Sn 的合成因子，而 An 的阶 n!/2 在 n ≥ 5 时不是素数（60 ∤ 素数），故 Sn 的合成因子不全是素数阶循环群，由定理 3.26 与可解的定义，Sn 不可解。∎
与三百年历史的对读。这条定理是第二编全部工作的极限形状：Lagrange 的次数账在引理 3.35 的 [E:F] = n! 处精确化；Ruffini 与 Abel 的「逐层剥解必然中断」在「An 单 ⟹ 链断在第二层」处精确化；Galois 的判据（定理 3.34）把三者接成一条定理。证明只用了三行——因为前 94 页把每一行都铺成了平地。
两个注记。①n ≥ 5 时 An 单是一般定理（Galois 已知、Jordan 1870 给出系统证明）：对 n = 5 本册已完整证明（定理 3.29）；n > 5 的证明改用「三轮换生成 + 共轭类扩张」的结构论证，与本册目标无关，引用之。②定理说的是一般方程；具体方程可能可解（第 100 页给一个五次的例子）——「不可能」与「不可解」的分界，正是第 97 页的主题。
一句话直觉。定理 3.36 说的是「一般」方程。本页做一个具体的方程：x5 − 6x + 3 = 0。我们将一步步算出它的群是 S5——于是它也不可根式解。这是全书第一个被完整判定「不可解」的具体方程。
定理 3.37（本册核心例子）。f = x5 − 6x + 3 在 ℚ 上的 Galois 群是 S5；故 f 不可用根式解。
证明（四步）。
第一步：不可约。Eisenstein 判据（p = 3，例 3.1）⟹ f 在 ℚ 上不可约 ⟹ G 在五个根上的作用传递（若 G 不传递，根集分成两个 G-不变块，块上根的乘积多项式系数被 G 固定故在 ℚ 中，与不可约矛盾），且 5 ∣ |G|。由 Cauchy 定理（群阶含素数 p 则含 p 阶元；Sn 中 p 阶元恰是 p-循环），G 含一个 5-循环。
第二步：判别式与实根个数。Δ = 55·34 + 44·(−6)5 = 253125 − 1990656 = −1737531。符号–实根引理（引理 3.38）：Δ > 0 ⟺ 非实根个数为 4 的倍数。这里 Δ < 0，故 f 恰有 3 个实根与 2 个非实根（数值验证：−1.6709, 0.5055, 1.4016）。又 Δ = −1737531 不是有理数的平方（负数在 ℚ 中无平方），故 G ⊄ A5——G 含奇置换。
第三步：模 p 归约给出对换。由 Dedekind 定理（定理 3.39，第 99 页证明），模 p 的因式分解型给出 G 中相应轮换型的元素。对 p = 17：x5 − 6x + 3 ≡ x5 + 11x + 3 (mod 17)，分解为 (一次)(一次)(一次)(二次)——因式次数型 (1,1,1,2)，故 G 含一个对换。
第四步：合出 S5。由练 28 的清单：S5 中含 5-循环的子群的阶只能是 5, 10, 20, 60, 120。其中 10 阶（二面体群 D5）与 20 阶（仿射群）的二阶元都是双对换型 22·1，60 阶的 A5 全偶——只有 120 阶的 S5 含对换。故 G = S5。再由定理 3.36 与定理 3.34，f 不可根式解。∎
引理 3.38（判别式的符号与实根个数）。设 f ∈ ℝ[x] 无重根，Δ = ∏i<j(xi − xj)2（在 ℝ 中取值）。则 Δ > 0 ⟺ 非实根的个数为 4 的倍数；Δ < 0 ⟺ 非实根个数 ≡ 2 (mod 4)。
证明。非实根成共轭对 z, \bar z；在乘积 ∏i<j(xi − xj) 中，一对共轭实根之差贡献负号，共轭对内部的差 z − \bar z = 2i·Im(z) 贡献 i 因子，而共轭对与共轭对之间贡献实数。精确计数给出：符号 = (−1)r·(−1)，其中 r 为实根对数——结论：符号由「非实根对数」的奇偶决定，非实根对数为偶 ⟺ Δ > 0。∎（本引理的完整组合计数约半页，此处给出结构；数值实根个数可由 Sturm 序列或数值求根独立核验。）
回看第 51 页定理 2.5（Galois 的素数次数判据）：x5 − 6x + 3 恰有 3 个实根、2 个复根，按那判据已直接读出「不可根式解」。本页做的，是把那句 1831 年的判据放回完整的现代框架里——每一步都有定理编号。
一句话直觉。阿贝尔–鲁菲尼定理常被误读成「五次方程解不了」。本页把定理的适用范围画清楚——它说的是哪一个方程、哪一种「解」、以及它不排除什么。
定理边界的第三层：什么样的「解」被排除了。「根式解」的精确定义（绪论第 3 页、p.86 正规化引理）是：根可由系数经有限次加、减、乘、除与开方表出。被排除的正是这一类表达式。不排除的：①超几何函数、椭圆函数等超越函数的表达式（Hermite 1858 年用椭圆模函数解出了一般五次——那是另一种「解」）；②数值逼近；③「至少一个根」的特殊表达式。定理排除的是一类封闭的运算，而不是「表达」这个概念。
一条实用的自查清单（判断某个声称的「五次解法」）：
一条历史注记作结：「一般方程」这个概念本身就是 18–19 世纪思想的结晶——在 Lagrange 之前，「一般」意味着「对任意系数成立」的模糊直觉；Galois 之后它有了精确形状（代数无关参数 + 分裂域）。把「一般」变成数学对象，是本册暗线的终点：能解的技术与对称性，最终都收敛到「一般」二字的严格化。
第三编的工具先在熟悉的领地试跑：三次方程。本页算两个三次方程的群，并把第一编的 Cardano 解法逐步「翻译」成群论语言。
例 3.15（f = x3 − 3x + 1，群为 C3）。①不可约：有理根候选 ±1 都不满足（1 − 3 + 1 = −1、−1 + 3 + 1 = 3），三次多项式无有理根即不可约。②判别式：Δ = −4p3 − 27q2 = −4(−27) − 27 = 81 = 92 是完全平方，故 √Δ ∈ ℚ，即「判别式开平方」这一步已在基域内完成——G ⊆ A3。③由 ①，3 ∣ |G|，而 |A3| = 3，故 G = A3 ≅ C3。④三实根：2cos(2π/9), 2cos(4π/9), 2cos(8π/9)（数值：1.5321, −1.8794, 0.3473）。群论读法：可解链 C3 ⊃ {e} 只有一层——只需一次开立方（配合 ζ3 = ω）。这正是第一编的 Lagrange 预解量 Φ = x1 + ωx2 + ω2x3：Φ 的稳定群是 A3 = G，故 Φ ∈ EA3 = ℚ(√Δ) = ℚ，且 Φ3 = ω（由预解二次 t2 + t + 1 = 0）。一次开立方解出全部三根——因为群只有一层。
例 3.16（f = x3 − 2，群为 S3）。①不可约（Eisenstein，p = 2）。②判别式 Δ = −108 非平方，故 G ⊄ A3，结合 3 ∣ |G| 得 G = S3（与例 3.6② 的直接计算一致：[E:ℚ] = 6）。③群论读法：可解链 S3 ⊃ A3 ⊃ {e} 有两层——第一步开平方（√Δ = 6i√3，涉及 √{−3}，即 ω），第二步开立方（∛2）。两层根号对应两层群，与 Cardano 公式的结构完全一致。
例 3.17（三案例对照）。把三次方程的四种群形态列全（用判别式与可约性即可判定）：
读表的关键：三种形态的可解性都成立（C3, S3, {e}, C2 全可解）——这正是「三次有根式解」的群论形态。可解性与群的大小无关，与「能否剥解」有关。
把例 3.15 的「一层」与例 3.16 的「两层」并排看，第一编的 Cardano 公式（三层根号：√、∛、再一层 √ 的选取）在群论里被压缩成两句：根号层数 = 可解链的长度；单位根的出现 = 循环层需要轮转的「入场券」。这就是「群论解法」的含义——不是新的计算，而是旧计算的完整解释。
一句话直觉。第 96 页用了两件工具（判别式的符号、模 p 因子型）。本页把工具本身讲清楚并示范完整流程——这是把 Galois 群从「定义」变成「可计算对象」的关键一页。
定理 3.39（Dedekind 模 p 归约，1897 年后定型）。设 f ∈ ℤ[x] 首一，p 为素数且 p ∤ Δ(f)。若 f mod p 在 𝔽p[x] 中分解为首一不可约因式之积，次数为 l1, …, lk，则 Gal(f/ℚ)（视为根集上的置换群）含有一个轮换型恰为 (l1, …, lk) 的元素。
证明思想（完整证明需一点 p-adic 技术，本册引用并给出结构）。考虑环 R = ℤ[x]/(f) 的 p 模。p ∤ Δ 保证 f mod p 无重根，故 R/pR ≅ ∏𝔽p[x]/(gi)；模 p 的 Frobenius t ↦ tp 在第 i 个因子上循环置换该因子的 li 个根，而 Frobenius 可提升为分裂域的一个自同构（Hensel 引理 / p-adic 分裂域），其在根集上的轮换型恰为 (l1,…,lk)。∎
例 3.18（完整流程示范：x4 − 2）。①不可约（Eisenstein，p = 2）⟹ G 传递且 4 ∣ |G|。②判别式 Δ = −2048 = −211 非平方 ⟹ G ⊄ A4。③模 p 归约：p = 5 时 x4 − 2 在 𝔽5 上不可约 ⟹ G 含 4-循环；p = 7 时分解型 (1,1,2) ⟹ G 含对换。④次数：分裂域为 ℚ(4√2, i)，[ℚ(4√2):ℚ] = 4、i ∉ ℚ(4√2)（后者是实域），故 [E:ℚ] = 8，|G| = 8。⑤合出：8 阶、含 4-循环与对换、传递的子群是二面体群 D4（不是 C4——它无对换；不是 S4——24 阶太大）。故 Gal(x4−2) = D4，且 D4 可解（例 3.14④）——x4 − 2 可根式解：4√2 与 i 两个根式。
例 3.19（x5 − 6x + 3 的完整模 p 表）。把第 96 页用到的数据列全（程序可逐条复核）：
读表：联合「不可约 ⟹ 5-循环」与「p = 17 ⟹ 对换」，再由练 28 的子群清单即得 S5。注意 p = 5, 7, 13 时模 p 不可约（型 (5)），与 5-循环一致；p = 3 整除判别式（Eisenstein 素数），不能用。
流程总结（四步判别法）：①Eisenstein 或有理根检验判不可约 ⟹ 传递性与素数阶元；②判别式是否平方 ⟹ 是否含于 An；③若干个模 p 归约 ⟹ 轮换型清单；④与子群清单对照 ⟹ 唯一确定。这套流程在计算机代数系统里是标准算法——Galois 群从 1831 年的「手稿」到今天是一段可执行代码。
一句话直觉。第 97 页边界三说「具体五次可能可解」。本页给出最干净的一个：x5 − 2 = 0。它是五次的、不可约的、可根式解的——并且它的群恰好是第二编 Ruffini 遇到的那个 20 阶仿射群。
定理 3.40（x5 − 2 的群与可解性）。f = x5 − 2 的分裂域为 E = ℚ(ζ5, α)（α = 5√2），[E:ℚ] = 20，且 Gal(E/ℚ) ≅ C5 ⋊ C4（20 阶仿射群，即第二编 p.44 提到的 F20）——可解群。故 f 可根式解。
证明。①次数：[ℚ(α):ℚ] = 5（Eisenstein，p = 2）；[ℚ(ζ5):ℚ] = 4（命题 3.20，φ(5) = 4）；两域的交的次数整除 gcd(5,4) = 1，故交为 ℚ，塔律给 [E:ℚ] = 20。②群：E 是 x5 − 2 的分裂域（根为 ζ5kα），故 Galois。自同构由 α ↦ ζ5bα（b ∈ ℤ/5）与 ζ5 ↦ ζ5a（a ∈ (ℤ/5)×，4 阶）给出，共 5 × 4 = 20 个，合成法则为 (a,b) 的仿射合成——即 C5 ⋊ C4。③可解：C5 ◁ G（正规，因它是 α 的轮换层、被 C4 共轭保持），商 G/C5 ≅ C4 循环，故 G 可解。④根式解：ζ55 = 1 ∈ ℚ 与 α5 = 2 ∈ ℚ——两个根式就把分裂域全部搭出来了，五个根 ζ5k·5√2 随手写出。∎
例 3.20（两个五次方程的对照，本页最重要的一张表）。
两个方程都是首一整系数五次、都在 ℚ 上不可约、都有 5 个不同的根——差别完全在群的结构：一个的群能剥解（20 = 5 × 4，两层循环），另一个的群剥不动（A5 单）。这就是「可解性是群的结构性质，不是次数性质」的最干净展示。
与第二编的呼应。第 44 页 Ruffini 论证里出现过「含 5-循环的子群阶为 5, 10, 20, 60, 120」；本例的群正是其中 20 阶的那一个——它可解，因为 20 阶群的合成列是 C5 ⊃ {e} 与 C4 层；而 60 阶与 120 阶的两个（A5, S5）不可解。第 90 页说「四次可解、五次不可解」，本页补充了更细的图像：五次的子群世界里有可解的角落，也有不可解的坚壁。
延伸一步：x5 − 2 的根式解「一眼可见」，因为它是二项方程。更有趣的可解五次族是 x5 + ax + b 中群为 F20 者（De Moivre/Brioschi 形），以及用椭圆模函数表达的一般五次（Hermite 1858）——后者超出根式范围，正是第 97 页边界四的实例。本册的地图至此闭合：判据在手，每个方程都各归其位。
练 41.证明：4 阶群要么同构于 C4，要么同构于 V4；并证明两者都可解。
元素的阶只能是 1, 2, 4。若有 4 阶元则 C4；否则全部非单位元都是 2 阶，交换性由 (ab)2 = e 推出，得 V4。可解性：交换群皆可解（例 3.14①）。
练 42.求 Gal(ℚ(ζ8)/ℚ) 的同构类型（练 33 已算出次数为 4），并判断它是否循环。
由命题 3.20，Gal ≅ (ℤ/8)× = {1, 3, 5, 7}；每个元素的平方 ≡ 1 (mod 8)，故全部是 2 阶——V4，不循环。对照练 33 的悬念：x4 + 1 的群是 V4，其根式解需要两层平方根而非一层四次根。
练 43.证明：S3 的子群共有 6 个，且全部可解；再证明 S3 的正规子群只有 {e}, A3, S3。
子群：1 个 1 阶、3 个 2 阶、1 个 3 阶、1 个 6 阶。正规性：2 阶子群彼此共轭（练 38 的三次版），故不正规；3 阶子群是指数 2 的子群必正规。可解性：子群可解由命题 3.27①（或直接看阶）。
练 44.设 G 是 20 阶群且同构于 C5 ⋊ C4（定理 3.40）。写出它的一条可解链，并解释为什么 C5 必正规。
链：G ⊃ C5 ⊃ {e}，商 C4, C5。C5 正规的理由：它是 20 阶群中唯一的 5 阶子群（Sylow 定理：5 阶子群个数 ≡ 1 (mod 5) 且整除 4，只能为 1），唯一的 Sylow 子群必正规。本题是定理 3.40③ 的 Sylow 版证明——比「直接看合成法则」更一般。
练 45（挑战）.证明：A4 的合成列不唯一（给出两条不同的合成列），但其合成因子集合相同（验证 Jordan–Hölder）。
链一：A4 ⊃ V4 ⊃ C2 ⊃ {e}，因子 C3, C2, C2；链二：取另一个 2 阶子群 C2′ ⊂ V4，因子同样 C3, C2, C2。两链不同（中间层不同），因子集合相同——这正是定理 3.26 的内容在一个小例子上的现场演示。
本编的全部机器已经装配完毕。这五道题让它运转起来：练 46–47 是群侧的基本功，练 48–49 是定理 3.37 证明中两处「压缩」的展开，练 50 把可解与不可解放进同一张合成列表里对照。
练 46.设 ζ 是五次本原单位根。证明：Gal(ℚ(ζ)/ℚ) ≅ (ℤ/5)× ≅ C4；写出它的合成列，并对照定理 3.40 说明二项方程 x5 − 1 的可解性在群侧对应什么形状的链。
Φ5(x) = x4 + x3 + x2 + x + 1 不可约：对 x + 1 用 Eisenstein，Φ5(x + 1) = x4 + 5x3 + 10x2 + 10x + 5。每个自同构把 ζ 送到 ζk（k = 1, 2, 3, 4），合成对应 k 的乘法，故群同构于 (ℤ/5)×。合成列 C4 ⊃ C2 ⊃ {e}，因子 2, 2 全是素数阶循环——正是「逐层剥解」要求的形状。
练 47.证明：A5 的传递子群恰有三种——C5、D5（10 阶二面体群）与 A5 自己。
传递 ⟹ 5 ∣ |H|（轨道–稳定子），而 |H| ∣ 60，故 |H| ∈ {5, 10, 15, 20, 30, 60}。15 阶群必循环（3 ∤ 4，Sylow 论证的标准推论），但 A5 中没有 15 阶元（元素阶只有 1, 2, 3, 5，见例 3.13 的类型表）。20 阶与 30 阶子群在 A5 中指数为 3 与 2：考虑其在左陪集上的作用，得同态 A5 → S3 或 A5 → S2，核是正规子群——由 A5 的单性（定理 3.29）核只能是 {e} 或 A5，前者与 60 > |S3| 矛盾，后者使作用平凡、与 H ≠ A5 矛盾。剩下的阶 5, 10, 60 分别由五循环生成的 C5、其正规化子 D5、以及 A5 实现。
练 48.验证 x5 − 6x + 3 的判别式计算：Δ = 55·34 + 44·(−6)5 = 253125 − 1990656 = −1737531；再把 1737531 做质因数分解，确认它不可能是平方数。最后陈述所用的一般判据，并结论：G ⊄ A5。
判别式公式即定理 3.37 第二步所用者（三次判别式的五次类比，可由结式 Δ = ∏i<j(ri − rj)2 对三项式 x5 + px + q 展开：Δ = 55q4 + 44p5）。质因数分解：1737531 = 34·19·1129（1129 是素数）。判据是引理 3.38 的判别式版：群含于 An 当且仅当判别式是有理数平方。负数当然不是平方，故群含奇置换。
练 49.（定理 3.37 第四步的核心引理）证明：设 σ = (1 2 3 4 5)，τ 是任意一个对换，则 ⟨σ, τ⟩ = S5。
记 τ = (i j)，d = j − i（mod 5，非零）。共轭公式给出 σkτσ−k = (i + k, j + k)，于是 ⟨σ, τ⟩ 含全部五个对换 (x, x + d)（x 跑遍 ℤ/5）。因 gcd(5, d) = 1，这五条边构成 ℤ/5 上的一个连通五圈。再用引理：连通图上的边对换生成全对称群——对顶点数归纳：取树叶 v 与其悬挂边 (v, u)，先在其余顶点上归纳出 S4，再对任意 w 写 (v, w) = (v, u)(w, u)(v, u)。
练 50.写出 F20 = C5 ⋊ C4（x5 − 2 的群，定理 3.40）与 S5 的合成列，验证两者的合成因子多重集分别为 {2, 2, 2, 5} 与 {2, 60}；再用 Jordan–Hölder（定理 3.26）说明：这两个群为什么不可能同构，以及「可解」在这张表上的准确含义。
F20 ⊃ C5 ⋊ C2 ⊃ C5 ⊃ {e}，因子自上而下 2, 2, 5——注意 5 阶循环在最底层，它是「开五方」这个动作的群论身影。S5 ⊃ A5 ⊃ {e}，因子 2 与 60；A5 单（定理 3.29），链无法再细化，而 60 不是素数阶循环，故 S5 不可解（命题 3.27 的逆否）。Jordan–Hölder 说因子多重集是同构不变量：一张因子表全是素数、另一张含 60——可解与不可解的差别，在因子表上一目了然。
读图建议：把本图与第 44 页（第二编路线）对照——第二编的三个人在图上各占一段：Lagrange 的账本落在「对应三条」，Ruffini 与 Abel 的裂缝由右链的「单性」补全，Galois 的贡献是左链与右链的整条焊接。一张图收束全书：数学证明不是一条直线，而是两股传统各自的最后一里路。
本编十一个要点，也是从多项式走到定理的完整行李清单：
自检三问：①不看书复述 Galois 对应三条各「对偶」什么；②用合成列的语言解释「为什么四次可解、五次不可解」；③任选 x5 − 2 或 x5 − 6x + 3，把它的群算出来并指出每步所用的定理编号。三问都能答，第三编毕业——下一编进入全景与余韵。
前两编的每个证明都停在「差一步」。这一步不是技巧缺口，而是对象缺口：必须存在一个数学对象，同时记住「根的全部对称」与「域的全部中间层」——而这样的对象只能是一个带合成的变换集合：群。
先看域论单独走多远：分裂域记录了「根住在哪里」，塔律记录了「层数怎么乘」，但它不记录根之间怎么交换——三个根坐在同一个房间里，域论知道房间，不知道座位的对称。再看表达式一侧（Abel 的路线）：共轭值的清单可以数出来，但清单只是集合，没有乘法结构，于是「逐层剥解」无法表述为「逐层取商」。两边各自卡死的位置完全相同：都缺一本把作用本身当作研究对象的账本。
群恰好是这本账本：它把 Lagrange 的稳定集、Ruffini 的封闭性、Galois 的对应统一为同一个概念的三种说法。更关键的是对应定理——中间域与子群一一反序对应。没有群，「逐层开方」的合法性（每层恰剥出素数阶循环）连陈述都写不出来：塔律管总层数，但「每层必须是素数阶循环」这句话的主语是群，不是域。这就是「必须」二字的严格含义：不是方便，而是不引入它，定理的核心条件无法表述。
「必须引入新对象」是数学史上反复出现的信号，而且有可辨认的模式：当一类问题反复卡在同一形状的缺口上，缺的不是聪明，是名词。三次方程卡出虚数（实数里没有容身之处）；三、四次解法的共性卡出 Lagrange 预解函数；而「稳定集封闭但均匀性无凭」卡出了群。今天的类比随处可见：统计学卡出测度论、几何卡出同伦、计算卡出复杂度类。判别法只有一条：如果三代人都在同一处差一步，那一进步不是技巧，是概念。
任务。定理 3.37 证明了 x5 − 6x + 3 的群是 S5，但四步证明里若干数值是「宣布」的。本挑战要求亲手把每个数值算出来——不许跳步。全部计算只需要整数四则与一个小的质数表。
验收标准。①每个整数值都有竖式或明确的乘法链；②任务 C 的综合除法每一步的商系数都写出；③任务 D 的短文把三条定理各用一次且顺序正确。做完本题，对定理 3.37 的信任就不再是「书上说的」，而是「我算的」——这正是第三编「自给自足」品格的个人版。
顺序建议严格按 A → B → C → D。F17 的平方集可以现场算：12, 22, …, 82 除以 17 取余即得。若任务 C 的综合除法不熟，先用小例子热身：x3 − 1 除以 x − 1。
第一编第 17 页埋下一个伏笔：casus irreducibilis——三次方程三实根时，Cardano 公式强迫我们经过虚数；Wantzel 定理（定理 1.6）承诺「第三编将把这句话精确化」。现在工具齐了，兑现它。
先把现象摆正。x3 − 3x + 1 = 0 的三个根全是实数（2cos(2π/9), 2cos(4π/9), 2cos(8π/9)），判别式 Δ = 81 = 92 是平方数——群含于 A3 = C3，而不可约迫使 |G| 被 3 整除，故 G = C3：可解，且是三者中最「小」的可解群。可解，意味着根式塔存在；三实根，意味着塔顶的三个数都在 ℝ 里。那为什么任何根式表达式都必经 ℂ？
答案在「开立方」这个操作本身。开平方的二值性由 ±1 承载——±1 都是实数，所以二次的根式塔可以全程留在实数里。开立方却是三值的：a 的三个立方根是 r, rω, rω2，其中 ω 是三次本原单位根——而 ω = (−1 + i√3)/2 不是实数。三个值由 ω 联结成一个整体：拿走 ω，就只剩一个孤零零的 r，无法在三个根之间搬运对称性。
格物致知：casus irreducibilis 常被讲成「公式的瑕疵」，本札记把它翻转成「实数系的诚实」。公式没有失败，是 ℝ 本身太小——小到装不下自己儿子的对称性。同样的翻转在数学史上反复出现：负数开方、无理数、无穷小，每一次「病态」最终都是既有世界的一次诚实曝光。判别三实根用判别式，识别「世界太小」用 Galois 群——数学家的工作，就是给「不够」造出准确的名字。
一句话直觉。前四编做的是「攻坚」：解出三次、四次，证明五次（一般的）解不出，再补齐证明所需的全部语言。本编做的是「收束」：把千年的线索排成年表、列成人物谱、画成依赖图——然后回答全书最后两个问题：可解与不可解的分界线究竟画在哪里？这条线索通向哪里？
读法建议：本编不再有新定理——所有出现的概念都已在前面证明过。所以本编的每一页都可以当成「检验台」：年表上的每个事件应当能说出它对应第几页；人物谱上的每个人应当能说出他的一条定理。说不出的，就是该回读的页。
技术时代：解方程是一门手艺。每一条的目的地都是「多解出一类方程」；没有人问「为什么解不出」。
| 时间 | 事件 | 改变了什么 |
|---|---|---|
| 约公元前 2000 | 巴比伦泥板：二次方程的配方解法（用文字叙述） | 「配方」技术诞生——第 11 页的主角 |
| 约公元前 1 世纪 | 《周髀算经》记商高勾股定理（勾三股四弦五） | 二次关系进入中国算学传统 |
| 约公元 1 世纪 | 《九章算术》：开平方、开立方的完整算法（开方术） | 「开方」成为可执行程序——与根式解同源的操作传统 |
| 约 263 年 | 刘徽注《九章》：勾股章与出入相补原理 | 几何验证代数恒等式的范式 |
| 约 825 年 | 花拉子米《代数学》：二次方程的系统分类与解法 | 「代数」（al-jabr）得名；解法首次按类型穷举 |
| 约 1070–1109 | 海亚姆：三次方程的圆锥曲线几何解 | 三次可解（几何形态）——但离「公式」尚远 |
| 约 1515 年 | 德尔·费罗解出缺二次项的三次方程（不发表） | 三次代数解第一次被发现——藏在沉默里 |
| 1535 年 | 菲奥尔挑战塔尔塔利亚；塔尔塔利亚八天破解全部三次 | 三次解法成为公开的竞赛筹码 |
| 1545 年 | 卡尔达诺《大术》发表三次解法（注明来源）与费拉里的四次解法 | 三次、四次全面告捷；同时埋下 casus irreducibilis 与「虚数」两个伏笔 |
| 1572 年 | 邦贝利《代数》：为虚数制定运算规则，用它打通 casus irreducibilis | 虚数第一次「为用而造」——第 17 页的悖论得到工程学回应 |
这一代的共同信念：只要够聪明，每类方程总该有解法。四次之后是五次——按这个信念，接下来该是五次公式的四十年赌局。它没有发生：等来的不是公式，而是「公式不存在」的证明。信念在此拐弯，年表（二）记录这次拐弯。
学问时代：从「找解法」到「找解法为什么失败」。这一代改变了问题本身。
| 时间 | 事件 | 改变了什么 |
|---|---|---|
| 1591 年前后 | 韦达：用字母系统表示方程，研究根与系数的关系 | 符号代数诞生；「对称函数」进入视野 |
| 1637 年 | 笛卡尔《几何学》：因式定理与符号法则 | 方程与几何互相翻译 |
| 1683 年 | 契恩豪斯：用变换消去方程的中间项 | 「变换降低复杂度」的思路——挑战五的主角 |
| 1770 年 | 拉格朗日《关于方程代数解法的反思》：统一三、四次解法，预解函数取值计数 | 解法第一次成为学问；「取值个数」成为可计算量——命题 2.1 |
| 1771 年 | 范德蒙德：独立地接近置换的思想（未成体系） | 历史注脚：门在 1770 年已被两人同时摸到 |
| 1799 年 | 鲁菲尼《代数的一般理论》：第一次断言五次一般方程不可根式解（论证有裂缝） | 「不可能」第一次成为数学命题——第二编第 45–46 页 |
| 1815 年 | 柯西：置换理论的系统研究（两篇论文） | 置换从「记号」变成「对象」——但柯西本人把伽罗华手稿锁进抽屉 |
| 1824 年 | 阿贝尔自费出版小册子：五次不可根式解的（第一版）证明 | 不可能性第一次被严格确立；1826 年修正版获公认 |
| 1829 年 | 阿贝尔：可解的方程类刻画（群交换者）——「Abel 群」得名 | 不可能性定理反过来刻画可解者——判据思想的先声 |
| 1831 年 | 伽罗华两份手稿投巴黎科学院（泊松批「不知所云」） | 群与判据：可解性变成群的性质——第三编的全部内容 |
| 1832 年 | 伽罗华决斗前夜整理手稿并写信给 Chevalier | 「我没有时间」——数学史上最著名的临别信 |
注意年表的节奏：1770 到 1831 只有六十年，却完成了「从解法到学问、从学问到语言」的两级跳。推动节奏的不是算力，而是问句的更换——从「怎么解」到「为什么解不出」再到「什么叫解得出」。
结构时代：手稿发表之后，判据长成了整座建筑，又渗进方程之外的疆土。
| 时间 | 事件 | 改变了什么 |
|---|---|---|
| 1846 年 | 刘维尔整理并发表伽罗华手稿（《数学杂志》） | 迟到了十四年的公之于众——判据自此进入数学主流 |
| 1870 年 | 若尔当《论置换与代数方程》：群论第一部系统专著 | 伽罗华的思想获得教科书形态；「抽象群」在此酝酿 |
| 1872 年 | 西罗：素数幂子群存在性定理 | 有限群的结构工具箱——练 50 与定理 3.40 的幕后功臣 |
| 1889 年 | 赫尔德：合成列与合成因子的不变性（Jordan–Hölder 定理定型） | 「因子表」成为群的不变量——可解性的准确语言 |
| 1897 年前后 | 戴德金手稿：模 p 归约判别 Galois 群（身后 1900 年前后流传） | 群的计算变成有限域上的因式分解——定理 3.39 |
| 1920 年代 | 诺特：用域论与环论重述 Galois 理论 | 理论从「方程」脱身，成为关于域与群的一般定理 |
| 1927 年 | 阿廷：Galois 理论的现代公理形态（线性代数语言） | 今天教科书里的 Galois 理论定型——余韵（一） |
| 1954 年 | 沙法列维奇：可解群都可以实现为有理系数方程的 Galois 群 | 逆向 Galois 问题最大的一步——余韵（二） |
| 1960 年代起 | 计算机代数兴起；Galois 群算法进入软件（判别式＋模 p 指纹成为标准流程） | 本册实验三、四的舞台——1799 年的裂缝变成一次课后作业 |
| 1983 / 2004 年 | 有限单群分类宣告完成（2004 年补齐最后缺口） | 「积木原子」的全部清单——A5 是清单上的第一名 |
三代年表合起来是一条完整的弧：技术问「怎么做」，学问问「为什么做不成」，结构问「什么条件做不成」。本册沿弧走了一整圈——而弧还继续向前延伸：余韵三讲就是它的现代延伸段。
十八个人，每人一句话：他改变了这条线索的什么。加粗者是年表上的关键节点。
数一数年龄：这条线索上最重的三步，都由三十岁以下的人迈出——费拉里二十岁上下解四次，阿贝尔二十二岁证不可能，伽罗华二十岁造出群。这不是巧合：问题的每个新层次需要的不是积累，而是换眼睛。
十座里程碑，各注明「继承自谁」与「传给了谁」。没有任何一条凭空落下。
| 定理 | 继承自 | 传给 |
|---|---|---|
| Cardano 公式（定理 1.4） | del Ferro / Tartaglia 的三次解法；费罗时代已有的配方技术 | Ferrari 四次；casus irreducibilis 问题；Bombelli 虚数 |
| Ferrari 四次（定理 1.7） | Cardano 公式＋「降为预解二次」的压缩思想 | Lagrange 的统一分析 |
| Lagrange 判据雏形（命题 2.1） | 三、四次解法的公共骨架 | Ruffini 的稳定集；Galois 对应中的轨道–稳定子 |
| Ruffini 引理（指数 3、4 不存在） | 命题 2.1＋S5 类型普查 | Abel 的严格化；挑战二 |
| Abel–Ruffini 定理（1826） | 鲁菲尼的裂缝＋柯西的置换理论 | 伽罗华的问句：「哪一个方程不可解？」 |
| Galois 对应三条（定理 3.17–3.19） | Artin 引理＋分裂域唯一性 | 主定理一、二；现代域论的全部中间层语言 |
| Kummer 定理（定理 3.22–3.23） | 分圆扩张＋「纯扩张=循环群」的观察 | 主定理一；类域论的雏形（余韵一） |
| A5 单性（定理 3.29） | 共轭类计数（例 3.13） | Sn（n ≥ 5）不可解；有限单群分类的「第一名」 |
| Galois 判据（定理 3.34） | 主定理一＋主定理二 | n ≥ 5 一般方程不可解（定理 3.36）；一切具体方程的可解性判定 |
| Dedekind 模 p 归约（定理 3.39） | 分裂域的唯一性＋Frobenius 的轮换作用 | 计算机代数的群算法（实验三、四） |
读这张表的正确方式：每一行「继承自」一栏都至少指向一行已经出现过的定理——谱系没有起点之外的开端（起点是巴比伦的配方），也没有终点之外的终结（终点是现代软件的群算法）。数学的传承不是接力棒，而是越滚越大的雪球。
全书此刻可以收进一张地图。分界线不在方程的次数上，而在群的因子表上。
一句话总结全书：「解不出」不是失败的记录，而是结构的知识——判据把这句哲学变成了一行可检验的等价式：可根式解 ⟺ 群可解。分界线两侧没有高下：可解侧贡献了 Cardano 的赌局与 Bombelli 的虚数，不可解侧贡献了群与抽象代数——两侧共同贡献了现代数学的门。
本册的群始终是「根的置换群」——但它的真正身份是一切对称性的通用语言。方程只是群的第一位客户。
回头数一数本册群出现过的身份：根的置换（第三编）、域的自同构（Galois 群的定义）、解法的公共骨架（Lagrange 的稳定集）、判别式的保护者（An 与平方判据）。四种身份说的是同一件事：保持某种结构不变的变换的全体。一旦这样定义，「对称」就不再只是几何词——任何结构（域、图、方程、晶体、方程组）都有它自己的群。
这就是为什么本册最后的判据看起来如此「跨领域」：判据说「可解性 = 群的因子表全素」——这句话根本不提方程。方程被群「抽象掉了」，剩下的是纯粹的因子表算术。这正是抽象代数的方法论：把问题翻译到只依赖结构的层面，然后结构自己的定理开始工作。
现代科学里「对称性」的位置，就是本册里群的位置：晶体学用空间群给全部晶体编目（230 类）；粒子物理的标准模型是一个特定群的表示论；化学的分子轨道由分子的对称群决定；密码学把椭圆曲线的对称做成单向函数。「保持结构不变的变换」这个定义，是我们给宇宙对称性编目的通用格式——而它的第一次成功应用，就是本册：回答「五次方程能不能解」。
「不可能」的证明听起来像关门——但在数学里，每一个严格的不可能性定理都是一台生产力机器：它把无限的努力变成有限的分类，把「再试一次」变成「换个问题」。
算一笔账：Abel 1824 之前，欧洲的代数学家花在一般五次上的努力是「无限」的——任何聪明都可能翻盘。Abel 之后，这笔努力被一次性清零，省下的全部智力被转向三个新方向：①哪些五次可解（判据的「可解侧」）；②不用根式还能怎么解（椭圆函数——挑战五）；③「解」这个词还能怎么推广（现代 Galois 理论——余韵一）。不可能性定理不是句号，是岔路口的路标。
本册的另一条暗线也支持这个论断：Ruffini–Abel 的证明每补一条裂缝，就多出一个新对象（稳定集、共轭类、商群）。证明「不可能」所需要的语言，比「可能」的答案更值钱——三百年问题换来的不是「解不了」，是群论。
同样的模式在数学史上反复上演：尺规作图三难题（化圆为方、三等分角、倍立方）被域论逐一判死——省下的努力变成了伽罗瓦理论与尺规判据；连续统假设被证明独立于 ZFC——省下的努力变成了集合论的新公理学；五次方程不可解——省下的努力变成了整座抽象代数。判别一个好问题与一个坏问题的标准之一：它的「不可能」答案能换来多少新语言。按这个标准，五次方程是历史上最划算的问题之一。
任务。定理 3.37 给了一个群为 S5 的标本。本挑战亲手制造更多反例、并把判据推到 n > 5——全部任务只许用本册已证的工具。
验收标准。①任务 A 的「精确版」必须处理 a = 0 与 a 非五次幂两种平凡情形；②任务 B 的流程必须说明每一步证明了什么、只是缩小范围了什么；③任务 D 明确区分「本册工具可证」与「引用外部结果」两栏——自给自足的边界意识，与证明本身同等重要。
任务 A 的精确版：若 a 是某个整数的五次幂，方程有有理根、群平凡；否则群是 C5 ⋊ Cd（d ∣ 4），因子表全素。任务 C 的关键引理：An（n ≥ 5）由三轮换生成，且三轮换在 An 中互为共轭（n ≥ 5 时一个双对换可把任一轮换变成另一个）——把 A5 的证明（定理 3.29）的骨架照此推广。
任务。既然一般五次不可根式解，十九世纪的数学家换了一个问题：能不能把五次「化简」到最少的参数？化简之后，不用根式还能用什么解？本挑战沿这条岔路走一段——它是年表（二）（三）之间最著名的支线。
验收标准。①任务 B① 必须引用群的对应行为（同构的方程有同构的 Galois 群——对应定理的直接推论）；②任务 C① 必须逐字对照根式解的定义；③任务 D 的三处不严格各配一句本册页码或定理号。本挑战没有计算量——它是全书方法论的一次总演习：先定义，再判据，最后边界。
任务 B① 的完整论证：若 y = φ(x)（φ 为有理函数且可逆，逆亦为有理函数），则 F 与 F(根旧)、F(根新) 互为同一个域——于是两个方程的分裂域相同、群相同。Bring–Jerrard 的变换正是这种可逆有理变换的多步叠加。「困难守恒」：任何化简都改变不了分裂域这个不变量。
目标。把定理 3.39（模 p 归约）变成一台可运行的「指纹机」：输入首一整系数方程，输出它的 Galois 群或其候选清单。全部代码不超过 60 行 Python。
任务 A（指纹机）。写函数 fingerprints(f, pmax)：对每个素数 p ≤ pmax（且 p ∤ Δ(f)），在 𝔽p 上分解 f（先找根、再对剩余因子穷举小次数不可约因子），输出因子型清单。用 x5 − 6x + 3 与 pmax = 20 跑一遍，核对与第 106 页一致：p = 2 → (1,4)、p = 11 → (2,3)、p = 17 → (1,1,1,2)、p = 5, 7, 13 → (5)。
任务 B（指纹对照表）。由练 47 的清单，五次的传递群只有 C5, D5, F20, A5, S5。列一张表：每个群能出现哪些因子型（例如 C5 与 D5 只含 5-循环、双对换与不动点型，不可能出现 (2,3) 或对换型）。观察点：出现 (1,1,1,2) 立即排除 C5, D5, F20, A5；出现 (2,3) 再排除 A5。
任务 C（判别式与实根）。实现 Δ = ∏i<j(ri − rj)2 的数值版（先求根再算），与精确版（结式或本书公式）对拍；对 x5 − 6x + 3 验证 Δ ≈ −1737531 且三实根（引理 3.38），对 x5 − 2 验证 Δ < 0？不——它只有一对非实根，Δ < 0；亲手算出符号并核对。
任务 D（合龙）。把三件事接成管线：判别式定奇偶侧 → 指纹表排除 → 结论群。对 x5 − 6x + 3、x5 − 2、x5 − 1 三个样本跑全流程，输出应分别为 S5、F20 候选、C4。1799 年 Ruffini 需要三卷书努力的方向，如今是一条六十行的管线。
延伸：对挑战四任务 D 的 x5 − x − 1 跑指纹机，确认它含 5-循环型与对换型——「群为 S5」的最后一块拼图由此落定。指纹不会说谎：群在根集上怎么动，模 p 的因式分解就怎么写。
目标。指纹机之外的第二条「体检线」：不用分解因式，只用数值代数——幂和（Newton 和）与判别式——来给方程的群做初检。两条线交叉验证，结论才可靠。
任务 A（Newton 和）。由韦达定理与 Newton 递推（sk + a1sk−1 + ⋯ + ak−1s1 + kak = 0）实现幂和 sk = ∑ rik 的整数计算（ai 为系数）。对四个样本 x5 − 1, x5 − 2, x5 − 6x + 3, x3 − 3x + 1 输出 s1, …, s6，并验证 s1 = −a1（五次首一时 s1 = 0）。
任务 B（判别式三条线）。实现判别式的三种算法：①定义式（配数值根）；②结式式（Δ = (−1)n(n−1)/2 Res(f, f′)/an 的整数多项式版）；③递推式（用 sk 的行列式公式）。三者在四个样本上必须给出同一个整数——任何不一致都说明实现有 bug。
任务 C（平方检验与群侧初检）。对每个样本检验 Δ 是否为完全平方：是 ⟹ 群含于 An（引理 3.38 的判据）。预测并核对：x3 − 3x + 1 的 Δ = 81 是平方（群 C3 ⊂ A3）；x5 − 6x + 3 非平方（群 S5 含奇）；x5 − 2 的 Δ = −55·28？亲手推导二项式 xn − a 的判别式公式再核对（提示：两两差全是 ζi − ζj 型）。
任务 D（体检报告）。为四个样本输出一张「体检表」：幂和的符号模式、Δ 的符号、Δ 是否平方、实根个数（引理 3.38）、与实验三指纹机结论的一致性。两条独立管线在同一点汇合——这就是计算代数里「可信」的定义。
延伸：把体检表加一列「有理根检验」（有理根定理，命题 3.5 的推论），就复刻了计算机代数系统对方程做的第一批预检。实验三靠「分解」，实验四靠「不变量」——两条哲学在 Galois 群上会师。
一句话直觉。本册的 Galois 理论是「方程中心」的：方程 → 分裂域 → 群。现代形态把它倒了过来：域扩张是主角，方程只是配角——随后连域也可换掉，留下「对称 ↔ 结构」这架万能桥梁。
与本册的接线。现代形态的每块基石本册都已备好：Artin 引理（定理 3.15）是域中心化的原点；对应三条（定理 3.17–3.19）原样保留；判据（定理 3.34）一字不改。变的只是「谁是主角」——这正是抽象化的标准动作：把证明里真正工作的部分留下，把背景板换掉。
一个值得回味的判别：本册为「抽象」付出的全部代价是第三编 44 页的铺垫，而收益是整个现代代数的入口。抽象不是把简单的事说难，而是把难的事变得可搬迁。
一句话直觉。本册走的是正方向：方程 → 群。反过来问：给定一个有限群 G，存在有理系数方程使它的 Galois 群恰为 G 吗？这就是逆向 Galois 问题——陈述一句、解决一百三十年、至今未竟。
把正反两问并排看：正问题回答「这个方程有多难」，逆问题回答「这个群有多真实」。一百年前，判据把方程翻译成群；今天，数学家在做的正是把字典倒过来查——而字典还缺很多页。缺页本身就是学问：知道缺什么，和知道什么，同样是知识。
一句话直觉。「可解性由对称群裁定」这个格式，早已越出方程的疆界。本讲采样三个方向——每个都是本册某条定理的远亲。
三个方向的公约数。都是同一句话的不同变体：结构是否足够「一层层剥开」到最简单元——由它的对称群能否逐层取素数阶商裁定。方程问根式，微分问初等，数域问阿贝尔，曲线问离散对数——问题换了三次，判据的形状一次都没换。
本册的最后一课：学一门数学，最划算的不是记住它的答案，而是认出它的「问题格式」。「可解性 = 群的因子表」这一格式，从 1831 年的一封信出发，走过了方程、函数、数域与曲线——现在手里握着这张格式的设计图。
闭卷，九十分钟。题目按全书顺序排列。第 125 页给出评分要点与失分点。答不出的题记下编号——它们就是该回读的页。
1.写出「根式解」的准确定义（第 3 页），并说明为什么「数值可算」不满足这个定义。
2.三次方程 x3 + px + q = 0 的判别式是什么？「Δ > 0」对根型意味着什么？
3.陈述 Wantzel 定理（定理 1.6），并用一句话说明它与「实根的代价」的关系。
4.Ferrari 解四次的总体策略是什么？「预解式」在其中起什么作用？
5.Lagrange 1770 的统一视角是什么？「预解函数取值个数」为什么是关键可计算量？写出 k ∣ n! 与 k·|H| = n! 各自的含义。
6.Lagrange 判据雏形为什么到五次就失效？「最低有用值 5 或 6」说明什么？
7.指出 Ruffini 论证的三层裂缝各是什么，各由谁、用什么概念补上。
8.Abel 1824 与 1826 两版证明的区别是什么？「净化根式→数共轭值→与置换结构对账」三动作各做什么？
9.Galois 1831 的问句与 Abel/Ruffini 的问句差在哪里？「一般方程」与「这一个方程」的区分为什么是决定性的？
10.陈述 Eisenstein 判据并证明它（用模 p 反证）。
11.陈述塔律并证明：[L:F] = [L:K][K:F] 的关键一步在哪里？
12.什么是分裂域？「存在唯一」的唯一是在什么意义下说的？特征 0 为什么免除重根担忧？
13.陈述 Artin 引理，并说明它如何给出「自同构不多于次数」的封顶。
14.写出 Galois 对应三条各自「对偶」什么（次数？正规性？反序？）。
15.陈述 Kummer 定理（特征 0 版），指出「基域须含单位根」用在哪一步。
16.正规化引理（命题 3.24）的「三步手术」是什么？没有它主定理一缺哪一块？
17.定义可解群；写出 S4 的合成列并验证因子全素。
18.证明 A5 单性的核心一步：为什么 24 个五循环在 A5 里分裂成两个 12 元共轭类？这一分裂对证明是威胁还是助力？
19.陈述 Galois 判据（定理 3.34），并说明主定理一、二各自证明哪一半。
20.为什么「一般方程的群是 Sn」？引理 3.35 的证明骨架是什么？
21.用四步复算 x5 − 6x + 3 的群为 S5（每步引用的定理要编号）。
22.陈述 Dedekind 模 p 归约定理，说明「p ∤ Δ」这个条件保什么。
23.对照 x5 − 2（可解）与 x5 − 6x + 3（不可解）：写出两个群的因子表，并回答「分界线在次数上还是在群里」。
24.「根的存在性、可表达性、数值可算性」三分离各由哪个定理/方法保障？举一个三百年伪证明的共同病根。
按「要点 / 失分点」给出。前三编（1–22 题）每题对应回读页已在要点中标。
| 题 | 答案要点 | 常见失分点 |
|---|---|---|
| 1 | 有限次四则与开方的表达式（p.3）；数值法是迭代逼近、不是有限表达式 | 漏「有限次」；把「可以算」当成「可表达」 |
| 2 | Δ = −4p3 − 27q2；Δ > 0 ⟺ 三互异实根（casus irreducibilis）（p.14–17） | 符号记反；漏「互异」 |
| 3 | 三实根的不可约三次不能只用实根式表出（定理 1.6）；代价=必经 ℂ（p.17, 107） | 把定理说成「公式有错」——公式没错，是 ℝ 太小 |
| 4 | 消二次项→两平方差→预解二次（p.19–21）；预解式=「把四次压成三次」的杠杆 | 只背步骤说不出「压缩」思想 |
| 5 | 预解函数在 n! 个置换下取 k 个值；k ∣ n!（均匀性）、k·|H| = n!（稳定集）（命题 2.1, p.41–42） | 两式混写；漏「均匀性是 Ruffini 补的」 |
| 6 | 五次预解函数取值不可能 3 或 4；5 或 6 解不动（p.43–44）；「降次杠杆」失效 | 说成「取值太多」——是「有用的取值数不存在」 |
| 7 | 均匀性、正规性、单性；分别由 Ruffini 后续、Galois 对应、A5 单性补（p.45–46, 91） | 漏第三层或说不出「缺的是概念不是计算」 |
| 8 | 1824 有裂缝、1826 严格（p.48–50）；三动作分别保证表达式形式、共轭计数、结构一致 | 把 1824 当最终版 |
| 9 | 从「都不可解」到「判别哪一个可解」（p.49, 53）；判据只能对具体方程提 | 漏「一般 vs 具体」的逻辑位置 |
| 10 | p ∣ ai (i<n)、p2 ∤ a0 ⟹ 不可约；反证看常数项与最低次项（命题 3.4, p.66） | 漏 p2 ∤ a0 条件或反证里最低次系数的讨论 |
| 11 | 基变换：L 在 K 上的基拼 K 在 F 上的基（命题 3.6, p.68）；关键=两族基的线性无关合并 | 只写式子不给基 |
| 12 | 含全部根的最小域（p.70–71）；在同构延拓意义下唯一；特征 0 一切可分（p.72） | 把唯一说成「集合唯一」 |
| 13 | |G| ≤ [L:K]（定理 3.15, p.75）；骨架=把 L 嵌入函数空间、用线性无关性封顶 | 漏「Dedekind 无关性」这一步 |
| 14 | 反序双射；[L:K]/[L:H] 与 |H| 互换；正规子群 ↔ 正规中间域（定理 3.17–3.19） | 三条混为一谈；漏「反序」 |
| 15 | F 含 n 次单位根、xn − a 不可约 ⟹ 群为循环群（定理 3.22, p.84）；单位根保证「开方的各值仍在域内成群」 | 漏单位根前提 |
| 16 | 扩常数域、补正规层、封顶检查（命题 3.24, p.86）；保证塔每层 Galois 使对应可逐层用 | 说不出「为什么逐层要正规」 |
| 17 | 有链到 {e}、商全素阶循环（命题 3.27, p.89）；S4 ⊃ A4 ⊃ V4 ⊃ C2 ⊃ {e}，因子 2,3,2,2 | 链里出现非正规层；漏验证商 |
| 18 | 五循环的中心化子阶 5 ⟹ 类大小 60/5 = 12，24 个分成两类（定理 3.29, p.91）；威胁变助力：类大小 12 正好堵死「拼出指数 2 正规子群」 | 把分裂当成障碍；漏中心化子计算 |
| 19 | 可根式解 ⟺ 群可解（定理 3.34, p.94）；主定理一给「⟸」（Kummer 链）、主定理二给「⟹」（塔给子群链） | 两半方向写反 |
| 20 | 系数的有理函数在 Sn 作用下全部独立可动（引理 3.35, p.95）；骨架=构造特殊化论证+对称函数维数对账 | 把「群 ≤ Sn」当成「群 = Sn」 |
| 21 | Eisenstein(3)→传递含 5-循环；Δ < 0 非平方→含奇；模 17 → (1,1,1,2) 对换；5-循环+对换=S5（定理 3.37, p.96 + 挑战三） | 漏「p ∤ Δ 检查」或第四步不引生成引理 |
| 22 | 因子型 ⟹ 群含相应轮换型元素（定理 3.39, p.99）；p ∤ Δ 保模 p 无重根、分裂行为干净 | 漏条件的作用解释 |
| 23 | F20: {2,2,2,5} 全素可解；S5: {2,60} 不可解（定理 3.40, 3.37）；分界线在群（因子表）上（p.114） | 说「5 次都比 4 次难」——不是次数，是群 |
| 24 | 存在性=代数学基本定理；可表达性=判据 3.34；数值可算=迭代法（p.63, 114）；病根=三问题混谈（如「公式不存在所以根不存在」） | 举不出伪证明病根的具体形态 |
评分建议：24 题中第 7、18、19、23 题是全书的主梁——这四题全对即可视为毕业；其余题目按「要点覆盖一半给半分」。错题的回读路径：题号 − 对应页码 = 个性化目录。
本册讲了一个「解不出来」的故事，而它的每一次转折都在重复同一句话：解不出来，是一种答案。这句话值得在合卷之前说透。
「解不出来」有三层，各是一种答案。第一层是事实：casus irreducibilis 里「公式给的根必须过虚数」——事实性答案告诉我们世界的某个角落长什么样（实数系装不下三个实根的对称）。第二层是判据：Abel–Ruffini 定理告诉我们哪类问题永远解不出——判据性答案把无限的努力折叠成有限的分类。第三层是结构：为了证明「解不出」，我们造出了群——结构性答案是最贵的一种：它把失败的原因变成了新的数学对象。
格物致知，致的是什么知？本册的回答：知「界限」，也知「界限为何是这个形状」。五次方程的界限不是一道墙，而是一台机器的剖面图——剖面上每一条线（稳定集、共轭类、合成列）都是一种新数学的出生证明。解不出来，所以我们必须变得更聪明——这大概是三百年故事最诚实的励志版。
本书的编名是九章格的口吻，但这最后一页想换一种写法——像伽罗华在决斗前夜给朋友写信那样，说几句不进正文的真心话。
这门数学最动人的地方，是它完全不实用。五次方程没有公式，对任何一个需要数值解的工程师毫无影响——牛顿法三行代码，解得又快又好。三百年里为「根式解」燃烧的那些聪明，从功利的账本上看，收益是零。然而正是这场「零收益」的攻坚，给了我们群、给了我们抽象代数、给了我们「对称性」这门科学。功利账本算不出的东西，恰恰是最值钱的东西。
给出三条带走的行囊。其一：先定义，再判据，最后边界——遇到任何「能不能」的问题，先问「什么叫做能」，这是全书反复演练的第一动作。其二：困难从来不在计算，而在语言——Ruffini 不缺算力，缺的是「正规子群」这个词；今后卡住的时候，先想想是不是缺一个名词。其三：历史是最好的教科书——三个人在同一个墙上敲出同一扇门的故事，比任何定理都更能说明「数学是什么」：它不是天才的独白，是人类在漫长接力里彼此修正的回声。
最后一件事。伽罗华在 1832 年 5 月 29 日的信末写了一行小字，两位朋友「向 Gauss 与 Jacobi 公开征求他们的意见，不是关于正确性，而是关于这些主题的重要性」。他没有求「对」，他求的是「重要」。一百九十年后我们可以代为回答：对，而且重要得超出了他的想象。愿在此后遇到自己的「五次方程」时——无论是哪一门学问里的——都记得这封信的口吻：不问容易，只问重要；不惧解不出，只怕问错了问题。
JUST FOR FUN ——学习这门数学最好的理由，从来只有一个：因为它美，因为它好玩。三百年、三代人、十八个人，把他们连起来的不是「有用」，是好奇心。本册到此收卷——愿好奇心长存。