【代数结构与数理逻辑（三）】商群与群同态

13.3 子群，正规子群和商群

定义13.12（子群）

$H\subseteq G$​，且H是群

定理（子群的等价性定义）*

定理13.14：H是G的子群，当且仅当H有封闭性和有逆元

证明：

1. 必要性：H是群

2. 充分性：

由封闭性和有逆元说明单位元 $e\in H$

结合律，因为$H\subseteq G$

定理13.15 H是G的子群，当且仅当对任意的$a,b\in H,a{b}^{-1}\in H$

证明：

1. 在H上满足结合律
2. 取b=a，则$a{a}^{-1}=e\in H$
3. 取a=e，则每个元都有逆元
4. 对任意的a,b，由(3)知$b^{-1}\in H$，所以满足封闭性

推论13.6 当H为G的子群时，H的单位元就是G的单位元，$a$​在H中的逆元就是它在G中的逆元

定理13.16：H为有限群，则H是G的子群当且仅当H有封闭性

证明：

1. 必要性：显然

2. 充分性：

3. 由于H是有限集，任意$h^k\in H$​​，由鸽笼原理有
   $$a^i=a^j$$
   所以$a^{i-j}=e\in H$，由单位元

4. 证明有逆元，分类讨论

   1. $i-j>1$ ，$a(a^{i-j-1})=a^{i-j}=e$，所以a的逆是a^i-j-1
   2. $i-j\ne 0$，因为取i,j不同
   3. $i-j<0$时，$a^{-1}$是$a^{j-i-1}$
   4. $i-j=1$时，$a=e$​

例13.16 找出$S_3$的所有子群

$$\begin{array}{rl}& H_1=\{(1),(23)\}\\ & H_2=\{(1),(12)\}\\ & H_3=\{(1),(13)\}\\ & H_4=\{(1),(123),(132)\}\end{array}$$

其中$H_4=A_3$（定理：n次交待群是n次对称群的其中一个子群）

例13.17 找出$[Z_{12};\oplus ]$​的所有子群

$$\begin{array}{rl}& H_1=\{[0],[2],[4],[6],[8],[10]\}\\ & H_2=\{[0],[4],[8]\}\\ & H_3=\{[0],[3],[6],[9]\}\\ & H_4=\{[0],[6]\}\end{array}$$

这四个子群都是循环群

定义13.13（陪集）

设H是G的子群，取G中一固定元素g，用g与H中的每个元素做乘法，将其结果组成一个集合
g H = { g h ∣ h ∈ H } gH=\{gh|h\in H\} gH={gh∣h∈H}

称gH是H的左陪集，同理可定义H的右陪集Hg（当g=e时左右陪集相等，当G是交换群时所有左右陪集相等）

由定义知$e\in G$，所以H自身也是一个陪集。在一般情况下$Hg\ne gH$​

例13.18 以$S_3$为例，给出关于$H_1,H_4$的左右陪集

(1)
$$\begin{gathered} e{H}_1={\sigma }_1{H}_1=\{(1),(23)\} \\ {\sigma }_2{H}_1={\sigma }_5{H}_1=\{(12)(123)\} \\ {\sigma }_3{H}_1={\sigma }_4{H}_1=\{(13)(132)\} \\ {H}_{1}e=H_1{\sigma }_1=\{(1),(23)\} \\ {H}_1{\sigma }_2=H_1{\sigma }_4=\{(12)(123)\} \\ {H}_1{\sigma }_3=H_1{\sigma }_5=\{(13)(132)\} \end{gathered}$$
可见$H_1$有3个左(右)陪集，但他们并不相同

(2)
e H 4 = { e , σ 4 , σ 5 } σ 1 H 4 = { e , σ 4 , σ 5 } = H 4 σ 1 eH_4=\{e,\sigma_4,\sigma_5\}\\ \sigma_1H_4=\{e,\sigma_4,\sigma_5\}=H_4\sigma_1 eH4​={e,σ4​,σ5​}σ1​H4​={e,σ4​,σ5​}=H4​σ1​
$H_4$的左右陪集是相等的

例13.19 一个关于无限群的例子，$[Z;+]$是关于$[Q;+]$的一个子群，Z在Q中的陪集形如

