未分歧素数的 Frobenius

有限域公理库有限域Finite field · Galois field底层集合有限的域。中“取 $p$ 次幂”是一个天然对称，不需要选坐标。未分歧条件使剩余域没有被惯性群隐藏的额外对称，所以这个天然操作可以唯一拉回数域的 Galois 群。

它把素数分解转成群论信息：Frobenius 的阶记录剩余次数，它在某个多项式根集合上的循环长度记录模 $p$ 的不可约因子次数。不同素数由此可以探测同一个 Galois 群中的不同共轭类。

二次域中的平方映射 ​

在 $K=\mathbb{Q}(\sqrt{13})$ 中，令 $\theta =(1+\sqrt{13})/2$。素数 $2$ 惰性，剩余域为 ${\mathbb{F}}_4$，满足 ${\overline{\theta }}^2=\overline{\theta }+1$。非平凡共轭 $\sigma (\theta )=1-\theta$ 模 $2$ 后正好成为平方映射，所以

其阶为二，等于剩余次数。

素数 $3$ 完全分裂，两个剩余域都是 ${\mathbb{F}}_3$，三次幂映射为恒等，因此 ${\mathrm{Frob}}_3=1$。在任意有限 Galois 数域扩张中，未分歧素数完全分裂当且仅当 Frobenius 共轭类为单位元类。

$13$ 在这里分歧，不能按本页定义得到唯一 Frobenius 元素。剩余域上的十三次幂仍是恒等，但 $1$ 和非平凡共轭都约化为恒等；只能在 $D/I$ 中指定剩余 Frobenius，不能无说明地从两个提升中任选一个。

非交换例子：从因子次数读循环型 ​

令 $L$ 为 $X^3-2$ 的分裂域。它由实根 $\alpha =\sqrt[3]{2}$ 和三次单位根 ${\zeta }_3$ 生成。$X^3-2$ 由 Eisenstein 判据不可约，$\mathbb{Q}(\alpha )$ 为实三次域，而 ${\zeta }_3$ 给出额外二次扩张，所以 $[L:\mathbb{Q}]=6$，Galois 群公理库伽罗瓦群Galois group固定基域的扩域自同构在复合下形成的群。在三个根上作用为 $S_3$。

多项式判别式为 $-108$，故 $5,7$ 的约化均无重根。模 $5$ 有

二次因子的判别式为 $3$ 模 $5$，不是平方，因此不可约。因子次数为 $1,2$，所以 ${\mathrm{Frob}}_5$ 在三个根上固定一个根、交换另外两个，即一个换位的共轭类。

模 $7$，立方只可能为 $0,1,6$，所以 $X^3-2$ 没有根；三次多项式没有一次因子就不可约，故只有一个次数三的因子。于是 ${\mathrm{Frob}}_7$ 为三循环共轭类。

具体叫它 $(12)$ 还是 $(23)$，取决于根的标号和所选上方素理想；“换位类”才是这里无需额外选择的信息。这是共轭类表述的实际用途。

因子次数与循环长度的对应来自有限域：一个不可约 $d$ 次多项式的根在 Frobenius 作用下形成长度为 $d$ 的轨道。无重根约化让数域中不同根仍可被区分，Frobenius 提升于是保留这个置换循环型。

这个方法给出 Galois 群的可见元素，却不意味着只检查一个素数就能确定整个群。不同群可能含有同一循环型，需要结合不可约性、判别式和更多素数的证据。更深的 Chebotarev 定理研究这些共轭类出现的密度；那是额外的分布结论，不是 Frobenius 定义的一部分。