CINTA——7
第十一章习题4(勒让德符号的性质)
注意前提：a,b不被p整除，p为奇素数
①若要证明第一点，即证明a模p的二次剩余等于b模p的二次剩余，即证明
a
≡
x
2
(
m
o
d
p
)
⇔
b
≡
x
2
(
m
o
d
p
)
a\equiv x^2\pmod{p} \Leftrightarrow b\equiv x^2\pmod{p}
a≡x2(modp)⇔b≡x2(modp)
而又因为
a
≡
b
(
m
o
d
p
)
a \equiv b \pmod p
a≡b(modp),因为同余关系是一种等价关系（包括自反性、传递性、闭包性），根据传递性：
a
≡
x
2
(
m
o
d
p
)
,
a
≡
b
(
m
o
d
p
)
a\equiv x^2\pmod{p},a\equiv b\pmod{p}
a≡x2(modp),a≡b(modp),可得
b
≡
x
2
(
m
o
d
p
)
b\equiv x^2\pmod{p}
b≡x2(modp);
反过来证明同理，这里就不赘述了…
②第二点：
根据欧拉准则： ( a p ) \left(\frac{a}{p}\right) (pa)= a ( p − 1 ) / 2 ( m o d p ) a^{(p-1)/2}\pmod{p} a(p−1)/2(modp), ( b p ) \left(\frac{b}{p}\right) (pb)= b ( p − 1 ) / 2 ( m o d p ) b^{(p-1)/2}\pmod{p} b(p−1)/2(modp)
故 ( a p ) ( b p ) = a ( p − 1 ) / 2 b ( p − 1 ) / 2 ( m o d p ) = a b ( p − 1 ) / 2 ( m o d p ) = ( a b p ) \left(\frac{a}{p}\right)\left(\frac{b}{p}\right)=a^{(p-1)/2}b^{(p-1)/2}\pmod{p}=ab^{(p-1)/2}\pmod {p}=\left(\frac{ab}{p}\right) (pa)(pb)=a(p−1)/2b(p−1)/2(modp)=ab(p−1)/2(modp)=(pab)得证。
③第三点：
根据第二点有： ( a 2 p ) = ( a p ) ( a p ) \left(\frac{a^2}{p}\right)=\left(\frac{a}{p}\right)\left(\frac{a}{p}\right) (pa2)=(pa)(pa)
若a是模p的QR，则 ( a 2 p ) \left(\frac{a^2}{p}\right) (pa2)根据命题11.3， Q R × Q R = Q R QR\times QR=QR QR×QR=QR,为p的 Q R QR QR，故 ( a 2 p ) = 1 \left(\frac{a^2}{p}\right)=1 (pa2)=1;
若a是模p的QNR，则 ( a 2 p ) \left(\frac{a^2}{p}\right) (pa2)根据命题11.3， Q N R × Q N R = Q R QNR\times QNR=QR QNR×QNR=QR,也为p的 Q R QR QR，故 ( a 2 p ) = 1 \left(\frac{a^2}{p}\right)=1 (pa2)=1;故第三点得证
习题五
当 a = − 1 a=-1 a=−1时，勒让德符号有 ( − 1 p ) \left(\frac{-1}{p}\right) (p−1),等于1的情况教材中已有证明，下面来证明第二种情况——等于-1时：
当 p ≡ − 1 ( m o d 4 ) 时 p\equiv -1\pmod{4}时 p≡−1(mod4)时，即 p = 4 k − 1 p=4k-1 p=4k−1时， ( − 1 p ) = ( − 1 ) ( p − 1 ) / 2 ( m o d p ) = ( − 1 ) 4 k − 1 − 1 / 2 ( m o d p ) = ( − 1 ) 2 k − 1 ( m o d p ) = − 1 ( m o d p ) = − 1 \left(\frac{-1}{p}\right)=(-1)^{(p-1)/2}\pmod {p}=(-1)^{4k-1-1}/2\pmod{p}=(-1)^{2k-1}\pmod{p}=-1\pmod{p}=-1 (p−1)=(−1)(p−1)/2(modp)=(−1)4k−1−1/2(modp)=(−1)2k−1(modp)=−1(modp)=−1得证。
习题六
采用反证法：假设
Z
p
∗
Z^*_p
Zp∗的所有生成元都是模 p 的二次剩余。
则群
Z
Z
Z中模p的所有生成元，根据欧拉定理和费尔马小定理，应满足
a
p
−
1
≡
1
(
m
o
d
p
)
a^{p-1}\equiv 1\pmod{p}
ap−1≡1(modp);
如果假设 Z p ∗ Z^*_p Zp∗的所有生成元都是模 p 的二次剩余，根据欧拉准则，有 ( a p ) = a ( p − 1 ) / 2 ( m o d p ) = 1 \left(\frac{a}{p}\right)=a^{(p-1)/2}\pmod{p}=1 (pa)=a(p−1)/2(modp)=1,即 a ( p − 1 ) / 2 ≡ 1 ( m o d p ) a^{(p-1)/2}\equiv 1\pmod{p} a(p−1)/2≡1(modp)
但是 p − 1 ≠ ( p − 1 ) / 2 p-1\neq (p-1)/2 p−1=(p−1)/2,故假设不成立，故 Z p ∗ Z^*_p Zp∗的所有生成元都是模 p 的二次非剩余。
809
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
