抽象代数 · 第36讲 · 域的有限乘法子群必为循环群

提示：数学公式渲染组件（KaTeX）加载失败，公式以源码形式显示，不影响阅读内容。联网后刷新即可正常渲染。

☰本讲目录

◎学习目标

回顾有限域的定义与例子（如 \(\mathbb{Z}_p\)），明确「域的有限乘法子群」指的是 \(F^* = F\setminus\{0\}\) 的有限子群；
掌握群论引理：有限交换群 \(G\) 是循环群，当且仅当 \(|G|\) 等于使 \(a^n = e\) 对所有 \(a\in G\) 成立的最小正整数 \(n\)；并理解其等价表述 \(|G| = \mathrm{lcm}\{o(a) : a\in G\}\)；
会判断具体有限交换群（如 \(\mathbb{Z}_6\)、\(\mathbb{Z}_2\oplus\mathbb{Z}_2\)）是否为循环群，并找出对应的「最小公倍数」与群阶之间的关系；
掌握本讲核心定理：任意域 \(F\) 的有限乘法子群必为循环群，理解证明中「多项式 \(X^M-1\) 在域上至多有 \(M\) 个不同的根」这一关键步骤；
理解推论：有限域 \(F_q\) 的乘法群 \(F_q^*\) 是 \((q-1)\) 阶循环群，从而存在本原元（primitive element）；
体会该结论在后面研究有限域（第 42 讲「有限域」）时的用途：有限域中每个非零元都是某个循环群的元素。

1回顾与引入：有限域与其乘法群 ⏱ 00:00

先回顾一下：如果一个域里的元素个数有限，就称它为有限域。最简单的例子是 \(\mathbb{Z}_p\)（\(p\) 为素数）：它的加法群与乘法结构组合起来，每个非零元都有乘法逆元，因此它是一个有 \(p\) 个元素的有限域。⏱ 00:15

对有限域 \(\mathbb{Z}_p\)，它的非零元在乘法下构成的乘法群其实已经可以看出是一个循环群。但我们想说的不止是这一种长相的域——对一般的有限域，看它的非零元在乘法下也全部都是循环群。更一般地，本讲要证明的结论是：⏱ 00:44

本讲核心定理（先看结论）设 \(F\) 为任意域，\(G \le F^* = F\setminus\{0\}\) 是 \(F\) 的非零元乘法群的一个有限子群。则 \(G\) 必为循环群。

一个特别的情形：如果 \(F\) 本来就是有限域（例如 \(F_q\)，\(|F|=q\)），那么 \(F^*\) 本身就是一个有限群（阶为 \(q-1\)），由上面的定理立刻得到 \(F^*\) 是循环群。这个结论在后续研究有限域时会反复用到。⏱ 01:19

为了证明这个定理，需要先回顾一个群论中关于有限群与循环群之间关系的结论（引理），它其实本应在更早研究循环群时就已经证明，只是当时没有证，本讲先补齐。

本讲路线引入有限域例子 \(\to\) 陈述群论引理（有限交换群 \(G\) 是循环群 \(\Longleftrightarrow\) \(|G| = \min\{n : a^n=e,\ \forall a\in G\}\)）\(\to\) 用 \(\mathbb{Z}_6\)、\(\mathbb{Z}_2\oplus\mathbb{Z}_2\) 两个例子理解引理 \(\to\) 证明引理（反证法 + LCM）\(\to\) 用引理证明「域的有限乘法子群必为循环群」（用多项式 \(X^M-1\) 的根个数）\(\to\) 推出有限域乘法群 \(F_q^*\) 是循环群、存在本原元。

2群论引理：有限交换群是循环群的充要条件 ⏱ 02:19

先说明一下背景：循环群一定是交换群，但交换群不一定是循环群。那么，从「有限交换群」到「循环群」，需要额外满足什么条件？这就是本讲要用的引理（在本讲语境里先当作引理，群论里它本身也是一个定理）。⏱ 02:50

