提示：数学公式渲染组件（KaTeX）加载失败，公式以源码形式显示，不影响阅读内容。联网后刷新即可正常渲染。
☰本讲目录
◎学习目标
- 理解有限域（Galois 域，常记 \(\mathbb{F}_q\)）的定义：元素个数有限的域；其阶必为素数幂 \(q=p^r\)；
- 掌握基本构造：\(\mathbb{F}_p = \mathbb{Z}/p\mathbb{Z}\)；\(\mathbb{F}_{p^r} \cong \mathbb{F}_p[x]/(f)\)（\(f\) 为 \(\mathbb{F}_p\) 上 \(r\) 次不可约多项式）；
- 证明并记住「有限域唯一性」：同阶有限域在同构意义下唯一，\(\mathbb{F}_{p^r}\) 是唯一的；
- 掌握「有限域包含素域 \(\mathbb{F}_p\)、可看作 \(\mathbb{F}_p\) 上的线性空间」，从而推出阶为素数幂；
- 认识引理「\(x^q-x\) 无重根」「特征 \(p\) 时 \((x+y)^q=x^q+y^q\)（Freshman 二项式）」，并用它理解 Frobenius 映射 \(\alpha \mapsto \alpha^p\) 是域自同构；
- 理解 \(\mathbb{F}_q^*=\mathbb{F}_q\setminus\{0\}\) 在乘法下构成循环群（接第 36 讲），以及本原元（primitive element）与 \(\mathbb{F}_q=\mathbb{F}_p(\alpha)\)；
- 会显式构造 \(\mathbb{F}_4\)、\(\mathbb{F}_8\)、\(\mathbb{F}_9\) 等小有限域，写出其全部元素。
1有限域的定义与特征回顾 ⏱ 00:00
本讲开始学习有限域，有限域也称为伽罗瓦域（Galois 域），英文 finite field，常记作 \(\mathbb{F}_q\)。我们主要想证明两件事：
- 正向：给定一个有限域，它的元素个数一定是素数的某次幂 \(q=p^r\)；
- 反向：给定素数幂 \(q=p^r\)，存在且唯一（同构意义下）一个有限域，其元素个数恰为 \(q\)。⏱ 00:09
1.1 先回顾「特征」 ⏱ 00:33
定义 · 环的特征（characteristic）
设 \(R\) 为整环，若存在非零元素 \(a\) 及正整数 \(P\) 使 \(P\cdot a=0\)（即 \(P\) 个 \(a\) 相加为 \(0\)），则称 \(a\) 为非零周期元（torsion element）。取使 \(P\cdot a=0\) 的最小正整数，可证这个 \(P\) 必为素数，称为整环 \(R\) 的特征，记作 \(\operatorname{char}(R)=P\)。若整环中没有非零周期元，则称其特征为 \(0\)。⏱ 00:45
例：\(\mathbb{Z}\) 特征为 \(0\)；有理数域 \(\mathbb{Q}\)、复数域 \(\mathbb{C}\) 特征也均为 \(0\)（任意正整数个有理/复数相加永不为 \(0\)）。⏱ 03:20
基本例子 · \(\mathbb{F}_p = \mathbb{Z}/p\mathbb{Z}\) ⏱ 01:48
设 \(p\) 为素数，则模 \(p\) 的整数环 \(\mathbb{Z}/p\mathbb{Z}\) 是一个域：其中任何非零元都有逆元。\(p\) 个 \(1\) 相加等于 \(0\)，且 \(p\) 是使这件事成立的最小数，故其特征为 \(p\)。此域记为 \(\mathbb{F}_p\)，恰有 \(p\) 个元素。特征为 \(0\) 的例则是 \(\mathbb{Q}\)、\(\mathbb{C}\) 等。
本讲路线
回顾特征与 \(\mathbb{F}_p\) \(\to\) 有限域可看作 \(\mathbb{F}_p\) 上的有限维线性空间，推出阶为 \(p^r\)（素数幂）\(\to\) 基本构造 \(\mathbb{F}_{p^r}\cong\mathbb{F}_p[x]/(f)\) 与例 \(\mathbb{F}_4\) \(\to\) 引理（\(x^q-x\) 无重根、Freshman 二项式）\(\to\) Frobenius 自同构 \(\to\) 存在性与唯一性 \(\to\) \(\mathbb{F}_q^*\) 循环与本原元 \(\to\) \(\mathbb{F}_8,\mathbb{F}_9\) 等显式例子。
2基本构造：\(\mathbb{F}_p\) 与 \(\mathbb{F}_{p^r}\) ⏱ 03:41
命题 · 有限域含素域 \(\mathbb{F}_p\) ⏱ 04:28
设 \(K\) 为特征 \(p\)（素数）的有限域，则 \(K\) 必包含一个同构于 \(\mathbb{F}_p\) 的子域（即 \(K\) 的素域）。
证明思路（点击展开）⏱ 06:00
- 考虑环同态 \(\pi:\mathbb{Z}\to K\)，把整数 \(1\) 映到 \(K\) 的单位元 \(1_K\)（记为 \(e_K\)，为与整数环的 \(1\) 区分）。⏱ 06:19
- 由环同态基本定理，\(\mathbb{Z}/\ker(\pi)\cong \operatorname{im}(\pi)\)。而 \(\ker(\pi)=\{n\in\mathbb{Z}: n\cdot 1_K=0\}\)，因 \(K\) 的特征为素数 \(p\)，故 \(\ker(\pi)=p\mathbb{Z}\)，从而 \(\mathbb{Z}/p\mathbb{Z}\cong\operatorname{im}(\pi)\)。⏱ 08:44
- \(\operatorname{im}(\pi)\) 是 \(K\) 的一个子域且同构于 \(\mathbb{Z}/p\mathbb{Z}\)，所以在同构意义下 \(K\) 包含子域 \(\mathbb{F}_p\)，这个子域即称 \(K\) 的素域。⏱ 09:15
2.1 有限域可看作 \(\mathbb{F}_p\) 上的线性空间 ⏱ 09:58
推论 · 有限域阶为素数幂
有限域 \(K\)（特征 \(p\)）可视为 \(\mathbb{F}_p\) 上的有限维线性空间，设其维数为 \(r\)，则
\[ |K| = p^{\,r}, \]
即有限域的阶一定是素数的某次幂。
2.2 二次构造：商域 \(\mathbb{F}_p[x]/(f)\)
构造 · \(\mathbb{F}_{p^r}\) ⏱ 10:34
取 \(\mathbb{F}_p\) 上一个 \(r\) 次不可约多项式 \(f(x)\)，则由「域上多项式环中不可约多项式生成极大理想，其商环为域」可知
\[ \mathbb{F}_{p^r} \;\cong\; \mathbb{F}_p[x]/(f(x)), \]
恰有 \(p^r\) 个元素：每个元素可唯一写成 \(a_0+a_1\alpha+\cdots+a_{r-1}\alpha^{r-1}\)，其中 \(\alpha\) 是 \(f\) 的一个根，各系数 \(a_i\in\mathbb{F}_p\)。
2.3 符号约定：\(\mathbb{F}_q\) 与 \(\mathbb{Z}/q\mathbb{Z}\) 不同 ⏱ 13:09
重要区分
记 \(q=p^r\)，\(\mathbb{F}_q\) 表示具有 \(q\) 个元素的有限域。当 \(r=1\) 时 \(\mathbb{F}_p=\mathbb{Z}/p\mathbb{Z}\)；但当 \(r\ge 2\) 时，\(\mathbb{F}_{p^r}\) 与 \(\mathbb{Z}/p^r\mathbb{Z}\) 不同构——因为 \(\mathbb{Z}/p^r\mathbb{Z}\) 不一定是域（存在零因子）。例如 \(p=3\)：\(\mathbb{Z}/9\mathbb{Z}\) 中 \(3\cdot3=0\)，故 \(3\) 是零因子，它不是域；而 \(\mathbb{F}_9\) 是真域。⏱ 15:11
3有限域的阶必为素数幂 ⏱ 10:04
把第 2 节「含素域」与「看作线性空间」合并，就得到本讲的核心正向结论。
证明：有限域阶数为素数幂（点击展开）⏱ 10:21
- 设 \(K\) 为有限域。由第 1 节，\(K\) 含素域 \(\mathbb{F}_p\)（\(p\) 为素数，即 \(K\) 的特征），且 \(K\) 可看作 \(\mathbb{F}_p\) 上的有限维向量空间。⏱ 10:38
- 设维数为 \(r\)，取一组基 \(\alpha_1,\dots,\alpha_r\)，则 \(K\) 中任一元可写成线性组合 \[ x = a_1\alpha_1+\cdots+a_r\alpha_r,\qquad a_i\in\mathbb{F}_p. \] 每个 \(a_i\) 有 \(p\) 种取法（\(\mathbb{F}_p\) 有 \(p\) 个元素），故 \[ |K| = p^{\,r}. \] ⏱ 11:25
- 且此素数 \(p\) 恰好就是 \(K\) 的特征。因此有限域的阶一定是素数的某次幂，反向也得到：任意有限域同构于某个 \(\mathbb{F}_{p^r}\)。⏱ 11:38
记号统一 ⏱ 12:59
设 \(p\) 为素数、\(q=p^r\)，则具有 \(q\) 个元素的有限域记作 \(\mathbb{F}_q\)。当 \(r=1\) 时即 \(\mathbb{F}_p\)；当 \(r\ge2\) 时 \(\mathbb{F}_{p^r}\) 由 2.2 节的商域 \(\mathbb{F}_p[x]/(f)\) 构造，而它和 \(\mathbb{Z}/p^r\mathbb{Z}\) 是两回事（后者一般不是域）。
4例：\(\mathbb{F}_4\) 的显式构造 ⏱ 16:01
取 \(p=2\)、\(r=2\)，即 \(q=2^2=4\)。考虑 \(\mathbb{F}_2\) 上的二次多项式
\[ f(x)=x^2+x+1. \]
第一步 · 验证不可约 ⏱ 16:13
若 \(f\) 可约（二次多项式），则可分解为两个一次因式之积，即 \(\mathbb{F}_2\) 上存在根。把 \(\mathbb{F}_2=\{0,1\}\) 代入：\(f(0)=1\)，\(f(1)=1+1+1=1\)（模 \(2\)），都不为 \(0\)，故 \(f\) 在 \(\mathbb{F}_2\) 上无根，从而不可约。⏱ 17:09
第二步 · 构造 \(\mathbb{F}_4\) ⏱ 17:19
取 \(f\) 的一个根 \(\alpha\)（\(\alpha^2+\alpha+1=0\)），则单扩域
\[ \mathbb{F}_4 = \mathbb{F}_2(\alpha) \cong \mathbb{F}_2[x]/(x^2+x+1), \]
作为 \(\mathbb{F}_2\) 上的线性空间维数为 \(2\)（多项式次数为 \(2\)），故元素个数为 \(2^2=4\)。⏱ 18:04
第三步 · 写出全部元素 ⏱ 19:12
每个元素都可唯一写成 \(a+b\alpha\)（\(a,b\in\{0,1\}\)），且由关系 \(\alpha^2=-\alpha-1=\alpha+1\)（\(\mathbb{F}_2\) 中 \(-1=1\)）可把更高次幂降回来。于是
\[ \mathbb{F}_4 = \{\, 0,\ 1,\ \alpha,\ 1+\alpha \,\}, \qquad \alpha^2+\alpha+1=0. \]
注意 \(\mathbb{F}_4\neq \mathbb{Z}/4\mathbb{Z}\)：后者中 \(2\cdot2=0\)，\(2\) 是零因子，故不是域。⏱ 20:35
| \(\mathbb{F}_4\) 元素 | 表示形式 | 备注 |
|---|---|---|
| \(0\) | \(0\) | 零元 |
| \(1\) | \(1\) | 单位元 |
| \(\alpha\) | \(\alpha\) | \(f\) 的根，\(\alpha^2=\alpha+1\) |
| \(1+\alpha\) | \(1+\alpha\) | 等于 \(\alpha^2\)；也是 \(f\) 的另一根 |
5两个要用到的引理：无重根与 Freshman 二项式 ⏱ 21:12
5.1 重根与导数判据 ⏱ 21:20
引理 · 重根判据
设 \(\alpha\) 是域上多项式 \(f(x)\) 的根。则 \(\alpha\) 是 \(f\) 的重根（重数 \(\ge 2\)）当且仅当 \(\alpha\) 同时也是 \(f\) 的导数 \(f'(x)\) 的根。即：
- 若 \(\alpha\) 是根，则 \((x-\alpha)\mid f(x)\)；若为重根，则 \((x-\alpha)^2\mid f(x)\)；⏱ 21:59
- 若 \(\alpha\) 是 \(f\) 的根，则 \(\alpha\) 也必是 \(f'\) 的根（对 \(f=(x-\alpha)g\) 求导，代入 \(\alpha\) 仍为 \(0\)）。⏱ 22:16
5.2 \(x^q-x\) 在任意扩域中无重根 ⏱ 24:54
引理 · \(f(x)=x^q-x\) 无重根（\(q=p^r\)）
设域 \(K\) 特征为 \(p\)，\(q=p^r\)，则 \(f(x)=x^q-x\) 在 \(K\) 的任意扩域中都没有重根。
证明（点击展开）⏱ 26:30
由 5.1 判据，只要证 \(f(x)\) 与 \(f'(x)\) 没有公共根（即 \(f'\) 恒不为 \(0\)）。
求导：\(f'(x)=q\,x^{q-1}-1\)。在特征 \(p\) 的域中，\(q=p^r\) 是 \(p\) 的倍数，故系数 \(q\equiv 0\)（模 \(p\)），于是
\[ f'(x) = -1. \]
\(f'(x)=-1\) 永远不为 \(0\)，所以 \(f\) 无重根。⏱ 27:47
5.3 Freshman 二项式 \((x+y)^q=x^q+y^q\) ⏱ 29:54
引理 · 特征 \(p\) 下的 Freshman 二项式
在特征 \(p\) 的域 \(K\) 上，\(q=p^r\)，有
\[ (x+y)^q = x^q + y^q. \]
证明（对 \(r\) 归纳，点击展开）⏱ 30:29
基础（\(r=1\)）：由二项式公式 \[ (x+y)^p = x^p + {p\choose 1}x^{p-1}y+\cdots+{p\choose p-1}xy^{p-1}+y^p, \] 其中中间每一项系数 \({p\choose i}\)（\(1\le i\le p-1\)）都是 \(p\) 的倍数，在特征 \(p\) 下全为 \(0\)，故 \((x+y)^p=x^p+y^p\)。⏱ 32:18
归纳：假设 \((x+y)^{p^{r-1}}=x^{p^{r-1}}+y^{p^{r-1}}\)。则 \[ (x+y)^{p^r} = \big((x+y)^{p^{r-1}}\big)^{p} = \big(x^{p^{r-1}}+y^{p^{r-1}}\big)^{p} = x^{p^r}+y^{p^r}, \] 最后一步用了 \(r=1\) 的结论（把 \(x^{p^{r-1}}\)、\(y^{p^{r-1}}\) 当作新的“\(x\)、\(y\)”）。⏱ 33:07
于是 \(q=p^r\) 时 \((x+y)^q=x^q+y^q\)，得证。
用途
这条 Freshman 二项式（“freshman's dream”）是有限域里计算利器：它既用于证明 \(x^q-x\) 无重根相关计算，也是下一节 Frobenius 自同构的核心工具。
6Frobenius 自同构 ⏱ 33:47
定义 · Frobenius 映射
设 \(K=\mathbb{F}_q\)（\(q=p^r\)）为有限域。定义映射 \(\varphi:K\to K\) 为
\[ \varphi(\alpha)=\alpha^{p}. \]
称 \(\varphi\) 为 \(K\) 的 Frobenius 自同构（Frobenius automorphism）。
命题 · \(\varphi\) 是域自同构
- 保持加法：由 5.3，\(\varphi(x+y)=(x+y)^p=x^p+y^p=\varphi(x)+\varphi(y)\)；⏱ 34:39
- 保持乘法：\(\varphi(xy)=(xy)^p=x^p y^p=\varphi(x)\varphi(y)\)；
- 满且单：核 \(\ker\varphi=\{\alpha\in K:\alpha^p=0\}=\{0\}\)（域中非零元相乘非零），故 \(\varphi\) 单；又 \(K\) 有限，有限集合上单映射必满，故 \(\varphi\) 是双射，从而是域自同构。⏱ 35:29
此 Frobenius 自同构后面在研究有限域的伽罗瓦群（\(\operatorname{Gal}(\mathbb{F}_{p^r}/\mathbb{F}_p)\) 由 \(\varphi\) 生成，为循环群）时还会反复用到。⏱ 37:47
7存在性与唯一性：\(\mathbb{F}_{p^r}\) 的存在且唯一 ⏱ 38:27
定理 · 有限域的存在性与唯一性
设 \(p\) 为素数、\(r\) 为正整数，则存在唯一（在同构意义下）的有限域 \(K\)，其元素个数恰为 \(p^r\)。
7.1 存在性：用分裂域构造 ⏱ 39:54
取 \(f(x)=x^q-x\)（\(q=p^r\)）在 \(\mathbb{F}_p\) 上的分裂域 \(L\)（包含 \(f\) 全部根且含 \(\mathbb{F}_p\) 的最小域）。由 5.2，\(f\) 无重根，故为 \(q\) 次多项式恰有 \(q\) 个互异根 \(\lambda_1,\dots,\lambda_q\)。记
\[ K = \{\, \lambda_1,\dots,\lambda_q \,\}, \]
下面证 \(K\) 是 \(L\) 的子域。
证明 \(K\) 是子域（点击展开）⏱ 40:44
\(K\) 的特征就是 \(q=p^r\) 下满足 \(x^q-x=0\) 的集合。对 \(\alpha,\beta\in K\)，有 \(\alpha^q=\alpha\)、\(\beta^q=\beta\)（因为它们都是 \(f\) 的根）。逐项验证封闭性与逆元：
- 加法封闭：\((\alpha+\beta)^q=\alpha^q+\beta^q=\alpha+\beta\)（用 5.3），故 \(\alpha+\beta\in K\)；⏱ 41:44
- 乘法封闭：\((\alpha\beta)^q=\alpha^q\beta^q=\alpha\beta\)，故 \(\alpha\beta\in K\)；
- 逆元：若 \(\alpha\neq 0\)，\((\alpha^{-1})^q=(\alpha^q)^{-1}=\alpha^{-1}\)，故 \(\alpha^{-1}\in K\)；
- 负元 \(-\alpha\)：只需证 \(-1\in K\)。分两种情况：⏱ 44:29
- 若特征 \(p=2\)：此时 \(-1=1\)，而 \(1\) 满足 \(1^q-1=0\)，故 \(-1=1\in K\)；
- 若特征 \(p\neq 2\)（素数 \(p\) 为奇数）：则 \(q=p^r\) 也是奇数，故 \((-1)^q=-1\)，即 \((-1)^q-(-1)=0\)，\(-1\) 是 \(f\) 的根，故 \(-1\in K\)。
于是 \(-1\in K\)，结合乘法封闭得 \(-\alpha\in K\)。子域条件全满足，\(K\) 是 \(L\) 的子域且恰有 \(q=p^r\) 个元素——存在性得证。⏱ 46:06
7.2 唯一性（本原元生成视角）⏱ 48:23
证明：\(\mathbb{F}_{p^r}\) 唯一（点击展开）
- 设 \(K\) 为 7.1 中构造出的 \(q=p^r\) 个元素的有限域。由 8 节（接第 36 讲），\(K^*=\mathbb{F}_q^*\)（去掉 \(0\) 的非零元）在乘法下构成循环群，元素个数为 \(q-1\)。⏱ 51:17
- 取 \(K^*\) 的一个生成元（本原元）\(\alpha\)，则 \(\alpha\) 可生成整个 \(\mathbb{F}_q\)：\(\mathbb{F}_q=\mathbb{F}_p(\alpha)\)——即任何有限域都可由其素域 \(\mathbb{F}_p\) 加一个本原元生成。⏱ 52:09
- 另一方面，\(K\) 中的每个元素（含 \(0\)）都是 \(x^q-x\) 的根（\(K\) 的 \(q\) 个元素恰好是 \(f\) 的全部根，因 \(f\) 为 \(q\) 次多项式至多 \(q\) 个根）。而 \(K\) 包含 \(\mathbb{F}_p\)，故 \(K\) 正是 \(f(x)=x^q-x\) 在 \(\mathbb{F}_p\) 上的分裂域。⏱ 53:37
- 由分裂域的唯一性（同构意义下），\(f(x)=x^q-x\) 在 \(\mathbb{F}_p\) 上的分裂域唯一，故 \(\mathbb{F}_{p^r}\) 唯一。⏱ 55:10
小结 ⏱ 55:50
到此，有限域的「阶必为素数幂」与「给定素数幂存在且唯一的有限域」都已证明：任何有限域同构于唯一的 \(\mathbb{F}_{p^r}\)，且 \(\mathbb{F}_q\) 由其素域 \(\mathbb{F}_p\) 与一个本原元 \(\alpha\)（生成 \(\mathbb{F}_q^*\)）所决定，\(\mathbb{F}_q=\mathbb{F}_p(\alpha)\)。
8\(\mathbb{F}_q^*\) 为循环群与本原元；更多例子 ⏱ 51:04
定理（接第 36 讲）· \(\mathbb{F}_q^*\) 循环
有限域 \(\mathbb{F}_q\) 去掉 \(0\) 后的非零元乘法群 \(\mathbb{F}_q^*=\mathbb{F}_q\setminus\{0\}\) 是一个循环群，元素个数为 \(q-1\)。
定义 · 本原元（primitive element）
\(\mathbb{F}_q^*\) 的生成元 \(\alpha\)（满足 \(\alpha^{q-1}=1\) 且 \(\langle\alpha\rangle=\mathbb{F}_q^*\)）称为 \(\mathbb{F}_q\) 的本原元（primitive element / generator of \(\mathbb{F}_q^*\)）。由此 \(\mathbb{F}_q=\mathbb{F}_p(\alpha)\)——有限域由其素域与本原元生成。
8.1 显式例子 ⏱ 56:14
| 域 | 阶 \(q\)（特征） | 构造（不可约多项式） | 元素个数 |
|---|---|---|---|
| \(\mathbb{F}_4\) | \(2^2\)（特征 2） | \(\mathbb{F}_2[x]/(x^2+x+1)\) | 4 |
| \(\mathbb{F}_8\) | \(2^3\)（特征 2） | \(\mathbb{F}_2[x]/(x^3+x+1)\)（\(\mathbb{F}_2\) 上 3 次不可约） | 8 |
| \(\mathbb{F}_9\) | \(3^2\)（特征 3） | \(\mathbb{F}_3[x]/(x^2+1)\)（\(\mathbb{F}_3\) 上 2 次不可约） | 9 |
- \(\mathbb{F}_8\)：\(\mathbb{F}_2\) 上 3 次多项式，如 \(x^3+x+1\) 无根（代入 \(0\)、\(1\) 分别为 \(1\)、\(0\)…实际 \(f(1)=1\)），不可约，故 \(\mathbb{F}_8=\mathbb{F}_2(\beta)\)，\(\beta^3+\beta+1=0\)；
- \(\mathbb{F}_9\)：\(\mathbb{F}_3\) 上 \(x^2+1\) 无根（\(0\mapsto1,1\mapsto2,2\mapsto2\)），不可约，故 \(\mathbb{F}_9=\mathbb{F}_3(\gamma)\)，\(\gamma^2+1=0\)（即 \(\gamma^2=2\)）。
预告
下一讲将研究有限域的伽罗瓦群：\(\operatorname{Gal}(\mathbb{F}_{p^r}/\mathbb{F}_p)\) 由 Frobenius \(\alpha\mapsto\alpha^p\) 生成，为 \(r\) 阶循环群；并讨论有限域的嵌入与子域结构。
★重点回顾
1
有限域（Galois 域）：元素个数有限的域，记 \(\mathbb{F}_q\)；其阶必为素数幂 \(q=p^r\)（\(p\) 素数为特征，\(r\) 为维数）。
2
基本构造：\(\mathbb{F}_p=\mathbb{Z}/p\mathbb{Z}\)；\(\mathbb{F}_{p^r}\cong\mathbb{F}_p[x]/(f)\)（\(f\) 为 \(r\) 次不可约多项式），元素写成 \(a_0+a_1\alpha+\cdots+a_{r-1}\alpha^{r-1}\)。
3
阶为素数幂：有限域 \(K\) 含素域 \(\mathbb{F}_p\)，可看作 \(\mathbb{F}_p\) 上 \(r\) 维线性空间，故 \(|K|=p^r\)；且 \(K\) 同构于唯一 \(\mathbb{F}_{p^r}\)。
4
唯一性：\(K\) 的 \(q\) 个元素恰为 \(x^q-x\) 在 \(\mathbb{F}_p\) 上的全部根，故 \(K\) 是该多项式的分裂域；由分裂域唯一性，\(\mathbb{F}_{p^r}\) 唯一。本原元 \(\alpha\) 生成 \(K\)：\(\mathbb{F}_q=\mathbb{F}_p(\alpha)\)。
5
引理：\(x^q-x\)（\(q=p^r\)）无重根（导数 \(f'=-1\)）；特征 \(p\) 时 Freshman 二项式 \((x+y)^q=x^q+y^q\)。
6
Frobenius 自同构：\(\varphi(\alpha)=\alpha^p\) 在有限域 \(\mathbb{F}_q\) 上为域自同构（保持加、乘，单且有限故满）。
7
\(\mathbb{F}_q^*\) 循环与本原元（接第 36 讲）：非零元乘法群 \(\mathbb{F}_q^*\) 为循环群，阶 \(q-1\)；生成元称本原元 primitive element，\(\mathbb{F}_q=\mathbb{F}_p(\alpha)\)。
8
显式例子：\(\mathbb{F}_4=\mathbb{F}_2(\alpha)\)，\(\alpha^2+\alpha+1=0\)，元素 \(\{0,1,\alpha,1+\alpha\}\)；\(\mathbb{F}_8\)（\(\mathbb{F}_2[x]/(x^3+x+1)\)）、\(\mathbb{F}_9\)（\(\mathbb{F}_3[x]/(x^2+1)\)）。
⚠易错点提醒
常见错误
- 把 \(\mathbb{F}_{p^r}\) 与 \(\mathbb{Z}/p^r\mathbb{Z}\) 混为一谈：\(r\ge2\) 时 \(\mathbb{Z}/p^r\mathbb{Z}\) 有零因子（如 \(\mathbb{Z}/9\mathbb{Z}\) 中 \(3\cdot3=0\)），不是域；\(\mathbb{F}_{p^r}\) 是商域 \(\mathbb{F}_p[x]/(f)\)（\(f\) 不可约）。
- 认为“有限域一定就是 \(\mathbb{Z}/n\mathbb{Z}\)”：只有 \(n\) 为素数时 \(\mathbb{Z}/n\mathbb{Z}\) 才是域（即 \(\mathbb{F}_p\)）；\(q=p^r\)（\(r\ge2\)）的有限域需由不可约多项式商构造。
- Freshman 二项式用错场合：\((x+y)^q=x^q+y^q\) 仅在特征 \(p\)（且 \(q=p^r\)）下成立；在特征 \(0\) 的域（\(\mathbb{Q},\mathbb{C}\)）中 \((x+y)^2=x^2+2xy+y^2\)，中间项不消失。
- 证无重根时忘算导数：须用 5.1 判据，证 \(f\) 与 \(f'\) 无公共根；对 \(x^q-x\)，\(f'=-1\) 恒非零，故无重根，别把 \(-1\) 当成 \(0\)。
- 证子域时漏掉负元 \(-\alpha\)：须先证 \(-1\in K\)，而 \(-1\) 是 \(f\) 的根需分特征 \(p=2\)（\(-1=1\)）与 \(p\ne2\)（\(q\) 奇，\((-1)^q=-1\)）两种情况。
- 本原元生成 \(K^*\) 但 \(\alpha\) 幂次须注意：本原元 \(\alpha\) 满足 \(\alpha^{q-1}=1\)，生成 \(\mathbb{F}_q^*\)（\(q-1\) 个非零元）；别把“生成整个 \(\mathbb{F}_q\)”与“生成 \(\mathbb{F}_q^*\)”混淆——\(\mathbb{F}_q=\mathbb{F}_p(\alpha)\) 是作为域生成，包含 \(0\)。
✎自测与作业
- 证明 \(\mathbb{F}_2\) 上的二次多项式 \(x^2+x+1\) 不可约，并写出 \(\mathbb{F}_4=\mathbb{F}_2(\alpha)\)（\(\alpha^2+\alpha+1=0\)）的全部四个元素，验证它们构成一个域（加法、乘法封闭与逆元）。
- 设 \(K\) 为特征 \(p\)（素数）的有限域。证明 \(K\) 必包含同构于 \(\mathbb{F}_p\) 的子域（素域），并由此推出 \(|K|=p^r\)（素数幂）。
- 证明引理：在特征 \(p\) 的域上，\(q=p^r\) 时多项式 \(f(x)=x^q-x\) 没有重根（提示：求导 \(f'=-1\)，用 5.1 判据）。并由此证明 \((x+y)^q=x^q+y^q\)（对 \(r\) 归纳，Freshman 二项式）。
- 证明映射 \(\varphi:\mathbb{F}_q\to\mathbb{F}_q\)，\(\varphi(\alpha)=\alpha^p\) 是域自同构（Frobenius）：验证保持加法、乘法，且核为 \(\{0\}\) 故单；再由有限性推出满。
- 构造 \(\mathbb{F}_8=\mathbb{F}_2[x]/(x^3+x+1)\) 与 \(\mathbb{F}_9=\mathbb{F}_3[x]/(x^2+1)\)：写出各自的全部元素，并验证所选多项式在对应素域上不可约。
- （作业）设 \(K\) 为 \(q=p^r\) 个元素的有限域。证明 \(K\) 中所有元素恰为 \(x^q-x\) 在 \(\mathbb{F}_p\) 上的全部根，从而 \(K\) 是该多项式的分裂域；结合分裂域唯一性，说明 \(\mathbb{F}_{p^r}\) 在同构意义下唯一（并指出本原元 \(\alpha\) 满足 \(\mathbb{F}_q=\mathbb{F}_p(\alpha)\)）。
下一讲预告
第 43 讲：有限域的伽罗瓦群——\(\operatorname{Gal}(\mathbb{F}_{p^r}/\mathbb{F}_p)\) 由 Frobenius 自同构 \(\alpha\mapsto\alpha^p\) 生成，为 \(r\) 阶循环群；并讨论有限域的子域与嵌入结构。