CINTA作业七：同态

---

3. 如果 H₁ 和 H₂ 是群 G 的正规子群，证明 H₁H₂ 也是群 G 的正规子群。

---

证明:
由命题9.5知，
要证H₁H₂是群G的正规子群, 首先证明H₁H₂是群G的子群，再去证$\forall$g$\in$G，有gH₁H₂g^-1=H₁H₂即可。
证明群G的两个子群的交仍是群G的子群显然正确，因为任取h$\in$H₁H₂, 有h$\in$H₁, h$\in$H₂，满足群的公理，且单位元e=e$\cdot$e$\in$H₁H₂。
要证gH₁H₂g^-1=H₁H₂, 证明两个集合相互包含即代表相等。
1.证gH₁H₂g^-1$\subset$H₁H₂
由H₁ 和 H₂ 是群 G 的正规子群以及命题9.5知,
$\forall$h1$\in$H₁, h2$\in$H₂, g$\in$G，存在h₁^’$\in$H₁, h₂^’$\in$H₂, 使得gh₁g^-1=h₁^’, gh₂g^-1=h₂^’。
那么gh₁g^-1gh₂g^-1=h₁^’h₂^’=gh₁h₂g^-1, 因此可得gH₁H₂g^-1$\subset$H₁H₂。
2.证H₁H₂$\subset$gH₁H₂g^-1
$\forall$g^-1$\in$G, h₁$\in$H₁, h₂$\in$H₂，存在h₁^’$\in$H₁, h₂^’$\in$H₂, 使得g^-1h₁g=h₁^’, g^-1h₂g=h₂^’。
那么g^-1h₁gg^-1h₂g=h₁^’h₂^’=g^-1h₁h₂g, 等式两边同时左乘g,再右乘g^-1得h₁h₂=gh₁^’h₂^’g^-1, 因此可得H₁H₂$\subset$gH₁H₂g^-1。
3.结合上面两点，可得H₁H₂是群G的正规子群。

---

5. 定义映射 $\varphi$ : G $\to$G 为：g $\to$ g²。请证明 $\varphi$ 是一种群同态当且仅当 G 是阿贝尔群

---

证明:
1.充分性：
由$\varphi$是一种群同态可知$\forall$a,b$\in$G，有$\varphi$(a+b)=$\varphi$(a)$\varphi$(b)，即g^2(a+b)=g^2ag^2b。
那么g^ag^bg^ag^b=g^ag^ag^bg^b，等式两边同时左乘g^-a，右乘g^-b可得g^bg^a=g^ag^b，因此群G是阿贝尔群。
2.必要性：
当群G是阿贝尔群时，$\forall$a,b$\in$G，有g^ag^b=g^bg^a，
那么等式两边同时左乘g^a，右乘g^b可得到g^ag^ag^bg^b=g^ag^bg^ag^b，
即g^2ag^2b=g^a+bg^a+b=g^2(a+b)，因此得到$\varphi$(a+b)=$\varphi$(a)$\varphi$(b)。
由充分性以及必要性，题目得证。

---

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

---

证明：
由题可知[G:H]=2，即群G的子群H的陪集组成，把群G划分成H和G-H两部分。
$\forall$g$\in$G，g有两种情况：
1.g$\in$H时，由群元素之间满足封闭性可知$\forall$h$\in$H，存在h^’$\in$H，有gh=h^’，所以gH=H，同理Hg=H，因此gH=Hg。
2.g$\notin$H时，左陪集gH=G-H，右陪集Hg=G-H，因此gH=Hg。
可知H是G的正规子群。

---

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

---

证明：
首先可知，商群G/H是群G的正规子群H的陪集集合，G/H={aH|a$\in$G}，
因此若G是循环群，假设群G的一个生成元为g，则$\forall$a$\in$G，有g^k=a，k$\in$Z。
那么G/H={g^kH|k$\in$Z}，又由商群的群操作有，g^kH=(gH)^k，那么G/H可表示为G/H={(gH)^k|k$\in$Z}
因此商群G/H也是循环群，生成元为gH。