CINTA加分作业QR

证明：使用抽象代数的语言重新证明欧拉准则。

①对于奇素数$p$,对 $Z_p^{\ast }$构建一个映射$\varphi$:$Z_p^{\ast }$ → $Z_p^{\ast }$，对于任意$a$$\in$$Z_p^{\ast }$，$\varphi (a)$ = a^(p−1)/2。对于任意$a,b$$\in$$Z_p^{\ast }$，有$\varphi (a\ast b)$ = (ab)^(p−1)/2，$\varphi (a)$ = a^(p−1)/2，$\varphi (b)$ = b^(p−1)/2,又$Z_p^{\ast }$是循环群，所以$Z_p^{\ast }$是阿贝尔群。所以$\varphi (a)$*$\varphi (b)$ = a^(p−1)/2 * b^(p−1)/2 = (ab)^(p−1)/2 = $\varphi (a\ast b)$。所以$\varphi$是同态映射。
②设{1,-1}模素数$p$的乘法为群$H$，定义映射$\psi$: $Z_p^{\ast }$ → $H$，对于任意$a$$\in$$Z_p^{\ast }$，$\psi (a)$ = $(a/p)$。任取$a,b$$\in$$Z_p^{\ast }$，则$\psi (ab)$ = $(ab/p)$，$\psi (a)$ = $(a/p)$，$\psi (b)$ = $(b/p)$，又由$Legendre$ $symbol$的性质可得对于任意$a,b$$\in$$Z_p^{\ast }$，$(a/p)$$(b/p)$ = $(ab/p)$，即$\psi (ab)$ = $\psi (a)$$\psi (b)$，所以$\psi$是同态映射。
③任取$Ker$$\psi$中的元素m，由于$H$的单位元是1，所以n是模p的$QR$，则由二次剩余可得存在$X$$\in$$Z_p^{\ast }$，使得$m$$\equiv$$X^2$(mod p)，所以$m$^(p-1)/2 ≡ $X$^(p-1) (mod p)，又$X$^(p-1) = e = 1，所以$m$^(p-1)/2 ≡ $1$ (mod p)，所以$Ker$$\psi$ ⊂ $Ker$$\varphi$
④任取$Ker$$\varphi$中的元素m，则有$m$^(p-1)/2 = $1$，由于$p$是奇素数，所以$Z_p^{\ast }$是循环群，则存在一个生成元$g$$\in$$Z_p^{\ast }$，使得$g$^k = $m$($k$$\in$$Z$)， 所以($g$^k)^(p-1)/2 = $g$^k(p-1)/2 = $1$，$Z_p^{\ast }$的阶为$p-1$，由拉格朗日定理得$k(p-1)/2$ | $p-1$，所以$k/2$$\in$$Z$，所以在$Z_p^{\ast }$中存在一个元素$X$ $=$ $g$^k/2，所以$m$ $\equiv$ $X^2$ （mod $p$)，所以$m$∈$QR$(mod $p$)，所以$Ker$$\varphi$⊂$Ker$$\psi$，
⑤所以$Ker$$\varphi$ $=$ $Ker$$\psi$，所以$\varphi$ $=$ $\psi$，即$(a/p)$ $\equiv$ $a$^(p-1)/2 (mod $p$).