引理（群论）设 \(G\) 是一个有限交换群，\(|G| = K\)。记 \[ M = \min\bigl\{\, n \ge 1 \mid a^n = e,\ \text{对所有 } a \in G \text{ 成立} \,\bigr\}, \] 即「使得所有元素的 \(n\) 次幂都等于单位元 \(e\) 的最小正整数」。则

G \text{ 是循环群} \quad \Longleftrightarrow \quad |G| = M.

等价表述（用 LCM） ⏱ 03:45 由于 \(G\) 有限，可以把它的所有元素 \(g_1, \dots, g_K\) 都列出来。\(M\) 就是「使得每个元素都变成单位元的最小正整数」，也就是所有元素阶（order）的最小公倍数：

M = \mathrm{lcm}\bigl(o(g_1), o(g_2), \dots, o(g_K)\bigr) = \mathrm{lcm}\{o(a) : a \in G\}.

因此引理也可陈述为：有限交换群 \(G\) 是循环群 \(\Longleftrightarrow\) \(|G|\) 等于它所有元素的阶的最小公倍数。

怎么理解这个条件？⏱ 04:55

若 \(G\) 是循环群，某个生成元 \(a\) 的阶就等于 \(|G|\)（循环群的生成元阶等于群的阶）。既然已经找到「所有元素都满足 \(a^n=e\) 的最小 \(n\)」等于 \(|G|\)，条件自然成立。
反过来，若条件成立，说明不存在比 \(|G|\) 更小的正整数 \(n\) 能让所有元素同时变回单位元——换句话说，\(G\) 中至少有一个元素的阶等于 \(|G|\)，而这个元素就是生成元，\(G\) 因此是循环群。
若条件不成立（即最小公倍数严格小于 \(|G|\)），说明找不到阶等于 \(|G|\) 的元素，没有一个元素能生成整个群，\(G\) 就不是循环群。

由 Lagrange 定理，\(G\) 中任意元素 \(a\) 的阶都是 \(|G|\) 的因子；所以「某个元素 \(|G|\) 次幂 = 单位元」这件事总成立，真正要考察的是：让所有元素同时变回单位元的最小幂次有没有可能比 \(|G|\) 更小。⏱ 06:52

小提醒「阶」这个术语在本讲对应转录里的「结束」（语音识别把「阶」误识成「结束」），统一改回「阶 / 群阶 / 元素阶」；「\(a\) 的 \(n\) 次幂」对应转录里的「某次命/某次密」，统一写为「\(a^n\)」。

3两个例子：\(\mathbb{Z}_6\)（是循环群）与 \(\mathbb{Z}_2 \oplus \mathbb{Z}_2\)（不是） ⏱ 07:40

3.1 例一：\(\mathbb{Z}_6\) 的加法群 ⏱ 07:49

考虑 \(\mathbb{Z}_6 = \{0,1,2,3,4,5\}\) 的加法群。它有 6 个元素，是有限交换群。看元素 \(1\)：

1+1 = 2,\ 1+1+1 = 3,\ \dots,\ \underbrace{1+\cdots+1}_{6\text{ 个}} = 0 \ (\mathrm{mod}\ 6).

使得 \(1\) 的 \(n\) 个自和等于单位元（这里是加法单位元 \(0\)）的最小正整数是 \(6\)，即 \(o(1) = 6\)。其他每个元素的阶都是 \(6\) 的因子（\(o(0)=1, o(2)=3, o(3)=2, o(4)=3, o(5)=6\)）。⏱ 08:38

于是「使得所有元素相加 \(n\) 次都等于 \(0\) 的最小正整数」是 \(\mathrm{lcm}(1,6,3,2,3,6) = 6\)，恰好等于 \(|\mathbb{Z}_6| = 6\)。满足引理条件，所以 \(\mathbb{Z}_6\)（加法群）是循环群（由 \(1\) 生成）。⏱ 09:53

