CINTA作业8-CSDN博客

本文链接：https://blog.csdn.net/m0_62772932/article/details/128365838

CINTA作业8
6.设p是奇素数，请证明 $Z_{p}^{*}$ 的所有生成元都是模p的二次非剩余。
证明：
设g为 $Z_{P}^{*}$ 的生成元
$g^{p-1}\equiv 1(mod\quad p)$
若g是模p的二次剩余
$(\frac gp)\equiv g^{(p-1)/2}(mod\quad p)\equiv 1$
与生成元的阶不同，相矛盾
$\therefore Z_{P}^{*}的所有生成元都是模p的二次非剩余$

7.使用抽象代数的语言重新证明欧拉准则
证明：
定义 $Z_{p}^{*}$ 到 $Z_{p}^{*}$ 的映射 $\phi：\phi(a)=a^{(p-1)/2}$
$\phi(ab)=(ab)^{(p-1)/2}=a^{(p-1)/2}b^{(p-1)/2}=\phi(a)\phi(b)$
满足群操作
$\therefore \phi满足群同态$
$a^{0}=1$ 是 $Z_{p}^{*}$ 的单位元
$\therefore Ker\phi=\phi^{-1}({1})$

令 $H=\{1,-1\}$
定义 $Z_{p}^{*}$ 到 $H$ 的映射为 $\psi:\psi(a)=(\frac ap)$
$\psi(ab)=(\frac {ab}{p})=(\frac ap)(\frac bp)=\psi(a)\psi(b)$
满足群操作
有二次剩余定义和勒让德符号可得：
$Z_{p}^{*}$ 到 $H$ 为满射
$\therefore \psi为满同态$
$H$ 的单位也为1
$Ker\psi=\psi^{-1}({1})$

$\forall a\in Ker\psi\,则\psi(a)=1$
$\exists x\in Z_{p}^{*},x^{2}\equiv a(mod\quad p)$
由费尔马小定理得：
$x^{p-1}\equiv1(mod\quad p)$
$x^{p-1}\equiv a^{(p-1)/2}\equiv 1(mod\quad p)$
$\therefore a\in Ker\phi$
$\therefore Ker\psi\subset Ker\phi$

$\forall a\in Ker\phi,\phi(a)=a^{(p-1)/2}=1$
$a^{(p-1)/2)}\equiv 1(mod\quad p)$
$\therefore a^{(p-1)/2}a\equiv a(mod\quad p)$
$a^{(p+1)/2}\equiv a(mod\quad p)$
$a\equiv(a^{(p+1)/4})^{2}(mod\quad p)$
$\therefore a为模p的二次剩余，\psi(a)=1,a\in Ker\psi$
$\therefore Ker\phi\subset Ker\psi$

$\therefore Ker\phi=Ker\psi$