第 14 章：根式塔：单位根、共轭与正规闭包

本章对象： $F_{i+1}=F_{i}(\alpha _{i})$ ， $\alpha _{i}$ 的 $n_{i}$ 次幂等于 $a_{i}\in F_{i}$ ；各层指数、元素均可不同。 $\zeta _{n}$ 是本原 $n$ 次单位根， $\mu _{n}$ 是全部 $n$ 次单位根组成的群。

14.1 进入根式塔前回顾两条主线

进入根式塔前，已有的两条主线是：

$\mathbb Q \rightarrow \text{域扩张} \rightarrow \text{分裂域} \rightarrow \text{域自同构} \rightarrow \text{Galois 群}$

然后进一步讨论了“根式解”如何翻译成一层一层的域扩张：

$F_i\subset F_{i+1}=F_i(\alpha), \qquad \alpha^n\in F_i.$

最后停在一个很关键的技术点：

如果这一层的基础域 $F$ 已经包含相应的 $n$ 次单位根 $\zeta_n$ ，那么自同构只能把

$\alpha$

送到

$\zeta_n^k\alpha.$

原讨论确认了以下需要的条件：

$\boxed{\text{所以要先把单位根加入基础域}}$

这样 $\zeta_n$ 就被固定，不会再被 Galois 自同构移动。

现在下一步就应该证明：

$\boxed{\text{为什么这种“一层根式扩张”的 Galois 群一定是阿贝尔群}}$

我们继续慢慢来。

假设：

$F\subset K=F(\alpha),$

并且

$\alpha^n=a\in F.$

同时假设：

$\zeta_n\in F.$

那么固定 $F$ 的任何自同构 $\sigma$ 都只能满足：

$\sigma(\alpha)=\zeta_n^k\alpha.$

另一个自同构 $\tau$ 则可能满足：

$\tau(\alpha)=\zeta_n^l\alpha.$

现在比较：

$\sigma\tau$

和

$\tau\sigma.$

先算：

$\sigma\tau(\alpha).$

因为：

$\tau(\alpha)=\zeta_n^l\alpha,$

所以：

$\sigma\tau(\alpha) = \sigma(\zeta_n^l\alpha).$

由于 $\zeta_n\in F$ ，而 $\sigma$ 固定整个 $F$ ，所以：

$\sigma(\zeta_n^l)=\zeta_n^l.$

因此：

$\sigma\tau(\alpha) = \zeta_n^l\sigma(\alpha).$

又因为：

$\sigma(\alpha)=\zeta_n^k\alpha,$

所以：

$\sigma\tau(\alpha) = \zeta_n^l\zeta_n^k\alpha = \zeta_n^{k+l}\alpha.$

反过来：

$\tau\sigma(\alpha) = \zeta_n^{k+l}\alpha.$

因此：

$\sigma\tau(\alpha)=\tau\sigma(\alpha).$

而整个 $K$ 是由 $F$ 和 $\alpha$ 生成的。

两者都固定 $F$ ，而且在 $\alpha$ 上作用相同，所以它们在整个 $K$ 上作用都相同。

因此：

$\boxed{\sigma\tau=\tau\sigma}.$

所以：

$\boxed{\operatorname{Gal}(K/F)\text{ 是阿贝尔群}}$

更直观地说，这些自同构本质上只是：

$\alpha\mapsto\zeta_n^k\alpha.$

做一次 $k$ ，再做一次 $l$ ，结果就是：

$k+l.$

而：

$k+l=l+k.$

所以自然交换。

这就是我们现在终于得到的关键结论：

$\boxed{ \text{单层根式扩张 + 基础域含相应单位根} \Longrightarrow \text{这一层的 Galois 群是阿贝尔的} }$

接下来真正重要的一步，就是解释：

如果我们有一整座根式塔

$F_0\subset F_1\subset\cdots\subset F_r,$

为什么这些“一层一层的阿贝尔群”会对应到总 Galois 群中的一条正规子群链？

这里就会第一次正式进入 Galois 基本定理：中间域和子群之间的反向对应。这一步是把“根式塔”真正变成“可解群”的桥。

14.2 把一个根式表达式拆成逐次开根

原问题：太快了没太理解为什么就加入了一个根式

对，刚才这里跳太快了。关键不是“为什么突然只加入一个根式”，而是：

所谓“能用根式解”，本来就可以拆成很多个“每次加入一个根式”的步骤。

我们先把“根式表达式”看成一个实际公式。

比如：

$\sqrt{2+\sqrt3}.$

这个数看起来是一次写出来的，但它其实可以分两步构造。

先从

$\mathbb Q$

开始。

第一步加入：

$\sqrt3.$

得到：

$F_1=\mathbb Q(\sqrt3).$

现在注意：

$2+\sqrt3\in F_1.$

然后第二步再加入：

$\sqrt{2+\sqrt3}.$

记

$\alpha=\sqrt{2+\sqrt3}.$

那么：

$\alpha^2=2+\sqrt3\in F_1.$

于是得到：

$F_2=F_1(\alpha).$

也就是：

$\mathbb Q \subset \mathbb Q(\sqrt3) \subset \mathbb Q(\sqrt3,\sqrt{2+\sqrt3}).$

所以一个嵌套根式：

$\sqrt{2+\sqrt3}$

实际上就是连续两次“加入一个根式”。

再看复杂一点的：

$\sqrt[3]{\,2+\sqrt5\,}.$

也一样。

第一步：

$F_0=\mathbb Q.$

加入：

$\sqrt5,$

得到：

$F_1=\mathbb Q(\sqrt5).$

然后：

$2+\sqrt5\in F_1.$

再加入一个新元素 $\alpha$ ，满足：

$\alpha^3=2+\sqrt5.$

于是：

$F_2=F_1(\alpha).$

所以：

$\alpha=\sqrt[3]{2+\sqrt5}.$

因此，“每一步加入一个根式”的一般形式是：

已有一个域：

$F_i.$

然后选择一个：

$a_i\in F_i.$

再加入某个 $\alpha_i$ ，使：

$\boxed{\alpha_i^{n_i}=a_i}.$

于是：

$\boxed{F_{i+1}=F_i(\alpha_i)}.$

这一步就叫一次根式扩张。

为什么这样就足够描述一般的“根式公式”？

因为根式公式只允许有限次：

$+,-,\times,\div,\sqrt[n]{\phantom{x}}.$

而四则运算本来就已经被“域”自动包含了。

例如，如果你现在已经在 $F_i$ 里，那么：

$a+b,\quad a-b,\quad ab,\quad \frac ab$

仍然都在 $F_i$ 里。

所以四则运算根本不需要新扩张。

真正会把你带出当前域的，只有：

$\boxed{\text{开根}}$

比如：

$\sqrt[n]{a}$

可能不在当前域中。

这时候才需要扩张：

$F_i\longrightarrow F_i(\sqrt[n]{a}).$

所以从域的角度看，一个根式公式的构造过程，就是：

$\boxed{ F_0 \subset F_1 \subset \cdots \subset F_r }$

其中每一步都是：

$F_{i+1}=F_i(\alpha_i), \qquad \alpha_i^{n_i}\in F_i.$

这不是人为规定出来的，而是把“有限次四则运算和开根”逐步翻译成域语言以后自然得到的。

比如一个更复杂的表达式：

$x= \frac{1+\sqrt{\,2+\sqrt[3]{7}\,}}{3-\sqrt5}.$

可以按顺序构造：

$\mathbb Q$

先加入

$\sqrt[3]7,$

得到 $F_1$ ；

再加入

$\sqrt{2+\sqrt[3]7},$

得到 $F_2$ ；

再加入

$\sqrt5,$

得到 $F_3$ 。

最后那个除法

$\frac{1+\sqrt{2+\sqrt[3]7}}{3-\sqrt5}$

不需要再扩张，因为 $F_3$ 已经是域，自动允许除法。

所以最终这个数就在 $F_3$ 中。

因此，“方程可以用根式解”的精确含义，最终就是：

$\boxed{\text{存在这样一座有限的根式扩张塔，使方程的所有根都落在最顶层。}}$

刚才我说“一次根式扩张的 Galois 结构比较简单”，讲的是这座塔里的某一层，不是说整个方程只需要开一次根。

下一步应该继续只研究一层：

$F\subset F(\alpha),\qquad \alpha^n\in F,$

看看为什么这一层的自同构只能把

$\alpha$

送成

$\zeta_n^k\alpha.$

这样会更顺。

14.3 根式公式与根式塔的逐步对应

原问题：为什么能用根式解就推出了根式塔

因为“能用根式解”本身，严格翻译成域语言后，几乎就是“存在一座根式塔”。

关键在于：一个根式公式只允许有限次做

$+,\,-,\,\times,\,\div,\, \sqrt[n]{\phantom{x}}.$

