Cinta作业八

1.设$p$是奇素数，请证明${\mathbb{Z}}_p^{\ast }$的所有生成元都是模$p$的二次非剩余
证明：
设g为${\mathbb{Z}}_p^{\ast }$的任意一个生成元
则有g^p-1≡1(mod p),且p − 1是使g^p − 1^ ≡1(mod p)最小元素,若g使模p的二次剩余，则根据欧拉准则，有$g^{\frac{p-1}{2}}$ ≡1(mod p)
∵$\frac{p-1}{2}$＜p-1,与费尔马小定理矛盾
∴${\mathbb{Z}}_p^{\ast }$的所有生成元都是模$p$的二次非剩余

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

证明：
充分性：
设a≡x²(mod p)
则有$a^{\frac{p-1}{2}}$ ≡x^p-1≡1(mod p)
必要性：
设g是模p的一个原根，且a=g^k，则$a^{\frac{p-1}{2}}$ ≡$g^{\frac{k}{2}}$^(p-1)≡1(mod p)
则$\frac{k}{2}$(p-1)必然为ϕ§=p−1 的整数倍
所以为偶数，x=$g^{\frac{k}{2}}$
即a≡x²(mod p)