CINTA作业六：拉格朗日定理

一

若$g_{1}H=g_{2}H$，则存在$h_1,h_2\in H$，使得$g_1{h}_1=g_2{h}_2$
故有$g_1^{-1}{g}_1{h}_1=g_1^{-1}{g}_2{h}_2$
即$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$
即$g_1^{-1}{g}_2\in H$

若$g_1^{-1}{g}_2\in H$
设$h_1=g_1^{-1}{g}_2,h_2=e$
则$g_1{h}_1=g_2{h}_2$
即$g_{1}H=g_{2}H$

三

若$g\in G$，由吸收率可得：$gH=Hg=H$
若$g\notin G$，$gH\notin H，Hg\notin H$，因为[G:H]=2，所以$gH=Hg=G-H$

四

因为群H是群G的真子群，且∣G∣ mode ∣H∣ =0，所以存在整数n >1，使得n∣H∣ = ∣G∣，故得证。

五

因为pq|p，则G存在p阶子群H1，由拉格朗日定理，且p为素数，H1为循环群，
同理G存在q阶子群H2，H2为循环群，
所以G为pq阶循环群，循环群的子群还是循环群，所以G的任意真子群是循环群。

七

暂时能力不足。