域论专题读本 · 其七

本册定位。 其二到其六谈的都是「一个扩张配一个群」，群本身没被要求特殊性质。本册换一个方向：如果作用的群是 Abel 群（交换群），会发生什么？ 答案出奇地好：Abel 群的作用让域的元素「像数一样」被乘除搬来搬去，于是能写下三件漂亮的工具——Artin 的特征标独立性（群的表示在域上线性无关）、Hilbert 90（范数为 1 的元素必是「斜共轭」商）、Kummer 理论（含 n 次单位根的域，其 n 次 Abel 扩张由「开 n 次方」逐一列举）。这三件工具把 Abel 扩张的研究化简成乘法群 F^× 的商群的研究，是类域论的直接前身。本册还补上特征 p 的对应版本（Artin–Schreier），并指出分圆扩张是最标准的 Abel 扩张（Kronecker–Weber）。

〇系列地图：九册读本与第五章的接口

本系列为第五章「伽罗瓦理论」的每一块骨架配置延伸读本，编排如下（「→」表示后续册将深化）：

其一 从 ℚ 到 ℂ：代数数论的领地（接口：§4.1、§4.2）。

其二 域的自同构群——|Aut(K/F)| ≤ [K:F]（接口：§5.2）。

其三 极小多项式与扩域构造法——造域机器 F[x]/(p)（接口：§4.1）。

其四 尺规作图的域论解释——可作图数 = 二次塔（接口：§5.8）。

其五 ℝ 上一元多项式的分裂域——正规扩张（接口：§4.3）。

其六 伽罗华扩域——基本定理的字典（接口：§5.4）。

其七（本册）域在 Abel 群上的作用及其扩展——Artin 特征标、Hilbert 90、Kummer 理论与 Artin–Schreier（接口：§5.3 特征标）。

其八 有限域与域论中的有限条件——𝔽_q 的完整解剖（接口：§4.4）。

其九 范畴论中的域——绝对伽罗华群与 profinite 结构（接口：§4.1 的重述）。

本册是九册里最「可计算」的一册：它把高深的扩张问题，一路化简为「乘法群模掉 n 次幂」的初等商群计算。

一域上的群作用：G-域与固定域

定义 1.1（域上的群作用）。 群 G 在域 K 上的作用是一个同态 G → Aut(K)。若 G 的每个元素都固定子域 F，则称 K 是 F 上的 G-域，G 就是 Gal(K/F) 的子群。K^G = {x ∈ K : ∀σ ∈ G, σ(x) = x} 称为固定域。

Galois 的语言重述。 其六的基本定理正是「G-域」的语言：中间域 E ↔ 子群 H = Gal(K/E)，固定域就是 K^H。域作用与群作用的唯一区别是：K 首先是个域（有加、乘），群作用必须同时保这两条运算——这就是为什么 Gal(K/F) 自动是 Aut(K/F)。域作用比集合作用严格得多，能用的群也少得多。

两个实用的观察。

• 轨道–稳定子公式照搬：x ∈ K 的轨道 {σ(x) : σ ∈ G} 的大小 = |G| / |Stab(x)|。元素被 G 固定 ⟺ 轨道大小为 1 ⟺ Stab(x) = G。
• 固定域 K^G 恰是「轨道大小为 1 的元素全体」——它自动是子域（因为 σ 保运算，固定元素的集合对 +,·,取逆封闭）。

例 1.2（K = ℚ(√2)，G = {id, σ}）。 元素 a + b√2 在 σ（√2 ↦ −√2）下的轨道是 {a + b√2, a − b√2}：b = 0 时轨道大小为 1（落入固定域 ℚ），b ≠ 0 时轨道大小为 2。于是 K^G = ℚ。

数值注记（A 组）。 脚本 A 组核验上述轨道结构：b = 0 的元素被固定、b ≠ 0 的元素轨道大小为 2 = |G|/|Stab|——把「固定域」还原成一句轨道计数。

二Artin 定理：特征标的线性无关

Abel 群作用之所以好用，第一件礼物来自 Emil Artin。

定理 2.1（Artin 特征标独立性）。 设 G 是域 K 的自同构群，σ₁, …, σ_n ∈ G 互不相同。若 c₁, …, c_n ∈ K 使

c₁σ₁(x) + c₂σ₂(x) + ⋯ + c_nσ_n(x) = 0　对一切 x ∈ K，

则 c₁ = ⋯ = c_n = 0。即：互不相同的自同构（作为函数 K → K）在 K 上线性无关。

