cinta4

1. 证明命题6.6

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

a,b,c∈G，G为群，则a存在a^-1令a*a^-1=e,于是ba=ca等价于baa^-1=caa-1=be=ce.又be=e,ce=c,所以b=c;ab=ac，根据结合律得(aa^-1) b=(aa^-1)c,则b=c;

2. 证明命题6.7 

性质1:g^m=gg......gg(m个g相乘)，g^n=gg......gg(n个g相乘),g^m*g^n=gg......gg(m+n个g相乘)，即进行m+n-1次群运算,因此g^m*g^n=g^(m+n).

性质2:∀m,n∈Z,所以(g^m)^n=gg......gg(m个g相乘)*gg......gg(m个g相乘)*gg......gg(m个g相乘)*......(一共有n个m个g相乘),有(n*m-1)次群运算,即(g^m)^n=g^mn.

性质3:∀n∈Z,(h^-1*g^-1)^-n=((h^-1*g^-1)^-1)^n=(g*h)^n，前面命题证完;如果G是阿贝尔群，(gh)^n=gh......gh(n个gh相乘),顺序改变一下即g.....g*h.....h(n个g和n个h相乘)即g^n*h^n.

3. 

3.反证法，假设∀g∈偶数阶群G，均不存在g!=e,g^2=e.在G中，有g*g-1=e,又g^-1!=g，即阶群中必有g2=g^-1又!=g,因此阶群中g和g^-1必须成对，又因为e的逆元为e本身，因此G的阶数必须为奇数，与条件的偶数阶群相违背，因此，偶数阶群中存在∀g∈偶数阶群G，均不存在g!=e,g^2=e.

 4. 证明命题6.8

 4.H为G的子群。先证充分性：H是群，根据封闭性，a,b∈H,存在b^∈H,ab^-1∈H也成立.必要性:存在单位元:因为∀a,b∈H,a*b^-1∈H，因此当a=b时，aa^-1∈H,又a*a^-1=e，因此e∈H。存在逆元:∀a,b∈H,a*b^-1∈H，因为e∈H,令a=e,b=a，因此ea^-1∈H,故存在逆元.结合律:∀a,b,c∈H,因为H是G的子群,因此∀a,b,c∈G,G是群，因此a,b,c满足结合律.封闭性：对于a,b ∈H , b^−1∈H,所以a(b^-1)-1∈H,即ab∈H.

5. 

 5.因为n∈H,i∈[0,n]均有gigi^-1=e,g0*g1.....gn*g1^-1*g2^-1*.....gn^-1.又g1*g1^-1=e,g^2*g^-2=e......g^n*g^-n=e,以此类推g0*g1.....gn*g1^-1*g2^-1*.....gn^-1=e*e*e*e*e....*e(n个e相乘)；因为g0,g1,g2....gn,g0^-1...gn^-1均∈G，根据封闭性g0*g1.....gn和g1^-1*g2^-1*.....gn^-1均∈G,因此g0,g1,g2....gn的逆元为g0^-1...gn^-1.