2026-07-22 · 让固定量反推出结构

0. 导读与元结构 (Orientation & Meta-structure)

起点问题。 上一期从一般群作用出发：轨道回答“哪些对象等价”，稳定子回答“一个对象还保留多少对称”。但在方程论里，仅知道 Galois 群怎样置换根还不够；真正希望反推的是：固定某些量的对称变换，究竟对应哪个中间域？给定一个中间域，又能否由逐点固定它的自同构完整收回？

答案不是任意群作用都具有的性质。它依赖一个刚性的代数环境：有限 Galois 扩张。Galois 基本定理 (fundamental theorem of Galois theory) 在此把“子群”与“中间域”组织成两张彼此反向的格。

对象与量词层。 固定域的对象层是：

1. 一个有限 Galois 扩张 $L/K$；
2. 群 $G=\mathrm{Gal}(L/K)$；
3. 子群 $H\le G$ 与中间域 $K\subseteq E\subseteq L$；
4. 两个带完整量词的构造
   $$L^H:=\{x\in L:\mathrm{\forall }\sigma \in H,\sigma (x)=x\},$$
   以及
   $$G_E:=\{\sigma \in G:\mathrm{\forall }x\in E,\sigma (x)=x\}=\mathrm{Gal}(L/E).$$

注意两个“对所有”落在不同类型的对象上：$L^H$ 要求一个域元素被 $H$ 中每个自同构固定；$G_E$ 要求一个自同构固定 $E$ 中每个域元素。交换这两层量词，正产生一对反序映射。

前置知识。 域扩张次数、最小多项式、分裂域、可分性、正规性、有限群的子群与商群；上一期的群作用、轨道和稳定子可作为直觉接口。

主证明引擎。

• 不同域同态的线性独立性与有限维线性代数，给出 Artin 固定域定理；
• 扩张次数与群阶的夹逼，证明两次“取固定对象”确实回到原对象；
• 限制同态与共轭作用，把正规子群翻译成正规中间扩张。

去向。 有限对应会通向方程根式可解性、判别式、代数数论和覆盖空间；其无限版本需要 Krull topology（Krull 拓扑），只让闭子群参与对应。

弧线位置。 本期是 exploration-2026-w30-symmetry-orbits 的 Day 2/3：Day 1 建立一般群作用、轨道—稳定子与 Burnside 平均；今天把“固定对象”升级为可逆的 Galois 反序对应；Day 3 将把集合上的作用线性化为置换表示，用特征标和平均投影闭合本弧。今天不是 weekly roaming issue。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 为什么先要求 Galois

设 $L/K$ 是有限扩张。若它既正规 (normal) 又可分 (separable)，便称为有限 Galois 扩张。等价地，$L$ 是某个 $K[t]$ 中可分多项式的分裂域。此时

$$|\mathrm{Gal}(L/K)|=[L:K].$$

这条等式是对应能够闭合的数值铰链：自同构既不能多于扩张次数，而正规与可分保证所有应有的嵌入都留在 $L$ 内并彼此不同。

群 $G$ 自然作用在 $L$ 上：$\sigma \cdot x=\sigma (x)$。对 $x\in L$，它的轨道是 $K$-共轭元；若 $L/K$ Galois，则轨道多项式

$$p_x(t):=\prod _{y\in Gx}(t-y)$$

的系数被 $G$ 固定，因而属于 $K$，并且 $p_x$ 正是 $x$ 在 $K$ 上的最小多项式。这里已出现上一期的机制：群作用产生轨道，轨道上的对称多项式产生不变量；今天新增的关键是，不变量还能反过来确定群。

1.2 关键引理：有限自同构群由其固定域完全恢复

引理（Artin fixed-field theorem，Artin 固定域定理）。 设 $H$ 是域 $L$ 的一个有限自同构群，并令

$$F=L^H=\{x\in L:\mathrm{\forall }\sigma \in H,\sigma (x)=x\}.$$

则 $L/F$ 是有限 Galois 扩张，且

$$[L:F]=|H|,\mathrm{Gal}(L/F)=H.$$

证明架构。 证明不是把结论写进定义，而是做两次相反方向的估计。

1. 设 $H=\{{\sigma }_1,\dots ,{\sigma }_m\}$。若 $L$ 中任取多于 $m$ 个元素，考虑以 ${\sigma }_i({\alpha }_j)$ 为系数的齐次线性方程组。取非零分量最少的解，再对解施加 $H$ 中的自同构并相减；最小支撑性迫使解的系数都落在 $F$。因此任何 $m+1$ 个元素在 $F$ 上线性相关，故
   $$[L:F]\le m=|H|.$$
