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
864
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
