CINTA作业六

1.设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},h_2^{-1}$
$$g_1^{-1}{g}_1{h}_1{h}_2^{-1}=g_1^{-1}{g}_2{h}_2{h}_2^{-1}$$
$$e{h}_1{h}_2^{-1}=g_1^{-1}{g}_{2}e$$
因为群的封闭性
$$h_1{h}_2^{-1}\in H$$
所以
$$g_1^{-1}{g}_2\in H$$

必要性：
$$g_1^{-1}{g}_2\in H$$
设
$$h_1=g_1^{-1}{g}_2,h2=e\in H$$
$$g_1{h}_1=g_1{g}_1^{-1}{g}_2=e{g}_2=g_2{h}_2$$
所以
$$g_{1}H=g_{2}H$$

---

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

• 当$g\in H$时
  $$gH=H=Hg$$
• 当$g\notin H$时

$$[G:H]=2$$
$$所以有H^{\prime }=G-H$$
$$又g\notin H,故gh\notin H^{\prime },hg\notin H但hg\in H’$$
$$故gH=H^{\prime },Hg=H^{\prime }$$
$$所以gH=Hg$$

---

4

因为H是G的真子群，且$\exists g\in G，g\notin H$
故$$\frac{|G|}{|H|}=[G:H]\ge 2$$
故$|H|\le \frac{|G|}{2}$

---

5

设G的一个真子群为H，$\exists g\in G且g\notin H$,由推论8.1有$ord(g)|pg$
设$|H|=n,由拉格朗日定理得：n|pg$
又$g\notin H,故n\ne ord(g)$
$令g\in H^{\prime }，|H^{\prime }|=m,则m|pg,又m\ne n$
$所以m=p,n=q或m=q,n=p$
$故G=H+H^{\prime }且|H|和|H^{\prime }|为素数$
由推论8.2得：$H和H^{\prime }为循环群$

---

7

1. 费马小定理
   G是以n为阶得有限群，$则\forall a\in G,令|a|=k，由推论8.1可知k|n$
   又$a^k=e$,所以$a^n=a^{mk}=e^m=e$
2. 欧拉定理
   G是以$\varphi (n)$为阶得有限群，$则\forall a\in G,令|a|=k，由推论8.1可知k|\varphi (n)$
   又$a^k=e$,所以$a^n=a^{mk}=e^m=e$