CINTA作业四

1.证明命题6.6

证明：因为G为群，且a∈G，所以存在a的逆元使得aa^(-1)=e，又因为ba=ca，等式两边同乘以a的逆元，可以得到baa^(-1)=caa^(-1)，所以b=c；如果ab=ac，等式两边同乘以a的逆元，可以得到a^(-1)ab=a^(-1)ac，所以b=c。

2.证明命题6.7

证明：

g^m是进行了（m-1）次群运算，g^n是进行了（n-1）次群运算，g^m与g^n之间也进行了一次群运算，所以g^mg^n一共是进行了（m+n-1）次群运算，而g^(m+n)也表示进行了（m+n-1）群运算，故g^mg^n=g^(m+n)

g^m代表进行了（m-1）次群运算，（g^m）^n则代表了n组（m-1）次运算，所以一共是进行了（mn-1）次群运算，而g^mn就是代表进行了（mn-1）次群运算，故(g^m)^n=g^mn

由上一条性质可知，(h^(-1)g^(-1))^(-n)=((h^(-1)g^(-1))^(-1))^n=(gh)^n

如果G是阿贝尔群，则有gh=hg，所以(gh)^n=g^nh^n

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

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

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

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

4.给出命题6.8的完整证明

 证明：充分性：非空子集H是G的子群，所以子群H也具有群的性质，子群H中每个元素都具有逆元，所以任意b∈H，则H中必存在b的逆元b^(-1)，又由群的封闭性可知，H中任意两个元素在群H上做运算，得到的结果也包含在集合H中。因为a、b^(-1)都属于集合H中的元素，所以ab^(-1)也属于H。

必要性：1.满足结合律     显然满足

2.存在单位元    任意a，b∈H，ab^(-1)∈H，令a=b，则bb^(-1)=e，所以存在单位元

3.每个元素都有逆元      任意a，b∈H，ab^(-1)∈H，令a=e，则eb^(-1)=b^(-1)∈H，所以H中每个元素都有逆元

4.满足封闭性     任意a，b∈H，ab^(-1)∈H，令b=b^(-1)，则ab∈H，所以满足封闭性 

5.设G是群，对任意n∈ N，i∈[0，n]，gi∈G。证明g0g1…gn的逆元是gn^(-1)…g1^(-1)g0^(-1)

证明：因为任意n∈ N，i∈[0，n]，gi∈G，所以gigi^(-1)=e，将g0g1…gn和gn^(-1)…g1^(-1)g0^(-1)做群运算，式子中的2n个元素均与自己的逆元配对相乘，故最终结果为单位元 e 

又因为群的封闭性易得，g0g1…gn，gn^(-1)…g1^(-1)g0^(-1)∈G，

所以g0g1…gn的逆元是gn^(-1)…g1^(-1)g0^(-1)