CINTA作业七

3、如果 H1 和 H2 是群 G 的正规子群，证明 H1H2 也是群 G 的正规子群。

证明：

5、定义映射 ϕ : G |→ G 为：g |→ $g^2$。请证明 ϕ 是一种群同态当且仅当 G 是阿贝尔群。

证明：充分性：由于ϕ是群同态，故对任意$a,b\in \mathbb{G},$由：
$\varphi (a\cdot b)=\varphi (a)\circ \varphi (b)$
即$(ab{)}^2=a^2\cdot b^2$
即$ab\cdot ab=a^2\cdot b^2$
由消去律得：$b\cdot ab=a\cdot b^2,b\cdot a=a\cdot b$
所以$\mathbb{G}是阿贝尔群。$
必要性：由于$\mathbb{G}$是阿贝尔群，故对任意的$a,b\in \mathbb{G}，有：ab=ba$
所以：$\varphi (a\cdot b)=(ab{)}^2=ab\cdot ab=ba\cdot ab=b\cdot a^2\cdot b=a^2\cdot b\cdot b=a^2\cdot b^2=\varphi (a)\circ \varphi (b)$
所以$\varphi$是一种群同态。

7. 证明：如果 H 是群 G 上指标为 2 的子群，则 H 是 G 的正规子群。

因为[G:H]=2,所以对任意$g\in \mathbb{G},有①g\in \mathbb{H}②g\notin \mathbb{H}$
$①g\in \mathbb{H}时：g\mathbb{H}=\mathbb{H}=\mathbb{H}g;$
$②g\notin \mathbb{H}时：对任意h\in \mathbb{H},有gh=h_1^{{}^{\prime }}\notin \mathbb{H}但h_1^{{}^{\prime }}\in \mathbb{G},hg=h_2^{{}^{\prime }}\notin \mathbb{H}但h_2^{{}^{\prime }}\in \mathbb{G}$
即存在${\mathbb{H}}^{{}^{\prime }}=\mathbb{G}-\mathbb{H}，使得h_1^{{}^{\prime }}\in {\mathbb{H}}^{{}^{\prime }},h_2^{{}^{\prime }}\in {\mathbb{H}}^{{}^{\prime }}$
即$g\mathbb{H}\in {\mathbb{H}}^{{}^{\prime }},\mathbb{H}g\in {\mathbb{H}}^{{}^{\prime }}$
对任意$h^{{}^{\prime }}\in {\mathbb{H}}^{{}^{\prime }},有h^{{}^{\prime }}\in \mathbb{G}但h^{{}^{\prime }}\notin \mathbb{H}，在\mathbb{H}中存在h_1,h_2使得：$
$h^{{}^{\prime }}=g{h}_1\in g\mathbb{H},h^{{}^{\prime }}=h_{2}g\in \mathbb{H}g$
所以$g\mathbb{H}={\mathbb{H}}^{{}^{\prime }}=\mathbb{H}g$
综上，对任意$g\in \mathbb{G},均有g\mathbb{H}=\mathbb{H}g$，即$\mathbb{H}是\mathbb{G}的正规子群。$

9. 证明：如果群 G 是循环群，则商群 G/H 也是循环群。

证明：$对任意a\in \mathbb{G},有（a\mathbb{H}{)}^n=a^n\mathbb{H}.(交换律+结合律)$
$当a是G的生成元时，a^n能生成\mathbb{G},$
$所以\mathbb{G}/\mathbb{H}每个元素都能够由a^n\mathbb{H}生成,$
$(因为a^n能生成\mathbb{G}中的所有元素，\mathbb{H}又是\mathbb{G}的正规子群,$
$故a^n\mathbb{H}能生成\mathbb{G}的所有陪集,不信就找个例子看看)$
$故a\mathbb{H}是群\mathbb{G}/\mathbb{H}的生成元，$
$(因为群\mathbb{G}/\mathbb{H}就是所有陪集的集合)$
$故群\mathbb{G}/\mathbb{H}是循环群。$