← 返回读本目录
九章格数学 PhiloMath · K2C · 抽象代数配套

域论专题读本 · 其八

有限域与域论中的有限条件：𝔽q 的完整解剖

域论专题读本 · 其八《代数学基础（下·第 2 版）》第四章补充读物

本册定位。 域论里有两种起跑线：ℚ 与 𝔽p（其一第一节）。前七册几乎全在 ℚ 这一支上走，本册转回特征 p 那一支，把最小的、最完整的、最可算的一族域——有限域——彻底解剖。有限域的美在于「一切都能列出来」：元素个数必是素数幂 q = pn，加法定型（≅ (ℤ/p)n），乘法群是循环群（𝔽q× ≅ Cq−1），子域格完全由 n 的因数决定，自同构群由 Frobenius 生成（≅ Cn），连「n 次不可约多项式有几个」都有闭公式（Möbius 反演）。它还是伽罗华理论最干净的例子：永远伽罗华、永远 Abel（其六例 6.3）。

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

本系列为第四章「域的扩张」的每一块骨架配置延伸读本，编排如下（「→」表示后续册将深化）：

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

其二 域的自同构群——Frobenius 是 Aut 的样本（接口：§5.2）。

其三 极小多项式与扩域构造法——𝔽4、𝔽9 的造法（接口：§4.1）。

其四 尺规作图的域论解释（接口：§5.8）。

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

其六 伽罗华扩域——有限域是「永远伽罗华」的样本（接口：§5.4）。

其七 域在 Abel 群上的作用（接口：§5.3）。

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

其九 范畴论中的域——Field 范畴无自由对象（接口：§4.1 的重述）。

本册是九册里最有「算法味」的一册：它的每一条定理都配一个可执行的计算（造域、找生成元、数子域、数不可约多项式）。

一有限域的存在唯一：q = pn

定理 1.1（有限域的特征与阶）。 设 F 是有限域。则 F 的特征是某个素数 p，且 |F| = pn（n ≥ 1）。

证明梗概. 特征不能是 0（否则含 ℚ，无限）；设为 p。素域 𝔽p ⊆ F。把 F 看成 𝔽p-向量空间，其维数 n 有限（否则 F 无限），故 |F| = pn。□

定理 1.2（存在唯一）。 对每个素数幂 q = pn，恰存在一个 q 元有限域（同构意义下），记作 𝔽q 或 GF(q)。

唯一性的刻画：𝔽q 是 xq − x 在 𝔽p 上的分裂域。理由：xq − x 的导数是 q xq−1 − 1 = −1（特征 p，q = pn ≡ 0），与 xq − x 互素，故有 q 个互异根；这 q 个根本身构成一个域（封闭性靠 Frobenius：(a+b)q = aq + bq），恰好就是 𝔽q。存在性由其五的分裂域存在性给出。

一条必须记住的公式。 对 α ∈ 𝔽q：αq = α（每个元素都是 xq − x 的根）。这条「q 次幂是恒等」的性质，是有限域一切计算的总钥匙。

数值注记（A 组）。 脚本 A 组自建六个有限域（𝔽4, 𝔽8, 𝔽16 用 𝔽2 上不可约多项式 x2+x+1、x3+x+1、x4+x+1；𝔽9, 𝔽25, 𝔽27 用 𝔽3, 𝔽5, 𝔽3 上的 x2+1、x2+2、x3+2x+1），逐一验证「每个非零元可逆 ⟹ 是域」，并核对元素个数 = q。

二𝔽q 的三层结构：加法 (ℤ/p)n、乘法循环、Frobenius

𝔽q 有两个「半边」和一个「对称」：

加法半边：𝔽q ≅ (ℤ/pℤ)n（作为加法群）。 它是 n 维 𝔽p-向量空间，特征 p，每个非零元的加法阶都是 p。

乘法半边：𝔽q× ≅ Cq−1（循环群）。 这是有限域最漂亮的性质：有限域的乘法群永远是循环群。

定理 2.1（乘法群循环）。 设 F 是有限域。则 F× 是阶 |F| − 1 的循环群；其生成元称为 F 的本原元（primitive element）。

