CINTA 作业七

1.如果 $H_1$ 和 $H_2$ 是群 G 的正规子群，证明 $H_1{H}_2$ 也是群 G 的正规子群。

证明：

由题，要证 G 是 $H_1{H}_2$ 的正规子群，我们要分两步证明：

首先证明 $H_1{H}_2$ 是 G 的子群，接着再验证正规子群的性质。证明如下。

我们去取 $\forall h_1{h}_2\in H_1{H}_2$，有
$$H_1{H}_2(h_1{h}_2{)}^{-1}=H_1{H}_2{h}_2^{-1}{h}_1^{-1}=H_1{H}_2{h}_1^{-1}=H_1{h}_1^{-1}{H}_2=H_1{H}_2$$
那么由命题 6.8 我们可以认为 $H_1{H}_2$ 是 G 的子群。

接着验证正规子群的属性。

对 $\forall g\in G$， 有 $g{H}_1{H}_2=H_{1}g{H}_2=H_1{H}_{2}g$ ，证毕。

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

证明：

充分性：

若 $\varphi ：g\to g^2$ 是一个群同态，那么我们会有 $\forall g_1,g_2\in G$，

$\varphi (g_1{g}_2)=\varphi (g_1)\varphi (g_2)$ 即$(g_1{g}_2{)}^2=g_1{g}_2{g}_1{g}_2=g_1^2{g}_2^2$，显然交换律存在。

必要性：

若 G 是一个阿贝尔群，那么对 $\forall g_1,g_2\in G$，有 $g_1{g}_2=g_2{g}_1$，

则对 $\forall g_1,g_2\in G$，有

$\varphi (g_1{g}_2)=(g_1{g}_2{)}^2=g_1{g}_2{g}_1{g}_2=g_1{g}_1{g}_2{g}_2=g_1^2{g}_2^2=\varphi (g_1)\varphi (g_2)$，

那么我们可以得知 $\varphi :g\to g^2$ 是一个同态。

证毕。

3.证明：如果群 H 是群 G 上指标为 2 的子群，则 H 是 G 的正规子群。

证明：

从题目中我们可以获得 [G:H] = 2，那么显然 H 的陪集仅有 {H} 和 {G-H} 两个。

对 g ∈ G 且 g ∉ H , g H = { G − H } , H g = { G − H } g \in G 且 g \notin H, gH = \{G-H\},Hg = \{G-H\} g∈G且g∈/​H,gH={G−H},Hg={G−H}，

显然我们可以得到 gH = Hg。

证毕。

4.证明：如果群 G 是循环群，则商群 G/H 也是循环群。

我们不妨构造一个循环群 = G，H 是 G 的一个正规子群，他们构成了一个商群 G/H。

那么对于 G/H 中的一个元素 gH，我们注意到 g 是 G 的生成元。

对 $\forall g^{\prime }\in G,\exists k\in Z$，使 $g^{\prime }=g^k$，那么也就有 $g^{\prime }H=(gH{)}^k=gHgH...gH(k个gH)=g^{k}H$，

这意味着 gH 可以生成 G 关于 H 的所有陪集，也就是 gH 生成 G/H。

故 G/H 是一个循环群，证毕。