而域已经自动对前四种运算封闭，所以真正会让你离开当前域的，只有“开根”。

假设基础域是

$F_0=F$

，比如一般多项式系数所在的域。

如果公式第一步需要

$\sqrt{a_0}, \qquad a_0\in F_0,$

我们就把这个新数记成

$\alpha_0=\sqrt{a_0}.$

于是

$\alpha_0^2=a_0\in F_0,$

并扩张成

$F_1=F_0(\alpha_0).$

现在因为 $F_1$ 是域，所以任何由 $F_0$ 和 $\alpha_0$ 做四则运算得到的东西都已经自动在 $F_1$ 里，不需要再扩张。

假如下一步公式出现

$\sqrt[3]{\,2+\alpha_0\,},$

因为

$2+\alpha_0\in F_1,$

记

$\alpha_1=\sqrt[3]{2+\alpha_0},$

那么

$\alpha_1^3=2+\alpha_0\in F_1.$

再定义

$F_2=F_1(\alpha_1).$

继续这样做。

所以任何有限的根式表达式都可以逐步翻译成：

$F_0\subset F_1\subset\cdots\subset F_r$

其中每一步都是

$\boxed{ F_{i+1}=F_i(\alpha_i), \qquad \alpha_i^{n_i}\in F_i. }$

这就是根式塔。

例如一个很丑的表达式：

$x= \frac{ 1+\sqrt{\,3+\sqrt[3]{2}\,} }{ 2-\sqrt5 }.$

可以拆成：

$F_0=\mathbb Q,$

先加入

$\alpha_0=\sqrt[3]2, \qquad \alpha_0^3=2,$

得到

$F_1=\mathbb Q(\alpha_0).$

再加入

$\alpha_1=\sqrt{3+\alpha_0}, \qquad \alpha_1^2=3+\alpha_0\in F_1,$

得到

$F_2=F_1(\alpha_1).$

再加入

$\alpha_2=\sqrt5, \qquad \alpha_2^2=5,$

得到

$F_3=F_2(\alpha_2).$

那么最终

$x= \frac{1+\alpha_1}{2-\alpha_2}$

已经自动属于 $F_3$ ，因为 $F_3$ 是域，允许四则运算。

所以核心就是：

$\boxed{ \text{四则运算不需要扩张域；每出现一次新的开根，扩张一次域。} }$

于是：

$\boxed{ \text{有限根式表达式} \Longrightarrow \text{有限根式塔} }$

反过来也一样：如果有一座这样的根式塔，那么塔顶里的元素就是由有限次四则运算和开根逐步构造出来的。

因此在 Galois 理论里，“solvable $by$ radicals”的严格定义本来就是：

存在一个根式扩张塔，使多项式的分裂域包含在塔顶域中。

所以这一步不是一个额外深奥定理，更多是在把“根式公式”精确地翻译成“域扩张语言”。

14.4 各层用的是同一个模板，而非同一个多项式

原问题：为什么每一步都要用相同的这个多项式来扩张域

不是每一步都用“同一个多项式”。你看到的

$F_{i+1}=F_i(\alpha),\qquad \alpha^n=a\in F_i$

只是我在描述任意一层根式扩张的通用模板，这里把下标省略了，所以容易看成每一步都一样。

真正的根式塔应该写成：

$F_0\subset F_1\subset F_2\subset\cdots\subset F_r$

其中第 $i$ 步是

$\boxed{ F_{i+1}=F_i(\alpha_i),\qquad \alpha_i^{\,n_i}=a_i,\quad a_i\in F_i }$

这里：

$\alpha_i,\quad n_i,\quad a_i$

每一步都可以不同。

比如：

$F_0=\mathbb Q.$

第一步加入平方根：

$\alpha_0=\sqrt2, \qquad \alpha_0^2=2.$

所以

$F_1=\mathbb Q(\sqrt2).$

第二步可能加入三次根：

$\alpha_1=\sqrt[3]{1+\sqrt2}.$

那么：

$\alpha_1^3=1+\sqrt2\in F_1.$

所以：

$F_2=F_1(\alpha_1).$

第三步还可以加入五次根：

$\alpha_2^5=3+\alpha_1\in F_2.$

所以整个过程可能是：

$\mathbb Q \subset \mathbb Q(\sqrt2) \subset \mathbb Q\left(\sqrt2,\sqrt[3]{1+\sqrt2}\right) \subset\cdots$

对应的多项式分别可能是：

$x^2-2,$

$x^3-(1+\sqrt2),$

$x^5-(3+\alpha_1),$

完全不是同一个多项式。

还有一个更细的点值得现在就区分：

我们知道

$\alpha_i^{n_i}=a_i$

所以 $\alpha_i$ 一定是

$x^{n_i}-a_i$

的一个根。

但：

$\boxed{x^{n_i}-a_i\text{ 不一定是 }\alpha_i\text{ 的最小多项式}}$

它的最小多项式只需要整除 $x^{n_i}-a_i$ 。

例如如果已经在某个域里有 $\sqrt2$ ，然后你说加入

$\alpha=\sqrt[4]4,$

那么

$\alpha^4=4,$

所以它满足

$x^4-4=0.$

但实际上

$\alpha=\sqrt2$

早就在域里了，而且最小多项式只有

$x^2-2.$

所以以后看到

$\alpha_i^{n_i}=a_i$

你应该把它理解为：

“第 $i$ 层新加入的元素是某个当前域元素的 $n_i$ 次根。”

而不是：

“每一层都用同一个 $x^n-a$ 来扩张。”

接下来我们再看“对这一层做共轭/嵌入以后，为什么 $\sigma(\alpha_i)$ 仍然是一个根式”，就会清楚很多。

14.5 单层根式的生成元可能被送到哪里

好，我们就只研究一层：

$F\subset F(\alpha), \qquad \alpha^n=a\in F.$

先暂时不谈整座根式塔，也不谈五次方程，只问：

如果 $\sigma$ 是一个固定 $F$ 的自同构，那么它可以把 $\alpha$ 送到哪里？

因为

$\alpha^n=a,$

对两边作用 $\sigma$ ：

$\sigma(\alpha^n)=\sigma(a).$

由于 $\sigma$ 保持乘法，

$\sigma(\alpha^n)=\sigma(\alpha)^n.$

而因为 $\sigma$ 固定 $F$ ，且 $a\in F$ ，所以

$\sigma(a)=a.$

因此：

$\boxed{\sigma(\alpha)^n=a}.$

也就是说：

$\boxed{\sigma(\alpha)\text{ 也必须是 }x^n-a\text{ 的根}}.$

这一步最核心。

例如平方根：

$\alpha^2=2.$

那么 $\sigma(\alpha)$ 也必须满足：

$x^2=2.$

所以只能是：

$\sqrt2$

或者

$-\sqrt2.$

于是：

$\sqrt2\mapsto\sqrt2$

或

$\sqrt2\mapsto-\sqrt2.$

没有第三种可能。

再看三次根：

$\alpha^3=2.$

那么 $\sigma(\alpha)$ 必须满足：

$x^3=2.$

在复数中三个根是：

$\alpha,\qquad \omega\alpha,\qquad \omega^2\alpha,$

其中

$\omega^3=1.$

所以：

$\boxed{ \sigma(\alpha) \in \{\alpha,\omega\alpha,\omega^2\alpha\} }$

换句话说，它只能把 $\alpha$ 乘上一个三次单位根。

一般地， $x^n=a$ 的根如果取其中一个为 $\alpha$ ，那么其余根都是：

$\alpha,\quad \zeta_n\alpha,\quad \zeta_n^2\alpha,\ldots, \zeta_n^{n-1}\alpha,$

其中

$\zeta_n^n=1.$

所以：

$\boxed{ \sigma(\alpha)=\zeta_n^k\alpha }$

对某个 $k$ 。

但这里有一个很重要的细节。

如果我们只有：

$F(\alpha),$

那么这些别的根未必都在这个域里面。

例如：

$\mathbb Q(\sqrt[3]2)$

全部是实数，但

$\omega\sqrt[3]2$

不是实数。

所以：

$\omega\sqrt[3]2\notin\mathbb Q(\sqrt[3]2).$

因此在这个域内部，根本不存在把

$\sqrt[3]2\mapsto\omega\sqrt[3]2$

的自同构，因为目标元素都不在域里。

这也是为什么前面我们后来需要考虑更大的分裂域：

$\mathbb Q(\sqrt[3]2,\omega).$

所以“加入一个根式之后，自同构就是乘单位根”这句话要理解得稍微精确一点：

只要我们处在一个包含这些相关根的合适域里，那么固定基础域的自同构对 $\alpha$ 的作用，只能是

$\alpha\mapsto\zeta_n^k\alpha.$

而这种变化很特殊，因为它不像任意置换那样乱来。

它只有：

