第十章 · 有限域

---

本章定位

有限域是 Galois 理论最优美、最完整的应用领域。在这里，所有理论工具——Galois 群、Galois 对应、Frobenius 自同构——都达到了它们最简洁、最透彻的形式。

有限域（也称 Galois 域） ${\mathbb{F}}_{p^n}$ 是特征 $p$ 的唯一 $p^n$ 元域。它的乘法群是循环群，它的 Galois 群也是循环群——由 Frobenius 自同构 $x\mapsto x^p$ 生成。这种极简的结构使得有限域成为编码理论、密码学、代数几何和数论的基石。

为什么有限域如此特别？

在一般域论中，我们常常无法完全描述一个域的所有子域或所有自同构。但有限域完全"可计算"： ${\mathbb{F}}_{p^n}$ 的所有子域恰好是 $\{{\mathbb{F}}_{p^d}:d\mid n\}$ ，其 Galois 群恰好是 $\mathbb{Z}/n\mathbb{Z}$ ，Galois 对应恰好是 $n$ 的因子格与子群格之间的反序同构。这是 Galois 理论的"教科书范例"。

---

本章导航

节	主题	核心内容	关键概念
§10.1	有限域的结构	有限域的存在与唯一性、乘法群的循环性、子域的完全分类、不可约多项式计数	${\mathbb{F}}_{p^n}$ , 乘法群循环, 子域格, Möbius 反演
§10.2	Frobenius 自同构	Frobenius 映射的性质、Galois 群的生成元、特征多项式、与 Weil 猜想的联系	${\mathrm{Frob}}_p$ , $x\mapsto x^p$ , 迹, Weil 猜想
§10.3	有限域的应用	编码理论 (Reed-Solomon)、密码学 (ECC)、有限射影平面、代数几何入口	BCH 码, 椭圆曲线, 有限几何

---

知识网络

         ┌───────────────────────────┐
         │  正规扩张 + 可分扩张       │
         │  (Ch4 §4.3 + Ch5 §5.2)   │
         └─────────┬─────────────────┘
                   │
         ┌─────────┴─────────────────┐
         │  Galois 对应 (Ch8)         │
         │  (反序双射、子域 ↔ 子群)  │
         └─────────┬─────────────────┘
                   │
      ┌────────────┴────────────┐
      │  ★ 第十章：有限域        │
      │  F_{p^n} 唯一存在         │
      │  Gal(F_{p^n}/F_p) ≅ Z/n  │
      │  子域 ↔ n 的因子          │
      └────────────┬────────────┘
                   │
     ┌─────────────┼─────────────┐
     ▼             ▼             ▼
┌──────────┐ ┌──────────┐ ┌──────────┐
│ 编码理论  │ │ 密码学    │ │ 代数几何  │
│ Reed-    │ │ ECC,     │ │ 有限点,  │
│ Solomon  │ │ AES      │ │ Weil 界  │
└──────────┘ └──────────┘ └──────────┘

---

阅读路径

快速路径（30 分钟）：只读 §10.1 中有限域的存在与唯一性定理（[定理]）和乘法群循环性定理（[定理]），获得有限域的基本直觉。

标准路径（2 小时）：完整阅读 §10.1，理解子域分类和不可约多项式计数的 Möbius 反演方法。然后阅读 §10.2，掌握 Frobenius 自同构和有限域 Galois 理论的完整图景。

深入路径（3 小时）：在标准路径基础上，研究 §10.2 中 Frobenius 的特征多项式和与 Weil 猜想的联系，以及 §10.3 中编码理论和密码学的具体应用。

---

核心定理速览

定理	内容	直觉
[定理]	对每个素数幂 $p^n$ ，存在唯一的 $p^n$ 元域 ${\mathbb{F}}_{p^n}$	有限域由其元素个数完全决定
[定理]	${\mathbb{F}}_{p^n}^{\times }$ 是 $p^n-1$ 阶循环群	有限域的乘法结构极其简洁
[定理]	${\mathbb{F}}_{p^n}$ 的子域恰好是 $\{{\mathbb{F}}_{p^d}:d\mid n\}$	子域格与 $n$ 的因子格同构
[定理]	$\mathrm{Gal}({\mathbb{F}}_{p^n}/{\mathbb{F}}_p)\cong \mathbb{Z}/n\mathbb{Z}$ ，由 Frobenius 生成	有限域的 Galois 群是最简单的循环群
[定理]	${\mathbb{F}}_p[x]$ 中 $n$ 次不可约多项式个数 $=\frac{1}{n}\sum _{d\mid n}\mu (n/d)p^d$	Möbius 反演给出精确计数

---

典型例子一览

有限域	Galois 群	子域	关键观察
${\mathbb{F}}_4={\mathbb{F}}_2(\alpha )$ ， ${\alpha }^2+\alpha +1=0$	$\mathbb{Z}/2\mathbb{Z}$	${\mathbb{F}}_2$	最小的非平凡有限域扩张
${\mathbb{F}}_8={\mathbb{F}}_2(\beta )$ ， ${\beta }^3+\beta +1=0$	$\mathbb{Z}/3\mathbb{Z}$	${\mathbb{F}}_2$	三次扩张，无中间子域（3 是素数）
${\mathbb{F}}_{16}$	$\mathbb{Z}/4\mathbb{Z}$	${\mathbb{F}}_2,{\mathbb{F}}_4$	有中间子域 ${\mathbb{F}}_4$ （因为 $2\mid 4$ ）
${\mathbb{F}}_{p^n}$ 一般	$⟨{\mathrm{Frob}}_p⟩$	$\{{\mathbb{F}}_{p^d}:d\mid n\}$	Frobenius 生成整个 Galois 群

特征 $p$ 的特殊性

在特征 $p$ 的域上，Frobenius 映射 $\varphi (x)=x^p$ 是一个域自同态（不仅是集合映射）。验证 $\varphi (xy)=\varphi (x)\varphi (y)$ 很简单，但验证 $\varphi (x+y)=\varphi (x)+\varphi (y)$ 需要用到二项式系数$(\genfrac{}{}{0ex}{}{p}{k})$ （ $0<k<p$ ）被 $p$ 整除这一关键事实。这在特征 0 的域上完全不成立——这是特征 $p$ 的"魔法"。

---

前置知识

• 必需：第五章 · 分裂域（分裂域的存在唯一性、正规扩张）、第八章 · Galois 对应（反序双射、子域 ↔ 子群）、第二章 · 环论（多项式环、不可约多项式、唯一分解）
• 推荐：第四章 · 多项式（可分性）、第一章 · 群论（循环群）

---

后续指向

• 第十一章：从有限到无限——当域扩张不再是有限生成时，Galois 理论需要 Krull 拓扑
• 第十二章：有限域上的代数几何（Weil 猜想）、有限域上的 Langlands 对应、编码理论与密码学的现代发展

---

← [第九章 · 可解性与作图](/chapters/09-solvability/)[§10.1 有限域的结构 →](10.1-structure)