加法群的写法提示对加法群，「\(a\) 的 \(n\) 次幂等于单位元 \(e\)」这句话要改成「\(n\) 个 \(a\) 相加等于加法单位元 \(0\)」，条件里的表达式相应变成 \(\min\{n : \underbrace{a+\cdots+a}_{n}=0,\ \forall a\in G\}\)。

3.2 例二：\(\mathbb{Z}_2 \oplus \mathbb{Z}_2\)（不是循环群） ⏱ 10:49

再看 \(\mathbb{Z}_2 \oplus \mathbb{Z}_2\)：每个位置有两种选择（0 或 1），共 \(2\times 2 = 4\) 个元素：

(0,0),\ (1,0),\ (0,1),\ (1,1).

其中 \((0,0)\) 是单位元（一阶）；其余三个元素 \((1,0), (0,1), (1,1)\) 都是二阶元（自身再相加一次就回到 \((0,0)\)）。⏱ 11:39

所有元素阶的最小公倍数是 \(\mathrm{lcm}(1,2,2,2) = 2\)，但群本身有 \(4\) 个元素，\(|G| = 4\)。由于 \(\mathrm{lcm} = 2 \neq 4 = |G|\)，引理条件不满足——这个群不是循环群（事实上，它没有阶为 \(4\) 的元素，不可能被任何一个元素生成）。⏱ 12:38

群 \(G\)（加法/乘法）	元素个数 \(\|G\|\)	各元素阶	\(\mathrm{lcm}\)（= 最小 \(M\)）	\(M = \|G\|\)?	结论
\(\mathbb{Z}_6\)（加法）	6	\(1,6,3,2,3,6\)	6	是	循环群
\(\mathbb{Z}_2 \oplus \mathbb{Z}_2\)（加法）	4	\(1,2,2,2\)	2	否	不是循环群

这两个例子（都用加法群的形式给出）直观展示了「有限交换群什么时候是循环群、什么时候不是」，判断依据就是元素阶的最小公倍数与群阶是否相等。若是乘法群形式，判断方法相同，只是把「\(n\) 个 \(a\) 相加 = \(0\)」换成「\(a^n = 1\)」即可。⏱ 12:38

4引理证明：反证法 + LCM 论证 ⏱ 13:25

下面正式证明群论引理，两个方向都要证。

4.1 方向一：\(G\) 循环 \(\Rightarrow\) \(|G| = M\) ⏱ 13:25

若 \(G\) 是循环群，存在生成元 \(a\)，\(o(a) = |G|\)。既然已经有一个元素 \(a\) 满足「\(a^n=e\) 对 \(a\) 本身要求的最小 \(n\)」等于 \(|G|\)，而 \(M\) 是「让所有元素同时变回 \(e\)」的最小值，一定有

M \le |G| \quad (\text{因为 } a^{|G|}=e，所有元素也满足，}\ |G|\ \text{本身是一个可行值}).

另一方面，由 Lagrange 定理，对任意 \(b \in G\)，\(b\) 生成的子循环群 \(\langle b\rangle \le G\)，\(o(b) \mid |G|\)，故 \(b^{|G|} = e\)，即 \(|G|\) 本身就是一个让所有元素变回 \(e\) 的可行正整数，而 \(M\) 是最小的这个正整数，所以 \(M \le |G|\)。又因为 \(o(a) = |G|\)，要让 \(a^M = e\) 必须 \(|G| = o(a) \mid M\)，即 \(M\) 是 \(|G|\) 的倍数；结合 \(M \le |G|\)，得 \(M = |G|\)。⏱ 14:57

4.2 方向二：\(|G| = M\) \(\Rightarrow\) \(G\) 循环 ⏱ 15:38

完整证明（反证法，点击展开）

