CINTA第五次作业

第九章

题5

题目：定义映射 $\varphi :G\mapsto G为：g\mapsto g^2$。请证明 $\varphi$ 是一种群同态当且仅当 $G$ 是阿贝尔群。
证明思路：
$\varphi$ 是一种群同态
$$\iff \forall a,b\in G,\varphi (ab)=\varphi (a)\varphi (b)$$
$$\iff (ab{)}^2=a^2{b}^2\iff abab=aabb$$
$$\iff \forall a,b\in G,ba=ab$$
$\iff$ 群 $G$ 符合交换律， $G$ 是阿贝尔群.
证毕.

题6

题目：设 $\varphi :G\mapsto H$ 是一种群同态。请证明：如果 $G$ 是循环群，则 $\varphi (G)$ 也是循环群；如果 $G$ 是交换群，则 $\varphi (G)$ 也是交换群。
证明思路：
①证明：如果 $G$ 是循环群，则 $\varphi (G)$ 也是循环群。
欲证原命题，只要证明 $\varphi (G)=⟨\varphi (g)⟩$.
由于 $\varphi$ 是同态映射，则 $\varphi (G)$ 是群，由封闭性显然有 $⟨\varphi (g)⟩\subseteq \varphi (G)$.
故接下来只要证 $\varphi (G)\subseteq ⟨\varphi (g)⟩$.
即证：$$\forall a\in \varphi (G),\exists k\in \mathbb{Z},a=\varphi (g{)}^k$$

---

由于 $G$ 是循环群，故 $G$ 必然有生成元，记作 $g$，则：
$$\forall a\in G，\exists k\in \mathbb{Z},a=g^k$$
由于 $\varphi$ 是群同态，故 $\varphi$ 必然是映射，则：
$$\forall a\in \varphi (G),\exists b\in G,a=\varphi (b)$$
进而有：
$$\forall a\in \varphi (G),\exists b\in G,\exists k\in \mathbb{Z},b=g^k,a=\varphi (b)=\varphi (g^k)$$
由于 $\varphi$ 是群同态，故：
$$\varphi (g^k)=\varphi (g^{k-1})\varphi (g)=\varphi (g^{k-2})\varphi (g)\varphi (g)=\cdots =\varphi (g{)}^k$$
即：
$$\forall a\in \varphi (G),\exists k\in \mathbb{Z},a=\varphi (g{)}^k$$
从而原命题得证.

---

②证明：如果 $G$ 是交换群，则 $\varphi (G)$ 也是交换群.
容易证明 $\varphi (G)$ 是一个群，对其检验群公理即可，不再赘述.
接着证明 $\varphi (G)$ 满足交换律即可，即证明：
$$\forall a,b\in \varphi (G),ab=ba$$
由于 $\varphi$ 是群同态，故：
$$\forall a,b\in \varphi (G),\exists g_1,g_2\in G,a=\varphi (g_1),b=\varphi (g_2)$$
欲证原命题只需证明：$\varphi (g_1)\varphi (g_2)=\varphi (g_2)\varphi (g_1)$
由于 $\varphi$ 是群同态，即证：$\varphi (g_1{g}_2)=\varphi (g_2{g}_1)$
由于 $G$ 是交换群，故：
$$\forall g_1,g_2\in G,g_1{g}_2=g_2{g}_1$$
故 $\varphi (g_1{g}_2)=\varphi (g_2{g}_1)$，原命题得证

题7

题目：
证明：如果 $H$ 是群 $G$ 上指标为 $2$ 的子群，则 $H$ 是 $G$ 的正规子群。
证明思路：此题与第8章题3一致。
分两种情况讨论：
①若 $g\in H$，则 $H=gH=Hg$.
②若 $g\in G且g\notin H$，则由陪集的同一或不相交性可知：$gH=G-H,Hg=G-H$
故：$gH=Hg$.

题8

题目：给定任意群 $G$，$H$ 是群 $G$ 的正规子群。请证明，如果群 $G$ 是阿贝尔群，则商群 $G/H$ 也是阿贝尔群。
证明思路：只要证明：$\forall a,b\in G/H,ab=ba$
由于 $G/H$ 是商群，故：$\forall a,b\in G/H,\exists g_1,g_2\in G,a=g_{1}H,b=g_{2}H$
接下来证明 $(g_{1}H)(g_{2}H)=(g_{2}H)(g_{1}H)$
而 $(g_{1}H)(g_{2}H)=(g_1{g}_2)H,(g_{2}H)(g_{1}H)=(g_2{g}_1)H$，又群 $G$ 是阿贝尔群，则 $g_1{g}_2=g_2{g}_1$，故 $(g_1{g}_2)H=(g_2{g}_1)H$,
从而 $(g_{1}H)(g_{2}H)=(g_{2}H)(g_{1}H)$ 得证，进而原命题得证

题9

题目：给定任意群 $G$，$H$ 是群 $G$ 的正规子群。请证明，如果群 $G$ 是循环群，则商群 $G/H$也是循环群。
证明思路：
设 $g$ 是群 $G$ 的生成元，证明 $G/H=⟨gH⟩$ 即可.
因为 $gH\in G/H$，由封闭性即可知 $⟨gH⟩\subseteq G/H$，故接下来只要证 $G/H\subseteq ⟨gH⟩$
容易知道：$\forall a\in G/H,\exists g^{\prime }\in G,a=g^{\prime }H$
$G$ 是循环群，$g$ 是 $G$ 的生成元，则 $\forall g^{\prime }\in G,\exists k\in \mathbb{Z},g^{\prime }=g^k$
故：$\forall a\in G/H,\exists k\in \mathbb{Z},a=g^{k}H=(gH{)}^k$
即：$G/H\subseteq ⟨gH⟩$
进而 $G/H$ 是循环群.