cinta作业7：同态同构商群正规子群

1.如果${\mathbb{H}}_1$、${\mathbb{H}}_2$是群 $\mathbb{G}$ 的正规子群，证明${\mathbb{H}}_1$${\mathbb{H}}_2$也是群$\mathbb{G}$的正规子群

• 证明$g{\mathbb{H}}_1{\mathbb{H}}_2={\mathbb{H}}_1{\mathbb{H}}_{2}g$

因为${\mathbb{H}}_1$、${\mathbb{H}}_2$是群$\mathbb{G}$的正规子群，则有$\forall g\in \mathbb{G},g{\mathbb{H}}_1={\mathbb{H}}_{1}g,g{\mathbb{H}}_2={\mathbb{H}}_{2}g$，则$\forall g\in \mathbb{G},g{\mathbb{H}}_1{\mathbb{H}}_2={\mathbb{H}}_{1}g{\mathbb{H}}_2={\mathbb{H}}_1{\mathbb{H}}_{2}g$

• 证明 ${\mathbb{H}}_1{\mathbb{H}}_2$ 是群 $\mathbb{G}$ 的子群

$\forall a,b\in {\mathbb{H}}_1{\mathbb{H}}_2$，则有 $a=h_{a1}{h}_{a2},b=h_{b1}{h}_{b2}$

1. 因为${\mathbb{H}}_1$和 ${\mathbb{H}}_2$是群$\mathbb{G}$的子群，所以在 ${\mathbb{H}}_1{\mathbb{H}}_2$ 上显然有单位元，结合律也显然满足。

2. 证明 $a\cdot b\in {\mathbb{H}}_1{\mathbb{H}}_2$
   $a\cdot b=h_{a1}{h}_{a2}\cdot h_{b1}{h}_{b2}$，由于$g{\mathbb{H}}_1{\mathbb{H}}_2={\mathbb{H}}_1{\mathbb{H}}_{2}g$，则必有 $h_{a2}{\mathbb{H}}_1{\mathbb{H}}_2={\mathbb{H}}_1{\mathbb{H}}_2{h}_{a2}$，
   且一定存在 $(h_{b1}^{-1}{)}^{\prime },(h_{b2}^{-1}{)}^{\prime }\in {\mathbb{H}}_1$，使得 $h_{a2}\cdot h_{b1}{h}_{b2}=(h_{b1}^{-1}{)}^{\prime }(h_{b2}^{-1}{)}^{\prime }\cdot h_{a2}$，
   故 $a\cdot b=h_{a1}{h}_{a2}\cdot h_{b1}{h}_{b2}=h_{a1}(h_{b1}^{-1}{)}^{\prime }(h_{b2}^{-1}{)}^{\prime }\cdot h_{a2}=h_{a1}(h_{b1}^{-1}{)}^{\prime }\cdot (h_{b2}^{-1}{)}^{\prime }{h}_{a2}$，因为 $h_{a1}(h_{b1}^{-1}{)}^{\prime }\in {\mathbb{H}}_1,(h_{b2}^{-1}{)}^{\prime }{h}_{a2}\in {\mathbb{H}}_2$，所以 $a\cdot b\in {\mathbb{H}}_1{\mathbb{H}}_2$

3. 证明 $a^{-1}\in {\mathbb{H}}_1{\mathbb{H}}_2$
   若有 $a{a}^{-1}=e$，则易知 $a^{-1}=h_{a2}^{-1}{h}_{a1}^{-1}$
   又因为 ${\mathbb{H}}_1$ 是正规子群，则必有 $h_{a2}^{-1}{\mathbb{H}}_1={\mathbb{H}}_1{h}_{a2}^{-1}$，且一定存在 $(h_{a1}^{-1}{)}^{\prime }\in {\mathbb{H}}_1$，使得 $h_{a2}^{-1}{h}_{a1}^{-1}=(h_{a1}^{-1}{)}^{\prime }{h}_{a2}^{-1}$
   则有 $a^{-1}=h_{a2}^{-1}{h}_{a1}^{-1}=(h_{a1}^{-1}{)}^{\prime }{h}_{a2}^{-1}$，因为$(h_{a1}^{-1}{)}^{\prime }\in {\mathbb{H}}_1,h_{a2}^{-1}\in {\mathbb{H}}_2$，所以 $a^{-1}=(h_{a1}^{-1}{)}^{\prime }{h}_{a2}^{-1}\in {\mathbb{H}}_1{\mathbb{H}}_2$

