CINTA作业七：同态

同构、同态与商群

---

前言

实践中存在着很多不同的代数系统，有些系统是同类型的，有些不但是同类型的，而且具有共同的运算性质，因此是同种的。
本章着重介绍了群关系的映射和群的分解

---

一、证明 9.3

解：$\because$ $H_1$ 和 $H_2$ 是群 G 的正规子群

  $\therefore$ 则群 $H_1$$H_2$ 显然满足封闭性
   又因为 $H_1$ 和 $H_2$ 中均存在单位元 e
   所以群 $H_1$$H_2$ 中必存在单位元 e
   由命题 6.10 知，
   有限群 G 的非空子集 $H_1$$H_2$ 是群 G 的子群，当且仅当 $H_1$$H_2$ 中的元素在群 G 的操作下满足

  $\therefore$ 群 $H_1$$H_2$ 也是群 G 的子群
    且对 $\forall$ g $\in$ G，有 $g{H}_1$ = $H_{1}g$ 和 $g{H}_2$ = $H_{2}g$

  即对任意给定的 g $\in$ G 和 $h_1$ $\in$ $H_1$，存在 $h_1^{{}^{\prime }}$ $\in$ $H_{!}$，使得 g$h_1$ = $h_1^{{}^{\prime }}$g

  同理，对任意给定的 g $\in$ G 和 $h_2$ $\in$ $H_2$，存在 $h_2^{{}^{\prime }}$ $\in$ $H_{!}$，使得 g$h_2$ = $h_2^{{}^{\prime }}$g

  $\therefore$ g$h_1$$h_2$ = $h_1^{{}^{\prime }}$g$h_2$ = $h_1^{{}^{\prime }}$$h_2^{{}^{\prime }}$g

  $\because$ $h_1$$h_2$，$h_1^{{}^{\prime }}$$h_2^{{}^{\prime }}$ $\in$ $H_1$$H_2$

  $\therefore$ $g$ ($H_1$$H_2$) = ($H_1$$H_2$) $g$

  $\therefore$ $H_1$$H_2$ 也是群 G 的正规子群
 

---

二、证明 9.5

解：
  （1）充分性：

      $\because$ $\varphi$ 是一种群同态
      $\therefore$ 对于 $\forall$ a,b $\in$ G，有 $\varphi$ (a•b) = $\varphi$ (a) ○ $\varphi$ (b) = $\varphi$ (b•a)
      $\therefore$ a•b = b•a
      $\therefore$ G 是阿贝尔群
 

  （2）必要性：

      $\because$ G 是阿贝尔群
      $\therefore$ 对于 $\forall$ a,b $\in$ G，有 a•b = b•a
      $\therefore$ $\varphi$ (a•b) = $(a•b{)}^2$ = a•b•a•b = $a^2$ • $b^2$ = $\varphi$ (a) ○ $\varphi$ (b)
      $\therefore$ $\varphi$ 是一种群同态
 

  综上所述， $\varphi$ 是一种群同态当且仅当 G 是阿贝尔群
 

---

三、证明 9.7

解：由题，$[$ $\mathbb{G}$ : $\mathbb{H}$ $]$ = $2$
 
  (1) 若 $g$ $\in H$，则 $gH$ = $H$ = $Hg$
 
  (2) 若 $g$ $\in H^{{}^{\prime }}$  （$H^{{}^{\prime }}$= $G-H$)

    若 $gH$ $\ne$ $H$ ，$Hg$ $\ne$ $H$

    有 $gH$ = $H^{{}^{\prime }}$ = $Hg$

---

四、证明 9.9

解：设 $\mathbb{G}$ 是由 g 生成的循环群
  令 $\mathbb{H}$ $\le$ $\mathbb{G}$
  我们要证明商群 $\mathbb{G}$$/$$\mathbb{H}$中的任意元素都可表示为 $(gH{)}^k$ ，其中 $k$ $\in$ $\mathbb{Z}$
 

  设 $x$$\mathbb{H}$ $\in$ $\mathbb{G}$$/$$\mathbb{H}$

  $\because$ $\mathbb{G}$ 是由 g 生成的循环群

  $\therefore$ x = $g^k$, $k$ $\in$ $\mathbb{Z}$

  $\therefore$ $(gH{)}^k$ = ($g^k$)$\mathbb{H}$ = $x$$\mathbb{H}$

  $\therefore$ $gH$ 产生 $\mathbb{G}$$/$$\mathbb{H}$

  $\therefore$ 商群 $\mathbb{G}$$/$$\mathbb{H}$ 也是循环群