有限域中-3为平方元的充要条件证明问询

问题回顾 #

设$p \neq 2,3$为素数，$q=p^n$（$n \in \mathbb{N}$），$K$是$q$元有限域。证明：$-3 \in K$是平方元当且仅当$q \equiv 1 \bmod 3$。
我的思路：可以写成$x^2\equiv-3 \bmod q$，但不知道接下来怎么做。

证明思路与步骤 #

你已经把问题转化为同余式形式，这是非常好的开局！我们可以从有限域乘法群的核心性质入手，一步步推导：

1. 有限域乘法群的关键性质

$q$元有限域$K$的乘法群$K^*$是阶为$q-1$的循环群——这是有限域的核心结论之一，所有非零元素都能由某个生成元的幂次表示。

2. 平方元的等价判定

在循环群中，一个元素是平方元的充要条件是：若将其表示为生成元$g$的幂$g^k$，则指数$k$为偶数。或者用更直接的欧拉判别法：对$a \in K^*$，$a$是平方元 $\iff a^{\frac{q-1}{2}} = 1$。

3. 结合三次单位根的直观推导

我们可以通过三次本原单位根建立$-3$和$q \equiv 1 \bmod 3$的关联，过程非常直观：

• 必要性（$q \equiv 1 \bmod 3 \implies -3$是平方元）
  当$q \equiv 1 \bmod 3$时，$q-1$能被3整除，而$K^{*$是循环群，因此群中存在3阶元素，也就是三次本原单位根$\omega$（满足$\omega}3=1$且$\omega \neq 1$）。由$\omega^{3-1=(\omega-1)(\omega}2+\omega+1)=0$，可得$\omega^2+\omega+1=0$。对这个式子变形：
  (2ω + 1)² = 4ω² + 4ω + 1 = 4(ω²+ω) + 1 = 4*(-1) + 1 = -3
  这就直接构造出了$-3$的平方根$2\omega+1$，说明$-3$是平方元。

• 充分性（$-3$是平方元 $\implies q \equiv 1 \bmod 3$）
  若$-3$是平方元，设$x \in K^*$满足$x2=-3$。因为$p \neq 2$，所以2在$K$中可逆，我们构造元素ω = (-1 + x)/2，计算可得：
  ω² + ω + 1 = [(-1+x)²/4] + [(-1+x)/2] + 1 = (1-2x+x² -2+2x +4)/4 = (1-3-2+4)/4 = 0
  这说明$\omega$是三次本原单位根，即$K^*$中存在3阶元素。而循环群中存在$d$阶元素的充要条件是$d$整除群的阶$q-1$，因此$3 \mid q-1$，即$q \equiv 1 \bmod 3$。

用欧拉判别法的补充推导

我们也可以用二次剩余的欧拉判别法结合数论性质验证：
对$-3$应用欧拉判别法，$-3$是平方元等价于$(-3)^{\frac{q-1}{2}} = 1$。
因为$p \neq 3$，由费马小定理推广得$3^{q-1}=1$，再结合符号性质：
$(-3)^{\frac{q-1}{2}} = (-1)^{\frac{q-1}{2}} * 3^{\frac{q-1}{2}}$
利用有限域版本的二次互反律，可推导出$\left( \frac{-3}{q} \right) = \left( \frac{q}{3} \right)$（其中$\left( \frac{a}{q} \right)$是勒让德符号的推广）。而$\left( \frac{q}{3} \right)=1$当且仅当$q \equiv 1 \bmod 3$，$\left( \frac{q}{3} \right)=-1$当且仅当$q \equiv 2 \bmod 3$，因此$\left( \frac{-3}{q} \right)=1$等价于$q \equiv 1 \bmod 3$，即$-3$是平方元当且仅当$q \equiv 1 \bmod 3$。

备注：内容来源于stack exchange，提问作者MathJason