CINTA第7次作业
4.证明命题11.4
证明:
1.
若(
a
p
)
=
1
,
则
a
是模
p
的
Q
R
,故存在
x
∈
Z
,
使
x
2
≡
a
m
o
d
p
∵
a
≡
b
m
o
d
p
∴
x
2
≡
b
m
o
d
p
∴
b
是模
p
的
Q
R
∴
(
b
p
)
=
(
a
p
)
=
1
同理,当(
a
p
)
=
−
1
,
a
是模
p
的
Q
N
R
时,
有(
b
p
)
=
(
a
p
)
=
−
1
2.
当
a
,
b
是模
p
的
Q
R
时
,
a
b
也是模
p
的
Q
R
∴
(
a
p
)(
b
p
)
=
1
∗
1
=
1
=
(
a
b
p
)
当
a
,
b
是模
p
的
Q
N
R
时
,
a
b
是模
p
的
Q
R
∴
(
a
p
)(
b
p
)
=
(
−
1
)
∗
(
−
1
)
=
1
=
(
a
b
p
)
当
a
,
b
其中一个是模
p
的
Q
N
R
,
另一个是模
p
的
Q
R
时
,
a
b
是模
p
的
Q
N
R
∴
(
a
p
)(
b
p
)
=
(
−
1
)
∗
1
=
−
1
=
(
a
b
p
)
3.
由
2
可得,当
a
=
b
时,(
a
p
)(
b
p
)
=
(
a
2
p
)
=
1
\begin{aligned} 1.&若(\frac ap)=1,则a是模p的QR,故存在x\in \mathbb{Z},使x^2\equiv a \mod p\\ &\because a\equiv b\mod p\\ &\therefore x^2\equiv b \mod p\\ &\therefore b是模p的QR\\ &\therefore (\frac bp)=(\frac ap)=1\\ &同理,当(\frac ap)=-1,a是模p的QNR时,\\ &有(\frac bp)=(\frac ap)=-1\\ 2.&当a,b是模p的QR时,ab也是模p的QR\\ &\therefore (\frac ap)(\frac bp)=1*1=1=(\frac {ab}p)\\ &当a,b是模p的QNR时,ab是模p的QR\\ &\therefore (\frac ap)(\frac bp)=(-1)*(-1)=1=(\frac {ab}p)\\ &当a,b其中一个是模p的QNR,另一个是模p的QR时,ab是模p的QNR\\ &\therefore (\frac ap)(\frac bp)=(-1)*1=-1=(\frac {ab}p)\\ 3.&由2可得,当a=b时,(\frac ap)(\frac bp)=(\frac {a^2}p)=1\\ \end{aligned}
1.2.3.若(pa)=1,则a是模p的QR,故存在x∈Z,使x2≡amodp∵a≡bmodp∴x2≡bmodp∴b是模p的QR∴(pb)=(pa)=1同理,当(pa)=−1,a是模p的QNR时,有(pb)=(pa)=−1当a,b是模p的QR时,ab也是模p的QR∴(pa)(pb)=1∗1=1=(pab)当a,b是模p的QNR时,ab是模p的QR∴(pa)(pb)=(−1)∗(−1)=1=(pab)当a,b其中一个是模p的QNR,另一个是模p的QR时,ab是模p的QNR∴(pa)(pb)=(−1)∗1=−1=(pab)由2可得,当a=b时,(pa)(pb)=(pa2)=1
5.给出推论11.1的完整证明
补充证明:
当
p
≡
−
1
m
o
d
4
时,存在
k
∈
Z
使得
p
=
4
k
−
1
根据欧拉准则,(
−
1
p
)
≡
(
−
1
)
(
p
−
1
)
/
2
≡
(
−
1
)
2
k
−
1
≡
−
1
m
o
d
p
\begin{aligned} &当p\equiv -1\mod 4时,存在k\in \mathbb{Z}使得p=4k-1\\ &根据欧拉准则,(\frac {-1}p)\equiv (-1)^{(p-1)/2}\equiv(-1)^{2k-1}\equiv-1\mod p\\ \end{aligned}
当p≡−1mod4时,存在k∈Z使得p=4k−1根据欧拉准则,(p−1)≡(−1)(p−1)/2≡(−1)2k−1≡−1modp
证明:
设
g
为
Z
p
∗
任意一个生成元,则
g
c
d
(
g
,
p
)
=
1
若
g
是模
p
的
Q
R
,根据欧拉准则,(
g
p
)
≡
g
(
p
−
1
)
/
2
≡
1
m
o
d
p
根据费尔马小定理,
g
p
−
1
≡
1
m
o
d
p
p
是奇素数,故
p
−
1
≠
(
p
−
1
)
/
2
所以,
Z
p
∗
所有生成元是模
p
的
Q
N
R
\begin{aligned} &设g为\mathbb{Z}^*_p任意一个生成元,则gcd(g,p)=1\\ &若g是模p的QR,根据欧拉准则,(\frac gp)\equiv g^{(p-1)/2}\equiv 1 \mod p\\ &根据费尔马小定理,g^{p-1}\equiv 1 \mod p\\ &p是奇素数,故p-1\neq (p-1)/2\\ &所以,\mathbb{Z}^*_p所有生成元是模p的QNR\\ \end{aligned}
设g为Zp∗任意一个生成元,则gcd(g,p)=1若g是模p的QR,根据欧拉准则,(pg)≡g(p−1)/2≡1modp根据费尔马小定理,gp−1≡1modpp是奇素数,故p−1=(p−1)/2所以,Zp∗所有生成元是模p的QNR