证明:使用抽象代数的语言重新证明欧拉准则。
①对于奇素数
p
p
p,对
Z
p
∗
Z_p^*
Zp∗构建一个映射
ϕ
ϕ
ϕ:
Z
p
∗
Z_p^*
Zp∗ →
Z
p
∗
Z_p^*
Zp∗,对于任意
a
a
a
∈
∈
∈
Z
p
∗
Z_p^*
Zp∗,
ϕ
(
a
)
ϕ(a)
ϕ(a) = a(p−1)/2。对于任意
a
,
b
a,b
a,b
∈
∈
∈
Z
p
∗
Z_p^*
Zp∗,有
ϕ
(
a
∗
b
)
ϕ(a*b)
ϕ(a∗b) = (ab)(p−1)/2,
ϕ
(
a
)
ϕ(a)
ϕ(a) = a(p−1)/2,
ϕ
(
b
)
ϕ(b)
ϕ(b) = b(p−1)/2,又
Z
p
∗
Z_p^*
Zp∗是循环群,所以
Z
p
∗
Z_p^*
Zp∗是阿贝尔群。所以
ϕ
(
a
)
ϕ(a)
ϕ(a)*
ϕ
(
b
)
ϕ(b)
ϕ(b) = a(p−1)/2 * b(p−1)/2 = (ab)(p−1)/2 =
ϕ
(
a
∗
b
)
ϕ(a*b)
ϕ(a∗b)。所以
ϕ
ϕ
ϕ是同态映射。
②设{1,-1}模素数
p
p
p的乘法为群
H
H
H,定义映射
ψ
ψ
ψ:
Z
p
∗
Z_p^*
Zp∗ →
H
H
H,对于任意
a
a
a
∈
∈
∈
Z
p
∗
Z_p^*
Zp∗,
ψ
(
a
)
ψ(a)
ψ(a) =
(
a
/
p
)
(a/p)
(a/p)。任取
a
,
b
a,b
a,b
∈
∈
∈
Z
p
∗
Z_p^*
Zp∗,则
ψ
(
a
b
)
ψ(ab)
ψ(ab) =
(
a
b
/
p
)
(ab/p)
(ab/p),
ψ
(
a
)
ψ(a)
ψ(a) =
(
a
/
p
)
(a/p)
(a/p),
ψ
(
b
)
ψ(b)
ψ(b) =
(
b
/
p
)
(b/p)
(b/p),又由
L
e
g
e
n
d
r
e
Legendre
Legendre
s
y
m
b
o
l
symbol
symbol的性质可得对于任意
a
,
b
a,b
a,b
∈
∈
∈
Z
p
∗
Z_p^*
Zp∗,
(
a
/
p
)
(a/p)
(a/p)
(
b
/
p
)
(b/p)
(b/p) =
(
a
b
/
p
)
(ab/p)
(ab/p),即
ψ
(
a
b
)
ψ(ab)
ψ(ab) =
ψ
(
a
)
ψ(a)
ψ(a)
ψ
(
b
)
ψ(b)
ψ(b),所以
ψ
ψ
ψ是同态映射。
③任取
K
e
r
Ker
Ker
ψ
ψ
ψ中的元素m,由于
H
H
H的单位元是1,所以n是模p的
Q
R
QR
QR,则由二次剩余可得存在
X
X
X
∈
∈
∈
Z
p
∗
Z_p^*
Zp∗,使得
m
m
m
≡
≡
≡
X
2
X^2
X2(mod p),所以
m
m
m(p-1)/2 ≡
X
X
X(p-1) (mod p),又
X
X
X(p-1) = e = 1,所以
m
m
m(p-1)/2 ≡
1
1
1 (mod p),所以
K
e
r
Ker
Ker
ψ
ψ
ψ ⊂
K
e
r
Ker
Ker
ϕ
ϕ
ϕ
④任取
K
e
r
Ker
Ker
ϕ
ϕ
ϕ中的元素m,则有
m
m
m(p-1)/2 =
1
1
1,由于
p
p
p是奇素数,所以
Z
p
∗
Z_p^*
Zp∗是循环群,则存在一个生成元
g
g
g
∈
∈
∈
Z
p
∗
Z_p^*
Zp∗,使得
g
g
gk =
m
m
m(
k
k
k
∈
∈
∈
Z
Z
Z), 所以(
g
g
gk)(p-1)/2 =
g
g
gk(p-1)/2 =
1
1
1,
Z
p
∗
Z_p^*
Zp∗的阶为
p
−
1
p-1
p−1,由拉格朗日定理得
k
(
p
−
1
)
/
2
k(p-1)/2
k(p−1)/2 |
p
−
1
p-1
p−1,所以
k
/
2
k/2
k/2
∈
∈
∈
Z
Z
Z,所以在
Z
p
∗
Z_p^*
Zp∗中存在一个元素
X
X
X
=
=
=
g
g
gk/2,所以
m
m
m
≡
≡
≡
X
2
X^2
X2 (mod
p
p
p),所以
m
m
m∈
Q
R
QR
QR(mod
p
p
p),所以
K
e
r
Ker
Ker
ϕ
ϕ
ϕ⊂
K
e
r
Ker
Ker
ψ
ψ
ψ,
⑤所以
K
e
r
Ker
Ker
ϕ
ϕ
ϕ
=
=
=
K
e
r
Ker
Ker
ψ
ψ
ψ,所以
ϕ
ϕ
ϕ
=
=
=
ψ
ψ
ψ,即
(
a
/
p
)
(a/p)
(a/p)
≡
≡
≡
a
a
a(p-1)/2 (mod
p
p
p).