CINTA 作业四 群、子群

CINTA 作业四 群、子群

CH6 习题三：

证明命题6.6

设G为群，且a，b，c∈G。如果ba=ca，则b=c；并且，如果ab=ac，则b=c

证明

1、若ba=ca，则b=c

两边同时乘同一个：a^(-1)
则有baa^(-1)=caa^(-1)
由aa^(-1)=e得
be=ce
由单位元的唯一性得
b=c

2、若ab=ac，则b=c

两边同时乘同一个：a^(-1)
则有a^(-1)ab=a^(-1)ac
由a^(-1)a=e得
eb=ec
由单位元的唯一性得
b=c

CH6 习题四

证明命题6.7

证明：

一、

其中g^m代表m-1次群运算
gⁿ代表n-1次群运算
则g^mgⁿ代表1+（m-1）+（n-1）次群运算
也就是m+n-1次群运算
而g^m+n代表m+n-1次群运算
因此g^mgⁿ=g^m+n成立

二、

其中(g^m)代表m-1次群运算
则(g^m)ⁿ代表g^m×g^m×g^m……n组(m-1)次群运算
n组(m-1)次群运算也就是g^mn
因此(g^m)ⁿ=g^mn

三、

在阿贝尔群G中：$\forall$a,b$\in$G, ab=ba 成立
因此$\forall$n$\in$Z, (gh)ⁿ=(hg)ⁿ=(g^-1h^-1)^-n
由性质二：(g^-1h^-1)=gⁿhⁿ
因此：(gh)ⁿ=gⁿhⁿ

CH6 习题五

CH6 习题六

CH6 习题七

设G是群，对任意n$\in$N, i $\in$ [0 ,n ], g${}_i\in$G, 证明g${}_0$g${}_1$……g${}_n$的逆元是g${}_n$^-1……g${}_1$^-1g${}_0$^-1。

证明：

g${}_0$g${}_1$……g${}_n$ g${}_n$^-1……g${}_1$^-1g${}_0$^-1
=g${}_0$g${}_1$……e……g${}_1$^-1g${}_0$^-1
=e
因此g${}_0$g${}_1$……g${}_n$的逆元是g${}_n$^-1……g${}_1$^-1g${}_0$^-1