CINTA作业四

1.（命题6.6），设G为群，且a，b，c∈G。如果ba=ca，则b=c，并且，如果ab=ac，则b=c。

根据群公理，存在a^-1∈G,使得a a^-1=e;
则baa^-1=ca^-1,得b=c；
同理，a^-1ab=a^-1ac,得b=c

2.（命题6.7）设G是群，以下性质成立:

$\forall$m,n∈Z,g^mgⁿ=g^m+n;
$\forall$m,n∈Z,(g^m)ⁿ=g^mn;
$\forall$m,n∈Z,(gh)ⁿ=(h^-1g^-1)^-n;如果G是阿贝尔群，则(gh)ⁿ=gⁿhⁿ.
①根据结合律：g^mgⁿ=$\underset{m-1次群运算}{\underbrace{g\cdot g\cdot \cdot \cdot g}}$·$\underset{n-1次群运算}{\underbrace{g\cdot g\cdot \cdot \cdot g}}$=$\underset{m+n-1次群运算}{\underbrace{g\cdot g\cdot \cdot \cdot g}}$=g^m+n
②(g^m)ⁿ=$\underset{n-1次群操作}{\underbrace{\underset{m-1次群运算}{\underbrace{g\cdot g\cdot \cdot \cdot g}}\cdot \underset{m-1次群运算}{\underbrace{g\cdot g\cdot \cdot \cdot g}}\cdot \cdot \cdot \underset{m-1次群运算}{\underbrace{g\cdot g\cdot \cdot \cdot g}}}}$=$\underset{mn-1次群运算}{\underbrace{g\cdot g\cdot \cdot \cdot g}}$=g^mn
③根据②，(h^-1g^-1)^-n=((h^-1g^-1)^-1)ⁿ,h^-1g^-1gh=e,(h^-1g^-1)^-1e=gh,得(gh)ⁿ=(h^-1g^-1)^-n
若G是阿贝尔群(gh)ⁿ=$\underset{n-1次群运算}{\underbrace{gh\cdot gh\cdot \cdot \cdot gh}}$=$\underset{n-1次群运算}{\underbrace{g\cdot g\cdot \cdot \cdot g}}$·$\underset{n-1次群运算}{\underbrace{h\cdot h\cdot \cdot \cdot h}}$=gⁿhⁿ

3.对任意偶数阶群G，都存在g∈G,g≠e,且g²=e

易得：$\forall$g∈G,都存在g^-1∈G，使得g g^-1=e,e·e^-1=e,
若在G中除e外,存在g=g^-1,则g²=g·g=g·g^-1=e
若假设不存在,由于除了e外G中有奇数个元素，将其用元素-逆元的形式两两配对，则剩下一个元素，说明至少有一个元素g使得g=g^-1,假设不成立，得证

4.(命题6.8)群G的非空子集H是G的子群，当且仅当H≠∅，且对任意a，b∈H，ab^-1∈H

①充分性：根据封闭性,有ab^-1∈H
②必要性：
对任意a，b∈H，ab^-1∈H,则b可以为a，说明对任意a存在逆元a^-1
b=a时，aa^-1=e∈H，存在单位元，
因b^-1∈H,则对任意a，b∈H，有ab∈H，满足封闭性
任取a,b,c∈H，满足(ab)c=a(bc),满足结合律
所以H为群，得证

5.设G是群，对任意n∈N，i∈[0，n]，g${}_n$属于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$···(g${}_n$·g${}_n$^-1)···g${}_1$^-1)g${}_0$^-1)=e
所以g${}_0$g${}_1$···g${}_n$的逆元是g${}_n$^-1···g${}_1$^-1g${}_0$^-1