a Z = { a + k ∣ k ∈ Z } = { k + a ∣ k ∈ Z } = Z a aZ=\{a+k|k\in Z\}=\{k+a|k\in Z\}=Za aZ={a+k∣k∈Z}={k+a∣k∈Z}=Za

左右陪集相等，因为群是可交换的

由于Z是无限集，可知它的陪集也是无限的

定理（陪集的性质）

引理13.1：当H为有限子群，那么$|gH|=|H|,|Hg|=|H|$

证明：

（仅有限阶的情况，可推广到无限阶）

构造双射$\varphi (h)=hg:H\to Hg$

引理13.2：$Hg_1=Hg_2或Hg_1\cap Hg_2=\varnothing $​

证明：

假设存在某个$g\in H{g}_1\cap H{g}_2$，于是存在
$$h_1{g}_1=h_2{g}_2$$
由上式可得 $g_1=h_1^{-1}{h}_2{g}_2$

$\forall h\in H,(h{g}_1\in H{g}_1)=h{h}_1^{-1}{h}_2{g}_2=h^{\prime }{g}_2\in H{g}_2$

于是$H_1\subseteq H_2$，同理$H_2\subseteq H_1$

则$H_1=H_2$

推论13.7：子群H的所有陪集构成G的划分

证明：
$$G=\bigcup _{g=G}Hg$$
其中当$Hg\ne H{g}^{\prime }$时，$Hg\cap H{g}^{\prime }=\varnothing$

定义13.14（指数）

关于子群$H$的所有不同左（右）陪集数

定理13.17（拉格朗日定理）

子群$H$的阶可整除有限群$G$的阶，其商是$H$在$G$中的指数

证明：
$$G=\bigcup _{g\in G}Hg=\sum _{g\in G}|Hg|=k|H|$$
​ 故$|G|/|H|=k$

推论13.8：有限群$G$的阶为素数p，则$G$是循环群

证明：

设$H$是$g$生成的子群，要求 $g^1=g\ne e$
H = ( g ) = { g 0 = e , g 1 , … , g k − 1 } 又 ∣ H ∣ 整除 ∣ G ∣ ， ∴ ∣ H ∣ = p H=(g)=\{g^0=e,g^1,\dots,g^{k-1}\}\\ 又|H|整除|G|，\therefore |H|=p H=(g)={g0=e,g1,…,gk−1}又∣H∣整除∣G∣，∴∣H∣=p
即$(g)=G$​，G由g生成

定理：G中任何一个元素（除e）都能生成G

定义（正规子群）

$$\forall g,gH=Hg$$

称$H$是$G$的正规子群

Abel群一定是正规的，非Abel群也可能是正规的

定理13.18（正规子群的等价性定义）

H是正规的，当且仅当$g^{-1}hg\in H$

证明：

1. 必要性：因为H是正规的，Hg=gH，则对$\forall h,g$有$g{h}^{\prime }=hg$

   所以存在$h^{\prime }=g^{-1}hg$

2. 充分性：任取$ah\in aH$，$ah=(ah{a}^{-1})a=h^{\prime }a\in Ha$，所以$aH=Ha$，$H$是正规的

定义（商集合）

G是群，H是它的正规子群， G / H = { H g ∣ g ∈ G } G/H=\{Hg|g\in G\} G/H={Hg∣g∈G}​​，即$G$所有不同的陪集，称为$G$关于$H$的商集合

定义（G/H上的二元关系$\square$）

$Hg\square H{g}^{\prime }=Hg{g}^{\prime }$​

引理13.3 如上定义的$G/H$上的二元关系$\square$​​与陪集的代表元选取无关

H上的代表元数量等于H的阶数

任取$x^{\prime }\in Hx,y^{\prime }\in Hy$，则$x^{\prime }{y}^{\prime }=x{h}_1^{\prime }y{h}_2^{\prime }=xy{h}_1^{\prime }{h}_2^{\prime }\in Hxy$，类似有$xy\in H{x}^{\prime }{y}^{\prime }$​

由引理13.2，xy是$H{x}^{\prime }{y}^{\prime }$和$Hxy$中的公共元素

故$Hx\square Hy=Hxy=H{x}^{\prime }{y}^{\prime }=H{x}^{\prime }\square H{y}^{\prime }$，其中x’和x分别代表了不同的代表元