$\text{乘 }1,\ \zeta_n,\ \zeta_n^2,\ldots$

这些可能。

这就是为什么根式扩张最终会和“阿贝尔结构”联系起来。下一步可以继续解释：为什么这些“乘单位根”的操作彼此可交换。

14.6 方程的全部根与最小多项式的共轭不相同

原问题：问题是不一定每一个解都满足这种形式吧

对，你这个质疑是对的。我刚才那句话说得太强了。

如果已知

$\alpha_j^n=a_j$

那么 $\alpha_j$ 是多项式

$x^n-a_j$

的一个根。假设 $\alpha_j\neq 0$ ，并且 $\zeta_n$ 是原始 $n$ 次单位根，那么这个多项式的所有根确实都是

$\boxed{ \alpha_j,\ \zeta_n\alpha_j,\ \zeta_n^2\alpha_j,\ldots,\zeta_n^{n-1}\alpha_j }$

因为如果 $\beta^n=a_j$ ，那么

$\left(\frac{\beta}{\alpha_j}\right)^n = \frac{\beta^n}{\alpha_j^n} = 1,$

所以

$\frac{\beta}{\alpha_j}$

一定是某个 $n$ 次单位根：

$\frac{\beta}{\alpha_j}=\zeta_n^k.$

于是

$\beta=\zeta_n^k\alpha_j.$

所以对于方程

$x^n-a_j=0,$

这句话没问题。

但问题在于：

$\boxed{\alpha_j\text{ 的“代数共轭”未必等于 }x^n-a_j\text{ 的所有根}}$

因为 $\alpha_j$ 的真正共轭，是它的最小多项式的其他根。

而最小多项式只满足：

$m_{\alpha_j}(x)\mid x^n-a_j.$

所以共轭根只是上述

$\zeta_n^k\alpha_j$

中的一部分。

例如取：

$\alpha=\sqrt2.$

你完全可以说：

$\alpha^4=4.$

所以 $\alpha$ 满足：

$x^4-4=0.$

如果基础域里有 $i=\zeta_4$ ，那么 $x^4-4$ 的四个根是：

$\sqrt2,\quad i\sqrt2,\quad-\sqrt2,\quad-i\sqrt2.$

但是 $\sqrt2$ 的最小多项式（例如在 $\mathbb Q(i)$ 上）仍然是：

$x^2-2,$

所以它真正的共轭只有：

$\sqrt2,\quad-\sqrt2.$

而：

$i\sqrt2,\quad-i\sqrt2$

虽然是 $x^4-4$ 的根，却不是 $\sqrt2$ 的共轭。

因此刚才那句话应该改成：

$\boxed{ \text{每一个 }\alpha_j\text{ 的共轭都必定具有 } \zeta_n^k\alpha_j \text{ 的形式，但反过来未必全部都是共轭。} }$

这已经足够支持后面的论证，因为一个固定基础域的自同构如果把 $\alpha_j$ 移动了，它只能把它送到它的某个共轭，因此必然仍是：

$\boxed{\sigma(\alpha_j)=\zeta_n^{k_j}\alpha_j}$

只是允许的 $k_j$ 可能只有一部分，而不是 $0,\ldots,n-1$ 全部都能出现。

而“一部分”也没有问题：它仍然落在由单位根乘法形成的阿贝尔结构里面。

14.7 单位根倍数形式仅适用于 xⁿ-a

原问题：我是指一个方程的根不一定是这种单位根的形式吧

对，你说得对。一般多项式方程的根当然不一定是“某个根乘单位根”的形式。

这种形式只对我们当前这一类特殊方程成立：

$\boxed{x^n-a=0}$

因为如果 $\alpha^n=a$ ，另一个根 $\beta$ 也满足

$\beta^n=a,$

那么

$\left(\frac{\beta}{\alpha}\right)^n=1,$

所以

$\frac{\beta}{\alpha}$

一定是某个 $n$ 次单位根，于是：

$\beta=\zeta_n^k\alpha.$

因此：

$\boxed{x^n-a\text{ 的根一定是 }\zeta_n^k\alpha\text{ 这种形式}}$

但比如一般三次方程

$x^3+x+1=0$

的三个根，就没有理由满足

$r_2=\omega r_1,\qquad r_3=\omega^2r_1.$

一般完全不是这样。

这里之所以一直出现

$\alpha,\zeta_n\alpha,\zeta_n^2\alpha,\ldots$

是因为我们现在不是在讨论“原始待解多项式的根长什么样”，而是在讨论根式公式构造过程中的某一步。

根式塔的一步是：

$F_i\subset F_i(\alpha_i),$

并且特意满足

$\alpha_i^{n_i}=a_i\in F_i.$

所以这一层对应的特殊多项式就是：

$x^{n_i}-a_i.$

因此这一层才有：

$\alpha_i\mapsto \zeta_{n_i}^k\alpha_i.$

这和最终原方程

$f(x)=0$

的根没有直接说成同一种形式。

整个思路其实是：

$\boxed{ \text{一般多项式的根} }$

如果“能用根式表示”，那么这些根可以通过很多层：

$+,-,\times,\div,\sqrt[n]{\phantom{x}}$

逐步构造出来。

而我们把每一次“开根”单独拿出来：

$\alpha_i^{n_i}=a_i.$

于是每一个单独的开根步骤都有单位根结构。

然后这些简单的阿贝尔结构一层层叠起来，最终限制原多项式的 Galois 群。

所以非常关键的区分是：

$\boxed{ \begin{aligned} \text{一般方程 }f(x)=0\text{ 的根} &:\ \text{不一定彼此相差单位根};\\ \text{一次根式步骤 }x^n-a=0\text{ 的根} &:\ \text{一定彼此相差 }n\text{ 次单位根}. \end{aligned}}$

而 Galois 理论最巧妙的地方就在这里：原方程可以很一般，但如果它能由一系列这种特殊的“开根步骤”造出来，那么它的 Galois 群就必须继承一种可逐层拆成阿贝尔群的结构。

14.8 分裂域与阿贝尔性是两个不同条件

原问题：换言之得是分裂域是吧

对，基本可以这么理解，但再精确一点：

$\boxed{\text{如果希望 }\alpha\text{ 的所有共轭根都能作为自同构的像出现，那么我们需要所在的扩张包含这些根。}}$

最自然的做法就是取相关多项式的分裂域。

比如

$\alpha=\sqrt[3]2.$

只看

$\mathbb Q(\alpha)$

时，另外两个根

$\omega\alpha,\qquad \omega^2\alpha$

根本不在这个域里，所以不可能存在域自同构

$\alpha\mapsto\omega\alpha.$

而进入分裂域

$K=\mathbb Q(\alpha,\omega)$

以后，三个根全都在 $K$ 中，于是自同构才有可能在它们之间进行置换。

不过还有一个非常关键的细节：“是分裂域”本身还不足以保证 Galois 群是阿贝尔的。

例如

$K=\mathbb Q(\sqrt[3]2,\omega)$

确实是 $x^3-2$ 的分裂域，但：

$\operatorname{Gal}(K/\mathbb Q)\cong S_3,$

它反而不是阿贝尔群。

为什么？因为自同构不仅可以改变

$\alpha,$

还可以改变

$\omega\leftrightarrow\omega^2.$

所以真正让“一次根式扩张”对应阿贝尔结构的关键是：基础域里已经包含相应的单位根。

例如改成基础域

$F=\mathbb Q(\omega),$

再加入

$\alpha=\sqrt[3]2.$

得到：

$K=F(\alpha)=\mathbb Q(\omega,\sqrt[3]2).$

这时 $x^3-2$ 已经在 $K$ 中完全分裂：

$(x-\alpha)(x-\omega\alpha)(x-\omega^2\alpha),$

而且所有固定 $F$ 的自同构都必须固定 $\omega$ 。

因此只能有：

$\alpha\mapsto\alpha,$

$\alpha\mapsto\omega\alpha,$

$\alpha\mapsto\omega^2\alpha.$

这三个操作组成：

$C_3,$

是阿贝尔群。

所以后面真正要用的是这种结构：

$\boxed{ F\text{ 已含 }\zeta_n,\quad \alpha^n\in F,\quad K=F(\alpha)\text{ 是相应的分裂扩张} }$

于是自同构只能：

$\alpha\mapsto\zeta_n^k\alpha,$

从而这一层的 Galois 群是循环群的子群，因此是阿贝尔的。

这也是为什么严格证明“根式可解 $\Rightarrow$ Galois 群可解”时，会特意先把需要的单位根加入进来。

14.9 单位根必须进入该层的基础域

原问题：所以要把单位根加进去

对，准确说是：要把相应的 $n$ 次单位根加到基础域里。

如果我们这一层加入的是

$\alpha=\sqrt[n]{a}, \qquad \alpha^n=a,$

