CINTA作业六

• 设$G$是群，$H$是$G$的子群。任取$g_1,g_2\in G$，则$g_{1}H=g_{2}H$当且仅当$g_1^{-1}{g}_2\in H$。

  • 充分性

    因为$g_{1}H=g_{2}H$，所以存在$h_1,h_2\in H$，使得$g_1{h}_1=g_2{h}_2$，所以$g_1^{-1}{g}_2=h_1{h}_2^{-1}$，因为$h_1{h}_2^{-1}\in H$，所以得到$g_1^{-1}{g}_2\in H$。

  • 必要性
    因为$g_1^{-1}{g}_2\in H$，所以$g_1^{-1}{g}_{2}H=H$，又因为$g_1^{-1}{g}_{1}H=H$，所以$g_1^{-1}{g}_{1}H=g_1^{-1}{g}_{2}H$，所以$g_1{g}_1^{-1}{g}_{1}H=g_1{g}_1^{-1}{g}_{2}H$，则有$g_{1}H=g_{2}H$。

• 如果$G$是群，$H$是群$G$的子群，且$[G:H]=2$，$g\in G$，请证明$gH=Hg$。

  若$g\in H$，由吸收率可得$gH=Hg=H$。

  若$g\notin H$，则$gH\ne H,Hq\ne H$，由同一或不相交性，且$[G:H]=2$, 所以$gH=Hg=G-H$。

• 如果群$H$是群$G$的真子群，即存在$g\in G$但是$g\notin H$，请证明$|H|\le |G|/2$。

  因为群$H$是群$G$的真子群，且$|G|mode|H|=0$，所以存在整数$n>1$使得$n|H|=|G|$，所以$|H|\le |G|/2$。

• 使用群论的方法重新证明费尔马小定理和欧拉定理。

  • 费马小定理

    令$G$为$1$~$p-1$%$p$下的乘法群，$p$为素数，先证$G$是一个群。任取$G$中的两个元素$g_1,g_2$，因为$g_1{g}_2$%$p$$<p$，所以满足封闭性，因$1\ast g=g\ast 1=g$，故存在单位元，接下来证明$g{g}^{-1}\equiv 1(modp)$，因为$p$是质数，$gcd(g,p)=1$，故存在逆元$g^{-1}$。$a\in G$有$ord(a)|p-1$，令$n\ast ord(a)=p-1$，所以$a^{ord(a)n}=a^{p-1}$，所以$a^{p-1}\equiv 1(modp)$。

  • 欧拉定理

    令$G$为$1$~$n-1$%$n$下从$a_1到a_{\varphi (n)}$构成的群，且$a_1到a_{\varphi (n)}$与$n$互素，$n$是一个素数，现在$G$证明是一个群。

    显然$\forall a_n,a_m\in G$，$a_n{a}_m$%$n<n$，且与$n$互素。1是其单位元。$gcd(a,n)=1$，故存在逆元。$\forall a\in G$，由拉格朗日定理，$ord(a)|\varphi (n)$，令$n\ast ord(a)=\varphi (n)$，所以$a^{ord(a)n}=a^{\varphi (n)}=1$，所以$a^{\varphi }(n)\equiv 1(modp)$。