CINTA作业四：群、子群

第三题

证：因为G为群，且a，b，c ∈ G

​ 所以a存在逆元a^-1且aa^-1 = e

​ 因为b = c，所以be = ce，即aba^-1 = aca^-1

​ 则命题前半部分得证，后半部分同理可证。

第四题

证：（1）g^mgⁿ = g…g(m-1次群运算) * g…g(n-1次群运算)

​ 总共进行了(m+n-1)次群运算

​ 所以g^mgⁿ = g^m+n

​ （2）(g^m)ⁿ = (g…g(m-1次群运算))(n-1次群运算)

​ 总共进行了(m*n-1)次群运算

​ 所以(g^m)ⁿ = g^mn

​ （3）由（2）可知，(h^-1g^-1)^-n = ((h^-1g^-1)^-1)ⁿ = (gh)ⁿ

​ 因为G是阿贝尔群，则gh = hg

​ 可得(gh)ⁿ = gⁿhⁿ

第五题

证：假设，存在偶数阶群G，不存在g ∈ G，g ≠ e 且 g² = e

​ 设群得阶数为n，G中除e之外的n-1个元素均不等于其逆元

​ 且n-1为偶数，又因为假设中n为偶数，故矛盾，则得证。

第六题

证：充分性：

​ 因为H是群，a，b ∈ H，由封闭性得ab^-1 ∈ H

​ 必要性：

​ （1）因为a, b ∈ H，ab⁻¹ ∈ H，令b = b^-1，ab ∈ H，满足封闭 性

​ （2）显然成立

​ （3）因为a, b ∈ H，ab⁻¹ ∈ H，令a = e，则eb^-1∈ H，故存在 逆元

​ （4）因为a, b ∈ H，ab⁻¹ ∈ H，令a = b ,则aa^-1 = e ∈ H，故存 在单位元

​ 综上所述，得证

第七题

证：由群的封闭性得g₀g₁…g_n ∈ G

​ 因为g_i ∈ G，所以g_i^-1 ∈ G

​ 又因为结合律

​ 所以g₀g₁…g_n*g_n^-1…g₁^-1g₀^-1可认为是元素与自己的逆元相乘

​ 所以g₀g₁…g_n*g_n^-1…g₁^-1g₀^-1 = e

​ 又因为封闭性得g_n^-1…g₁^-1g₀^-1 ∈ G

​ 综上所述，得证。