引理13.4 $[G/H;\square ]$​是群

证明：

1. $\square$满足结合律
2. $He$是单位元
3. $H{x}^{-1}$是逆元

定义13.17（商群）

$[G/H;\square ]$​​是群，称为$G$关于$H$的商群

第13章习题三

习题13.29* 证明：指数为2的子群一定是正规的

证明：

在子群$H$的陪集有且仅有2个，记为$H_1$和$H_2$，因为H是子群，$e\in H$​

如果$H$非正规的，存在g使得$gH=H_1,Hg=H_2$

显然$g\in H_1\cap H_2$，则$H_1=H_2$矛盾

说明H一定是正规的

习题13.30G为群， C ⊆ G , C = { x ∣ x ∈ G 且 ∀ g ∈ G , x g = g x } C\subseteq G,C=\{x|x\in G且\forall g\in G,xg=gx\} C⊆G,C={x∣x∈G且∀g∈G,xg=gx}，称C为G的中心，证明其是一个正规子群

证明：

1. 首先证明C是G的一个子群

易有$e\in C$

在群G中有结合律

若$g\in C$，则$g^{-1}x=x{g}^{-1}$，其逆元也属于C

$\forall x_1,x_2\in C,x_1{x}_{2}g=x_{1}g{x}_2=g{x}_1{x}_2$，满足封闭性

2. $\forall c\in gC,c=g{x}^{\ast }=x^{\ast }g\in Cg$，则$gC\subseteq Cg$，同理$Cg\subseteq gC$

​ 所以$Cg=gC$

习题13.32 求证：两个正规子群的交仍为正规子群

证明：

易知两群的交仍为群，则子群的交仍为子群

设有正规子群$H_1,H_2$，$H=H_1\cap H_2$

$\forall gh\in gH$，$gh\in H_{1}g,gh\in H_{2}g$

所以$gh\in Hg$，则$H$是正规子群

习题13.36 $H$为G的正规子群，在G上定义二元关系$\rho ，x\rho y$当且仅当$xH=yH$，记为$x\equiv y(modH)$​，证明

(1) $\rho$是等价关系

(2) $\rho$关于G上的运算相容，即当$x\equiv y(modH),x^{\prime }\equiv y^{\prime }(modH)$时，$x{x}^{\prime }\equiv y{y}^{\prime }(modH)$​

(3) $x\rho y$当且仅当$x^{-1}y\in H$

(1)

1. 自反，显然$xH=xH$，则对任意的x，$x\rho x$​成立
2. 对称，$x\rho y$则$y\rho x$
3. 传递，$x\rho y,y\rho z$则$xH=yH=zH$，则$x\rho z$成立

(2)

$x{x}^{\prime }H=x{y}^{\prime }H=xH{y}^{\prime }=yH{y}^{\prime }=y{y}^{\prime }H$（H是正规子群）

(3)

必要性：

$xH=yH\to xh=y{h}^{\prime },x^{-1}y=h{h}^{\prime -1}\in H$

充分性：

$\forall xh\in xH,x(x^{-1}y)h^{\prime }=y{h}^{\prime }\in yH$，所以$xH\subseteq yH$，同理…

所以$xH=yH$​

习题13.34 证明交换群G关于子群H的商群$G/H$是交换群

$Hg\square H{g}^{\prime }=Hg{g}^{\prime }=H{g}^{\prime }g=H{g}^{\prime }\square Hg$

习题13.35* 求商群

(1) R ∗ = R − { 0 } R^*=R-\{0\} R∗=R−{0}乘法群关于 D = { x > 0 ∣ x ∈ R } D=\{x>0|x\in R\} D={x>0∣x∈R}​子群

(2) $[R;+]$关于$[Z;+]$​子群

(3) $[C^{\ast };\cdot ]$关于$[D;\cdot ]$​子群

(4) $[U;\cdot ]$关于$[U_n;\cdot ]$子群，其中 U = { a + i b ∣ a , b ∈ R , ∣ a 2 + b 2 ∣ = 1 } U=\{a+ib|a,b\in R,|a^2+b^2|=1\} U={a+ib∣a,b∈R,∣a2+b2∣=1}，n是给定的自然数，U的子群： U n = { x ∣ x ∈ U , x n = 1 } U_n=\{x|x\in U,x^n=1\} Un​={x∣x∈U,xn=1}

