-
证明勒让德符号的若干属性
1. ( a 2 / p ) = 1 (a^{2}/p)=1 (a2/p)=1
显然 a 2 a^{2} a2是p的QR,得证。
2. a / p = b / p a/p=b/p a/p=b/p
当a是p的QR时,有 a ≡ b ≡ x 2 ( m o d p ) a ≡ b ≡ x^{2} (mod p) a≡b≡x2(modp),所以b也是p的QR,即有 a / p = b / p = 1 a/p=b/p=1 a/p=b/p=1。
当a是p的NQR时,有 a ≡ b ! ≡ x 2 ( m o d p ) a≡b !≡ x^{2} (mod p) a≡b!≡x2(modp),所以b也是p的QNR,即有 a / p = b / p = − 1 a/p=b/p=-1 a/p=b/p=−1。
所以 a / p = b / p a/p=b/p a/p=b/p。
3. ( a / p ) ( b / p ) = ( a b / p ) (a/p)(b/p)=(ab/p) (a/p)(b/p)=(ab/p)
当a、b都为模p的QR时,ab也是模p的QR,则 ( a / p ) ( b / p ) = 1 ∗ 1 = 1 = ( a b / p ) (a/p)(b/p)=1*1=1=(ab/p) (a/p)(b/p)=1∗1=1=(ab/p)
当a、b都为模p的QNR时,ab是模p的QR,则 ( a / p ) ( b / p ) = ( − 1 ) ∗ ( − 1 ) = 1 = ( a b / p ) (a/p)(b/p)=(-1)*(-1)=1=(ab/p) (a/p)(b/p)=(−1)∗(−1)=1=(ab/p)
当a、b有一个为模p的QR,另一个是模p的QNR,则 ( a / p ) ( b / p ) = 1 ∗ ( − 1 ) = − 1 = ( a b / p ) (a/p)(b/p)=1*(-1)=-1=(ab/p) (a/p)(b/p)=1∗(−1)=−1=(ab/p) -
给出推论11.1的证明
因为 p ≡ 1 (mod 4) 意味着存在 k ∈ Z 使得 p = 4k + 1ᮣ,根据欧拉准则
( − 1 / p ) ≡ ( − 1 ) ( p − 1 ) / 2 ≡ ( − 1 ) ( 4 k + 1 − 1 ) / 2 ≡ 1 ( m o d p ) (-1/p)≡(-1)^{(p-1)/2}≡(-1)^{(4k+1-1)/2}≡1(mod p) (−1/p)≡(−1)(p−1)/2≡(−1)(4k+1−1)/2≡1(modp)。所以-1是p的QR。
当p ≡ -1 (mod 4) 时,有k ∈ Z 使得 p = 4k - 1ᮣ,根据欧拉准则
( − 1 / p ) ≡ ( − 1 ) ( p − 1 ) / 2 ≡ ( − 1 ) ( 4 k − 1 − 1 ) / 2 ≡ ( − 1 ) ( 2 k − 1 ) ≡ − 1 ( m o d p ) (-1/p)≡(-1)^{(p-1)/2}≡(-1)^{(4k-1-1)/2}≡(-1)^{(2k-1)}≡-1(mod p) (−1/p)≡(−1)(p−1)/2≡(−1)(4k−1−1)/2≡(−1)(2k−1)≡−1(modp)。所以-1是p的QNR。得证。 -
设 p 是奇素数,请证明 Z∗p 的所有生成元都是模 p 的二次非剩余。
设g是Z*p的生成元,g的阶是p-1,g也是p的QR,此时有 g ≡ a 2 ( m o d p ) g≡a^{ 2}(mod p) g≡a2(modp),由费尔马小定理, a p − 1 ≡ 1 ( m o d p ) a^{p-1}≡1(mod p) ap−1≡1(modp),可得 g ( p − 1 ) / 2 ≡ a p − 1 ≡ 1 ( m o d p ) g^{(p-1)/2}≡a^{p-1}≡1(mod p) g(p−1)/2≡ap−1≡1(modp)。可知g的阶又变成了(p-1)/2,p-1>(p-1)/2,所以Z∗p 的所有生成元都是模 p 的二次非剩余。
CINTA7
于 2023-12-07 21:20:24 首次发布