那么方程

$x^n-a=0$

的所有根都是

$\alpha,\ \zeta_n\alpha,\ \zeta_n^2\alpha,\ \ldots,\ \zeta_n^{n-1}\alpha,$

其中 $\zeta_n$ 是一个原始 $n$ 次单位根：

$\zeta_n^n=1.$

所以如果基础域 $F$ 已经包含 $\zeta_n$ ，那么一旦加入 $\alpha$ ，所有根就自动都进来了：

$\zeta_n^k\alpha\in F(\alpha).$

于是

$F(\alpha)$

就是 $x^n-a$ 的分裂域。

例如三次根时，先把

$\omega=e^{2\pi i/3}$

加入基础域：

$F=\mathbb Q(\omega).$

再加入

$\alpha=\sqrt[3]2.$

那么

$F(\alpha)=\mathbb Q(\omega,\sqrt[3]2)$

里自动有三个根：

$\alpha,\quad \omega\alpha,\quad\omega^2\alpha.$

更重要的是，因为 $\omega\in F$ ，固定 $F$ 的自同构不能再动 $\omega$ 。

因此它只能：

$\alpha\mapsto\alpha, \quad \alpha\mapsto\omega\alpha, \quad \alpha\mapsto\omega^2\alpha.$

这就比从 $\mathbb Q$ 出发简单很多。

所以这里的关键操作确实是：

$\boxed{\text{先把需要的单位根加入基础域，再逐层加入根式。}}$

而且不需要把每个单位根分别加进去；加入一个原始 $n$ 次单位根 $\zeta_n$ ，它的幂

$1,\zeta_n,\zeta_n^2,\ldots,\zeta_n^{n-1}$

就已经给出了全部 $n$ 次单位根。

下一步就可以非常具体地证明：在这种情况下，为什么这一层的自同构群一定是阿贝尔群。

补充证明：单个根式层的群是循环群的子群

设特征为 0，基础域 $B$ 已含全部 $n$ 次单位根 $\mu _{n}$ ， $\alpha ^{n}=a\in B$ 。若 $a=0$ ，则 $\alpha =0$ 、 $B(\alpha )=B$ ，是平凡扩张。下面设 $a\neq 0$ 。多项式 $x^{n}-a$ 的全部根是 $\zeta \alpha$ （ $\zeta \in \mu _{n}$ ），都在 $B(\alpha )$ ，且无重根；因此 $B(\alpha )/B$ 是 Galois。

对 $\sigma \in \operatorname{Gal}(B(\alpha )/B)$ ，定义 χ $(\sigma )=\sigma (\alpha )/\alpha \in \mu _{n}$ 。 $\alpha$ 的像确定整个自同构，所以 χ 单射。由于 $\sigma$ 固定 $\mu _{n}$ ，

$\chi(\sigma\tau)=\frac{\sigma(\tau(\alpha))}{\alpha} =\chi(\tau)\chi(\sigma).$

所以 χ 是群同态，Galois 群同构于 $\mu _{n}$ 的一个子群。 $\mu _{n}$ 由本原单位根 $\zeta _{n}$ 生成，是 $n$ 阶循环群；循环群的子群仍循环：若子群非平凡，取生成元幂中最小正指数 $d$ ，用带余除法可知子群所有幂指数都是 $d$ 的倍数。故该层群循环，特别地阿贝尔。χ 不一定满射，不能认定 $n$ 种根像都能出现。

多个根式 $\beta _{j}^{n}=a_{j}\in B$ 的情形类似：令 $E=B(\beta _{1},\ldots ,\beta _{m})$ ，零生成元删去。映射 $\sigma \mapsto (\sigma (\beta _{j})/\beta _{j})_{j}$ 给出 $\operatorname{Gal}(E/B)\to \mu _{n}^{m}$ 的单射群同态，所以群阿贝尔。各坐标可能受生成元间的代数关系约束，因此不一定等于整个直积，也不能把“每个根式各自的全部倍数根”都叫作其最小多项式的全部共轭。

14.11 固定 ℚ 与固定 ℚ(ω ) 为什么得到不同的群

原问题：对解释为什么不固定omiga就不是固定就是

对，核心就在“固定基础域”这几个字。

假设

$K=\mathbb Q(\sqrt[3]2,\omega), \qquad \omega^2+\omega+1=0.$

如果我们研究

$\operatorname{Gal}(K/\mathbb Q),$

定义只要求自同构 $\sigma$ 对所有

$q\in\mathbb Q$

满足

$\sigma(q)=q.$

但是

$\omega\notin\mathbb Q,$

所以定义没有要求

$\sigma(\omega)=\omega.$

那它能把 $\omega$ 送到哪里？

因为

$\omega^2+\omega+1=0,$

作用 $\sigma$ 后：

$\sigma(\omega)^2+\sigma(\omega)+1=0.$

所以 $\sigma(\omega)$ 必须仍然是

$x^2+x+1=0$

的根，也就是：

$\boxed{\sigma(\omega)=\omega\quad\text{或}\quad\omega^2}.$

也就是说，如果基础域只有 $\mathbb Q$ ，自同构可以交换：

$\omega\leftrightarrow\omega^2.$

但如果我们把基础域改成

$F=\mathbb Q(\omega),$

再研究

$\operatorname{Gal}(K/F),$

那么定义要求：

$\sigma(x)=x,\qquad\forall x\in\mathbb Q(\omega).$

而：

$\omega\in\mathbb Q(\omega),$

所以立即得到：

$\boxed{\sigma(\omega)=\omega}.$

这就是为什么“把 $\omega$ 加进基础域”以后，它就被固定住了。

更重要的是，不固定 $\omega$ 为什么会让群变得不交换。

设

$r:\quad \alpha\mapsto\omega\alpha,\quad \omega\mapsto\omega,$

其中

$\alpha=\sqrt[3]2.$

再设

$s:\quad \alpha\mapsto\alpha,\quad \omega\mapsto\omega^2.$

看看先 $s$ 后 $r$ ：

$rs(\alpha)=r(\alpha)=\omega\alpha.$

而先 $r$ 后 $s$ ：

$sr(\alpha) = s(\omega\alpha) = s(\omega)s(\alpha) = \omega^2\alpha.$

所以：

$\boxed{rs(\alpha)\neq sr(\alpha)}$

因此：

$\boxed{rs\neq sr}.$

这正是非交换性出现的来源：一个操作在转动

$\alpha\to\omega\alpha,$

另一个操作却还可以把用于“转动”的 $\omega$ 本身变成 $\omega^2$ 。

如果把 $\omega$ 放进基础域，第二种自由度就被禁止了，只剩：

$\alpha\mapsto\omega^k\alpha,$

这些操作就是指数相加，因此彼此交换。

所以可以把关键区别记成：

$\boxed{ \omega\notin F \Rightarrow \omega\text{ 可能被自同构移动} }$

而

$\boxed{ \omega\in F \Rightarrow \omega\text{ 必须被所有 }F\text{-自同构固定} }$

这就是“先加入单位根”在后面证明中的真正作用。

14.12 固定单位根后，单个根式层为什么阿贝尔

现在我们进入整个证明里最关键、也最容易被一句话糊弄过去的地方：

$\boxed{\text{为什么“加入一个根式”对应的 Galois 结构是阿贝尔的？}}$

这一步不能直接说“因为开方很简单”，我们从一个最简单的根式扩张开始。

假设基础域是 $F$ ，并且我们加入一个元素 $\alpha$ ，满足

$\alpha^n=a,\qquad a\in F.$

于是得到

$F(\alpha).$

这就是一次典型的根式扩张。

先问：如果 $\sigma$ 是一个固定 $F$ 的自同构，那么 $\alpha$ 可以被送到哪里？

因为

$\alpha^n=a,$

所以

$\sigma(\alpha)^n = \sigma(\alpha^n) = \sigma(a) = a.$

因此

$\sigma(\alpha)$

也必须是方程

$x^n-a=0$

的一个根。

现在假设 $\alpha$ 是其中一个根。那么其他根是什么？

就是

$\alpha,\quad \zeta_n\alpha,\quad \zeta_n^2\alpha,\quad\ldots,\quad \zeta_n^{n-1}\alpha,$

其中

$\zeta_n=e^{2\pi i/n}$

是一个 $n$ 次单位根，满足

$\zeta_n^n=1.$

所以任何自同构只能把

$\alpha$

送成

$\boxed{\sigma(\alpha)=\zeta_n^k\alpha}$

其中某个

$k\in\{0,1,\ldots,n-1\}.$

这已经非常受限制了。

先看平方根。

假设

$\alpha^2=a.$

那么二次单位根只有

$1,\ -1.$

所以：

$\sigma(\alpha)=\alpha$

或者

$\sigma(\alpha)=-\alpha.$

因此这种自同构最多就像：