(1)

R ∗ / D = { { x > 0 ∣ x ∈ R } , { x < 0 ∣ x ∈ R } } R^*/D=\{\{x>0|x\in R\},\{x<0|x\in R\}\} R∗/D={{x>0∣x∈R},{x<0∣x∈R}}

(2)

R / Z = { [ r ] ∣ r ∈ [ 0 , 1 ) , [ r ] = { x + r ∣ x ∈ Z } } R/Z=\{[r]|r\in [0,1),[r]=\{x+r|x\in Z\}\} R/Z={[r]∣r∈[0,1),[r]={x+r∣x∈Z}}

(3)

C ∗ / D = { [ e i θ ] ∣ θ ∈ [ 0 , 2 π ) , [ e i θ ] = { ρ e i θ ∣ ρ ∈ D } } C^*/D=\{[e^{i\theta}]|\theta\in [0,2\pi),[e^{i\theta}]=\{\rho e^{i\theta}|\rho\in D\}\} C∗/D={[eiθ]∣θ∈[0,2π),[eiθ]={ρeiθ∣ρ∈D}}

(4)

U n = { e 2 π k i n ∣ k = 0 , 1 ,  ⁣ ⋯   , n − 1 } U_n=\{e^{\frac{2\pi ki}n}|k=0,1,\dotsi,n-1\} Un​={en2πki​∣k=0,1,⋯,n−1}

U = { e i θ ∣ θ ∈ [ 0 , 2 π ) } U=\{e^{i\theta}|\theta\in [0,2\pi)\} U={eiθ∣θ∈[0,2π)}

U / U n = { [ r ] ∣ r ∈ [ 0 , e 2 π n ) , [ r ] = { r ⋅ e i θ i ∣ θ i ∈ { 0 , 2 π n , 4 π n ,  ⁣ ⋯   } } } U/U_n=\{[r]|r\in[0,e^{\frac{2\pi }n}),[r]=\{r\cdot e^{i\theta_i}|\theta_i\in \{0,\frac{2\pi}n,\frac{4\pi}n,\dotsi\}\}\} U/Un​={[r]∣r∈[0,en2π​),[r]={r⋅eiθi​∣θi​∈{0,n2π​,n4π​,⋯}}}

13.4 群同态和同态基本定理

例13.21（凯莱定理）

任一有限群必定同构于一个同阶的置换群

设G的阶为n，由例13.13知存在集合G上的一个置换群$\Sigma$
Σ = { σ g ∣ g ∈ G , σ g : G → G } \Sigma=\{\sigma_g|g\in G,\sigma_g:G\to G\} Σ={σg​∣g∈G,σg​:G→G}
其中${\sigma }_g(g^{\prime })=g{g}^{\prime }$，然后证明$G\cong \Sigma$

1. 因为群中有消去律，知${\sigma }_g\ne {\sigma }_{g^{\prime }}$，当且仅当$g\ne g^{\prime }$，故${\sigma }_g$是一一对应的
2. 又$\phi (g{g}^{\prime })={\sigma }_{g{g}^{\prime }}={\sigma }_g{\sigma }_{g^{\prime }}=\phi (g)\phi (g^{\prime })$

例13.22 同阶的循环群同构

证明：

构造同构映射 $\phi (a^k)=b^k$

定义（同态映射）

同态映射：$\varphi (g_1\cdot g_2)=\varphi (g_1)\ast \varphi (g_2)$，$\varphi$为满射时有同态，$\varphi$为双射时有同构

Tips：$\varphi (e)=e^{\prime }$

定义13.18（同态核）

