6.设
p
p
p是奇素数，请证明
Z
p
∗
\Z_p^*
Zp∗的所有生成元都是模
p
p
p的二次非剩余。
证明：
∀
a
为
Z
p
∗
的生成元，任取
Z
p
∗
的生成元
g
\forall a为Z_{p}^{*}的生成元，任取Z_{p}^{*}的生成元g
∀a为Zp∗的生成元，任取Zp∗的生成元g
o
r
d
(
g
)
=
p
−
1
,
因为
p
为奇素数，由欧拉准则，则
a
(
p
−
1
)
/
2
≡
1
(
m
o
d
p
)
ord(g)=p-1,因为p为奇素数，由欧拉准则，则a^{(p-1)/2}\equiv 1(mod p)
ord(g)=p−1,因为p为奇素数，由欧拉准则，则a(p−1)/2≡1(modp)
又因为
(
p
−
1
)
/
2
>
p
−
1
,
与
o
r
d
(
g
)
=
p
−
1
矛盾
又因为(p-1)/2>p-1,与ord(g)=p-1矛盾
又因为(p−1)/2>p−1,与ord(g)=p−1矛盾
命题得证
命题得证
命题得证
7.使用抽象代数的语言重新证明欧拉准则。
证明：
设
p
为奇素数，
a
∈
Z
，且
g
c
d
(
a
,
p
)
=
1
，则
(
a
b
)
≡
a
(
p
−
1
)
2
(
m
o
d
p
)
设 p 为奇素数，a\in\Z，且 gcd ( a , p ) = 1，则({a\over b})\equiv a^{(p-1)\over 2}(mod p)
设p为奇素数，a∈Z，且gcd(a,p)=1，则(ba)≡a2(p−1)(modp)
充分性：
设
a
≡
x
2
(
m
o
d
p
)
,
则
a
(
p
−
1
)
2
≡
x
(
p
−
1
)
≡
1
(
m
o
d
p
)
设a\equiv x^2(mod p),则 a^{(p-1)\over 2}\equiv x^{(p-1)}\equiv 1(mod p)
设a≡x2(modp),则a2(p−1)≡x(p−1)≡1(modp)
充分性得证
必要性：
设
g
为模
p
的一个原根且
a
=
g
k
,
a
(
p
−
1
)
2
≡
g
k
2
(
p
−
1
)
≡
1
(
m
o
d
p
)
,
k
2
(
p
−
1
)
必为
Φ
(
p
)
=
p
−
1
的倍数，则
k
为偶数，
x
=
g
k
2
设g为模p的一个原根且a=g^k, a^{(p-1)\over 2}\equiv g^{{k\over 2}(p-1)}\equiv 1(mod p),{k\over 2}(p-1)必为\Phi (p)=p-1的倍数，则k为偶数，x=g^{k\over 2}
设g为模p的一个原根且a=gk,a2(p−1)≡g2k(p−1)≡1(modp),2k(p−1)必为Φ(p)=p−1的倍数，则k为偶数，x=g2k
必要性得证
885
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
