Irreducible Polynomial $\Leftrightarrow$ Lyndon Word

本构造来源于 Christophe Reutenauer《Free Lie Algebras》Sec. 7.6.2。

设一质数的幂 $q$，我们给出一个全体 $n$ 阶 $F=\mathrm{G}\mathrm{F}(q)$ 上不可约多项式到以 $F$ 为字符集的长为 $n$ 的 Lyndon Word 的双射。

考虑有限域 $K=\mathrm{G}\mathrm{F}(q^n)$。我们考虑取一个元素 $\theta \in K$，有什么运算能和旋转关联起来呢？考虑 Frobenius 自同构 ${\Phi }_q:\alpha \mapsto {\alpha }^q$ 对 $\theta ,{\theta }^q,\dots ,{\theta }^{q^{n-1}}$ 作用，就会变成 ${\theta }^q,\dots ,{\theta }^{q^{n-1}},\theta$。这就是一个很自然的旋转。但为了让这件事足够合理，我们需要对 $\theta$ 进行限制，也就是要让这 $n$ 个元素 $F$-线性无关。

那么这意图就很显然了，我们直接将一个 Lyndon Word $\overline{a_0{a}_1\dots a_{n-1}}$ 映到 $\alpha ={\sum }_k{a}_k{\theta }^{q^k}$。

可以知道 $\alpha$ 的最小多项式一定是 $n$ 次的：设其最小多项式次数为 $k$，那么 $F[\alpha ]\cong \mathrm{G}\mathrm{F}(q^k)$，因此 ${\alpha }^{q^k}=\alpha$，但 ${\alpha }^{q^j}$ 对应于 $\overline{a_0{a}_1\dots a_{n-1}}$ 的循环移位，由于其是 Lyndon Word 可知 $0\le j<n$ 的结果是互不相同的，所以 $k\ge n$，只能有 $k=n$。

因此记映射 $\phi$ 把一个 Lyndon Word $\overline{a_0{a}_1\dots a_{n-1}}$ 映到 $\alpha$ 的最小多项式 $f$。那么对于任意一个 $n$ 阶不可约多项式 $f$，设其一个根为 $\alpha$，那么另外 $n-1$ 个根为 ${\alpha }^q,\dots ,{\alpha }^{q^{n-1}}$。

${\Phi }_{q}f(\alpha )=f({\Phi }_q(\alpha ))$ 可知是根，且如果有重复的说明 $\alpha$ 在一个更小的域里，矛盾。

因此这 $n$ 个根对应于一个没有非平凡循环节的字符串，设其最小循环移位为 $w$，我们记映射 $\psi$ 把 $f$ 映到 $w$ 这个 Lyndon Word。

不难验证 $\phi ,\psi$ 互逆（留作读者习题），因此也就显式给出了这样一组双射。

$\theta$ 的存在性称为 Normal Basis Theorem。我不太会，就不讨论了。 事实上可以直接给出这样的 $\theta$ 的计数公式！

设 $q=p^k$，而 $n=d{p}^m,d\nmid p$。对于与 $q$ 互质的数 $e$ 设 $o_e(q)$ 为 $q$ 模 $e$ 的阶。记 $\phi$ 为欧拉函数，那么这样的 $\theta$ 的数量为
$$q^n\prod _{e\mid d}{\left(1-\frac{1}{q^{o_e(q)}}\right)}^{\phi (e)/o_e(q)}$$

经过随机选取，就会有很大的概率得到一个合适的 $\theta$。可以出通信题了！