CINTA群、子群

CINTA作业四：群、子群

一、证明：设 G 为群，且 a, b, c ∈ G。如果 ba = ca，则 b = c；并且，如果 ab = ac，则 b = c。

证明：

设e为G的单位元，任意x∈G满足 x·e = x =e·x
G中必然存在唯一 a 的逆元 a^-1，满足 a·a^-1= e = a^-1·a
若 b·a = c·a，等号两边群操作a的逆元 a^-1

b·a·a ^-1 = c·a·a ^-1
b·e = c·e
b = c

若 ba = ca，则 b = c 得证。

若 a·b = a·c，等号两边群操作a的逆元 a^-1

a·a ^-1 ·b= a·a ^-1·c
e·b = e·c
b = c

若 a·b = a·c，则 b = c 得证。

二、设 G 是群，∀a, b ∈ G，以下性质成立。

∀m, n ∈ Z，g^mgⁿ = g^m+n；
∀m, n ∈ Z，(g^m)ⁿ = g^mn；
∀n ∈ Z，(gh)ⁿ = (h⁻¹g⁻¹)⁻ⁿ；如果 G 是阿贝尔群，则 (gh)ⁿ = gⁿhⁿ。

证明

g^mgⁿ= $\underbrace{g\cdot g\cdot g\dots g\cdot g}$ · $\underbrace{g\cdot g\cdot g\dots g\cdot g}$ = g^m+n
        m个g        n个g

第一点得证；

(g^m)ⁿ = $\underbrace{g^m\cdot g^m\cdot g^m\dots g^m\cdot g^m}$ = g^mn
            n个g^m

第二点得证；

(gh)ⁿ = $\underbrace{gh\cdot gh\cdot gh\dots gh\cdot gh}$
       n个gh
(h⁻¹g⁻¹)⁻ⁿ= $\underbrace{(h^{-1}{g}^{-1}{)}^{-1}\cdot (h^{-1}{g}^{-1}{)}^{-1}\dots (h^{-1}{g}^{-1}{)}^{-1}\cdot (h^{-1}{g}^{-1}{)}^{-1}}$
               n个(h^-1g^-1)^-1
证(gh)ⁿ = (h⁻¹g⁻¹)⁻ⁿ，只需证 gh = (h^-1g^-1)^-1

  gh = (h ^-1g ^-1) ^-1
    gh·h ^-1g ^-1 = (h ^-1g ^-1) ^-1· (h ^-1g ^-1) ¹
e= e

第三点 (gh)ⁿ = (h⁻¹g⁻¹)⁻ⁿ 得证；
若G 是阿贝尔群，即G是交换群，则 (gh)ⁿ= gⁿhⁿ 显然成立；

第三点得证

三、证明对任意偶数阶群G, 都存在 g ∈ G，g ≠ e 且 g² = e 。

证明：

群G中有唯一一个单位元e，每个元素a都有其唯一逆元a^-1使得 a a^-1=e
假设群G的阶为n，且 2 | n，除去单位元外剩余 n-1 个元素
由于n-1为奇数，n-1个元素必然分为两种情况:
i) a a^-1=e 且 a≠ a^-1 (a,a^-1∈G)(成对)
ii) a a^-1=e 且 a=a^-1 (a,a^-1∈G)
因而，偶数阶群G中，都存在g∈G，g≠e，且 gg^-1=gg=g²=e

四、群 G 的非空子集 H 是 G 的子群，当且仅当 H ≠ ∅，且对任意 a, b ∈ H，ab⁻¹ ∈ H。

证明：

H成群，a、b∈H，其逆元a^-1，b^-1亦属于H
由群的封闭性，可知 a、b^-1∈H 满足 ab^-1∈H

五、设G是群，对任意 n ∈ N，i ∈ [0,n], g _i ∈ G, 证明g₀g₁…g_n的逆元是g_n^-1…g₁^-1g₀^-1。

证明：

已知g₀, g₁, … g_n∈G，因封闭性，x=g₀g₁…g_n∈G，
求其逆元x^-1
g₀g₁…g_n· x^-1=e
g₀g₁…g_n·g_n^-·x^-1=e·g_n^-
g₀g₁…g_n-1·g_n-1^-·x^-1=e·g_n^-·g_n-1^-
…
g₀g₀^-x^-=eg_n^-1…g₁^-1g₀^-
x^-1=g_n^-1…g₁^-1g₀^-1
证得 g₀g₁…g_n的逆元为g_n^-1…g₁^-1g₀^-1