CINTA 作业8 QR
1.设
p
p
p是奇素数,请证明
Z
p
∗
\Z_p^*
Zp∗的所有生成元都是模
p
p
p的二次非剩余。
证明:我们令a为
Z
p
∗
\Z_p^*
Zp∗的一个生成元,则有
a
p
−
1
≡
a^{p-1}\equiv
ap−1≡ 1 (mod p);并且n=p-1是满足
a
n
≡
1
a^n \equiv 1
an≡1 (mod p) 的最小值。假设a是模p的二次剩余。那么根据欧拉准则,则
a
p
−
1
2
≡
1
a^{\frac{p-1}{2}} \equiv 1
a2p−1≡1 (mod p)。因为
p
−
1
2
<
p
−
1
\frac{p-1}{2}<p-1
2p−1<p−1。产生矛盾,所以
Z
p
∗
\Z_p^*
Zp∗的所有生成元都是模
p
p
p的二次非剩余。
2.使用抽象代数的语言重新证明欧拉准则。
证明:对于任意的正整数n,根据二次剩余的定义,n不是模p的二次剩余就是模p的二次非剩余。因为p是奇质数,由费尔马小定理,我们可以得到
n
p
−
1
≡
1
n^{p-1} \equiv 1
np−1≡1 (mod p),所以
n
p
−
1
2
≡
±
1
n^{\frac{p-1}{2}}\equiv \pm1
n2p−1≡±1 (mod p)。因此,我们只需证明“n是模p的二次剩余当且仅当:
n
p
−
1
2
≡
1
n^{\frac{p-1}{2}}\equiv 1
n2p−1≡1 (mod p)”。
充分性:因为n是模p的二次剩余,所以有
x
2
≡
n
x^2\equiv n
x2≡n (mod p);
同时由费尔马小定理,
n
p
−
1
2
=
(
x
2
)
p
−
1
2
≡
x
p
−
1
≡
1
n^{\frac{p-1}{2}}={(x^2)}^{\frac{p-1}{2}}\equiv x^{p-1}\equiv 1
n2p−1=(x2)2p−1≡xp−1≡1(mod p);
充分性得证!
必要性:我们设g是模p的一个原根,那么一定存在一个正整数k使得
g
k
≡
n
g^k \equiv n
gk≡n(mod p);又因为
n
p
−
1
2
≡
1
n^{\frac{p-1}{2}}\equiv 1
n2p−1≡1(mod p);
所以
(
g
k
)
p
−
1
2
≡
1
(g^k)^{\frac{p-1}{2}}\equiv 1
(gk)2p−1≡1(mod p);因为g是原根,所以一定存在
p
−
1
∣
k
∗
p
−
1
2
p-1|k*\frac{p-1}{2}
p−1∣k∗2p−1,因此k一定为一个偶数,所以一定存在一个x使得
x
≡
g
k
2
x\equiv g^{\frac{k}{2}}
x≡g2k(mod p);此时有
x
2
≡
n
x^2\equiv n
x2≡n(mod p),所以n是模p的二次剩余,必要性得证!
综上所述,欧拉准则是一个真命题。