CINTA作业七：同态

3.如果 H₁ 和 H₂ 是群 G 的正规子群，证明 H₁H₂ 也是群 G 的正规子群。

证：因为 H₁ 和 H₂ 是群 G 的正规子群，

​ 则有gH₁ = H₁g，gH₂ = H₂g，

​ 故对于任意h₁ ∈ H₁，h₂ ∈ H₂，有

​ gh₁ = h^’₁g，gh₂ = h^’₂g，

​ 所以gh₁h₂ = h^’₁gh₂ = h^’₁h^’₂g，

​ g∈H₁H₂g，即gH₁H₂ ∈ H₁H₂g

​ 对任意h^’₁ ∈ H₁，h^’₂ ∈ H₂，同理可得

​ H₁H₂g ∈ gH₁H₂

​ 综上可得gH₁H₂ = H₁H₂g

5.定义映射 ϕ : G → G 为：g → g²。请证明 ϕ 是一种群同态当且仅当 G 是阿贝尔群。

证：充分性：

​ 因为ϕ 是一种群同态，故有ϕ(a * b) = ϕ(a) * ϕ(b)，

​ 即(ab)² = a² * b²，即ab * ab = a² * b²，

​ 由消去律可得，b * a = a * b，

​ 所以G是阿贝尔群。

​ 必然性：

​ 因为G 是阿贝尔群，故有b * a = a * b，

​ ϕ(a * b) = (ab)² = ab * ab = ba * ab = a² * b² = ϕ(a) * ϕ(b)，

​ 得证。

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

证：

​ 因为[G:H] = 2，故有两种情况

​ （1）g ∈ H，则gH = H = Hg;

​ （2）g 不属于 H，则对任意h ∈ H 有gh₁ = h^’₁ 不属于 H但h^’₁ ∈ G，gh₂ = h^’₂ 不属于 H但h^’₂ ∈ G

​ 即存在H^’ = G - H，使得h^’₁ ∈ H，h^’₂ ∈ H，

​ 即gH ∈ H^’，Hg ∈ H^’，

​ 对任意h^’ ∈ H^’，有h^’ ∈ G，但h^’不属于H，

​ 在H中存在h₁，h₂，使得h^’ = gh₁ ∈ gH，h^’ = gh₂ ∈ Hg，

​ 所以gH = H = Hg，

​ 综上，得证。

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

证：

​ 因为G是循环群，对生成元g，有g^k（k ∈ Z），g^k均能生成G，

​ 又因为(gH)ⁿ = gⁿH，

​ 所以gⁿH均能生成G/H，

​ 故得证。