$\phi$是同态映射， K = { x ∈ G ∣ ϕ ( x ) = e ′ } K=\{x\in G|\phi(x)=e'\} K={x∈G∣ϕ(x)=e′}，记为$Ker\phi$或$K(\phi )$​

容易验证K是G的子群：

1. 同态映射$\phi (k_1),\phi (k_2)=e^{\prime },则\phi (k_1{k}_2)=\phi (k_1)\phi (k_2)=e^{\prime }$​​，满足封闭性
2. $\phi (g^{-1})\cdot \phi (g)=\phi (e)=e^{\prime }$，且$\phi (g)=e^{\prime }$，则$\phi (g^{-1})=e^{\prime }$，满足有逆元

K是正规子群：由定理13.18
$$\phi (g^{-1}kg)=\phi (g^{-1}kg)=\phi (g^{-1})\phi (k)\phi (g)=\phi (g^{-1}g)=\phi (e)$$
根据同态映射的性质，$\phi (g)\phi (e)=\phi (g)$，可以说明$\phi (e)=e^{\prime }$

定理 13.19：群G自然同态于它的任一商群G/H

证明：构造映射$f(g)=gH$，显然有满射

$f(g{g}^{\prime })=g{g}^{\prime }H=gH\square g^{\prime }H=f(g)\square f(g^{\prime })$，所以f是同态映射

这个同态又称为自然同态

定理13.20（群同态基本定理）

当同态映射$\phi :G\to G^{\prime }$为满同态映射时，有$G/K\cong G^{\prime }$（一般形式为$G/K\cong \phi (g)$）​

证明：

构造映射$\psi (gK)=\phi (g)$，$\psi$​是同态映射，且是双射

1. 证明是映射：设$xK=yK,y=x{k}_1{k}_2^{-1}=x{k}^{\prime }$
   $$\psi (yK)=\psi (x{k}^{\prime }K)=\phi (x{k}^{\prime })=\phi (x)\phi (k^{\prime })=\phi (x)=\psi (xK)$$

2. 证明内射：设$xK\ne yK,x^{-1}y\notin K$
   $$\begin{gathered} \phi (x^{-1}y)\ne e^{\prime } \\ \phi (x^{-1})\phi (y)\ne e^{\prime } \\ \phi (x)\ne \phi (y) \\ \psi (xK)\ne \psi (yK) \end{gathered}$$
   说明G’中每个元素只对应一个象源

3. 证明满射：$\phi (g)=\psi (gK)$

4. 证明同态映射：$\psi (xK\square yK)=\psi (xyK)=\phi (xy)=\phi (x)\phi (y)=\psi (xK)\psi (yK)$​

由定理13.19，定理13.20以及习题13.36可以画出如下的群同态关系图

第13章习题四

习题13.37 证明$\varphi (G)\subseteq G^{\prime }$​是G‘的子群，其中$\varphi :G\to G^{\prime }$为同态映射

证明：由子群的等价性定义

1. 封闭性：$\varphi (g)\varphi (g^{\prime })=\varphi (g{g}^{\prime })\in \varphi (G)$
2. 有逆元：$\varphi (g)\cdot \varphi (g^{-1})=\varphi (e)=e^{\prime }$

习题13.40* 证明
(1) [ D ; ⋅ ] ≅ [ R ; + ] , D = { x > 0 ∣ x ∈ R } [D;\cdot]\cong [R;+],D=\{x>0|x\in R\} [D;⋅]≅[R;+],D={x>0∣x∈R}

(2)$[Q_{+};\cdot ]\ncong [Q;+]$，其中 Q + = { x > 0 ∣ x ∈ Q } Q_+=\{x>0|x\in Q\} Q+​={x>0∣x∈Q}​

(3)$Z_4$不同构于$K_4$​(克莱茵四元群)

(4)若G与G‘同态，G与G’同构当且仅当 K = { e } K=\{e\} K={e}

证明：

(1)

构造映射$\varphi (r)=e^r.r\in R$，显然双射

$\varphi (r_1+r_2)=e^{r_1+r_2}=e^{r_1}{e}^{r_2}=\varphi (r_1)\varphi (r_2)$

(2)

设有同构映射$\varphi :Q\to Q_{+},\varphi (q)=q_{+}$

$\varphi (y)=2$，$\varphi (y/2+y/2)=\varphi (y/2{)}^2=2,\varphi (y/2)=\sqrt{2}$​，矛盾

(3)

设有同构映射$\varphi :Z_4\to K_4$

$\varphi ([1]\otimes [1])=\varphi ([1])\varphi ([1])=e=\varphi ([0])$，与$\varphi ([1]\otimes [1])=\varphi ([1])$矛盾

(4)

G与G‘同态，说明$\varphi :G\to G^{\prime }$为满射

由群同态基本定理有$G/K\cong G^{\prime }$

充分性：当K={e}，G/K=G

必要性：当 K ≠ { e } K\neq\{e\} K={e}，显然|K| >1，|G/K|< |G|，则$G/K\ne G$

习题13.41* 证明：（$C^{\ast },D,U,U_n$​如习题13.35所示）

(1) $R/Z\cong U$​

(2) $C^{\ast }/D\cong U$​

(3) $C^{\ast }/U\cong D$​

(4) $U/U_n\cong U$

(1)

U = { a + i b ∣ a , b ∈ R , ∣ a 2 + b 2 ∣ = 1 } U=\{a+ib|a,b\in R,|a^2+b^2|=1\} U={a+ib∣a,b∈R,∣a2+b2∣=1}

同态映射$\varphi (r)=e^{2\pi ri}$，同态核 K ( ϕ ) = { e 2 π r i = 1 ∣ r ∈ R } = { r ∣ r =  ⁣ ⋯   , − 1 , 0 , 1 ,  ⁣ ⋯   } = Z K(\phi)=\{e^{2\pi ri}=1|r\in R\}=\{r|r=\dotsi,-1,0,1,\dotsi\}=Z K(ϕ)={e2πri=1∣r∈R}={r∣r=⋯,−1,0,1,⋯}=Z

(2)

同态映射$\varphi (\rho e^{i\theta })=e^{i\theta }$，其中$\rho >0$

K ( ϕ ) = { ϕ ( ρ e i θ ) = e i θ = 1 } = { ρ e i θ ∣ θ = 2 k π , ρ > 0 } K(\phi)=\{\phi(\rho e^{i\theta})=e^{i\theta}=1\}=\{\rho e^{i\theta}|\theta=2k\pi,\rho>0\} K(ϕ)={ϕ(ρeiθ)=eiθ=1}={ρeiθ∣θ=2kπ,ρ>0}

思路：找到同态核如何拓展右式到左式，以拓展方式作为映射

(3)

同态映射$\varphi (\rho e^{i\theta })=\rho$

K ( ϕ ) = { ϕ ( ρ e i θ ) = 1 } = { ρ e i θ ∣ ρ = 1 , θ ∈ ( 0 , 2 π ) } K(\phi)=\{\phi(\rho e^{i\theta})=1\}=\{\rho e^{i\theta}|\rho=1,\theta\in (0,2\pi)\} K(ϕ)={ϕ(ρeiθ)=1}={ρeiθ∣ρ=1,θ∈(0,2π)}​

(4)

$U/U_n=\{[e^{i\theta }]|\theta \in [0,\frac{2\pi }{n})\}$

$\varphi ([e^{i\theta }])=e^{in\theta }$，显然一一对应

或者： ϕ ( x ) = x n , k e r ϕ = { x n = 1 ∣ x ∈ U } = U n \phi(x)=x^n,ker\phi=\{x^n=1|x\in U\}=U_n ϕ(x)=xn,kerϕ={xn=1∣x∈U}=Un​​

(5)

$\varphi (\rho x)=\rho x^n$

k e r ϕ = { ρ x n ∣ ρ = 1 , x n = 1 } = U n ker\phi=\{\rho x^n|\rho=1,x^n=1\}=U_n kerϕ={ρxn∣ρ=1,xn=1}=Un​

习题13.42 证明$[Z_2\times Z_2;+]$同构于$K_4$，其中运算+定义为各分量模2的加

作映射$(0,0)->e,(0,1)->a,(1,0)->b,(1,1)->r$

显然是双射

经过分析知映射满足同态映射的条件

第13章习题五

1 群G是阶偶数的有限群，则G中阶2的元素个数一定是奇数

阶1：0

阶大于2：元素成对存在，a的阶为p，a^-1也是阶大于2的，且$a\ne a^{-1}$，否则$a{a}^{-1}=e$不成立；且$a^{p-1}$与p互素

阶等于2：奇数个

2 设G是rs阶循环群，(r,s)=1，H1和H2分别为G的r阶和s阶子群，证明 G = H 1 H 2 = { h 1 h 2 ∣ h 1 ∈ H 1 , h 2 ∈ H 2 } G=H_1H_2=\{h1h2|h1\in H1,h2\in H2\} G=H1​H2​={h1h2∣h1∈H1,h2∈H2}

H 1 = { a 0 , a 1 ,  ⁣ ⋯   , a r − 1 } , H 2 = { b 0 , b 1 ,  ⁣ ⋯   , b s − 1 } H_1=\{a^0,a^1,\dotsi,a^{r-1}\},H_2=\{b^0,b^1,\dotsi,b^{s-1}\} H1​={a0,a1,⋯,ar−1},H2​={b0,b1,⋯,bs−1}

由习题13.20，ab的阶为nm

{ a b , ( a b ) 1 ,  ⁣ ⋯   , ( a b ) n m − 1 } = { h 1 h 2 ∣ h 1 ∈ H 1 , h 2 ∈ H 2 } \{ab,(ab)^1,\dotsi,(ab)^{nm-1}\}=\{h1h2|h1\in H1,h2\in H2\} {ab,(ab)1,⋯,(ab)nm−1}={h1h2∣h1∈H1,h2∈H2}​，因为互不相同

x=a^k=a^k(mr+ns)=a^kmr a^kns

由于$ab\in G，\therefore G=H_1{H}_2$

3 [H1;·]和[H2;·]是群[G;·]的子群，[H1 ∪ H2;·] 是否是群[G;·]的子群？说明理由

显然不是，不满足封闭性

4 设H1,H2是G的子群,证明H1H2是G的子群当且仅当H1H2=H2H1,其中 H 1 H 2 = { h 1 h 2 ∣ h 1 ∈ H 1 , h 2 ∈ H 2 } , H 2 H 1 = { h 2 h 1 ∣ h 1 ∈ H 1 , h 2 ∈ H 2 } H1H2=\{h_1h_2|h_1\in H1,h_2\in H2\}, H2H1=\{h_2h_1|h_1\in H1,h_2\in H2\} H1H2={h1​h2​∣h1​∈H1,h2​∈H2},H2H1={h2​h1​∣h1​∈H1,h2​∈H2}

充分性：

首先满足封闭性，由定义任意元素相乘在H1H2中

其次满足有逆元，$h_1{h}_2=h_2{h}_1\to (h_1{h}_2)(h_1^{-1}{h}_2^{-1})$

必要性：

当H1H2是为G的子群

$(h_2{h}_1)(h_1^{-1}{h}_2^{-1})=e,h_1^{-1}{h}_2^{-1}\in H_1{H}_2$，所以

$(h_1^{-1}{h}_2^{-1}{)}^{-1}=h_2{h}_1\in H_1{H}_2$，说明$H_2{H}_1\subseteq H_1{H}_2$，同理有另一侧

最后有H1H2=H2H1

5 $\varphi$为群中映射$[G;\ast ]\to [G^{\prime };\circ ]$，为一一对应当且仅当 K ( ϕ ) = { e G } K(\phi)=\{e_G\} K(ϕ)={eG​}（见前面的习题）

必要性：

显然K只能包含一个元素，否则不满足双射

$\varphi (a)=\varphi (e_G\ast a)=\varphi (e_G)\varphi (a)$

显然$\varphi (e_G)$​是G’中的单位元

充分性：

假设不是内射

$\varphi (x)=\varphi (y),\varphi (e)=\varphi (x{x}^{-1})=\varphi (x)\varphi (y)$，矛盾

6 设$\varphi$是群G到G’的同态映射，证明：

(1) 若H是G的子群，则$\varphi (H)$也是G’的子群

(2) 若H是正规子群，$\varphi (H)$也是正规子群

(1)

封闭性：$\varphi (h_1)\varphi (h_2)=\varphi (h_1{h}_2)\in \varphi (H)$

有逆元：$\varphi (h)$的逆元是$\varphi (h^{-1})$

(2)

$gh{g}^{-1}\in H$，$\varphi (gh{g}^{-1})=\varphi (g)\varphi (h)\varphi (g^{-1})=\varphi (g)\varphi (h)\varphi (g{)}^{-1}$

其中$\varphi (g)\in G^{\prime },\varphi (h)\in \varphi (H)$

所以$\varphi (H)$也是正规子群