CINTA 作业8 QR

CINTA 作业8 QR

1.设$p$是奇素数，请证明${\mathbb{Z}}_p^{\ast }$的所有生成元都是模$p$的二次非剩余。
证明：我们令a为${\mathbb{Z}}_p^{\ast }$的一个生成元，则有$a^{p-1}\equiv$ 1 (mod p)；并且n=p-1是满足$a^n\equiv 1$ (mod p) 的最小值。假设a是模p的二次剩余。那么根据欧拉准则，则$a^{\frac{p-1}{2}}\equiv 1$ (mod p)。因为$\frac{p-1}{2}<p-1$。产生矛盾，所以${\mathbb{Z}}_p^{\ast }$的所有生成元都是模$p$的二次非剩余。

2.使用抽象代数的语言重新证明欧拉准则。

证明：对于任意的正整数n，根据二次剩余的定义,n不是模p的二次剩余就是模p的二次非剩余。因为p是奇质数，由费尔马小定理，我们可以得到$n^{p-1}\equiv 1$ (mod p),所以$n^{\frac{p-1}{2}}\equiv \pm 1$ (mod p)。因此，我们只需证明“n是模p的二次剩余当且仅当：$n^{\frac{p-1}{2}}\equiv 1$ (mod p)”。
充分性：因为n是模p的二次剩余，所以有$x^2\equiv n$ (mod p);
同时由费尔马小定理，$n^{\frac{p-1}{2}}={(x^2)}^{\frac{p-1}{2}}\equiv x^{p-1}\equiv 1$(mod p);
充分性得证！
必要性：我们设g是模p的一个原根，那么一定存在一个正整数k使得$g^k\equiv n$(mod p);又因为$n^{\frac{p-1}{2}}\equiv 1$(mod p);
所以$(g^k{)}^{\frac{p-1}{2}}\equiv 1$(mod p);因为g是原根，所以一定存在$p-1|k\ast \frac{p-1}{2}$,因此k一定为一个偶数，所以一定存在一个x使得$x\equiv g^{\frac{k}{2}}$(mod p);此时有$x^2\equiv n$（mod p）,所以n是模p的二次剩余，必要性得证！
综上所述，欧拉准则是一个真命题。