2. 另一方面，$H\subseteq \mathrm{Aut}(L/F)$，而任意有限扩张的 $F$-自同构数不超过扩张次数，所以
   $$|H|\le |\mathrm{Aut}(L/F)|\le [L:F].$$

两边夹逼后全为等号，于是 $[L:F]=|H|$ 且 $H=\mathrm{Gal}(L/F)$。第一步解释了为何需要有限性；第二步解释了为何“固定域”不可能悄悄拥有更多自同构。

1.3 Galois 基本定理：两次取固定对象回到原处

定理（finite Galois correspondence，有限 Galois 对应）。 设 $L/K$ 是有限 Galois 扩张，$G=\mathrm{Gal}(L/K)$。定义

$$\mathrm{\Phi }(H)=L^H(H\le G),$$

以及

$$\mathrm{\Psi }(E)=\mathrm{Gal}(L/E)(K\subseteq E\subseteq L).$$

则 $\mathrm{\Phi }$ 与 $\mathrm{\Psi }$ 互为逆映射，从而给出双射

$$\{H:H\le G\}⟷\{E:K\subseteq E\subseteq L\}.$$

而且该双射反转包含关系：对任意 $H_1,H_2\le G$，

$$H_1\supseteq H_2⟺L^{H_1}\subseteq L^{H_2}.$$

若 $H_1\supseteq H_2$，则还有次数—指数公式

$$[L^{H_2}:L^{H_1}]=[H_1:H_2].$$

证明。

• 从子群出发：Artin 固定域定理直接给出
  $$\mathrm{\Psi }(\mathrm{\Phi }(H))=\mathrm{Gal}(L/L^H)=H.$$
• 从中间域出发：$L/K$ 是某个 $K[t]$ 中可分多项式的分裂域；把同一多项式看成 $E[t]$ 中的多项式，$L/E$ 仍是其分裂域且仍可分，所以 $L/E$ 也是 Galois。令
  $$F=L^{\mathrm{Gal}(L/E)}.$$
  显然 $E\subseteq F$。Artin 定理与有限 Galois 扩张的群阶公式分别给出
  $$[L:F]=|\mathrm{Gal}(L/E)|=[L:E].$$
  由塔式 $[L:E]=[L:F][F:E]$，得到 $[F:E]=1$，故 $F=E$，即
  $$\mathrm{\Phi }(\mathrm{\Psi }(E))=E.$$

反序性来自量词本身：要求一个元素被更大的子群固定，条件更强，留下的固定域更小。次数—指数公式则由

$$[L:L^H]=|H|$$

和塔式相除得到。

1.4 正规子群为何对应 Galois 中间扩张

设 $H\le G$，$E=L^H$。对任意 $\sigma \in G$，有

$$\sigma (E)=L^{\sigma H{\sigma }^{-1}}.$$

逐元素验证：$x\in E$ 等价于对所有 $h\in H$ 有 $h(x)=x$；施加 $\sigma$ 后，等价于对所有 $h\in H$ 有

$$(\sigma h{\sigma }^{-1})(\sigma x)=\sigma x.$$

因此共轭子群对应共轭中间域。于是

$$H⊴G⟺E/K\text{ 是 Galois 扩张}.$$

在此情形，限制映射

$$\mathrm{res}:G⟶\mathrm{Gal}(E/K),\sigma ⟼\sigma {|}_E$$

的核恰为 $H$，并且满射，所以第一同构定理给出

$$\mathrm{Gal}(E/K)\cong G/H.$$

这不是“中间域自动继承 Galois 性”；真正控制它的是对应子群是否正规。

1.5 一个可画完的例子：$\mathbb{Q}(\sqrt{2},\sqrt{3})$

令

$$L=\mathbb{Q}(\sqrt{2},\sqrt{3}),K=\mathbb{Q}.$$

则 $[L:K]=4$，而

$$G=\mathrm{Gal}(L/K)=\{1,\sigma ,\tau ,\sigma \tau \}\cong C_2\times C_2,$$

其中

$$\sigma (\sqrt{2})=-\sqrt{2},\sigma (\sqrt{3})=\sqrt{3},$$

$$\tau (\sqrt{2})=\sqrt{2},\tau (\sqrt{3})=-\sqrt{3}.$$

三个二阶子群的固定域分别是

