有限域上的所有不可约多项式

之前写过如何判断多项式是否不可约，已知分圆多项式都是有理数域上的不可约的整系数多项式。根据剩余类判别法，存在一些素域，使得分圆多项式在其上也是不可约的。那么，给定一个有限域，哪些分圆多项式是不可约的？进一步的，所有的不可约多项式是哪些？

莫比乌斯函数

莫比乌斯函数是如下分段函数：
$$\mu (n)=\{\begin{array}{rlrl}1,& & n& =1\\ (-1{)}^k,& & n& =p_1{p}_2\cdots p_k\\ 0,& & o& thers\end{array}$$

1. 它是一个积性函数：$\forall \gcd (a,b)=1,\mu (ab)=\mu (a)\mu (b)$

2. 对于$n\in {\mathbb{Z}}^{+}$，它满足
   $$\sum _{d\mid n}\mu (d)=1\text{ if n=1 else 0}$$

3. 对于$n\in {\mathbb{Z}}^{+}$，它满足
   $$\sum _{d\mid n}\frac{\mu (d)}{d}=\frac{\varphi (n)}{n}$$

   与欧拉函数联系起来了

有限域上分圆多项式的性质

有限域$F_q$，特征$p$，令$(n,p)=1$，那么$F_q$上的$n$阶分圆多项式，都可表示为：
$$Q_n(x)=\prod _{d\mid n}(x^d-1{)}^{\mu (n/d)}=\prod _{d\mid n}(x^{n/d}-1{)}^{\mu (d)}$$

为了计算莫比乌斯函数$\mu (d)$，可以做整数的素分解（例如筛法）。一般地 $n$ 是多项式复杂度的，因此用最简单的筛法效率也还行。

令$r$是素数，$m$是任意正整数，那么

1. 若$r\nmid m$，那么
   $$Q_{mr}(x)=\frac{Q_m(x^r)}{Q_m(x)}$$

2. 若$r\mid m$，那么
   $$Q_{mr}(x)=Q_m(x^r)$$

3. 令$k$是正整数，那么
   $$Q_{m{r}^k}(x)=Q_{mr}(x^{r^{k-1}})$$

4. 若$n\ge 3$，且$n$是奇数，那么
   $$Q_{2n}(x)=Q_n(-x)$$

有限域上分圆多项式的不可约性

$F_q$是有限域，整数$n>1$且$(n,q)=1$，那么$Q_n$可以在$F_q[x]$上分解为 $\varphi (n)/d$ 个不同的 $d$ 次首一不可约多项式之积，其中 $d$ 是 $q\mathrm{mod}n$ 的指数，即
$$Q_n(x)=\prod _{i=1}^{\varphi (n)/d}{p}_i(x)$$

其中$p_i(x)$不可约，$\mathrm{deg}(p_i)=d=ord(q\mathrm{mod}n)$，$\mathrm{deg}(Q_n)=\varphi (n)$

因此，$Q_n$ 在 $F_q$ 上不可约 $⟺$ $q\mathrm{mod}n$ 的指数为 $\varphi (n)$（$q$是${\mathbb{Z}}_n^{\ast }$的原根）

根据数论知识，${\mathbb{Z}}_n^{\ast }$ 中存在原根 $⟺$ $n=2,4,p^r,2p^r$，其中$p$是奇素数，$r$是正整数（已经忘干净了 (；′⌒`)）

因此，$(n,q)=1$的有限域 $F_q$ 上 $Q_n$ 不可约，那么恰有：$n=2,4,p^r,2p^r$。于是，任意有限域上，可约的分圆多项式有无限个，同时不可约的分圆多项式也有无限个。

如果$a\not\equiv 0\mathrm{mod}p$，其中$p$是奇素数，那么 Legendre 符号为：
$$\left(\frac{a}{p}\right)\equiv a^{\frac{p-1}{2}}\mathrm{mod}p$$

当素数形如$p=8m\pm 1$，那么$2$是二次剩余。嘚嘚嘚，推出：如果$Q_n$在${\mathbb{Z}}_2$上不可约，要么$n\equiv \pm 3\mathrm{mod}8$是素数，或者$n=p^2$其中$p\equiv \pm 3\mathrm{mod}8$是素数。反之不成立。

有限域上所有的不可约多项式

有限域$F_q[x]$中，所有的次数整除$n$的首一不可约多项式之积：
$$x^{q^n}-x=\prod _{d\mid n}\prod _{\mathrm{deg}(p_i)=d}{p}_i(x)$$

也就是说，扩域$F_{q^n}$中的所有元素，恰是这些不可约多项式在代数闭包中的根。任意一个$\mathrm{deg}(p_i)=d$的不可约多项式，它有一个根$\alpha \in F_{q^d}\le F_{q^n}$，那么所有的不同的根为共轭集合 { α , α q , ⋯   , α q d − 1 } ∈ F q d \{\alpha,\alpha^q,\cdots,\alpha^{q^{d-1}}\} \in F_{q^d} {α,αq,⋯,αqd−1}∈Fqd​，且它们的乘法阶都是$l$，它使得$d$是满足$q^d\equiv 1\mathrm{mod}l$的最小正整数，即$d=ord(q\mathrm{mod}l)$

令$n$是给定正整数，设 $I(q,n;x)$ 是$F_q$上所有的$n$次首一不可约多项式之积，那么
$$I(q,n;x)=\prod _{d\mid n}(x^{q^d}-x{)}^{\mu (n/d)}=\prod _{d\mid n}(x^{q^{n/d}}-x{)}^{\mu (d)}$$

设 $N_q(n)$ 是$F_q$上所有的$n$次首一不可约多项式的个数，那么
$$N_q(n)=\frac{1}{n}\sum _{d|n}\mu (\frac{n}{d})q^d=\frac{1}{n}\sum _{d|n}\mu (d)q^{\frac{n}{d}}$$

令$n$是给定正整数，考虑所有的$F_q$上的$m$阶分圆多项式$Q_m(x)$，使得$n$是$q\mathrm{mod}m$的指数，那么
$$I(q,n;x)=\prod _m{Q}_m(x)$$

因此，为了找出有限域$F_q$上全部的$n$次不可约多项式：

1. 首先找出所有的满足$n=ord(q\mathrm{mod}m)$的$m$，
2. 然后计算对应的分圆多项式$Q_m(x)$，
3. 做素分解，这些$Q_m(x)$的不可约因式，就是全部的$n$次不可约多项式。