特征为素数p的域上X^{pⁿ}-a多项式至多一个根的证明问询

架构老林

2026-5-19

证明多项式$X^{pn}-a\in K[X]$至多有一个根（特征为素数$p$的域$K$）

嗨，你的思路已经走对了方向，接下来我们顺着你的推导往下走，或者换个更直接的角度，就能轻松找到矛盾啦！

先顺着你的尝试继续推导

假设$m\neq n$是$X^{pn}-a$在$K$中的两个不同根，令$\lambda=p^{n$，那么$m}\lambda = n^\lambda = a$，因此$m^\lambda - n^\lambda=0$。你已经完成因式分解：
$$(m-n)(m^{{\lambda-1}+nm}{\lambda-2}+\dots+n^{\lambda-1})=0$$
因为$K$是域（无零因子），且$m\neq n$，所以后面的和式必须为0：
$$S = m^{\lambda-1} + n m^{\lambda-2} + n^2 m^{\lambda-3} + \dots + n^{\lambda-1} = 0$$

现在我们利用域$K$特征为$p$的关键性质——Freshman's Dream（新生梦想定理）：对任意$x,y\in K$，有$(x+y)^p = x^p + y^p$，迭代这个性质可得：
$$(x-y)^{pn} = x^{pn} - y^{pn}$$

回到我们的根$m,n$，代入得：
$$(m-n)^{pn} = m^{pn} - n^{pn} = a - a = 0$$
而域中不存在非零的幂零元（只有0的任意次幂为0），因此必须有$m-n=0$，即$m=n$，这和我们假设的$m\neq n$直接矛盾！

从你的和式$S$推导矛盾的补充

如果一定要从你得到的$S=0$出发，我们可以做变量替换：令$t = m n^{-1}$（$n\neq0$，域中逆元存在），则$m=tn$，代入$S$得：
$$S = n^{\lambda-1} \cdot \left(t^{\lambda-1} + t^{\lambda-2} + \dots + t^0\right)$$
因为$n^{\lambda-1}\neq0$，所以必须有等比数列和$T = t^{\lambda-1} + t^{\lambda-2} + \dots + 1 = 0$。

同时，由$m^\lambda = n^{\lambda$可得$(tn)}\lambda = n^{\lambda$，即$t}\lambda n^\lambda = n^{\lambda$，两边消去$n}\lambda$得$t^{\lambda=1$。而$\lambda=p}n$，结合Freshman's Dream有：
$$t^{pn} - 1 = (t-1)^{pn} = 0$$
这意味着$t-1=0$，即$t=1$，那么$m=tn=n$，同样和假设矛盾。