假设不存在这样的生成元，即对所有 \(b \in G\)，\(o(b) < |G|\)（否则若某个 \(b\) 满足 \(o(b) = |G|\)，\(b\) 本身就是生成元，\(G\) 循环，得证）。⏱ 16:37

取 \(G\) 中阶最大的元素，记为 \(c\)，设 \(o(c) = M_0 < |G|\)（用 \(M_0\) 避免和引理里的 \(M\) 混淆；本讲转录里就直接记这个最大阶为 \(m\)，这里沿用 \(m\)）：⏱ 17:13

第一步：证明对任意 \(b \in G\)，都有 \(o(b) \mid m\)（即 \(o(b)\) 是 \(m\) 的因子）。⏱ 18:52

反设某个 \(b\) 满足 \(o(b) \nmid m\)。取 \(x = bc\)（这里用到 \(G\) 是交换群，保证 \(bc\) 的阶确实等于 \(o(b)\) 与 \(m\) 的最小公倍数——这是前面「交换群作业」里已经证明过的结论：交换群中两元素的乘积的阶等于它们各自阶的 \(\mathrm{lcm}\)）。

o(x) = \mathrm{lcm}(o(b),\, m).

由于 \(o(b) \nmid m\)，有 \(\mathrm{lcm}(o(b), m) > m\)，即 \(o(x) > m\)，这与「\(c\) 是 \(G\) 中阶最大的元素、最大阶为 \(m\)」矛盾。⏱ 19:59

第二步：由第一步，对任意 \(b \in G\)，\(o(b) \mid m\)，于是 \(b^m = e\)（对所有 \(b\in G\) 成立）。这说明 \(m\) 本身就是一个「让所有元素变回单位元」的可行正整数，故按 \(M\) 的定义（最小这样的正整数），\(M \le m\)。⏱ 21:22

但 \(m < |G|\)（第一步假设），而按本方向的前提条件，\(M = |G|\)。于是 \(M \le m < |G| = M\)，矛盾。⏱ 22:37

矛盾说明「不存在阶等于 \(|G|\) 的元素」这个假设不成立，即必存在某个 \(g \in G\) 使 \(o(g) = |G|\)，\(g\) 生成 \(G\)，\(G\) 是循环群。引理得证。⏱ 23:34

关键点第一步里用到「交换群中 \(o(bc) = \mathrm{lcm}(o(b),o(c))\)」这个结论（前面交换群作业里证明过）。如果 \(G\) 不是交换群，这个等式不一定成立，引理的证明思路也要相应调整——这也是为什么引理的前提里明确要「交换」。

5定理：域的有限乘法子群必为循环群 ⏱ 24:57

现在有了引理（有限交换群 \(G\) 是循环群 \(\Leftrightarrow\) \(|G| = \min\{n : a^n = e,\ \forall a\in G\}\)），来证明主定理就顺理成章了。⏱ 25:24

定理设 \(F\) 为域，\(G \le F^* = F\setminus\{0\}\) 是 \(F\) 的有限乘法子群（即 \(|G| < \infty\)）。则 \(G\) 是循环群。

完整证明（点击展开，使用「\(X^M-1\) 的根个数 \(\le M\)」论证）

第一步：\(G\) 是有限交换群。 \(G \le F^*\)，而 \(F^*\)（域的非零元在乘法下）是交换的，故 \(G\) 也是有限交换群，满足引理的前提条件。⏱ 25:32

第二步：定义 \(M\)。 记

\[ M = \min\{\, n \ge 1 \mid a^n = e,\ \text{对所有 } a \in G \text{ 成立} \,\}, \] 其中 \(e = 1\) 是域 \(F\) 的乘法单位元。⏱ 25:58

要证 \(G\) 循环，只需证 \(M = |G|\)（由引理）。⏱ 25:32

