CHITA 作业八
-
设 p p p 是奇素数，请证明 Z p ∗ \Z_p^* Zp∗ 的所有生成元都是模 p p p 的二次非剩余。
假设存在 Z p ∗ Z_p^* Zp∗ 的生成元为模 p p p 的二次剩余，并设其为 m m m。
那么有： ∃ x ∈ Z , m ≡ x 2 ( m o d p ) \exist x\in\mathbb{Z},m\equiv x^2(\mod p) ∃x∈Z,m≡x2(modp)
又因： m m m 为 Z p ∗ Z_p^* Zp∗ 的生成元
所以： m p − 1 ≡ 1 ( m o d p ) m^{p-1}\equiv 1(\mod p) mp−1≡1(modp)
已知： p p p 为奇素数， p − 1 p-1 p−1 为偶数
因此： m p − 1 2 ∈ Z m^{\frac{p-1}{2}}\in\mathbb{Z} m2p−1∈Z
推至： ( m p − 1 2 − 1 ) ( m p − 1 2 + 1 ) ≡ 0 ( m o d p ) (m^{\frac{p-1}{2}}-1)(m^{\frac{p-1}{2}}+1)\equiv 0(\mod p) (m2p−1−1)(m2p−1+1)≡0(modp)
但是： m m m 为 Z p ∗ Z_p^* Zp∗ 的生成元
所以： ∀ n ∈ Z p ∗ \forall n\in \Z_p^* ∀n∈Zp∗，仅有 n = p − 1 n=p-1 n=p−1 使 m p − 1 ≡ 1 ( m o d p ) m^{p-1}\equiv 1(\mod p) mp−1≡1(modp)
仅有： m p − 1 2 + 1 ≡ 0 ( m o d p ) m^{\frac{p-1}{2}}+1\equiv 0(\mod p) m2p−1+1≡0(modp)
即： m p − 1 2 ≡ − 1 ( m o d p ) m^{\frac{p-1}{2}}\equiv -1(\mod p) m2p−1≡−1(modp)
据欧拉准则： m p − 1 2 ≡ ( a p ) ≡ − 1 ( m o d p ) m^{\frac{p-1}{2}}\equiv(\frac{a}{p})\equiv -1(\mod p) m2p−1≡(pa)≡−1(modp)
那么： m m m 为 QNR 与已知相矛盾
因此：假设不成立
-
使用抽象代数的语言重新证明欧拉准则。
欧拉准则：
设 p p p 是奇素数， a ∈ Z a\in\Z a∈Z，且 gcd ( a , p ) = 1 \gcd(a,p)=1 gcd(a,p)=1。那么：
( a p ) ≡ a p − 1 2 ( m o d p ) (\frac{a}{p})\equiv a^{\frac{p-1}{2}}(\mod p) (pa)≡a2p−1(modp)
充分性：
设 a ≡ x 2 ( m o d p ) a\equiv x^2(\mod p) a≡x2(modp)
则 a p − 1 2 ≡ x p − 1 ≡ 1 ( m o d p ) a^{\frac{p-1}{2}}\equiv x^{p-1}\equiv 1(\mod p) a2p−1≡xp−1≡1(modp)
必要性：
设 g g g 是模 p p p 的一个原根且 a = g k a=g^k a=gk。那么： a p − 1 2 ≡ g k 2 ( p − 1 ) ≡ 1 ( m o d p ) a^{\frac{p-1}{2}}\equiv g^{\frac{k}{2}(p-1)}\equiv 1(\mod p) a2p−1≡g2k(p−1)≡1(modp)
所以： k 2 ( p − 1 ) \frac{k}{2}(p-1) 2k(p−1) 必然是 ϕ ( p ) = p − 1 \phi(p)=p-1 ϕ(p)=p−1 的倍数
故 k k k 为偶数，则 x = g k 2 x=g^{\frac{k}{2}} x=g2k
即可使 a ≡ x 2 ( m o d p ) a\equiv x^2(\mod p) a≡x2(modp) 成立
494
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