$\{1,-1\}$

一样运作。

它当然是阿贝尔的。

再看三次根。

假设

$\alpha^3=a.$

三个根：

$\alpha,\quad \omega\alpha,\quad \omega^2\alpha.$

如果基础域中已经包含 $\omega$ ，那么固定基础域的自同构必须固定 $\omega$ 。

于是自同构只能是：

$\alpha\mapsto\alpha,$

$\alpha\mapsto\omega\alpha,$

$\alpha\mapsto\omega^2\alpha.$

假设定义：

$\sigma_k(\alpha)=\omega^k\alpha.$

那么两个这种自同构复合：

$\sigma_k\sigma_l(\alpha) = \sigma_k(\omega^l\alpha).$

因为 $\omega$ 在基础域里，所以被固定：

$= \omega^l\sigma_k(\alpha) = \omega^l\omega^k\alpha = \omega^{k+l}\alpha.$

于是：

$\sigma_k\sigma_l = \sigma_{k+l}.$

而加法满足：

$k+l=l+k.$

所以：

$\sigma_k\sigma_l = \sigma_l\sigma_k.$

因此这个自同构群是阿贝尔的。

更准确地说，它是循环群的一个子群：

$\boxed{\operatorname{Gal}(F(\alpha)/F)\hookrightarrow C_n}$

前提是这里的扩张确实是 Galois，并且 $F$ 已经包含所需的 $n$ 次单位根。

这里你可能已经看到最重要的直觉了：

加入一个 $n$ 次根式以后，自同构没有办法随意乱排很多根；它基本只能给这个根式乘上一个 $n$ 次单位根。

即：

$\alpha\mapsto \zeta_n^k\alpha.$

而这些变化之间本质上就是“指数相加”：

$k+l.$

因此它们自然形成一个阿贝尔结构。

所以：

$\boxed{\text{一次根式扩张产生的 Galois 层，本质上是阿贝尔的}}$

但这里有一个非常重要的技术细节：

$\boxed{\text{基础域里必须先有相应的单位根}}$

否则事情会复杂一点。

例如我们刚才研究

$x^3-2$

时，仅有

$\mathbb Q(\sqrt[3]2)$

是不够的。

我们还必须加入

$\omega.$

所以严格证明“根式可解 $\Rightarrow$ Galois 群可解”时，会先把必要的单位根也加入进来。

加入单位根本身不会破坏“可解性”，因为单位根对应的 Galois 群也是阿贝尔群。

所以最终会得到一座域塔：

$F=F_0 \subset F_1 \subset F_2 \subset\cdots\subset F_r$

每一步都是：

$F_{i+1}=F_i(\alpha_i), \qquad \alpha_i^{n_i}\in F_i,$

并且把必要的单位根也准备好。

于是每一层对应的 Galois 群商：

$G_i/G_{i+1}$

都是阿贝尔群。

于是整个 Galois 群就存在一条：

$G=G_0\triangleright G_1\triangleright\cdots\triangleright G_r=\{e\}$

使得：

$G_i/G_{i+1}$

全部阿贝尔。

这正好就是：

$\boxed{\text{可解群}}$

的定义。

所以现在我们终于得到核心桥梁的一半：

$\boxed{ \text{方程可以用根式解} \Longrightarrow \text{它的 Galois 群是可解群} }$

下一步最适合做的，不是马上跳到五次方程，而是把这里的域塔为什么会反过来产生一条 Galois 群的正规子群链讲清楚。那一步就是 Galois 理论里真正的“域和群反向对应”。

14.13 对整个塔的嵌入使根式关系怎样变化

现在就看这一层：

$F_{i+1}=F_i(\alpha_i), \qquad \alpha_i^{n_i}=a_i\in F_i.$

假设我们有一个固定最底层 $F_0$ 的域嵌入

$\sigma:F_{i+1}\to \overline{F_0}.$

我们先只问： $\alpha_i$ 被 $\sigma$ 送到哪里？

因为

$\alpha_i^{n_i}=a_i,$

对两边作用 $\sigma$ ：

$\sigma(\alpha_i^{n_i})=\sigma(a_i).$

由于 $\sigma$ 保持乘法：

$\sigma(\alpha_i)^{n_i}=\sigma(a_i).$

所以：

$\boxed{ \sigma(\alpha_i) \text{ 是 } x^{n_i}-\sigma(a_i) \text{ 的一个根} }$

也就是说：

$\boxed{ \sigma(\alpha_i)=\sqrt[n_i]{\,\sigma(a_i)\,} }$

这里的“ $=\sqrt[n_i]{\cdots}$ ”只是表示它是某一个 $n_i$ 次根，不是在指定唯一的主值。

关键是：

$a_i\in F_i.$

因此 $\sigma(a_i)$ 属于：

$\sigma(F_i).$

于是我们得到：

$\boxed{ \sigma(\alpha_i)^{n_i}\in\sigma(F_i) }$

这说明什么？

说明原来这一层：

$F_i\subset F_i(\alpha_i)$

是通过“加入一个根式”构造的。

做完 $\sigma$ 以后，对应的共轭版本：

$\sigma(F_i)\subset \sigma(F_{i+1})$

仍然是通过加入一个根式构造的：

$\boxed{ \sigma(F_{i+1}) = \sigma(F_i)\bigl(\sigma(\alpha_i)\bigr) }$

而且：

$\sigma(\alpha_i)^{n_i} = \sigma(a_i) \in\sigma(F_i).$

所以共轭后的这一层仍然是根式扩张。

这就是前面那句话的真正含义：

$\boxed{\text{根式扩张在做代数共轭后，仍然是根式扩张}}$

例如原来：

$F_1=\mathbb Q(\sqrt2),$

满足：

$(\sqrt2)^2=2.$

如果某个嵌入把：

$\sqrt2\mapsto-\sqrt2,$

那么共轭后的生成元满足：

$(-\sqrt2)^2=2.$

仍然是平方根式。

再比如：

$\alpha^3=1+\sqrt2.$

如果某个嵌入把：

$\sqrt2\mapsto-\sqrt2,$

那么：

$\sigma(\alpha)^3 = 1-\sqrt2.$

所以共轭版本仍然只是：

$\sqrt[3]{1-\sqrt2}$

这样一个根式。

因此，把原来的根式塔所有共轭版本都一起加入，并不会突然引入某种“超出根式”的神秘元素；每个新生成元仍然满足某个：

$x^{n_i}-b=0$

其中 $b$ 已经在前面的域里。

这就是为什么我们可以把根式塔补成一个更大的、对共轭稳定的 Galois 扩张，同时仍然保持“由根式逐层生成”的性质。

14.14 用 √ 2 与 √ (1+√ 2) 跟踪整座塔的像

原问题：这一整套还是不好理解

可以，这里不要再从一般的 $F_i,\alpha_i,\sigma$ 开始。我们先用一个完整的具体例子，把“为什么要对整座根式塔做嵌入”看明白。

假设我们有这座根式塔：

$\mathbb Q \subset \mathbb Q(\sqrt2) \subset \mathbb Q\left(\sqrt2,\sqrt[3]{1+\sqrt2}\right).$

先给它们起名字：

$F_0=\mathbb Q,$

$F_1=\mathbb Q(\sqrt2),$

$F_2=\mathbb Q(\sqrt2,\alpha),$

其中

$\alpha=\sqrt[3]{1+\sqrt2},$

所以

$\boxed{\alpha^3=1+\sqrt2}.$

现在暂时不要想什么“正规闭包”。只问一个问题：

如果把第一层里的 $\sqrt2$ 换成它的另一个共轭根 $-\sqrt2$ ，第二层会发生什么？

在第一层，

$F_1=\mathbb Q(\sqrt2)$

有一个熟悉的映射：

$\sigma:\sqrt2\mapsto-\sqrt2.$

同时所有有理数保持不动。

所以：

$1+\sqrt2$

就会被送成：

$1-\sqrt2.$

现在关键来了。

原来的 $\alpha$ 满足：

$\alpha^3=1+\sqrt2.$

如果我们想把整个代数关系一起搬过去，那么新来的 $\sigma(\alpha)$ 必须满足什么？

因为映射必须保持乘法，所以：

$\sigma(\alpha^3)=\sigma(\alpha)^3.$

而原来：

$\alpha^3=1+\sqrt2.$

所以：

$\sigma(\alpha)^3 = \sigma(1+\sqrt2) = 1-\sqrt2.$

因此：

$\boxed{\sigma(\alpha)\text{ 必须是 }1-\sqrt2\text{ 的某个三次根}}$

比如我们可以把其中一个写成：

$\sqrt[3]{1-\sqrt2}.$

所以原来的塔：

$\mathbb Q \subset \mathbb Q(\sqrt2) \subset \mathbb Q(\sqrt2,\sqrt[3]{1+\sqrt2})$