综上，${\mathbb{H}}_1$${\mathbb{H}}_2$是群$\mathbb{G}$的正规子群

---

2.定义映射$\varphi :\mathbb{G}\mapsto \mathbb{G}$为$\varphi :g\mapsto g^2$。请证明 $\varphi$ 是一种群同态当且仅当 $\mathbb{G}$ 是阿贝尔群

充分性证明：

因为 $\varphi$ 是一种群同态，则群操作应得以保持，即$\forall m,n\in \mathbb{G},\Phi (m\cdot n)=\Phi (m)\cdot \Phi (n)$成立，则有$(mn{)}^2=m^2{n}^2$，展开可得$mnmn=m^2{n}^2$。
对于此式子，我们两边同时在左侧乘以 $m$ 的逆元，在右侧乘以 $n$ 的逆元，即是 $m^{-1}mnmn{n}^{-1}=m^{-1}{m}^2{n}^2{n}^{-1}$，化简便可得 $nm=mn$，故$\mathbb{G}$ 是阿贝尔群。

必要性证明：

$\forall m,n\in \mathbb{G},则有\Phi (m\cdot n)=(mn{)}^2=mnmn$
而因为$\mathbb{G}$ 是阿贝尔群，则有$mn=nm$，故$\Phi (m\cdot n)=mmnn=m^2\cdot n^2=\Phi (m)\cdot \Phi (n)$，故群操作得以保持，$\varphi$ 是一种群同态

---

3.证明 $\mathbb{H}$ 是群 $\mathbb{G}$ 上指标为2的子群，则 $\mathbb{H}$ 是 $\mathbb{G}$ 的正规子群

• 若$g\in \mathbb{H}$，由于封闭性，$g\mathbb{H}=\mathbb{H}g=\mathbb{H}$，满足正规子群性质
• 若$g\notin \mathbb{H}$，由于陪集性质，$g\mathbb{H}\ne \mathbb{H}$，$\mathbb{H}g\ne \mathbb{H}$
  又因为$[\mathbb{G}:\mathbb{H}]=2$，即群 $\mathbb{G}$ 被子群 $\mathbb{H}$ 的两个陪集划分，其中一个陪集是 $\mathbb{H}$ 本身，另一个陪集记为 ${\mathbb{H}}^{\prime }$ 。
  而又因为作为陪集的$g\mathbb{H},\mathbb{H}g$都是不等于$\mathbb{H}$的，则$g\mathbb{H},\mathbb{H}g$一定都等于 ${\mathbb{H}}^{\prime }$ ，即$g\mathbb{H}=\mathbb{H}g={\mathbb{H}}^{\prime }$，满足正规子群性质

综上 $\mathbb{H}$ 是 $\mathbb{G}$ 的正规子群

---

4. 证明：如果群 $\mathbb{G}$ 是循环群，则商群 $\mathbb{G}/\mathbb{H}$ 也是循环群

设 $g$ 是群 $\mathbb{G}$ 的生成元，构造式子 $(g\mathbb{H}{)}^k$，因为群 $\mathbb{G}$ 是循环群，具有交换性，所以可得 $(g\mathbb{H}{)}^k=g^k\mathbb{H}$。
又因为 $g$ 是群 $\mathbb{G}$ 的生成元，即 $g^k$ 生成了 $\mathbb{G}$ 中的所有元素，又根据商群$\mathbb{G}/\mathbb{H}$中的元素是 $\mathbb{H}$ 在 $\mathbb{G}$ 上的所有陪集的定义，所以 $g^k\mathbb{H}$ 可以生成商群$\mathbb{G}/\mathbb{H}$中的所有元素，即$(g\mathbb{H}{)}^k$可以生成商群$\mathbb{G}/\mathbb{H}$中的所有元素，而$g\mathbb{H}\in \mathbb{G}/\mathbb{H}$，故商群 $\mathbb{G}/\mathbb{H}$ 也是循环群。