第三步：一个方向（\(M \le |G|\)）是群论的通用结论，与「域」无关。 设 \(|G| = K\)。对任意 \(a \in G\)，\(a\) 生成的子循环群 \(\langle a\rangle \le G\)，由 Lagrange 定理 \(o(a) \mid K\)，故 \(a^K = e\)。即「所有元素的 \(K\) 次幂都是 \(1\)」这件事总成立，\(K\) 本身是定义中 \(M\) 取的一个可行值，所以

M \le |G| = K.

这一步对任何有限群（不要求交换）都成立。⏱ 25:40

第四步：关键的一步（\(K \le M\)）——用多项式根个数。 只需证 \(|G| \le M\)。考虑域 \(F\) 上的多项式

\[ f(X) = X^M - 1. \]

\(f\) 是 \(M\) 次多项式，系数（\(1\) 与 \(-1\)）都在 \(F\) 里。由前面多项式一节已证的结论：域 \(F\) 上的 \(M\) 次多项式，在 \(F\) 中至多有 \(M\) 个不同的根（域没有零因子、是整环，消去律保证这个上界严格）。⏱ 26:39

另一方面，由 \(M\) 的定义（\(M\) 是让所有 \(a \in G\) 满足 \(a^M = 1\) 的可行值，当然也足以让定义中更小的那些 \(n\) 都够用——实际上直接由定义可知对每个 \(a \in G\) 都有 \(a^M = 1\)，因为 \(M\) 本身满足条件），即

\forall a \in G,\quad a^M = 1 \quad\Longrightarrow\quad f(a) = a^M - 1 = 0.

也就是说，\(G\) 中每一个元素都是 \(f(X) = X^M - 1\) 的一个根。既然 \(f\) 至多有 \(M\) 个不同的根，而 \(G\) 的元素全都是这些根，就有

|G| \le M.

⏱ 27:55

第五步：合并两个不等式。 第三步给出 \(M \le |G|\)，第四步给出 \(|G| \le M\)，于是

\[ M = |G|. \]

由引理（有限交换群 \(G\)：\(|G| = M \Rightarrow G\) 循环），\(G\) 是循环群。定理证毕。⏱ 28:01

为什么「域」这个条件不可省第四步用到了「\(F\) 上 \(M\) 次多项式至多 \(M\) 个不同根」，这依赖 \(F\) 是域（或更一般地，无零因子的整环）：如果换成有零因子的环（例如 \(\mathbb{Z}_4\)、\(\mathbb{Z}_6\) 这类非整环），\(X^2-1\) 这样的多项式完全可能有比次数还多的根（例如在 \(\mathbb{Z}_6\) 中，\(X^2=1\) 有 \(1,5\) 两个根但次数才是 2，勉强相等；换成更复杂的模数可以更多），引理里的第四步就不再成立，「有限乘法子群必循环」的结论也可能失效。域的结构（消去律）是这个定理的关键资源。

6推论：有限域 \(F_q\) 的乘法群 \(F_q^*\) 是循环群，存在本原元 ⏱ 29:17

推论设 \(F\) 是有限域，\(|F| = q\)。则 \(F^* = F\setminus\{0\}\)（阶为 \(q-1\)）是循环群。

证明几乎是「一句废话」：\(F\) 有限 \(\Rightarrow\) \(F^*\) 是有限的（有 \(q-1\) 个元素），且 \(F^* \le F^*\) 当然是 \(F^*\) 的（乘法）子群（有限子群），由主定理，\(F^*\) 是循环群。⏱ 29:32

定义 · 本原元（primitive element）有限域 \(F_q\) 中，阶为 \(q-1\) 的元素（即 \(F_q^*\) 的生成元）称为 \(F_q\) 的本原元（primitive element），记作 \(\alpha\)：

\langle \alpha \rangle = F_q^* = \{\alpha^0, \alpha^1, \dots, \alpha^{q-2}\}.

由 \(F_q^*\) 是循环群知，这样的 \(\alpha\) 一定存在（虽然本讲不显式构造它）。