会产生一个“共轭版本”：

$\mathbb Q \subset \mathbb Q(-\sqrt2) \subset \mathbb Q\left(-\sqrt2,\sqrt[3]{1-\sqrt2}\right).$

当然：

$\mathbb Q(-\sqrt2)=\mathbb Q(\sqrt2),$

但第二层新出现的三次根可能不在原来的 $F_2$ 中。

这就是我们为什么会说：

为了把最终大域做成 Galois 的，我们可能需要把这些“共轭版本”里的根也一起补进来。

而最关键的一点是：

原来第二层是通过开三次根得到的：

$\alpha^3=1+\sqrt2.$

共轭以后仍然只是开三次根：

$\sigma(\alpha)^3=1-\sqrt2.$

所以：

$\boxed{\text{做共轭不会把“根式”变成某种更复杂的操作}}$

它仍然是根式。

现在再回头看刚才那个抽象公式就容易很多了。

原来：

$\alpha_i^{n_i}=a_i.$

这句话只是抽象版的：

$\alpha^3=1+\sqrt2.$

对整个关系做 $\sigma$ ：

$\sigma(\alpha_i^{n_i}) = \sigma(a_i).$

因为 $\sigma$ 保持乘法：

$\boxed{\sigma(\alpha_i)^{n_i}=\sigma(a_i)}.$

这只是抽象版的：

$\sigma(\alpha)^3=1-\sqrt2.$

所以那一大串符号真正想表达的其实只有一句话：

$\boxed{ \text{如果 }\alpha\text{ 原来是 }a\text{ 的 }n\text{ 次根，那么做共轭以后，} \sigma(\alpha)\text{ 就是 }\sigma(a)\text{ 的 }n\text{ 次根。} }$

这就是这一整套论证真正的核心。

14.15 代数共轭与群共轭的区别

原问题：这里的共轭和群元素的共轭到底是不是一个东西

不是一个东西，但它们有很深的联系。这里确实要分清楚“代数共轭”和“群共轭”。

你刚选中的“共轭版本”，这里说的是域论/代数数里的共轭（conjugates）。

比如

$\alpha=\sqrt[3]2$

在 $\mathbb Q$ 上的最小多项式是

$x^3-2.$

它的三个根

$\sqrt[3]2,\quad \omega\sqrt[3]2,\quad \omega^2\sqrt[3]2$

叫做 $\alpha$ 在 $\mathbb Q$ 上的共轭元。

所以这里的“共轭版本”大致是：

$\boxed{\text{把生成元替换成它们的代数共轭后得到的那些域}}$

例如：

$\mathbb Q(\sqrt[3]2)$

的一个共轭域会是

$\mathbb Q(\omega\sqrt[3]2).$

而你前面群论里学的“共轭”是：

$\boxed{ghg^{-1}}$

其中 $g,h$ 是群元素。

这是群元素之间的一种操作。

例如在置换群里：

$\sigma(123)\sigma^{-1}$

相当于重新给 $1,2,3$ 贴标签。

所以这两个“共轭”形式上完全不同：

$\text{代数共轭：同一个最小多项式的不同根}$

$vs$ .

$\text{群共轭：}ghg^{-1}.$

但为什么都叫 conjugate？

因为在 Galois 理论里，它们会被自同构联系起来。

如果

$\sigma\in\operatorname{Gal}(K/F)$

而 $\alpha\in K$ ，那么

$\sigma(\alpha)$

就是 $\alpha$ 的一个 $F$ -共轭。

也就是说，Galois 群通过自己的群元素 $\sigma$ ，把一个代数元送到它的代数共轭：

$\alpha\mapsto\sigma(\alpha).$

所以：

$\boxed{\text{代数共轭，是 Galois 群作用在元素上得到的不同像}}$

而群共轭

$\sigma\tau\sigma^{-1}$

则是 Galois 群内部不同自同构之间的关系。

所以最好这样记：

$\boxed{ \begin{aligned} \alpha,\beta\text{ 共轭} &\Rightarrow \text{它们是同一最小多项式的根}\\ \sigma,\tau\text{ 共轭} &\Rightarrow \tau=g\sigma g^{-1}\text{ 之类} \end{aligned}}$

一个是“域里的元素之间”，一个是“群里的元素之间”。

但 Galois 理论把两者桥接起来了。

14.16 共轭补在上层，原基础域保持固定

原问题：换言之有了一列之后，要保证最底层的域加入了所有的各种共轭的根

差一点，但关键不是“把所有共轭根都加入最底层域”，而是：

$\boxed{\text{最底层域 }F_0\text{ 通常保持不变；我们把所有需要的共轭根加入到上面的扩张域里。}}$

比如原来有根式塔

$F_0\subset F_1\subset F_2.$

假设

$F_0=\mathbb Q,$

$F_1=\mathbb Q(\sqrt2),$

$F_2=\mathbb Q\left(\sqrt2,\sqrt[3]{1+\sqrt2}\right).$

做共轭以后可能还需要加入

$\sqrt[3]{1-\sqrt2}.$

我们不是把它塞进最底层：

$\mathbb Q$

里。

否则基础域就变了。

而是把顶部扩大，例如变成某个更大的域 $M$ ：

$\mathbb Q \subset \mathbb Q(\sqrt2) \subset \mathbb Q\left( \sqrt2, \sqrt[3]{1+\sqrt2}, \sqrt[3]{1-\sqrt2}, \ldots \right) =M.$

目的就是让最终的 $M$ 对所有这些共轭操作都“封闭”，最终能够成为：

$\boxed{M/F_0\text{ 的 Galois 扩张}}.$

所以更准确的图是：

$\boxed{ F_0\text{ 保持在底部} }$

然后：

$\boxed{ \text{把原来根式塔缺少的共轭根不断补到上层的大域中} }$

直到最上面的域对 $F_0$ 的所有共轭都稳定。

只有一个东西我们前面确实有时会“先加到底层附近”，就是单位根。比如要处理三次根，我们可能先把

$\omega$

加入基础域，得到：

$F_0' = F_0(\omega).$

但这和“把所有代数共轭根都放进最底层”是两回事。

所以可以记成：

$\boxed{ \begin{aligned} \text{单位根}&:\ \text{为了让每一层根式扩张变成简单的阿贝尔 Galois 层}\\ \text{各个共轭根}&:\ \text{主要补到上层，最终把整座塔补成 Galois 大域} \end{aligned}}$

你现在这一步如果理解了，下一步就可以解释：为什么“补齐所有共轭根”以后，最上面的域就会对 $F_0$ 成为正规/Galois 扩张。

14.17 每层 Galois，顶层仍可能不正规

这里要补的技术缺口是：

根式塔的每一层可以很简单，但最顶层对最底层未必是 Galois。

先看一个很具体的例子。

设

$F_0=\mathbb Q.$

第一步加入

$\sqrt2,$

得到

$F_1=\mathbb Q(\sqrt2).$

第二步再加入

$\sqrt[4]2.$

因为

$(\sqrt[4]2)^2=\sqrt2\in F_1,$

所以

$F_2=F_1(\sqrt[4]2)=\mathbb Q(\sqrt[4]2).$

于是我们有根式塔：

$\mathbb Q \subset \mathbb Q(\sqrt2) \subset \mathbb Q(\sqrt[4]2).$

而且每一步都是二次扩张。

但是现在看最顶层：

$F_2/\mathbb Q.$

$\sqrt[4]2$ 的最小多项式是

$x^4-2.$

它的四个根是

$\sqrt[4]2,\quad -\sqrt[4]2,\quad i\sqrt[4]2,\quad -i\sqrt[4]2.$

可

$F_2=\mathbb Q(\sqrt[4]2)$

完全由实数构成，所以：

$i\sqrt[4]2\notin F_2.$

因此 $x^4-2$ 没有在 $F_2$ 中完全分裂。

所以：

$\boxed{F_2/\mathbb Q\text{ 不是 Galois}}$

这说明：

$\boxed{\text{逐层都很好的扩张，合起来未必对最底层 Galois}}$

那为什么这会影响我们前面的证明？

因为我们之前希望统一选一个大域 $K$ ，然后定义：

$G_i=\operatorname{Gal}(K/F_i).$

最好最终得到：

$G_0\supset G_1\supset\cdots\supset G_r=\{e\}.$

如果直接取：

$K=F_r,$

那确实最后

$\operatorname{Gal}(K/K)=\{e\}.$

但问题是：

$K/F_0$

未必 Galois。

那么前面我们使用的 Galois 对应、restriction map 等工具就不能这么干净地全部使用。

所以一个自然办法是：

把 $F_r$ 再扩大一点，让它变成 $F_0$ 上的 Galois 扩张。

例如刚才：

$F_2=\mathbb Q(\sqrt[4]2)$

缺的是 $i$ 。

