-
a
≡
b
m
o
d
p
a\equiv b\mod p
a≡bmodp 且
b
≡
b
m
o
d
p
b\equiv b\mod p
b≡bmodp
若 b = x 2 且 x b=x^2且x b=x2且x,则 ( a p ) = ( b p ) = 1 \left(\frac{a}{p}\right)=\left(\frac{b}{p}\right)=1 (pa)=(pb)=1
若 b ≠ x 2 b\neq x^2 b=x2,则 ( a p ) = ( b p ) = − 1 \left(\frac{a}{p}\right)=\left(\frac{b}{p}\right)=-1 (pa)=(pb)=−1 -
a
,
b
∈
Q
R
,
Q
R
∗
Q
R
=
Q
R
a,b\in QR,QR*QR=QR
a,b∈QR,QR∗QR=QR则有
1
2
=
1
1^2=1
12=1
a , b ∈ Q N R , Q N R ∗ Q N R = Q R a,b\in QNR,QNR*QNR=QR a,b∈QNR,QNR∗QNR=QR则有 ( − 1 ) 2 = 1 (-1)^2=1 (−1)2=1
a ∈ Q R , b ∈ Q N R , Q R ∗ Q N R = Q N R a\in QR,b\in QNR,QR*QNR=QNR a∈QR,b∈QNR,QR∗QNR=QNR则有 1 ∗ ( − 1 ) = − 1 1*(-1)=-1 1∗(−1)=−1 -
a
≡
m
m
o
d
p
a\equiv m\mod p
a≡mmodp
a 2 ≡ m 2 m o d p a^2\equiv m^2\mod p a2≡m2modp
m 2 ≡ x 2 m o d p m^2\equiv x^2\mod p m2≡x2modp
( a 2 p ) = 1 \left(\frac{a^2}{p}\right)=1 (pa2)=1
- 若
p
≡
1
(
m
o
d
4
)
p\equiv 1\pmod4
p≡1(mod4)
( − 1 p ) = ( − 1 ) ( p − 1 ) / 2 ( m o d p ) \left(\frac{-1}{p}\right)=(-1)^{(p-1)/2}\pmod p (p−1)=(−1)(p−1)/2(modp),其中 ( p − 1 ) / 2 为偶数 (p-1)/2为偶数 (p−1)/2为偶数
( − 1 p ) ≡ 1 ( m o d p ) = 1 \left(\frac{-1}{p}\right)\equiv1\pmod p=1 (p−1)≡1(modp)=1 - 若
p
≡
−
1
(
m
o
d
4
)
≡
3
(
m
o
d
4
)
p\equiv {-1}\pmod4\equiv 3\pmod4
p≡−1(mod4)≡3(mod4)
( − 1 p ) = ( − 1 ) ( p − 1 ) / 2 ( m o d p ) \left(\frac{-1}{p}\right)=(-1)^{(p-1)/2}\pmod p (p−1)=(−1)(p−1)/2(modp),其中 ( p − 1 ) / 2 为奇数 (p-1)/2为奇数 (p−1)/2为奇数
( − 1 p ) ≡ − 1 ( m o d p ) = − 1 \left(\frac{-1}{p}\right)\equiv-1\pmod p=-1 (p−1)≡−1(modp)=−1
对于任意
Z
p
∗
的生成元
g
都有
g
p
−
1
≡
1
(
m
o
d
p
)
Z_p^*的生成元g都有g^{p-1}\equiv 1\pmod p
Zp∗的生成元g都有gp−1≡1(modp)
若
Z
p
∗
Z^*_p
Zp∗的生成元是模 p 的二次剩余,则由欧拉准则
g
(
p
−
1
)
/
2
≡
1
(
m
o
d
p
)
g^{(p-1)/2}\equiv1\pmod p
g(p−1)/2≡1(modp)
这与g是生成元矛盾,且p是素数
g
c
d
(
p
,
g
)
=
1
gcd(p,g)=1
gcd(p,g)=1
所以
Z
p
∗
Z^*_p
Zp∗的所有生成元都是模 p 的二次非剩余