证明梗概. 反设存在最短的非平凡关系 ∑ c_iσ_i = 0。由最短性，所有 c_i ≠ 0。取 y ∈ K 使 σ₁(y) ≠ σ_n(y)（σ₁ ≠ σ_n 保证存在）。对任意 x，∑ c_iσ_i(xy) = 0，即 ∑ c_iσ_i(y)σ_i(x) = 0。两式相减（第二式乘 σ₁(y)）：∑_i≥2 c_i(σ_i(y) − σ₁(y))σ_i(x) = 0——得到一个更短的关系，矛盾。□

为什么它是「群作用」的关键？ 它保证了「自同构的线性组合只有平凡关系」——于是任何「作用下的不变量等式」都能唯一解出系数。其六 Artin 定理（固定域次数 = 群阶）与下一节的 Hilbert 90，证明都要用到它。

数值注记（B 组）。 脚本 B 组对 K = ℚ(√2)、G = {id, σ} 核验：若 c₁·id(x) + c₂·σ(x) = 0 对一切 x 成立，则在 x = 1 与 x = √2 两点立出方程 c₁ + c₂ = 0、c₁ − c₂ = 0，解得 c₁ = c₂ = 0。

三Hilbert 90：范数为 1 的元素

第二件礼物是一条「乘法版的斜对称」定理，它把「范数为 1」翻译成「商」。

定义 3.1（范数）。 设 K/F 有限伽罗华，G = Gal(K/F)。α ∈ K 的范数 N_K/F(α) = ∏_σ∈G σ(α)。

定理 3.2（Hilbert 90，乘性）。 设 K/F 是循环扩张（Gal 由 σ 生成）。则

N_K/F(α) = 1　⟺　存在 β ∈ K^× 使 α = β / σ(β)。

证明梗概. (⟸) N(β/σ(β)) = N(β)/N(σ(β)) = N(β)/N(β) = 1（N 是乘性且 N ∘ σ = N）。(⟹) 由 Artin 特征标独立性，构造一个 β = ∑_i α σ(α) ⋯ σⁱ⁻¹(α) σⁱ(γ) 的形式（γ 适当选取使 β ≠ 0），再验证 β/σ(β) = α。□

加性版本（Hilbert 90′）。 对迹 Tr = ∑σ：Tr(α) = 0 ⟺ α = β − σ(β)。范数与迹、乘性与加性，两条一一对应。

为什么叫「90」？ 它是 Hilbert 1897 年《数论报告》（Zahlbericht）中的第 90 号定理，如今被推广为群上同调的第一条长正合列的雏形：

H¹(G, K^×) = 1（乘性），　H¹(G, K) = 0（加性）。

这两条「上同调消失」是类域论与代数 K 理论的起点（本册第七节预告）。

数值注记（C 组）。 脚本 C 组在 K = ℚ(√2)、σ : √2 ↦ −√2 上取 α = 3 + 2√2，验证 N(α) = (3+2√2)(3−2√2) = 9 − 8 = 1；再由 Hilbert 90 找 β = 2 + √2，验证 β/σ(β) = (2+√2)/(2−√2) = 3 + 2√2 = α。

四Kummer 理论：含单位根时的 Abel 扩张

第三件礼物是 Abel 扩张的完整分类——前提是底域含有足够的单位根。

定理 4.1（Kummer 理论）。 设 F 含 n 次本原单位根 ζ_n，G = Gal(K/F) ≅ ℤ/nℤ（循环），且 K/F 是 n 次（从而 Abel）扩张。则

K = F(ⁿ√a)（即 K = F(β)，βⁿ = a ∈ F），

且扩张 K/F 与商群 F^×/(F^×)ⁿ 中的元素 a 的类一一对应。一般地，F 的 n 次Abel（多循环）扩张对应于 F^×/(F^×)ⁿ 的有限子群。

为什么需要「含 ζ_n」？ 没有单位根，Kummer 就不成立（例：ℚ 不含 ζ₃，其三次扩张 ℚ(∛2) 并非由「开三次方」在 ℚ 内完成——需要先把 ζ₃ 加进来）。单位根的作用是让「n 次根的群」成为一个自由的结构，从而使扩张可由 F^× 的商群分类。

n = 2 的特例（最常用）。 任何域 F 都含 ζ₂ = −1。于是 Kummer 对 n = 2 无条件成立：

F 的二次扩张 ↔ F^×/(F^×)²（平方类）。

例 4.2（ℚ 的平方类）。 ℚ 的二次扩张一一对应于 ℚ^×/(ℚ^×)² 的元素，其代表可取无平方因子整数：

ℚ(√2) ↔ 2，ℚ(√3) ↔ 3，ℚ(√6) ↔ 6，ℚ(√−1) ↔ −1，…