加入 $i$ ：

$K=\mathbb Q(\sqrt[4]2,i).$

那么四个根：

$\sqrt[4]2,\quad -\sqrt[4]2,\quad i\sqrt[4]2,\quad -i\sqrt[4]2$

就全在 $K$ 中。

所以 $K$ 是

$x^4-2$

的分裂域，从而：

$K/\mathbb Q$

是 Galois。

这种“把一个扩张补全到包含所有共轭根”的操作叫做取：

$\boxed{\text{正规闭包 / normal closure}}$

可以先把它理解为：

原来的域缺哪些共轭根，就把它们都补进来，直到整个域对基础域的共轭操作稳定。

但这里还有第二个问题。

假设原来的根式塔顶层是 $F_r$ ，我们把它扩大到一个 Galois 域 $K$ 。

那么：

$F_r\subset K.$

此时群链是：

$G_0\supset G_1\supset\cdots\supset G_r,$

其中

$G_r=\operatorname{Gal}(K/F_r).$

可是现在一般：

$G_r\neq\{e\}.$

因为：

$F_r\neq K.$

所以仅仅说“取正规闭包”还不够，我们还没把群链真正降到单位群。

这就是严格证明里真正需要再处理的一步。

解决办法不是随便取一个正规闭包，而是：

$\boxed{\text{把原来的根式塔和它所有的共轭版本一起加入}}$

并同时加入必要的单位根。

最后得到一个更大的域 $M$ ，满足两件事：

第一：

$M/F_0$

本身是 Galois。

第二， $M$ 仍然可以通过一层层根式扩张构造出来。

也就是说我们可以安排成：

$F_0' \subset F_1' \subset\cdots\subset F_s'=M,$

每一步：

$F_{j+1}'=F_j'(\beta_j), \qquad \beta_j^{n_j}\in F_j',$

并且相应单位根已经在下面的域里。

这样最顶层真的就是：

$M.$

于是定义：

