特征为p的域中特定集合的子域证明：加法逆元存在性求提示

嘿，你已经搞定了大部分子域性质的证明，卡在加法逆元这儿完全正常——特征p的域里确实藏着一些和特征0域不一样的小技巧，咱们来捋捋思路：

核心要用到特征p域的一个经典性质，也就是Freshman's Dream（新手梦定理），它的推广形式是关键：对于任意x,y ∈ F，有(x + y)^{pⁿ} = x^{pⁿ} + y^{pⁿ}。这个性质用数学归纳法很容易证：n=1时就是特征p域的二项式定理（二项式系数里的C(p,k)在1≤k≤p-1时都是p的倍数，在特征p域里等于0）；假设n=k时成立，那n=k+1时，(x+y)^{p^{k+1}} = [(x+y)^{p^k}]^p = (x^{p^k} + y^{p^k})^p = x^{p^{k+1}} + y^{p^{k+1}}，完美递推。

现在回到加法逆元的问题：对于a ∈ S（也就是a^{pⁿ} = a），我们要证-a ∈ S，也就是要验证(-a)^{pⁿ} = -a，分两种情况看：

• 当p是奇素数时：(-a)^{pⁿ} = (-1)^{pⁿ} * a^{pⁿ}。因为p是奇数，pⁿ自然也是奇数，所以(-1)^{pⁿ} = -1，再结合a^{pⁿ}=a，直接得到(-a)^{pⁿ} = -a，满足S的定义，所以-a ∈ S。
• 当p=2时：特征2的域里有个特殊性质——-1 = 1（因为1+1=0，所以1的加法逆元是它自己），那-a = a。既然a ∈ S，那(-a)^{2ⁿ} = a^{2ⁿ} = a = -a，显然满足条件，-a自然也在S里。

其实这个推广的二项式性质是特征p域相关证明里的常客，以后遇到类似的子域、子环问题，都可以先想想能不能用它来转化幂运算~

内容的提问来源于stack exchange，提问作者Inazuma