而在 ℚ(√2, √3)（其六例）里，二次子域恰有 2² − 1 = 3 个：ℚ(√2)（类 2）、ℚ(√3)（类 3）、ℚ(√6)（类 6）——它们组合起来正是 {1, 2, 3, 6} 这个平方类群。

Kummer 与基本定理的分工。 其六的基本定理说「Abel 扩张 F ⊆ K 的中间域 ↔ Gal(K/F) 的子群」；Kummer 把这句话进一步具体化为「扩张 ↔ F^×/(F^×)ⁿ 的元素」。前者是抽象的字典，后者是能拿数字算的算式。

数值注记（D 组）。 脚本 D 组计算整数的平方自由部分（2 → 2、8 → 2、12 → 3、18 → 2、72 → 2），并核对 ℚ(√2,√3) 的三个二次子域对应平方类 {2, 3, 6}。

五Artin–Schreier：特征 p 的循环扩张

Kummer 有致命前提：F 含 n 次单位根，且 n 与特征互素（否则 ζ_n 不存在或被「压平」）。特征 p 时，p 次单位根只有一个（x^p − 1 = (x − 1)^p），Kummer 失效。Artin–Schreier 补上了这块拼图。

定理 5.1（Artin–Schreier）。 设 F 特征 p。则 F 的 p 次循环扩张 K/F 一一对应于

K = F(α)，其中 α^p − α = a ∈ F（且 a ∉ {x^p − x : x ∈ F}）。

多项式 x^p − x − a 是 p 次循环扩张的「标准方程」，正如 xⁿ − a 是 Kummer 的标准方程。且 K/F 由方程 x^p − x − a 给出，Galois 群 ≅ ℤ/pℤ。

为什么是 x^p − x 而不是 x^p − a？ 因为特征 p 时 (x + 1)^p − (x + 1) = x^p + 1 − x − 1 = x^p − x——加 1 是真作用。于是若 α 是 x^p − x − a = 0 的根，则 α + 1, α + 2, …, α + (p−1) 都是根，恰 p 个；它们在 α 上的置换由 α ↦ α + 1 生成，给出 Gal ≅ ℤ/pℤ。这正是「加性」的循环结构，与 Kummer 的「乘性」循环结构对偶。

注意 x^p − x 的分裂。 对 F = 𝔽_p，x^p − x = ∏_a∈𝔽p(x − a)（Fermat 小定理）——x^p − x 的根恰是 𝔽_p 全体。这条事实说明：x^p − x − a 能否在 𝔽_p 上有根，取决于 a 是否落在「迹为零」的集合里。𝔽_p(t) 上取 a = t，则 x^p − x − t 不可约，给出 p 次循环扩张 𝔽_p(t)(α)。

数值注记（E 组）。 脚本 E 组核验 x^p − x 在 𝔽_p 上的根恰是全体（p = 3, 5, 7），并核对 x² − x 在 𝔽₂ 上等于 x(x − 1)。

六分圆扩张与 Kronecker–Weber 定理

Abel 扩张最重要的一族是分圆扩张。

定理 6.1（分圆扩张是 Abel 的）。 Gal(ℚ(ζ_n)/ℚ) ≅ (ℤ/nℤ)^× 是 Abel 群（其二定理 5.2）。由其六定理 5.1，ℚ(ζ_n)/ℚ 的每个中间域都是正规（伽罗华）扩张，且每个都是 Abel 扩张。因此分圆域的每一个子域都给出 ℚ 的一个 Abel 扩张。

定理 6.2（Kronecker–Weber）。 ℚ 的每一个有限 Abel 扩张，都含于某个分圆域 ℚ(ζ_n)。 换言之：ℚ 的 Abel 扩张「穷尽」了分圆域的子域。

这是「Abel 群作用」的第一个大胜仗：它把「ℚ 的全部 Abel 扩张」这一看似无穷复杂的问题，化为「选一个 n，取 ℚ(ζ_n) 的一个子域」。Kummer（第四节）负责把扩张写成开方，Kronecker–Weber 负责把它装进单位根——两者合起来，ℚ 上的 Abel 扩张理论基本上完整。

为何分圆扩张总与 Abel 群有关？ 因为单位根本身就被「乘法模 n」的群作用——ζ_n ↦ ζ_n^a，而乘法模 n 是交换的。「Abel 作用」的源头就是「乘法交换」。 这条直觉把其二的 (ℤ/n)^× 与本册的 Abel 扩张串成一条线。

数值注记（F 组）。 脚本 F 组核验 (ℤ/n)^× 对 n = 5, 7, 8, 12, 15 都是 Abel 群，并列出指数（= 分圆扩张的次数与中间域的度）。

