第 12 章：复习地图、原问题索引与校正记录

12.1 每个箭头依靠哪一个理由

推进	所需理由	对应位置
形式根 → 一般系数	基本对称式代数独立；系数符号替换	第 2.3 节
$F\subseteq E$ → 群为 $S_5$	每个变量置换确实定义自同构；自同构由根的像决定	第 2.4—2.5 节
根式公式 → 有限塔	按表达式依赖顺序处理开根；四则运算留在域中	第 3 章
各根有表达式 → 同一塔包含全部根	在同一代数闭包中合并有限多个表达式	第 3.7 节
根在塔顶 → $E\subseteq R$	生成域是包含基础域和生成元的最小域	第 4 章
加单位根 → 单层群阿贝尔	固定单位根使根的像之比定义单射同态	第 5 章
原塔 → 对 $F$ Galois 的大域	对所有共轭被开方数补全部根，归纳证明嵌入稳定	第 6 章
阿贝尔域层 → 大群可解	限制满射、核与商群，构造正规列	第 7 章
大群可解 → 原分裂域群可解	$E/F$ 与 $N/F$ Galois；限制满射；商群保持可解	第 8 章
非阿贝尔单群 $A_5$ → $S_5$ 不可解	排除 $A_5$ 所有可解列；使用子群引理	第 10 章
两条路线 → 否定根式假设	同一个 $\operatorname{Gal}(E/F)$ 不能同时可解与不可解	第 11 章

12.2 三个群论工具，各自在哪里用

工具	主线中的具体用途
可解群的子群仍可解	从 $A_5$ 不可解推出 $S_5$ 不可解；也用于跨层相对群
可解群的商群仍可解	从 $\operatorname{Gal}(N/F)$ 传给 $\operatorname{Gal}(E/F)$
可解的核与商给出可解的整体	解释相邻域层怎样拼成跨层可解群；也可替代第 7 章的整列论证

三个工具已在第 8 章证明。它们不是同一条结论的不同说法，分别处理取小群、压缩群和拼接群。

12.3 十一个复习问题

$x_i$ 对 $\mathbb Q$ 超越，为什么仍能对 $F$ 代数？——它们满足系数在 $F$ 中的 $f(t)$ 。
假设公式存在，为什么 $E\subseteq R$ ？——全部根在 $R$ ，再使用生成域的最小性。
$E$ 必须等于某个 $R_i$ 吗？——不必；第 4 章给出真正的反例。
为什么只补单位根还不够？——基础层的共轭会改变被开方数，必须把变化后的根也加入。
为什么大域的群可解？——域塔反向变成正规列，相邻商都阿贝尔。
为什么目标群是商群？——限制相同的延拓构成核的陪集；延拓引理保证限制满射。
矛盾落在哪个群？——原来的 $\operatorname{Gal}(E/F)$ ，不是 $\operatorname{Gal}(R/F)$ ，也不是换了基础域以后的群。
为什么每层写成幂等于前层元素，而原方程仍有很多项？——塔选择公式中的开根中间量，不必选择原方程根本人。
把低次项移到右边，是否就算根式步骤？——不算，必须额外保证右端已经属于前层；其中含未知根时不能自动保证。
开根指数一定等于最小多项式次数吗？——不一定，最小多项式只需整除开根方程，扩张次数可能更小。
限制映射在哪两处使用？——先在正规化塔中识别相邻商，证明大群可解；再限制到原分裂域，把可解性传给目标群。

12.4 原对话覆盖索引

原回答编号	原问题的核心	本篇去向与补充
A01	最后用五个根与系数构造的域，看起来与此前不同	第 1、2、10、11 章；补代数独立、有限性、置换自同构与群论障碍
A02	根式可解与两个域的 Galois 群，怎样连接	第 3、5—8 章；补公共塔、单位根层、逐层正规化及完整商群证明
A03	如何保证根域与系数域是塔的一部分	第 4 章；完整证明包含关系，校正并替换原例子
A04	不相邻域层是否也能讨论可解性	第 9 章；给出准确条件、非传递例子及跨层证明
A05	子群、商群是否保持可解	第 8.3—8.5 节；补两个保持引理及拼接引理
A06	域塔与最后的矛盾怎样得到	第 1、11 章；把两条路线和四个域固定在同一记号体系中
A07	得到域塔以后还需做什么	第 1.3、5—8 章；完整落实补单位根、补共轭、大群与限制商群
B01	为什么每层是纯开根关系，可否满足一般多项式	第 3.2、3.4 节；区分操作定义、基础域和最小多项式
B02	初步理解后仍觉得缺少连接	第 3.3 节；完整演示二次公式的中间量与输出，证明不能仅移项认作开根步骤
B03	每次扩张是不是只处理开根操作	第 3.5 节；确认原始塔的构造方式，说明四则运算、重复层与正规化塔的范围
B04	原塔、补单位根和共轭，再经限制商群得到目标群可解的整体理解	第 11.7—11.8 节；保留我的原话，澄清自同构群与 Galois 扩张、正规与可解、两次限制及原基础域不变

重排后的正文保留分享对话中的七个数学问题、本聊天三轮新增追问及一段整体理解，回答内容按用途重新组织，删除重复结尾和后续建议。原回答完整保存在项目的资料目录中，便于核对；本篇不把重写内容当作对话原文引用。

12.5 本篇校正与补齐记录

第三版新增：完整总结放在第 11.7—11.8 节，位于总反证之后、复习地图之前；保留我的整体理解原文，并补上条件区分和限制映射的两次用途。第 1 章只增加一段简短导航。前两版原有证明保留。

第二版新增：第 3.2—3.5 节完整纳入本聊天的三轮理解过程，新增计算步骤表、移项不能保证右端在前层的说明、嵌套根式对不同基础域的方程，以及开根指数与最小多项式次数的区别。第一版原有正文均保留，第 3 章原小节顺延，相关引用同步更新。

原对话的 $\mathbb Q(\sqrt2+\sqrt3)$ 例子实际上等于塔顶，替换为 $\mathbb Q(\sqrt6)$ ，并给出完整次数与不相等证明。
“独立根”明确为代数独立不定元，补上对系数域的有限代数性，以及基本对称式的代数独立性。
“所有根在某根式塔”补上多表达式合并与表达式结构归纳。
“补单位根后取正规闭包，群就可解”展开成逐层构造，每层对原 $F$ 的正规性分别证明。
正规化阶段可能加入多个根式，群只保证是循环群直积的子群、因而阿贝尔，未必循环。
加单位根对原 $F$ 的那一层也计入阿贝尔商列；对一般 $F$ 只声称嵌入可逆剩余类群。
分裂域在特征零可分，从而 Galois；没有把“任意特征下的分裂域”一概说成 Galois。
非 Galois 扩张仍有自同构群，修正“不能讨论群”的笼统说法，明确不能自动套用的结论。
补上嵌入延拓、限制满射、核与第一同构定理，以及可解性的三个群论工具。
$S_5$ 的不可解性排除所有可解列，补上 $A_5$ 共轭类与单群性证明。