- 94
- 0
- 约4.06千字
- 约 8页
- 2021-10-24 发布于天津
- 举报
(1)
(1)
PAGE
PAGE #
/ p」px —x =xp A ~2~
/ p」
p
x —x =x
p A ~2~
x -a
+
a 丁 -1
2
x = (x -a )xq(x)+
a~ -1
x
丿
J
J
若a是模p的平方剩余,则存在整数 x0使得
(2)
(3)
(4)
(5)
p
xo -xo
r p4、
p -4 2
x°p -a 2
+
/ p4
a〒-1
2
xo -a)xoq(Xo )+
a〒-1
k )
丿
丿
(6)
§ 2奇质数模的平方剩余与平方非剩余
本节考虑同余式
2
x 三 a mod p , a, p = 1 的解。
定理1若a, p =1,则a是模p的平方剩余的充分必要条件是
p -1
a 2 = 1 mod p
而a是模p的平方非剩余的充分必要条件是
p J
a 2 三-1 mod p
且若a是模p的平方剩余,则同余式(1)恰有二解。
证 (i)因x2-a|xp-a2,故存在整系数多项式 q x使得
p -1
xp丄 _a 2 = x2 _a q x .
故
x02 三 a mod p .
2
易得 Xo , p = a, p =1, xo, p =1.
在(4)式中令x=x)得
广P4 、
由(5), (6)两式及费马定理得 a 2 -1 x0三0( mod p ).但(心卩)=1故(2)式成
I 丿
广p 4 \
立。因x2—a除xp —X的余式 a〒一 1 x的每一系数都是 p的倍数,故同余式(1)恰有
I 丿
二解。
反之,若(2)式成立,则由第四 § 4定理5得a是模p的平方剩余。
(ii) 由费马定理,若 a, p =1,则
PAGE
PAGE #
apl 1 mod p ,
apl 1 mod p ,
f p A
/ pa 、
a 丁 +1
a 丁 -1
k )
k 丿
三 0 mod p .
因p为奇质数,故(2), ( 3)两式中必有一个成立,且只能有一个成立。于是由(i)
p 1 p A
可得,a是模p的平方非剩余 = a 2 左 1(modp)u a 2 三一1(modp).
定理2模p的简化剩余系中,平方剩余与平方非剩余的个数各为 口,而且丘1
2 2
个平方剩余分别与系列
2
12,22川,弓 (6)
I 2丿
中一数同余且仅与一数同余。
证由定理1得,在模p的简化剩余系中,平方剩余的个数等于同余式
x 2 三 1 mod p
的解数。因
p」
-1 xp
-1 xp
一 X,
故该同余式的解数为 g2
故该同余式的解数为 g
2
故平方剩余的个数为丄
2
而非平方剩余的个数为
p -1 p -12 2
p -1 p -1
2 2
下证定理的第二部分。易知(6)中的每一个数都是模 p的平方剩余,且对模 p两两部
同余。因为若k2三l2(mod p ),1兰k cl兰丄已,则p (I —k X丨+ k ), p丨—k或p丨+ k?但
2
p 一1
1 d -k ,1 :::l ? k ::: p -1,矛盾。由定理的第一部分即知,定理的第二部分成立。
2
习题
1.求出模37的平方剩余与平方非剩余。
37—1
解 由定2知,模37的平方剩余与平方非剩余的个数各为 18.因
2
1^1,2^4,3^9,4^16,5^25,6^36,7^12,8^27,9^7,10^26,
22 2222 2 2
11 =10,12 =33,13 =21,14 =11,15 =3,16 =34,17 =30,18 =28 mod 37
故在模37的简化剩余系
1,2, ,36 中,
1,3,4,7,9,10,11
,12,16,21,25,26,27,28,30,33,34,36
为 模 37 的 平
方 剩 余, 而 其 余 的 18 个 数
2,5,6
,8,13,, 34,32,35
为模37的平方非剩余。
2. (i)应用前几章的结果证明:模 p的简化剩余系中一定有平方剩余及平方非剩余存
在?
证明两个平方剩余的乘积是平方剩余;平方剩余与平方非剩余的乘积是平方非剩
余.(附注:根据问题(iii),应该是证明两个平方非剩余的乘积是平方剩余 ?)
应用(i) , (ii)证明:模 p的简化剩余系中平方剩余与平方非剩余的个数个为
P -1
2 ?
证明(i)设q,a2,IH,ap4为模p的一个简化剩余系,任取一个与 p互素的整数k , 则(k2,p)=1 ?故k2在一个与模p互素的剩余类中,因a1,a2^|,ap_1为模p的一个简化剩 余系,故,k2会和某个q在同一个剩余类,因此 k2三aj mod p , ai为模p的一个平方剩 余.
下面用反证法证明,在a1,a2J||,ap4中,一定有一个模p的平方非剩余?若 a1,a2,IH,ap4都是模
原创力文档

文档评论(0)