$$L^{⟨\sigma ⟩}=\mathbb{Q}(\sqrt{3}),L^{⟨\tau ⟩}=\mathbb{Q}(\sqrt{2}),L^{⟨\sigma \tau ⟩}=\mathbb{Q}(\sqrt{6}).$$

例如 $\sigma \tau$ 同时改变 $\sqrt{2}$ 与 $\sqrt{3}$ 的符号，故固定其乘积 $\sqrt{6}$；又因固定域在 $L$ 中的指数为 $2$，已经包含的二次域 $\mathbb{Q}(\sqrt{6})$ 必是全部固定域。顶端子群 $G$ 对应底端域 $\mathbb{Q}$，平凡子群对应顶端域 $L$，反序关系由此完全可见。

1.6 谱系与现代延伸

Galois 的 1831 年手稿从根的置换及其不变量出发：哪些根的函数在允许的置换下不变，决定哪些量可由基域“有理地知道”。现代域论随后把“有理可知”写成固定域，把根的置换写成域自同构，并由 Artin 型定理完成双向恢复。谱系的要点不是给旧文本强加现代符号，而是说明幸存的机制：

$$\text{变换群}⟷\text{被全部变换固定的量}.$$

Graduate / modern extension（无限 Galois 对应）。 若 $L/K$ 是无限 Galois 扩张，则 $G=\mathrm{Gal}(L/K)$ 带有 Krull 拓扑，是 profinite group（预有限群）。此时“所有子群”必须改成“闭子群”：

$$\{\text{闭子群 }H\le G\}⟷\{K\subseteq E\subseteq L\}.$$

开子群对应有限中间扩张；闭正规子群对应 Galois 中间扩张。这个修正再次说明：对应定理的假设不是包装，拓扑闭性正负责排除无法由固定域恢复的稠密真子群。

2. 固定模板习题 (Template Exercise)

题目

设 $n\ge 2$，从对称群 $S_n$ 中均匀随机选取一个置换 $\pi$。令