6.1 例子与在有限域构造中的应用 ⏱ 30:10

\(F_7 = \mathbb{Z}_7\)：\(F_7^*\) 阶为 \(6\)，是循环群，本原元是那些阶为 \(6\) 的元素，例如 \(3\)（\(3^1=3, 3^2=2, 3^3=6, 3^4=4, 3^5=5, 3^6=1\)，恰好跑遍 \(F_7^*\) 全部 6 个非零元）。
有限域 \(F_q\) 中，每个非零元都等于某个本原元 \(\alpha\) 的某次幂：任意 \(a \in F_q^*\)，存在唯一的 \(k \in \{0, 1, \dots, q-2\}\) 使 \(a = \alpha^k\)。这是「有限域每个非零元都是某循环群的元素」的具体体现。
这个结论在构造有限域（第 42 讲「有限域」、第 41 讲「Galois 群」相关部分）时非常有用：例如求 \(F_q\) 上不可约多项式、判断多项式是否为 \(F_q^*\) 中某元素的幂、研究有限域乘法结构的离散对数等，都以「\(F_q^*\) 是循环群」为前提。

预告 · 后面会怎么用本讲结论（有限域乘法群循环、存在本原元）是后面研究有限域（\(F_{q^n}\) 的乘法结构、有限域的存在性与唯一性、以及有限域上多项式的分裂行为）的核心工具之一，第 42 讲「有限域」会正式使用它。

★重点回顾

有限域的例子：\(\mathbb{Z}_p\)（\(p\) 为素数）是有 \(p\) 个元素的有限域；其非零元在乘法下构成乘法群。

群论引理：有限交换群 \(G\)（\(|G|=K\)）是循环群 \(\Longleftrightarrow\) \(|G| = M\)，其中 \(M = \min\{n : a^n = e,\ \forall a\in G\} = \mathrm{lcm}\{o(a): a\in G\}\)。等价地：\(|G|\) 等于所有元素阶的最小公倍数。

两个对照例子：\(\mathbb{Z}_6\)（加法群）中 \(o(1)=6\)、各元素阶的最小公倍数为 6 = \(|\mathbb{Z}_6|\)，是循环群；\(\mathbb{Z}_2\oplus\mathbb{Z}_2\) 中各元素阶（1,2,2,2）的最小公倍数为 2 < 4 = 群阶，不是循环群。

引理反方向（\(|G|=M \Rightarrow\) 循环）的关键工具：取 \(G\) 中阶最大的元素 \(c\)（阶为 \(m<|G|\)），用「交换群中 \(o(bc) = \mathrm{lcm}(o(b),o(c))\)」推出所有元素的阶都必须整除 \(m\)，进而 \(b^m=e\)（对所有 \(b\)），与「\(M\) 是最小这样的 \(n\)」矛盾，故必存在阶为 \(|G|\) 的元素，即生成元。

主定理证明的两个不等式：\(M \le |G|\)（Lagrange：每个元素 \(|G|\) 次幂=单位元，群论通用）；\(|G| \le M\)（域上 \(M\) 次多项式 \(X^M-1\) 至多 \(M\) 个不同根，而 \(G\) 中每个元素都是其根）。两者合起来 \(M = |G|\)，由引理 \(G\) 循环。

推论：有限域 \(F_q\) 的乘法群 \(F_q^*\)（阶 \(q-1\)）是循环群，存在本原元（primitive element）\(\alpha\)，满足 \(\langle\alpha\rangle = F_q^*\)；有限域中每个非零元都唯一表为某个本原元的幂。

⚠易错点提醒

常见错误

