第八章：有限域

有限域是最简单的域——结构完全分类，Galois 群天然循环，Frobenius 自同构统领一切。本章建立有限域的完整理论。

• 8.1 有限域的分类
  • 定理 8.1 (有限域的阶)
  • 定理 8.2 (存在唯一性)
• 8.2 子域结构
  • 定理 8.3
• 8.3 Frobenius 自同构
  • 定义
  • 性质
• 8.4 有限域的 Galois 群
  • 定理 8.4
  • 推论
• 8.5 有限域上的多项式
  • 不可约多项式计数
  • 本原多项式
• 8.6 Galois 对应的显式刻画
• 8.7 应用场景
• 小结

---

8.1 有限域的分类

定理 8.1 (有限域的阶)

• 任意有限域 $F$ 的阶为 $p^n$，其中 $p=\mathrm{char}F$，$n=[F:{\mathbb{F}}_p]$。
• 任意有限域的乘法群是循环群。

定理 8.2 (存在唯一性)

对每个素数幂 $q=p^n$，存在唯一的 $q$ 元域（同构意义下），记为 ${\mathbb{F}}_q$ 或 $\mathrm{GF}(q)$。

${\mathbb{F}}_q$ 是 $x^q-x$ 在 ${\mathbb{F}}_p$ 上的分裂域。

---

8.2 子域结构

定理 8.3

${\mathbb{F}}_{p^n}$ 包含 ${\mathbb{F}}_{p^m}$ 作为子域 $⟺$ $m\mid n$。

此时 ${\mathbb{F}}_{p^n}/{\mathbb{F}}_{p^m}$ 是次数为 $n/m$ 的 Galois 扩张。

---

8.3 Frobenius 自同构

定义

映射 ${\mathrm{Frob}}_p:{\mathbb{F}}_{p^n}\to {\mathbb{F}}_{p^n}$，$x\mapsto x^p$，称为Frobenius 自同构。

性质

1. ${\mathrm{Frob}}_p$ 是 ${\mathbb{F}}_p$-自同构（由特征 $p$ 下的"新生公式"$(a+b{)}^p=a^p+b^p$ 保证）；
2. ${\mathrm{Frob}}_p^n=\mathrm{id}$；
3. ${\mathrm{Frob}}_p^k$ 的固定域为 ${\mathbb{F}}_{p^{gcd(n,k)}}$。

---

8.4 有限域的 Galois 群

定理 8.4

扩张 ${\mathbb{F}}_{p^n}/{\mathbb{F}}_{p^m}$（$m\mid n$）的 Galois 群为 $n/m$ 阶循环群，生成元为 ${\mathrm{Frob}}_p^m$。

推论

有限域的所有代数扩张都是 Galois 扩张（正规 + 可分）。

---

8.5 有限域上的多项式

不可约多项式计数

${\mathbb{F}}_q[x]$ 中 $n$ 次首一不可约多项式的个数：

$$N_q(n)=\frac{1}{n}\sum _{d\mid n}\mu (d)q^{n/d}$$

其中 $\mu$ 为 Möbius 函数。

本原多项式

乘法群 ${\mathbb{F}}_{p^n}^{\times }$ 的生成元的极小多项式称为本原多项式。在通信和密码学中有重要应用。

---

8.6 Galois 对应的显式刻画

对于 ${\mathbb{F}}_{p^n}/{\mathbb{F}}_p$，Galois 对应非常清晰：

$$\{{\mathbb{F}}_p=K_0\subset K_1\subset \cdots \subset K_n={\mathbb{F}}_{p^n}\}⟷\{\text{Gal}({\mathbb{F}}_{p^n}/{\mathbb{F}}_p)=G_0\supset G_1\supset \cdots \supset G_n=\{1\}\}$$

其中 $K_d={\mathbb{F}}_{p^d}$，$G_d=⟨{\mathrm{Frob}}_p^d⟩$。

---

8.7 应用场景

有限域在现代数学和工程中无处不在：

• 编码理论：Hamming 码、BCH 码、Reed-Solomon 码；
• 密码学：AES (基于 ${\mathbb{F}}_{2^8}$)、椭圆曲线密码；
• 组合设计：有限几何、差集、拉丁方；
• 计算代数：多项式因式分解、Gröbner 基。

---

小结

1. 有限域阶必为 $p^n$，且对每个阶存在唯一有限域；
2. 子域格同构于正因数格；
3. Frobenius 自同构生成整个 Galois 群；
4. 有限域扩张自动为 Galois。

下一章 第九章：Galois 群与基本定理 进入 Galois 理论核心。