第 12 章：复习重点与后续学习边界

本章对象：先用已有定义重建公式。中间域、最大实子域和根式可解的进一步推导是后续主题；本章保留原对话的学习建议。

12.1 公式太多时，先记五个核心观念

原问题：好吧，还有什么要学的吗，我感觉公式太多我都记不住了

有，但我建议你现在先别继续堆公式。你已经走过了分圆域这条线最关键的一大段，接下来更重要的是把“结构”压缩成少数几个核心观念。

你现在真正需要记住的，其实只有这些：

$\zeta_n$ 是本原 $n$ 次单位根，意思就是
$\operatorname{ord}(\zeta_n)=n.$
第 $n$ 个分圆多项式 $\Phi_n(x)$ 的根，就是所有本原 $n$ 次单位根；因此
$\deg\Phi_n=\varphi(n).$
$\Phi_n(x)$ 是任意本原 $n$ 次单位根在 $\mathbb{Q}$ 上的最小多项式，因此
$[\mathbb{Q}(\zeta_n):\mathbb{Q}]=\varphi(n).$
$\mathbb{Q}(\zeta_n)$ 包含全部 $n$ 次单位根，所以它是 $x^n-1$ 的分裂域；在特征 $0$ 下又自动可分，因此它是 Galois 扩张。
它的 Galois 自同构就是
$\zeta_n\mapsto\zeta_n^a,\qquad \gcd(a,n)=1,$
所以
$\operatorname{Gal}(\mathbb{Q}(\zeta_n)/\mathbb{Q}) \cong(\mathbb{Z}/n\mathbb{Z})^\times.$

你不需要死记像

$\operatorname{ord}(\zeta_n^a)=\frac{n}{\gcd(a,n)}$

这种公式。忘了完全没关系，因为只要记得“阶就是最小的 $d>0$ 使 $(\zeta_n^a)^d=1$ ”：

$(\zeta_n^a)^d=1 \iff n\mid ad,$

公式两三步就能重新推出。

接下来如果继续，我更建议不再讲新的公式，而是做一个完整具体例子，比如从头到尾研究

$\boxed{\mathbb{Q}(\zeta_5)/\mathbb{Q}}$

把 $\Phi_5$ 、扩张次数、四个自同构、Galois 群 $C_4$ 、中间域 $\mathbb{Q}(\sqrt5)$ 全部放在同一个例子里。这样前面那些公式会从“需要背”变成“自然看出来”。

我觉得这会比继续抽象推进更适合你现在的阶段。

12.2 后续学习路线：具体例子、中间域、实子域与根式

原问题：好的那我理解了，下一步还有什么知识吗

整理提示：本段是原对话的后续学习路线。群结构例子使用已证结论；Galois 对应、二次中间域、最大实子域及“可解群推出根式可解”的完整推导仍属下一阶段。

有，而且现在正好可以从“分圆域的基本结构”继续往 Galois 理论更深一层走。你目前已经把最核心的基础链条基本打通了：

$x^n-1 \rightarrow \text{单位根} \rightarrow \Phi_n(x) \rightarrow \mathbb{Q}(\zeta_n) \rightarrow \operatorname{Gal}(\mathbb{Q}(\zeta_n)/\mathbb{Q}) \cong(\mathbb{Z}/n\mathbb{Z})^\times.$

接下来我建议按这个顺序继续。

第一步先讲 为什么分圆域是 Galois 扩张。这里会把你之前学过的两个关键词真正落地：

$\boxed{\text{正规性 normality}} \qquad \boxed{\text{可分性 separability}}$

我们会看到

$\mathbb{Q}(\zeta_n)$

其实就是

$x^n-1$

在 $\mathbb{Q}$ 上的分裂域，因此正规；而特征为 $0$ ，所以自动可分。因此：

$\boxed{\mathbb{Q}(\zeta_n)/\mathbb{Q}\text{ 是 Galois 扩张}.}$

这一步也正好能回答你之前曾经困惑的那个问题：“正规性和分裂域到底是什么关系？”

然后第二步做几个具体例子。比如 $n=5$ ：

$\operatorname{Gal}(\mathbb{Q}(\zeta_5)/\mathbb{Q}) \cong (\mathbb{Z}/5\mathbb{Z})^\times.$

右边是

$\{[1],[2],[3],[4]\}$

在乘法下组成的群，而且

$[2]^1=[2],\quad [2]^2=[4],\quad [2]^3=[3],\quad [2]^4=[1],$

所以：

$(\mathbb{Z}/5\mathbb{Z})^\times\cong C_4.$

于是分圆域的 Galois 群就是一个四阶循环群。

再比如 $n=8$ ：

$(\mathbb{Z}/8\mathbb{Z})^\times = \{[1],[3],[5],[7]\}.$

但是：

$3^2\equiv5^2\equiv7^2\equiv1\pmod8.$

所以它不是 $C_4$ ，而是：

$\boxed{C_2\times C_2}.$

这样你会开始真正体会：

$\text{不同 }n$

产生不同的 Galois 群结构。

第三步就是非常重要的 Galois 对应。既然

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

已经知道，那么：

$\boxed{ G\text{ 的子群} \longleftrightarrow K/\mathbb{Q}\text{ 的中间域} }$

例如 $\mathbb{Q}(\zeta_5)$ 的 Galois 群是 $C_4$ ，它有唯一一个二阶子群，因此分圆域中存在唯一一个二次中间域。最终可以算出：

$\boxed{ \mathbb{Q}(\sqrt5) \subset \mathbb{Q}(\zeta_5) }$

这会是一个非常漂亮的具体 Galois 对应例子。

第四步再讲复共轭。在分圆域中：

$\overline{\zeta_n} = \zeta_n^{-1}.$

所以复共轭这个 Galois 自同构对应：

$[-1]\in(\mathbb{Z}/n\mathbb{Z})^\times.$

它的固定域就是所谓的最大实子域：

$\boxed{ \mathbb{Q}(\zeta_n+\zeta_n^{-1}) }$

而且当 $n\ge3$ 时：

$[\mathbb{Q}(\zeta_n): \mathbb{Q}(\zeta_n+\zeta_n^{-1})]=2.$

这个例子会让“固定域”这个概念变得非常具体。

再往后，就可以接回你之前学的“根式可解”：

$(\mathbb{Z}/n\mathbb{Z})^\times$

是 Abel 群，所以当然是可解群。因此分圆扩张的 Galois 群是可解的。这里最终会连接到：

$\boxed{\text{单位根可以用根式表达}}$

以及为什么在一般根式解理论中，经常需要“加入单位根”。

所以我建议下一步先讲：为什么 $\mathbb{Q}(\zeta_n)/\mathbb{Q}$ 是 Galois 扩张，以及为什么它是 $x^n-1$ 的分裂域。

这个顺序最适合你现在的进度，因为它会把你之前关于“正规、分裂域、自同构”的几个疑问重新串起来。