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$，所以$$\begin{gathered} \exists h_1,h_2\in H \\ {g}_2{h}_2=g_1{h}_1\iff g_1^{-1}{g}_2{h}_2=h_1\iff g_1^{-1}{g}_2=h_1{h}_2^{-1} \end{gathered}$$
因为$h_1{h}_2^{-1}\in H$，所以$g_1^{-1}{g}_2\in H$

证明必要性：
因为$g_1^{-1}{g}_2\in H$，所以$\exists h\in H$
$g_1^{-1}{g}_2=h\iff g_2=g_{1}h$
故$g_{2}H=g_{1}hH=g_1(hH)=g_{1}H$

3. 如果G是群，H是群G的子群，且[G: H] = 2，请证明对任意的g ∈G，gH= Hg
证明：
因为[G:H]=2，所以G被分为2个划分H、H’。对任意g∈G，有g∈H或g∈H‘。
若g∈H，则gH=H=Hg
若g∈H’，则gH=H’=Hg
所以gH=Hg

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

证明：
因为群H是群G的真子群，即存在$g\in G$但是$g\notin H$
所以群H在G上有若干个陪集，即$[G:H]\ge 2$
由拉格朗日定理得$[G:H]=|G|/|H|$
所以$|G|/|H|\ge 2\iff |H|\le |G|/2$

5. 设G是阶为pq的群，其中p和q是素数。请证明G的任意真子群是循环群
证明：
设H是G的真子群，由拉格朗日定理可知, 群G的子群的阶一定整除群G的阶, 故$|H|\mid |G|$，即$|H||pg$，且$|H|\ne pq$。
又p和q是素数，则H等于{e}，或阶为p的子群或阶为q的子群
H={e}是循环群, |H|=p或q时由推论8.2知, 素数阶有限群为循环群
所以G 的任意真子群是循环群。

7. 使用群论的方法重新证明费尔马小定理和欧拉定理。
(1)费马小定理
群G的阶为n，$\forall a\in G$，由推论8.1得$ord(a)||G|$，即$n=k\times ord(a)(k\in Z)$
所以$a^n=a^{k\times ord(g)}=e^k=e$