本原元定理

无限基域：避开有限次碰撞 ​

先设 $F$ 无限，并处理 $E=F(\alpha ,\beta )$ 可分的情形。记 $n=[E:F]$。由逐层嵌入计数理路域嵌入与共轭根Field embeddings and conjugate roots · Embeddings of simple algebraic extensions从生成元的共轭根构造良定义的域嵌入，逐层传递系数并计算全部嵌入，区分外部嵌入与内部自同构。，存在恰好 $n$ 个进入代数闭包 $\mathrm{\Omega }$ 的 $F$-嵌入 ${\sigma }_1,\dots ,{\sigma }_n$。那项计数的证明沿生成塔进行，没有借用本原元定理，因此这里没有循环论证。

考虑候选 ${\gamma }_c=\alpha +c\beta$，其中 $c\in F$。对不同的 $i,j$，若两个嵌入在这个候选上碰撞，则

如果 ${\sigma }_i(\beta )={\sigma }_j(\beta )$，碰撞还会迫使它们在 $\alpha$ 上相同，继而在整个 $E$ 上相同，矛盾。否则碰撞只能出现在一个值

这个值甚至未必属于 $F$。嵌入对只有有限多组，因此 $F$ 中的坏参数也只有有限多个。由于 $F$ 无限，可以选择避开它们的 $c$。

此时 ${\gamma }_c$ 在 $n$ 个嵌入下有 $n$ 个不同像。每个像都是其极小多项式的根，所以 $[F({\gamma }_c):F]\ge n$。另一方面，$F({\gamma }_c)\subseteq E$ 给出次数至多 $n$；等号与塔式定理理路扩张次数与塔式定理Extension degree · Tower law · 扩域次数以向量空间维数度量域扩张，并将一座有限扩张塔的次数分解为逐层次数之积。迫使 $F({\gamma }_c)=E$。这就证明了两生成元可以合并。

一般有限扩张可由有限个元素生成，例如取一组 $F$-向量空间基。依次合并前两个、再与第三个合并，有限步就得到一个生成元。每次所处的子扩张仍可分，因为其中的元素原本就属于可分的 $E/F$。

有限基域为什么要另证 ​

“去掉有限个坏值以后还有值可选”只对无限域可靠。若 $F$ 有限，且 $E/F$ 次数有限，则 $E$ 也是有限域。调用有限域乘法群为循环群理路有限域Finite field · Galois field底层集合有限的域。的结论，取 $E^{\times }$ 的一个生成元 $g$。每个非零元素都是 $g$ 的幂，零也属于 $F(g)$，故 $E=F(g)$。

这一证明使用了一个比“域生成元”更强的选择：乘法群生成元。反过来，域本原元未必遍历所有非零元素；有限域页中 ${\mathbb{F}}_9$ 的完整算例已经区分两种概念。这里不需要另造一套同名定义，也不把有限域的证明硬塞进无限域的坏参数论证。

参数如何帮助实际恢复生成元 ​

对于 $E=\mathbb{Q}(\sqrt{2},\sqrt{3})$，任意非零有理数 $c$ 都使

成为本原元。可以直接给出恢复公式，而不只依赖存在性：

有理数 $c$ 不可能满足 $c^2=2/3$，所以右边非零。于是

分母要求 $c\ne 0$；在 $c=0$ 时，$\gamma =\sqrt{2}$ 只生成二次域，恰好失败。这里不是简单换一个数字的例题：参数式找出了全部允许值，并说明每个分母条件在哪里进入恢复过程。

但“两个生成元相加”不是普遍有效。取 $\alpha =\sqrt{2}$、$\beta =\sqrt{3}-\sqrt{2}$，仍有 $\mathbb{Q}(\alpha ,\beta )=E$；它们的和却是 $\sqrt{3}$，只生成二次域。定理允许避开坏系数，不保证 $c=1$ 永远安全。

去掉可分性：一个有限却不能单生成的域 ​

令 $u,v$ 是在 ${\mathbb{F}}_p$ 上代数独立的不定元，取

因为 $u,v$ 分别满足 $x^p-u^p$、$x^p-v^p$，塔式定理先给 $[E:F]\le p^2$。下面 $p^2$ 个元素实际上线性无关：

若它们有 $F$-系数关系，清除分母就得到 ${\mathbb{F}}_p[u,v]$ 中的多项式关系。每个系数只含 $u^p,v^p$ 的幂，因此来自不同 $(i,j)$ 的单项式，其 $u,v$ 指数模 $p$ 的余数不同，不能互相抵消。代数独立性迫使所有系数为零。于是 $[E:F]=p^2$。

但每个 $z\in E$ 都满足 $z^p\in F$：在特征 $p$ 中取 $p$ 次方会将和变成各项 $p$ 次方之和，对分式也保持运算。因此 $z$ 满足 $x^p-z^p\in F[x]$，有

没有一个元素能生成整个扩张。这里缺失的是可分性；有限性本身并不足够。也别反向过度推断为“不可分扩张都不能单生成”：${\mathbb{F}}_p(t^{1/p})/{\mathbb{F}}_p(t)$ 本来就是单生成的不可分扩张。

去掉有限性也不能保留结论 ​

考虑 $E=\bigcup _{k\ge 0}\mathbb{Q}(2^{1/2^k})$。这些域逐层包含，故其并仍是域；它在特征零中代数且可分。多项式 $x^{2^k}-2$ 是 Eisenstein 多项式，故各层次数为 $2^k$，总扩张次数无限。任何单个 $\gamma \in E$ 都落在某一有限层，它生成的域仍有限，因而不能等于整个 $E$。

有限性控制的是要合并多少代数信息；可分性保证嵌入能把这些信息区分开。本原元定理同时用到了两点。

自测：本原元也依赖基域吗 ​

$\sqrt{2}$ 不是 $\mathbb{Q}(\sqrt{2},\sqrt{3})/\mathbb{Q}$ 的本原元；把基域换成 $\mathbb{Q}(\sqrt{3})$ 后，它是本原元吗？是，因为新基域已包含 $\sqrt{3}$，再加入 $\sqrt{2}$ 就生成整个域，此时扩张次数为 $2$。本原性必须连同所固定的基域一起声明。