6,设p为奇素数,请证明Zp*的所有生成元都是模p的二次非剩余
证明:
设q为Zp的生成元,由p为奇素数得p的阶为p^-1;
假设
g为模p的二次剩余,
则存在
a∈Zp,
q≡ a^2(modp),q^(p-1)≡ a^(p-1)≡ 1(mod p),
与q的阶为p-1矛盾
因此
Zp*的所有生成元都是模p的二次非剩余
7,使用抽象代数的语言重新证明欧拉准则
欧拉准则:
p为奇质数且p不能整除d,则
d是模P的二次剩余,当且仅当
d^(p-1)/2≡1(modp)
d是模p的非二次剩余当且仅当
d^(p-1)/2≡-1(modp)
若用勒让德符号表示则为
d^(p-1)/2≡(d/p)(modp)
证明:
∵p为奇素数,由费马小定理得
d^(p-1)≡1(modP),
p-1为偶数,所以
(d^(p-1/2)-1)*(d^(p-1/2)+1)≡0(modp)
p是一个素数,所以d^(p-1/2)-1 和d^(p-1/2)+1 中必有一个是 的倍数。因此模的余数必然是1或-1。
(1)证明d是模P的二次剩余,当且仅当d^(p-1)/2≡1(modp)
若d是模P的二次剩余,则存在x^2≡d(modp),p与d,x互质,根据费马小定理得
d^(p-1)/2≡x^(p-1)≡1(modp)
(2)证明若d^(p-1)/2≡1(modp),则d是模p的二次剩余
p为奇素数,p的原跟存在,则存在1<=j<=p-1,使得d=a^j
于是a^j*(p-1/2)≡1(modp)
a为p的原根,∴a模p的指数为p-1,于是p-1整除j(p-1)/2
∴j为偶数,及(a^i)^2=a^2*i=d;