证明梗概. 思路：F× 是有限 Abel 群；若它不循环，则存在某个素数 ℓ 使其 ℓ-挠子群需要 ≥ 2 个生成元，于是 xℓk − 1 会有超过 ℓk 个根——矛盾（一个次数 d 的多项式最多 d 个根）。

对称：Frobenius 自同构 Fr : x ↦ xp。 它是 𝔽q 的域自同构（其二定理 6.1），阶为 n，且

Gal(𝔽q/𝔽p) = ⟨Fr⟩ ≅ Cn。

因为 Cn 是 Abel 群，由其六定理 5.1，𝔽q/𝔽p 的每个中间域都正规——有限域是「一切扩张都正规」的理想国。

数值注记（B、D 组）。 脚本 B 组对每个有限域找乘法群的生成元（阶恰为 q − 1）；D 组验证 Frobenius 的阶恰为 n。

三子域格：m | n

定理 3.1（子域格）。 𝔽pm 是 𝔽pn 的子域 ⟺ m | n。特别地，𝔽pn 的全部子域恰是 {𝔽pd : d | n}，共 τ(n) 个（τ 为因数个数函数）。

等价刻画（用 Frobenius）。 𝔽pm = {x ∈ 𝔽pn : xpm = x}。于是「m | n」这件事有一个纯代数的检验：哪些元素满足「pm 次幂不动」。

子域格是上下颠倒的因数格。 例如 n = 12 时，子域对应 d ∈ {1, 2, 3, 4, 6, 12}，其包含关系与因数的整除关系完全一致：𝔽p ⊂ 𝔽p2 ⊂ 𝔽p4 ⊂ 𝔽p12 与 𝔽p ⊂ 𝔽p3 ⊂ 𝔽p6 ⊂ 𝔽p12 是两条最强的链。

数值注记（C 组）。 脚本 C 组核对：𝔽24 的子域对应 m = 1, 2, 4；𝔽26 对应 m = 1, 2, 3, 6；并确认 4 ∤ 6，故 𝔽26 里没有 𝔽24 子域。

四不可约多项式的计数（Möbius 反演）

𝔽q 上次数 n 的首一不可约多项式有多少个？有一个漂亮的闭公式。

定理 4.1（不可约多项式计数）。 记 Nq(n) 为 𝔽q[x] 中次数 n 的首一不可约多项式个数，则

Nq(n) = (1/n) · ∑d | n μ(d) · qn/d，

其中 μ 是 Möbius 函数（μ(d) = 0 若有平方因子，= (−1)因数个数 否则）。

公式的直觉。 𝔽q 上次数 n 的首一多项式共 qn 个；每个都可以唯一分解为首一不可约之积，而「不可约块的次数 d 整除 n'」这件事与 𝔽qd 子域的关系一致。用「xqn − x = ∏（次数整除 n 的首一不可约多项式）」这条恒等式 + Möbius 反演，即得公式。

小小的一张表（q = 2）。 N2(1) = 2、N2(2) = 1、N2(3) = 2、N2(4) = 3。合计 2 + 1 + 2 + 3 = 8 个次数 ≤ 4 的首一不可约多项式（其一第六节已列过这 8 个）。

数值注记（E 组）。 脚本 E 组用「公式」与「暴力枚举 + 试除」两条路分别算出 q = 2、n = 1…4 的 N2(n)，两条结果一致（2, 1, 2, 3）——一次公式与算法的对拍。

五本原多项式与离散对数

定义 5.1（本原多项式）。 f ∈ 𝔽q[x] 称为本原多项式（primitive polynomial），若 f 是不可约的、且它的根是 𝔽qn× 的本原元（阶为 qn − 1）。

本原多项式的用途。 ① 它给出 𝔽qn 的「标准构造」（用 f 造 F[x]/(f)）；② 它把乘法群写成指数形式——离散对数：每个非零元 = 生成元的某次幂。

离散对数与密码学。 在 𝔽p×（或椭圆曲线群）里，「已知 g 与 gk，求 k」是困难问题——这就是 Diffie–Hellman 密钥交换与 ElGamal 加密的基础。有限域乘法群的循环结构（定理 2.1）是这些协议能存在的前提：没有生成元，就没有「指数表示」。

本原多项式的存在性。 由定理 4.1 的精确版本（本原多项式的个数 = φ(qn − 1)/n > 0）可知：对每个 n ≥ 1，𝔽q 上必存在 n 次本原多项式。这保证「标准构造」总可行。

