CINTA：同构，同态与商群

3.如果$\mathbb{H}$${}_1$和$\mathbb{H}$${}_2$是群$\mathbb{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。即对于任意g$\in$$\mathbb{G}$和h${}_1$$\in$${\mathbb{H}}_1$,h${}_2$$\in {\mathbb{H}}_2$，存在h${}_1^{\prime }$$\in$${\mathbb{H}}_1$,h${}_2^{\prime }$$\in {\mathbb{H}}_2$使得gh${}_1$=h${}_1^{\prime }$g，gh${}_2$=h${}_2^{\prime }$g。
$\mathbb{H}$${}_1$$\mathbb{H}$${}_2$= { \lbrace {h${}_1$h${}_2$，h${}_1$$\in$${\mathbb{H}}_1$，h${}_2$$\in$${\mathbb{H}}_2$$\}$
g$\mathbb{H}$${}_1$$\mathbb{H}$${}_2$= { \lbrace {gh${}_1$h${}_2$，h${}_1$$\in$${\mathbb{H}}_1$，h${}_2$$\in$${\mathbb{H}}_2$，g$\in \mathbb{G}$$\}$
$\mathbb{H}$${}_1$$\mathbb{H}$${}_2$g= { \lbrace {h${}_1$h${}_2$g，h${}_1$$\in$${\mathbb{H}}_1$，h${}_2$$\in$${\mathbb{H}}_2$，g$\in \mathbb{G}$$\}$
对于任意g$\in$$\mathbb{G}$和h${}_1$$\in$${\mathbb{H}}_1$,h${}_2$$\in {\mathbb{H}}_2$，存在h${}_1^{\prime }$$\in$${\mathbb{H}}_1$,h${}_2^{\prime }$$\in {\mathbb{H}}_2$，使得：
gh${}_1$h${}_2$=h${}_1^{\prime }$gh${}_2$=h${}_1^{\prime }$h${}_2^{\prime }$g，
h${}_1$h${}_2$g=h${}_1$gh${}_2^{\prime }$=gh${}_1^{\prime }$h${}_2^{\prime }$。
满足g$\mathbb{H}$${}_1$$\mathbb{H}$=$\mathbb{H}$${}_1$$\mathbb{H}$g，$\mathbb{H}$${}_1$$\mathbb{H}$是正规子群。
原命题得证。

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

证：
证明充分性：
由于$\varphi$是一种群同态，则$\forall$a,b$\in$$\mathbb{G}$，$\varphi$(ab)=$\varphi$(a)$\varphi$(b)，因此(ab)${}^2$=a${}^2$b${}^2$。
abab=a${}^2$b${}^2$=aabb，满足阿贝尔群的定义。
充分性得证。

证明必要性：
$\varphi$(a)=a${}^2$，$\varphi$(b)=b${}^2$
$\varphi$(a)$\varphi$(b)=a${}^2$b${}^2$=aabb，由于$\mathbb{G}$是阿贝尔群，原式=(ab)(ab)=(ab)${}^2$=$\varphi$(ab)，$\varphi$满足群同态。
必要性得证。

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

证：
根据题意，[$\mathbb{G}$:$\mathbb{H}$]=2。
根据定理8.1，由于[$\mathbb{G}$:$\mathbb{H}$]=2，$\mathbb{H}$在$\mathbb{G}$上有2个不同的左陪集。假设这两个左陪集分别是g${}_1$$\mathbb{H}$和g${}_2$$\mathbb{H}$，其中g${}_1$,g${}_2$$\in$$\mathbb{G}$。
由于$\mathbb{H}$是群$\mathbb{G}$的子群，因此$\mathbb{H}$满足群公理，根据封闭性，则$\forall g\in \mathbb{H}$，gh$\in \mathbb{H}$。
若存在两个不同的左陪集，那么$g_1,g_2$一定是其中一个在$\mathbb{H}$中，另一个不在$\mathbb{H}$中。不妨设$g_1\in \mathbb{H}$,$g_2\notin \mathbb{H}$。

①若g$\in$$\mathbb{H}$
由于$\mathbb{H}$是群$\mathbb{G}$的子群，因此$\mathbb{H}$满足群公理，根据封闭性，则$\forall g\in \mathbb{H}$，gh$\in \mathbb{H}$且hg$\in \mathbb{H}$。
根据陪集的定义，
g$\mathbb{H}$= { g h : h ∈ H } \lbrace gh:h\in\mathbb{H}\rbrace {gh:h∈H}，
$\mathbb{H}$g= { h g : h ∈ H } \lbrace hg:h\in\mathbb{H}\rbrace {hg:h∈H}。
由于gh$\in \mathbb{H}$且hg$\in \mathbb{H}$，则显然，g$\mathbb{H}$=$\mathbb{H}$=$\mathbb{H}$g。

②若g$\notin$$\mathbb{H}$
根据封闭性，gh$\in \mathbb{G}$且hg$\in \mathbb{G}$，但gh$\notin \mathbb{H}$且hg$\notin \mathbb{H}$。那么gh$\in \mathbb{F}$且hg$\in \mathbb{F}$，$\mathbb{F}$为在$\mathbb{G}$但不在$\mathbb{H}$中的所有元素的集合，即$\mathbb{G}$的另一个子群。
根据陪集的定义，
g$\mathbb{H}$= { g h : h ∈ H } \lbrace gh:h\in\mathbb{H}\rbrace {gh:h∈H}，
$\mathbb{H}$g= { h g : h ∈ H } \lbrace hg:h\in\mathbb{H}\rbrace {hg:h∈H}。
由于gh$\in \mathbb{F}$且hg$\in \mathbb{F}$，则显然g$\mathbb{H}$=$\mathbb{F}$=$\mathbb{H}$g。

以上证明同第八章习题4的证明，由此证得g$\mathbb{H}$=$\mathbb{H}$g，则根据正规子群的定义，$\mathbb{H}$是$\mathbb{G}$的正规子群。
原命题得证。

9.给定任意群$\mathbb{G}$，$\mathbb{H}$是群$\mathbb{G}$的正规子群。请证明，如果群$\mathbb{G}$是循环群，则商群$\mathbb{G}$$/$$\mathbb{H}$也是循环群。

证：
由于$\mathbb{H}$是群$\mathbb{G}$的正规子群，$\forall g\in \mathbb{G}$，有g$\mathbb{H}$=$\mathbb{H}$g，g$\mathbb{H}$g${}^{-1}$=$\mathbb{H}$。
$\mathbb{G}$$/$$\mathbb{H}$= { g H : g ∈ G } \lbrace g\mathbb{H}:g\in\mathbb{G}\rbrace {gH:g∈G}。
设g为群$\mathbb{G}$的一个生成元，设f=g${}^k$，其中k为整数，则有$f\mathbb{H}$=g${}^k$$\mathbb{H}$。
由于$\mathbb{H}$是群$\mathbb{G}$的正规子群，原式=(g$\mathbb{H}$)${}^k$，因此，g$\mathbb{H}$为$\mathbb{G}$$/$$\mathbb{H}$的生成元，$\mathbb{G}$$/$$\mathbb{H}$是循环群。
原命题得证。