七从 Abel 到类域论（预告）

Kummer 与 Kronecker–Weber 处理的是 ℚ（与含单位根的域）上的 Abel 扩张。把它们推广到任意数域，就是 20 世纪最宏大的数学工程之一：

• Hilbert 的猜想（1890s）与 Takagi、Artin 的工作（1920–30s）建立了类域论：任意数域 K 的 Abel 扩张，由 K 的「广义理想类群」分类——Kummer 理论中「F^×/(F^×)ⁿ」的位置，被「理想类群」接替。
• Artin 互反律（1927）把 Galois 群与类群用一条同构连起来，是 Hilbert 第 9 问题的答案。
• Galois 上同调（第一节预告的 H¹(G, K^×) = 1）成为整个理论的语言。

本册只走到门口。这一步是「Abel 群作用于域」这条线索的自然终点，也是从抽象代数通往现代数论的桥梁。

八术语考古、三句话与阅读指引

8.1 名词与历史的来路

• characteristic（特征标）。 希腊 charaktēr「印记/标记」：群到域乘群的同态。Frobenius 与 Schur 在 1896–1905 年建立特征标理论，Artin 1919–1930 年代把它用于域的自同构群。
• norm / trace（范数 / 迹）。 拉丁 norma「准则/规尺」、tractus「拖曳」。N(α) = ∏σ(α)、Tr(α) = ∑σ(α) 是「用自同构群把一个元素的共轭打包」的两种方式；其加性/乘性的对偶贯穿全册。
• Hilbert 90。 David Hilbert 在《Die Theorie der algebraischen Zahlkörper》（1897，即 Zahlbericht）中的定理 90。今日被理解为 H¹(G, K^×) = 1。
• Kummer theory（Kummer 理论）。 Ernst Eduard Kummer（1810–1893，德国）在研究分圆域与费马大定理时提出「理想数」，其 Abel 扩张理论由 Hilbert 在 Zahlbericht 中整理成现代形。Kummer 也是「Kummer 曲面」「Kummer 扩张」的命名者。
• Artin–Schreier（阿廷–施赖尔）。 Emil Artin 与 Otto Schreier 1926–27 年在实闭域研究中提出 x^p − x − a；它同样是「特征 p 的 Abel 扩张」的标准工具，与 Hilbert 90 的加性版本呼应。
• Kronecker–Weber theorem（克罗内克–韦伯定理）。 Leopold Kronecker 1853 提出猜想，Heinrich Weber 1886 完成 ℚ 上的证明；推广到任意数域由 Hilbert 第 12 问题与类域论解决。

8.2 三句话总结

① 群作用于域时，轨道–稳定子照搬，而 Artin 特征标独立性保证「互不相同的自同构线性无关」——这是其后一切「用不变量等式解系数」的基础。

② 若群是 Abel（循环）群，就能写下两条优美的「消失定理」：Hilbert 90（乘性：N(α) = 1 ⟺ α = β/σ(β)）与它的加性版本（Tr(α) = 0 ⟺ α = β − σ(β)）。

③ Kummer 理论把「Abel 扩张」翻译成「乘法群商群 F^×/(F^×)ⁿ」（F 含 ζ_n），特征 p 时由 Artin–Schreier 的 x^p − x − a 接替；而分圆扩张是最标准的 Abel 扩张（Kronecker–Weber：ℚ 的一切 Abel 扩张都躲在某个 ℚ(ζ_n) 里）——这三件工具合起来，就是类域论的起点。

8.3 阅读指引

• 教材：张英伯、王恺顺《代数学基础（下·第 2 版）》§5.3（域的嵌入与特征标）、§5.4（基本定理）——本册每节的「教材接口」即回指这些位置。
• Kummer 理论与 Hilbert 90：S. Lang, Algebra 第 VI 章 §6–8；J. Neukirch, Algebraic Number Theory 第 IV 章 §3（Hilbert 90 与上同调）。
• Artin–Schreier：N. Jacobson, Lectures in Abstract Algebra Vol. III 第 4 章；S. Lang, Algebra 第 VI 章 §6。
• 群上同调与消失定理：J.-P. Serre, Local Fields（Springer GTM 67）第 X 章；J. S. Milne, Fields and Galois Theory（在线讲义）第 5 章。
• 类域论与 Kronecker–Weber：J. Neukirch, Algebraic Number Theory 第 VI、VII 章；历史脉络见 N. Schappacher, "The development of the class field theory up to 1940"。

《代数学基础（下·第 2 版）》第五章补充读物 · 域论专题读本其七 ｜ 九章格数学 ｜ 第 2 版 · 2026