$G_j=\operatorname{Gal}(M/F_j').$

最后：

$G_s = \operatorname{Gal}(M/M) = \{e\}.$

现在才真正得到完整链：

$G_0\supset G_1\supset\cdots\supset G_s=\{e\}.$

而每一层：

$G_j/G_{j+1} \cong \operatorname{Gal}(F_{j+1}'/F_j')$

都是阿贝尔群。

因此：

$G_0$

可解。

所以目前你只需要抓住两个层次：

原始的“根式解”给我们：

$\boxed{\text{一座根式塔}}$

但这座塔的顶层未必对底层 Galois。

于是严格证明会把它补大：

$\boxed{\text{加入单位根和必要的共轭根}}$

得到一座更大的：

$\boxed{\text{Galois 根式塔}}$

这样我们才能从顶到底完整地反向得到：

$\boxed{\text{正规子群链 + 阿贝尔商群}}$

从而证明 Galois 群可解。

这里“把所有共轭根加入后，为什么仍然能够保持为根式扩张”还有一些技术内容。下一步最好就专门解释这个，而不是直接宣布证明完成。

14.18 所有共轭加入后，为什么得到正规扩张

现在就解释：

$\boxed{\text{为什么把所有共轭根补齐以后，最上面的域会对 }F_0\text{ 变成正规扩张}}$

先用最熟悉的例子。

假设最底层是：

$F_0=\mathbb Q.$

原来只有：

$K=\mathbb Q(\sqrt[3]2).$

这里：

$\alpha=\sqrt[3]2$

的最小多项式是：

$x^3-2.$

它的三个共轭根是：

$\alpha,\qquad \omega\alpha,\qquad \omega^2\alpha.$

可是 $K$ 只有第一个，所以 $K/\mathbb Q$ 不正规。

现在把另外两个共轭根也补进来：

$M=\mathbb Q(\alpha,\omega\alpha,\omega^2\alpha).$

实际上这和

$\mathbb Q(\alpha,\omega)$

是同一个域。

此时 $x^3-2$ 的三个根全部都在 $M$ 里面：

$x^3-2 = (x-\alpha) (x-\omega\alpha) (x-\omega^2\alpha).$

所以至少对这个多项式来说，任何把一个根换成另一个共轭根的操作，都不会把我们带出 $M$ 。

现在把这个想法推广。

假设最终的大域 $M$ 是由一些代数元生成的：

$M=F_0(\alpha_1,\alpha_2,\ldots,\alpha_r).$

我们把每一个 $\alpha_i$ 在 $F_0$ 上的所有共轭都加入 $M$ 。

也就是说，如果

$m_i(x)\in F_0[x]$

是 $\alpha_i$ 的最小多项式，那么我们要求：

$\boxed{m_i(x)\text{ 的所有根都在 }M}$

对每个 $i$ 都成立。

现在取一个固定 $F_0$ 的嵌入：

$\sigma:M\hookrightarrow\overline{F_0}.$

因为 $\sigma$ 固定 $F_0$ ，所以：

$\sigma(\alpha_i)$

必须仍然是 $\alpha_i$ 的最小多项式 $m_i(x)$ 的某个根。

但我们已经把 $m_i(x)$ 的所有根都加入了 $M$ 。

所以：

$\boxed{\sigma(\alpha_i)\in M}$

对每个生成元都成立。

而整个 $M$ 是由：

$F_0,\alpha_1,\ldots,\alpha_r$

生成的。

所以只要这些生成元都被送回 $M$ ，整个域都会被送回 $M$ ：

$\sigma(M)\subseteq M.$

再利用有限扩张下嵌入是单射且维数不变，就得到：

$\boxed{\sigma(M)=M}.$

这正是正规扩张的核心性质：

所有固定基础域 $F_0$ 的嵌入，都把 $M$ 映回 $M$ 自己。

因此：

$\boxed{M/F_0\text{ 是正规扩张}}.$

你也可以从“多项式分裂”的角度理解。

正规扩张的一个等价表述是：

如果一个在 $F_0[x]$ 中不可约的多项式，在 $M$ 里有一个根，那么它的所有根都在 $M$ 里。

而我们刚才做的事情正是：

$\boxed{\text{只要出现一个代数元，就把它所有 }F_0\text{-共轭一起补进来}}$

所以自然就满足了这个条件。

然后为什么我们敢进一步说 “Galois”？

因为在我们现在最终关心的情形里，基础域通常是：

$\mathbb Q$

或者特征 $0$ 的域。

特征 $0$ 的域上的有限代数扩张自动是可分的。

所以：

$\text{正规}+\text{可分}$

得到：

$\boxed{\text{Galois}}.$

因此在我们这条五次方程的主线上，可以简单理解为：

$\boxed{ \text{补齐所有相关共轭根} \Rightarrow \text{正规} \Rightarrow \text{在特征 }0\text{ 下就是 Galois} }$

下一步就该把这一整套重新接回根式塔，看看：为什么补齐这些共轭根以后，每一层仍然可以安排成根式扩张，而且最终对应的群链每个商群都是阿贝尔群。

14.19 再次任取嵌入是检验稳定性

原问题：不是很理解为什么要专门又做一个嵌入

这里“再取一个嵌入”不是为了额外构造什么东西，而是为了检验 $M/F_0$ 是否正规。

正规扩张的一个很重要的判别方式就是：

$\boxed{ \text{任意固定 }F_0\text{ 的嵌入 } \sigma:M\hookrightarrow\overline{F_0} \text{ 都必须把 }M\text{ 映回 }M }$

所以我们必须“随便拿一个这样的 $\sigma$ ”来检查。

你可以把逻辑理解成：

我们想证明“无论怎么做，都不会跑出 $M$ ”；
那就必须先任取一种允许的做法 $\sigma$ ，然后证明它确实不会跑出去。

这和证明一个集合对某个操作封闭很像。比如要证明：

$A\text{ 对加法封闭}$

你会写：

$\text{任取 }a,b\in A,$

然后证明：

$a+b\in A.$

这里完全一样。

我们要证明：

$M/F_0\text{ 正规},$

于是就：

$\text{任取固定 }F_0\text{ 的嵌入 } \sigma:M\hookrightarrow\overline{F_0},$

然后证明：

$\sigma(M)=M.$

所以这个 $\sigma$ 是一个“测试者”。

不是说原来没有映射，现在人为又加一个映射进去；而是：

$\boxed{\text{正规性的定义/判别本身就要求考虑所有这样的嵌入}}$

为什么这种嵌入能检测“共轭根是否都补齐”？

因为如果

$\alpha_i\in M,$

那么任何固定 $F_0$ 的嵌入都会把 $\alpha_i$ 送到它的某个 $F_0$ -共轭：

$\alpha_i\mapsto\sigma(\alpha_i).$

所以如果 $M$ 漏掉了某个共轭根，就可能有一个嵌入把：

$\alpha_i$

送到那个漏掉的根，于是：

$\sigma(M)\not\subseteq M.$

例如：

$M=\mathbb Q(\sqrt[3]2).$

有嵌入：

$\sigma:\sqrt[3]2\mapsto\omega\sqrt[3]2.$

但是：

$\omega\sqrt[3]2\notin M.$

所以立刻看出：

$M/\mathbb Q$

不正规。

反过来，如果我们已经把所有共轭根都补进去了，那么无论你取哪个 $\sigma$ ：

$\sigma(\alpha_i)$

都还在 $M$ 里。

于是整个 $M$ 都被送回 $M$ 。

所以这一段的核心可以压成：

$\boxed{ \text{引入 }\sigma \text{ 是为了测试：所有可能的共轭变化会不会把 }M\text{ 带出去。} }$

如果不会， $M/F_0$ 就具有正规性。

14.20 需要证明补齐共轭后仍保持根式结构

下一步就该把刚才留下的技术缺口补上：

$\boxed{\text{为什么把根式塔的所有代数共轭一起加入后，仍然可以保持“根式扩张”的结构}}$

这一步很重要，因为我们前面只是说“把原来的根式塔补成一个 Galois 的大域”，但还没证明这个补大的过程不会把“根式可解”这件事破坏掉。

具体来说，假设原来某一层是

$F_{i+1}=F_i(\alpha), \qquad \alpha^n=a\in F_i.$

如果我们对整个结构做一个 $F_0$ -嵌入 $\sigma$ ，那么这一关系会变成

$\sigma(\alpha)^n=\sigma(a).$

因此新的代数共轭 $\sigma(\alpha)$ 仍然是某个元素 $\sigma(a)$ 的 $n$ 次根。

也就是说，共轭后的生成元仍然是通过开根得到的。

于是把所有这些共轭生成元逐个加入，仍然可以写成一连串根式扩张。

这一步讲清楚后，我们就能得到一个真正严密的结论：

$\boxed{\text{根式可解的多项式可以嵌入一个 Galois 的根式扩张中}}$

然后再把这个 Galois 根式塔反向变成群链，最终推出：

$\boxed{\text{根式可解}\Rightarrow\text{Galois 群可解}}$

所以接下来最合适的就是从

$\alpha^n=a$

出发，具体看为什么做域嵌入以后会自动得到

$\sigma(\alpha)^n=\sigma(a),$

以及这为什么保证“共轭版本仍然是根式”。

14.21 同时加入多个根式时，群仍然阿贝尔

下一步就要把刚才“补齐共轭根”这件事，重新接回根式塔 $\to$ 阿贝尔商群。而且这里要比前面更精确一点：补齐共轭以后，一层里可能不再只加入一个根式，而是同时加入若干个同次数根式。

先看原来某一层：

$F_i\subset F_{i+1}=F_i(\alpha), \qquad \alpha^n=a\in F_i.$

如果为了让整个大域对最底层正规，我们把 $\alpha$ 的各种共轭版本也补进来，那么可能需要同时加入：

$\alpha_1,\alpha_2,\ldots,\alpha_m,$

它们分别满足：

$\alpha_1^n=a_1,\qquad \alpha_2^n=a_2,\qquad\ldots,\qquad \alpha_m^n=a_m,$

其中这些

$a_j$

都已经在前一层的大域中。

于是补大后的这一层更像：

$\boxed{ E_{i+1} = E_i(\alpha_1,\ldots,\alpha_m) }$

而不是简单的

$E_i(\alpha).$

现在假设相关的 $n$ 次单位根

$\zeta_n$

已经在 $E_i$ 里。

那么对每个 $\alpha_j$ ，方程 $x^{n}-a_{j}$ 的所有根都有下面的形式；实际的代数共轭可能只占其中一部分：

$\alpha_j,\quad \zeta_n\alpha_j,\quad \zeta_n^2\alpha_j,\ldots$

所以一个固定 $E_i$ 的自同构 $\sigma$ ，对每一个 $\alpha_j$ 都只能做：

$\boxed{ \sigma(\alpha_j)=\zeta_n^{k_j}\alpha_j }$

这里不同的 $j$ 可以对应不同的指数 $k_j$ 。

因此一个自同构大致可以用这一串指数描述：

$(k_1,k_2,\ldots,k_m).$

如果再有另一个自同构对应：

$(l_1,l_2,\ldots,l_m),$

那么两者复合，对每个生成元都是：

$\alpha_j \mapsto \zeta_n^{k_j+l_j}\alpha_j.$

所以整体上就是：

$(k_1,\ldots,k_m) + (l_1,\ldots,l_m)$

按坐标相加。

而坐标相加满足：

$k_j+l_j=l_j+k_j.$

因此这些自同构彼此交换。

所以即使补齐共轭以后，一层需要同时加入很多根式，这一层的 Galois 群仍然是：

$\boxed{\text{阿贝尔群}}$

更准确地说，它可以嵌入到若干循环群的直积中，例如：

$C_n\times C_n\times\cdots\times C_n.$

这一步非常关键，因为它解决了你刚才可能隐约担心的问题：

“原来一个根式的 Galois 群是阿贝尔的，但为了补成正规扩张加入了一堆共轭根以后，会不会又变复杂？”

答案是：不会变成非阿贝尔的那种复杂性。只要单位根已经固定，每个根式仍然只能独立地“乘一个单位根”，这些操作仍然交换。

所以现在我们可以把补大的根式塔写成：

$E_0\subset E_1\subset\cdots\subset E_r=M,$

其中：

$M/E_0$ 是 Galois；
每一层 $E_{i+1}/E_i$ 也是 Galois；
并且每一层的 Galois 群都是阿贝尔群。

下一步就可以非常干净地定义：

$G_i=\operatorname{Gal}(M/E_i),$

得到反向群链

$G_0\supset G_1\supset\cdots\supset G_r=\{e\},$

然后逐层证明：

$\boxed{ G_i/G_{i+1} \cong \operatorname{Gal}(E_{i+1}/E_i) }$

所以每个商群都是阿贝尔群。到那一步，“为什么根式可解会推出 Galois 群可解”就真正闭环了。

第 14 章：根式塔：单位根、共轭与正规闭包 ​

14.1 进入根式塔前回顾两条主线 ​

14.2 把一个根式表达式拆成逐次开根 ​

14.3 根式公式与根式塔的逐步对应 ​

14.4 各层用的是同一个模板，而非同一个多项式 ​

14.5 单层根式的生成元可能被送到哪里 ​

14.6 方程的全部根与最小多项式的共轭不相同 ​

14.7 单位根倍数形式仅适用于 xⁿ-a ​

14.8 分裂域与阿贝尔性是两个不同条件 ​

14.9 单位根必须进入该层的基础域 ​

补充证明：单个根式层的群是循环群的子群 ​

14.11 固定 ℚ 与固定 ℚ(ω ) 为什么得到不同的群 ​

14.12 固定单位根后，单个根式层为什么阿贝尔 ​

14.13 对整个塔的嵌入使根式关系怎样变化 ​

14.14 用 √ 2 与 √ (1+√ 2) 跟踪整座塔的像 ​

14.15 代数共轭与群共轭的区别 ​

14.16 共轭补在上层，原基础域保持固定 ​

14.17 每层 Galois，顶层仍可能不正规 ​

14.18 所有共轭加入后，为什么得到正规扩张 ​

14.19 再次任取嵌入是检验稳定性 ​

14.20 需要证明补齐共轭后仍保持根式结构 ​

14.21 同时加入多个根式时，群仍然阿贝尔 ​

第 14 章：根式塔：单位根、共轭与正规闭包

14.1 进入根式塔前回顾两条主线

14.2 把一个根式表达式拆成逐次开根

14.3 根式公式与根式塔的逐步对应

14.4 各层用的是同一个模板，而非同一个多项式

14.5 单层根式的生成元可能被送到哪里

14.6 方程的全部根与最小多项式的共轭不相同

14.7 单位根倍数形式仅适用于 xⁿ-a

14.8 分裂域与阿贝尔性是两个不同条件

14.9 单位根必须进入该层的基础域

补充证明：单个根式层的群是循环群的子群

14.11 固定 ℚ 与固定 ℚ(ω ) 为什么得到不同的群

14.12 固定单位根后，单个根式层为什么阿贝尔

14.13 对整个塔的嵌入使根式关系怎样变化

14.14 用 √ 2 与 √ (1+√ 2) 跟踪整座塔的像

14.15 代数共轭与群共轭的区别

14.16 共轭补在上层，原基础域保持固定

14.17 每层 Galois，顶层仍可能不正规

14.18 所有共轭加入后，为什么得到正规扩张

14.19 再次任取嵌入是检验稳定性

14.20 需要证明补齐共轭后仍保持根式结构

14.21 同时加入多个根式时，群仍然阿贝尔