把「域」换成一般环后结论不成立：第四步用到的「\(M\) 次多项式至多 \(M\) 个不同根」依赖 \(F\) 是域（整环、消去律、无零因子）。若换成有零因子的环（如 \(\mathbb{Z}_6\)），「有限乘法子群必循环」未必成立，不能直接套用本讲定理。
记混 \(M\) 的两个等价定义：\(M\) 既可以看作「让所有元素同时回到单位元的最小正整数」，也等于「所有元素阶的最小公倍数」\(\mathrm{lcm}\{o(a):a\in G\}\)。写证明时要说清用的是哪一个表述，避免循环论证。
反证法第一步的交换性条件被忽略：证明「\(|G|=M \Rightarrow\) 循环」时，用 \(o(bc) = \mathrm{lcm}(o(b),o(c))\) 需要 \(G\) 是交换群；若忘了「\(G\) 交换」这个前提，这一步就站不住。
误以为 \(M \le |G|\) 和 \(|G| \le M\) 都是「新」的域专属论证：其实 \(M \le |G|\) 是任意有限群的通用结论（Lagrange 定理），不需要「域」的条件；真正用到「域」的地方只有 \(|G| \le M\) 那一步（多项式根个数）。
把「本原元」与「域扩张里通常说的生成元/primitive element of an extension」混淆：本讲的「本原元」特指有限域 \(F_q^*\) 的生成元（阶 \(q-1\)）；域扩张理论里（第 35 讲「域扩张」）的 primitive element 指的是使扩张成为单纯扩张 \(E = F(\theta)\) 的元素 \(\theta\)，两者是不同语境下的同名概念，别混用。
加法群例子里的「单位元」写错：\(\mathbb{Z}_6\)、\(\mathbb{Z}_2\oplus\mathbb{Z}_2\) 用的是加法群，单位元是 \(0\)（加法恒等），不是乘法里的 \(1\)；判断 \(M\) 时「所有元素相加 \(n\) 次等于单位元」要写成「等于 \(0\)」，不要误写成「等于 \(1\)」。

✎自测与作业

验证 \(\mathbb{Z}_6\)（加法群）满足引理条件（\(|\mathbb{Z}_6| = \min\{n : \underbrace{a+\cdots+a}_{n}=0,\ \forall a\in\mathbb{Z}_6\}\)），并说明它是循环群、由谁生成。
用引理判断 \(\mathbb{Z}_2 \oplus \mathbb{Z}_2\) 是否为循环群，并解释为什么它没有阶为 \(4\) 的元素。
（反证法练习）设 \(G\) 是有限交换群，\(|G| = M = \mathrm{lcm}\{o(a): a\in G\}\)。仿照本讲引理证明，写出「取阶最大元素 \(c\)、用 \(o(bc)=\mathrm{lcm}(o(b),o(c))\) 推出 \(o(b)\mid o(c)\)、再推出 \(b^M=e\)、与「\(M\) 是最小值」矛盾」的完整链条。
（本讲核心）设 \(F\) 为域，\(G \le F^*\) 为有限子群，\(|G| = K\)。证明：\(F\) 上的多项式 \(X^K - 1\) 至少能解释「\(G\) 中每个元素都是它的根」这件事，并说明为什么由此得到 \(K \le M\)，进而 \(M = K\)，\(G\) 是循环群。
设 \(F_7 = \mathbb{Z}_7\)。验证 \(3\) 是 \(F_7^*\) 的一个本原元（即 \(3\) 的阶为 \(6\)，且 \(\{3^0, 3^1, \dots, 3^5\} = F_7^*\)）。
（思考题，非本讲要求但相关）说明为什么「\(F_q^*\) 是循环群」这件事在有限域 \(F_{q^n}\) 上仍然成立（提示：\(F_{q^n}\) 本身也是有限域，直接套用本讲推论即可），并由此说明 \(F_{q^n}^*\) 的阶是多少。

下一讲预告第 37 讲 · 代数闭包与代数闭域：有限域乘法群循环性（本讲结论）会在那里继续发挥作用；再往后到第 42 讲「有限域」，会正式用到「\(F_q^*\) 循环、存在本原元」来刻画有限域的乘法结构。