第 1 章：两条路线，在同一个群上相遇

1.1 我的疑问究竟在哪里

原问题 A01：最后从5次方程推出无根式解，是直接从5个根和5个系数的域扩张来推出Galois群之类的，貌似和之前构建的方式不一样

原问题 A06：所以在5次方程那个证明中域塔以及矛盾是怎么来的来着

这两个问题都在问：方程本身的分裂域，与假想公式制造的根式塔，到底是什么关系？先把对象的来源分开，后面才能看清它们如何合流。

路线一：方程自身的对称性

五个独立形式根 → 基本对称式作为系数 → 系数域 $F$ 与分裂域 $E$ → $\operatorname{Gal}(E/F)\cong S_5$ → 这个群不可解。

看第 2、10 章的证明

路线二：假想公式能制造什么

假设存在根式公式 → 原始根式塔，顶层 $R$ 包含全部根 → $E\subseteq R$ → 补成大域 $N$ → $\operatorname{Gal}(N/F)$ 可解 → $\operatorname{Gal}(E/F)$ 可解。

看第 3—8 章的证明

路线一不依赖根式公式的存在。路线二从一个反证假设出发。最后，它们分别说同一个 $\operatorname{Gal}(E/F)$ 不可解与可解，矛盾才成立。

1.2 四个域，四个角色

域	怎样得到	在证明中的任务
$F$	从方程系数生成	固定可使用的初始信息
$E$	在 $F$ 中加入方程的全部根	承载方程自身的 Galois 群
$R$	从 $F$ 按假想公式逐步加入根式	保证所有根都可由这些运算得到
$N$	扩大 $R$ ，补单位根与所需共轭	提供对 $F$ Galois、群可解的容器

核心包含关系是

$F\subseteq E\subseteq R\subseteq N.$

与此同时，另有一张“建造记录”

$F=R_0\subseteq R_1\subseteq\cdots\subseteq R_m=R.$

两张图共同描述同一批域；第一张只说明包含，第二张还记录每次根式运算。不能从第一张图推断 $E$ 等于某个 $R_i$ 。

1.3 为什么根式塔之后仍有工作

原问题 A07：换言之域塔之后还要做一些工作

是的。原始根式塔证明的是“运算能够造出什么元素”，而 Galois 理论还需要“所有共轭都在域内”“限制映射可用于商群”等条件。第 5—7 章负责把前一个对象加工成后一个对象。

$\boxed{ \text{公式} \Rightarrow \text{原根式塔} \Rightarrow \text{包含它的可解 Galois 大域} \Rightarrow \text{分裂域的群可解} }$

理解框架时，先记每个箭头的任务；核对证明时，再逐一检查它的条件与构造。

简短导航：原始根式塔 → 补单位根与所需共轭 → 构造可解的 Galois 大群 → 通过限制商群得到原分裂域的群可解。读完总反证后，可在第 11.7—11.8 节回看我的整体理解和两次限制映射的不同用途。