$$X=\mathrm{\#}\{i\in \{1,\dots ,n\}:\pi (i)=i\}$$

为 $\pi$ 的固定点数。计算

$$\mathbb{E}[X],\mathbb{E}[X(X-1)],\mathrm{Var}(X).$$

模板识别

看到“随机结构中某种局部性质的总个数”，优先把总数拆成 indicator variables（指示变量）之和。求期望只需逐项概率，不需要独立；求方差时，与其直接展开所有协方差，不如先识别 $X(X-1)$ 正在数有序的不同局部事件对。

分级提示

1. Hint 1. 对每个 $i$ 定义 $I_i={\mathbf{1}}_{\{\pi (i)=i\}}$，则 $X=\sum _{i=1}^n{I}_i$。
2. Hint 2. 固定一个位置 $i$ 的置换有 $(n-1)!$ 个；同时固定两个不同位置 $i,j$ 的置换有 $(n-2)!$ 个。
3. Hint 3. 使用
   $$X(X-1)=\sum _{i\ne j}{I}_i{I}_j,$$
   其中和式遍历有序对 $(i,j)$。
4. Hint 4. 最后由 $X^2=X(X-1)+X$ 转回二阶矩，再使用 $\mathrm{Var}(X)=\mathbb{E}[X^2]-(\mathbb{E}[X]{)}^2$。

3. 大家之言 (Mathematician in Their Own Words)

可核验语境。 数学家 John C. Baez 在 2026-05-29 的个人博客文章 From Pentagons to Pentagrams 中研究黄金域

$$\mathbb{Q}(\sqrt{5})$$

上的 Galois 共轭 $f(a+b\sqrt{5})=a-b\sqrt{5}$ 如何把适当坐标下的正五边形送到正五角星。推导角度时，他停下来检查一个容易被略过的符号条件：[3]

“But wait! The above calculation secretly assumed $f(L^2)$ is positive, because we claimed that the usual positive square root of $f(L^2{)}^2$ equals $f(L^2)$.”

中译。 “等等！上面的计算暗中假设了 $f(L^2)$ 为正，因为我们把 $f(L^2{)}^2$ 的通常正平方根认作了 $f(L^2)$。”

评论。 这段话揭示的不是一句泛化的“要严谨”，而是一项可执行的 proof audit（证明审计）：

1. 域自同构保持加、乘和代数等式，却不自动保持实数的序；
2. 因而从 $L^2>0$ 不能只凭“共轭保持结构”推出 $f(L^2)>0$；
3. Baez 随后把边向量坐标写成 $c_j\in \mathbb{Q}(\sqrt{5})$，并验证
   $$f(L^2)=\sum _{j}f(c_j{)}^2>0,$$
   其中严格大于零还使用了 $f$ 的单射性与边向量非零。

这与今天的 Galois 对应共享一种方法：先明确自同构确实保持什么，再证明目标性质属于这个不变量层；不能把“对称”当成万能的性质搬运器。Baez 的博客是第一人称数学阐释；以上引文按原页面逐字核对，评论是本文解释。

4. 反例与边界 (Counterexample & Boundary)

删除“正规”后，固定域对应立刻失效

令

$$K=\mathbb{Q},E=\mathbb{Q}(\sqrt[3]{2})\subset \mathbb{R}.$$

我们逐项检查它为何是离 Galois 扩张很近、却足以破坏结论的反例。

1. 扩张有限且可分。 多项式 $t^3-2$ 由 Eisenstein 判别法在素数 $2$ 处不可约，所以
   $$[E:\mathbb{Q}]=3.$$
   基域特征为 $0$，故该不可约多项式可分。
2. 扩张不正规。 $t^3-2$ 的另外两个根是
   $${\zeta }_3\sqrt[3]{2},{\zeta }_3^2\sqrt[3]{2},$$
   它们非实，而 $E\subset \mathbb{R}$。因此 $t^3-2$ 在 $E$ 中不分裂，$E/\mathbb{Q}$ 不正规。
3. 自同构群坍缩。 任意 $\mathbb{Q}$-自同构必须把 $\sqrt[3]{2}$ 送到它在 $E$ 中的另一个最小多项式根；但 $E$ 中只有实根 $\sqrt[3]{2}$，故
   $$\mathrm{Aut}(E/\mathbb{Q})=\{1\}.$$
4. 两次取固定对象不能回到基域。 平凡群固定 $E$ 的每个元素，所以
   $$E^{\mathrm{Aut}(E/\mathbb{Q})}=E\ne \mathbb{Q}.$$
   若误把有限 Galois 对应套到这里，从底端域 $\mathbb{Q}$ 出发，经“取自同构群—再取固定域”不会返回 $\mathbb{Q}$。
5. 格的大小已经不匹配。 平凡自同构群只有一个子群，而中间域格至少有两个元素 $\mathbb{Q}$ 与 $E$；不可能存在所宣称的双射。

失败的精确位置是正规性：缺失的共轭根使 $\mathbb{Q}$-嵌入不能都成为 $E$ 的自同构，所以

$$|\mathrm{Aut}(E/\mathbb{Q})|=1<3=[E:\mathbb{Q}].$$

修复。 进入分裂域

$$L=\mathbb{Q}(\sqrt[3]{2},{\zeta }_3)$$

后，$L/\mathbb{Q}$ 是有限 Galois 扩张，Galois 群同构于 $S_3$，完整的子群—中间域反序对应恢复。由此可见：“特征 $0$ 因而可分”仍不够；有限 Galois 对应需要正规性与可分性共同保证群阶等于扩张次数。

5. 今日一问与数学地图 (Question & Map)

今日一问。 设 $L$ 是 $t^3-2$ 在 $\mathbb{Q}$ 上的分裂域，已知

$$G=\mathrm{Gal}(L/\mathbb{Q})\cong S_3.$$

不直接求所有元素的显式公式，只用 $S_3$ 的子群格与 Galois 对应，回答并证明：

1. $L/\mathbb{Q}$ 有多少个真中间域？它们的次数分别是多少？
2. 哪些真中间域在 $\mathbb{Q}$ 上是 Galois 的？
3. 三个二阶子群为何对应三个彼此共轭、但不正规的三次域？其中一个是 $\mathbb{Q}(\sqrt[3]{2})$，另外两个应如何由 Galois 作用得到？
4. 唯一的三阶子群 $A_3$ 的固定域为何是二次域，并怎样从 $t^3-2$ 的判别式
   $$-108$$
   中识别它？

定向提示。 先画出

$$\{1\},3\text{ 个二阶子群},A_3,S_3,$$

再反转整张图；不要从猜测域生成元开始。正规性只需在子群格上判断。识别二次域时，可把判别式的平方根与奇偶置换的符号作用联系起来，但这里保留完整推导空间。

数学地图。

$$\begin{array}{c}\text{分裂域、可分性、正规性}\\ \Downarrow \\ \text{Galois 群作用于根与整个域}\\ \Downarrow \\ \text{Artin 固定域定理：群阶等于扩张次数}\\ \Downarrow \\ \text{子群}\leftrightarrow \text{中间域的反序对应}\\ \Downarrow \\ \text{正规子群}\leftrightarrow \text{Galois 中间扩张}\\ \Downarrow \\ \text{商群、判别式、根式可解性}\\ \Downarrow \\ \text{无限 Galois 理论与 Krull 拓扑}\\ \Downarrow \\ \text{置换表示、特征标与不变量维数}\end{array}$$

格运算也被反向翻译：两个子群生成的群对应两个固定域的交，而子群交对应中间域的复合。这是“反序”比一张配对表更有力量之处，也为下一期把固定点与不变量线性化留下接口。

附录 A：习题完整解答 (Full Solution)

展开完整解答

可复用模板：局部事件指示化 $\to$ 用对称性算单点与成对概率 $\to$ 用阶乘矩重组二阶矩。

对 $1\le i\le n$，定义

$$I_i={\mathbf{1}}_{\{\pi (i)=i\}}.$$

于是

$$X=\sum _{i=1}^n{I}_i.$$

固定 $i$ 的置换共有 $(n-1)!$ 个，而 $S_n$ 共有 $n!$ 个元素，所以

$$\mathbb{P}(\pi (i)=i)=\frac{(n-1)!}{n!}=\frac{1}{n}.$$

由期望线性性——这里不需要 $I_i$ 相互独立——得到

$$\mathbb{E}[X]=\sum _{i=1}^n\mathbb{E}[I_i]=\sum _{i=1}^n\frac{1}{n}=1.$$

接着利用

$$X(X-1)=\sum _{i\ne j}{I}_i{I}_j.$$

这是因为若某个置换恰有 $X$ 个固定点，则从这些固定点中按顺序选择两个不同点恰有 $X(X-1)$ 种。对任意有序对 $i\ne j$，同时固定 $i,j$ 的置换共有 $(n-2)!$ 个，故

$$\mathbb{E}[I_i{I}_j]=\mathbb{P}(\pi (i)=i,\pi (j)=j)=\frac{(n-2)!}{n!}=\frac{1}{n(n-1)}.$$

有序对 $(i,j)$ 共 $n(n-1)$ 个，因此

$$\mathbb{E}[X(X-1)]=\sum _{i\ne j}\mathbb{E}[I_i{I}_j]=n(n-1)\cdot \frac{1}{n(n-1)}=1.$$

由恒等式 $X^2=X(X-1)+X$，

$$\mathbb{E}[X^2]=\mathbb{E}[X(X-1)]+\mathbb{E}[X]=1+1=2.$$

最终

$$\mathrm{Var}(X)=\mathbb{E}[X^2]-(\mathbb{E}[X]{)}^2=2-1^2=1.$$

所以对所有 $n\ge 2$，

$$\boxed{{\displaystyle \mathbb{E}[X]=1,\mathbb{E}[X(X-1)]=1,\mathrm{Var}(X)=1}}.$$

模板中的关键检查。 $I_i$ 并不相互独立：例如知道 $\pi (1)=1$ 会改变剩余位置的条件分布。但期望线性性不要求独立；二阶计算只需对不同指标的联合概率逐对计数。把 $X(X-1)$ 识别为有序对计数，通常比逐项整理协方差更稳。

资料与来源 (Sources)

1. J. S. Milne, Fields and Galois Theory, version 5.10, September 2022, especially Chapter 3, Theorem 3.17 and its prerequisites. 用于核对有限 Galois 对应、Artin 固定域定理、次数—指数公式、共轭与正规子群结论；Chapter 7 用于核对无限扩张中“闭子群”与 Krull 拓扑的修正：https://www.jmilne.org/math/CourseNotes/FT.pdf
2. Évariste Galois, Œuvres mathématiques, including “Mémoire sur les conditions de résolubilité des équations par radicaux,” manuscript dated 1831 and published posthumously in Journal de mathématiques pures et appliquées, 1re série, tome 11 (1846), pp. 381–444. 用于核对根的置换、不变量与现代 Galois 理论之间的历史起点；本文不把现代固定域定理倒写为 Galois 原文：https://www.numdam.org/item/JMPA_1846_1_11__381_0.pdf
3. John C. Baez, “From Pentagons to Pentagrams,” Azimuth, 2026-05-29. Section 3 的英文引文、黄金域共轭语境及正性补证均按原页面核对：https://johncarlosbaez.wordpress.com/2026/05/29/from-pentagons-to-pentagrams