数值注记（F 组）。 脚本 F 组核对 𝔽2 上 x2+x+1、x3+x+1、x4+x+1 都是本原多项式（它们的根生成整个乘法群），并列出 φ(qn − 1)/n 以确认存在性。

六Wedderburn 小定理：有限除环必为域

有限域的定义里「域」即「交换除环」。有没有非交换的有限除环？

定理 6.1（Wedderburn 小定理，1905）。 每个有限除环都是域（即有限除环必交换）。

证明梗概（群论式的计数论证）. 设 D 是有限除环、中心 Z。若 D ≠ Z，取 Z 上的共轭类方程：把 D× 分成共轭类，每类大小 = |D×| / |CD×(x)|（中心化子指数）。把 D 看成 Z-向量空间（维数 n），中心化子是 Z 上的除环，维数 d | n。分圆多项式的算术（对 n 次分圆多项式 Φn(x) 在 x = |Z| 处的估计）会导出一个算术矛盾——有限除环必然交换。

为什么它重要？ ① 它说明「有限」是一个非常强的条件，强到消灭了非交换的可能；② 它是「用群论（共轭类计数）证明环论结论」的经典范例，预示了有限群表示论的威力；③ 它使「有限域」与「有限除环」两个概念重合，本册标题「域论中的有限条件」正指这一现象：在域上施以「有限」这个条件，会强制出一整套刚性结构（元素个数是素数幂、乘法群循环、子域格 = 因数格、自同构群 = Frobenius）。

数值注记（F 组末）。 脚本 F 组以一个直白的核对收尾：所构造的六个有限域全部乘法交换（a·b = b·a 对每对元素成立），与 Wedderburn 小定理一致。

七有限域的身影：AES、RS 码与正交表

有限域不只是理论玩具，它每天都在您身边运行。

AES 与 𝔽256。 高级加密标准 AES 的核心运算发生在 𝔽256 = 𝔽2[x]/(x8+x4+x3+x+1) 里：字节（8 位）被解释为该域的元，S-盒（S-box）的构造本质是「求乘法逆元 + 仿射变换」。选 𝔽28 而非 ℤ/256，正是因为只有域才能保证每个非零元可逆——这是加密可逆性的代数保证。

Reed–Solomon 纠错码。 二维码（QR Code）、CD、DSL 的纠错都用 RS 码，其码字取值于 𝔽28 或 𝔽2m。RS 码的多项式根结构、Berlekamp–Massey 译码算法，全部建立在「有限域上多项式可唯一分解」这条性质上。

正交表与实验设计。 有限域 𝔽q 上的「等差构造」给出强度 2 的正交表——田口方法（Taguchi methods）用它设计工业实验。子域结构（其八第三节）则对应「分层实验」的嵌套设计。

编码里的「多项式 ↔ 码字」字典。 把一个 k 次信息多项式编码成 n 个点上的取值（RS 码），或把生成多项式 g(x) 的倍数作码字（循环码），本质都是用 𝔽q[x] 的理想结构组织数据——域论其九谈「理想与商环」时，这条应用线索会再次出现。

一句总结。 有限域的每一个定理都有工程化身：循环乘法群 → 离散对数密码；不可约多项式计数 → 构造标准域表示；子域格 → 分层编码与实验设计。这是「抽象结构直接变成产品」的最好例子。

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

8.1 名词与历史的来路

8.2 三句话总结

① 有限域的存在与唯一都由「q 是素数幂」判定：𝔽q 是 xq − x 的分裂域，且每个元素满足 αq = α——这条性质是全部计算的钥匙。

② 𝔽q 有三层刚性结构：加法群 ≅ (ℤ/p)n、乘法群循环（≅ Cq−1）、Frobenius 生成 Gal ≅ Cn；子域格完全等于 n 的因数格（m | n），故有限域永远伽罗华、永远 Abel。

③ 不可约多项式个数有闭公式 Nq(n) = (1/n)Σd|n μ(d)qn/d（Möbius 反演）；Wedderburn 小定理（有限除环必为域）则说明「有限」这个条件会强制交换——而这一切在 AES 的 𝔽256、二维码的 RS 码、正交表设计里日日运行。

8.3 阅读指引

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