CINTA 作业四

1.证明命题6.6
证明：
由群公理得：对于$\forall a\in G$,$\exists a^{-1}$使$a{a}^{-1}=a^{-1}a=e$,则对于$ba=ca$,两边同时乘上$a^{-1}$,因此$b=c$,同理$a^{-1}ab=a^{-1}ac$,$b=c$。

2.证明命题6.7
证明：
性质1.$g^m{g}^n=g\ast g\ast g...g(m-1次群运算)\ast g\ast g...g\ast g(n-1次群运算）=g\ast g\ast g...g\ast g(m+n-1次群运算）=g^{m+n}$,由结合律显然上式成立。
性质2.$(g^m{)}^n=g^m\ast g^m\ast ...\ast g^m(共n个）=g^{m+m+...+m}=g^{mn}$
性质3.$(gh{)}^{-1}=h^{-1}{g}^{-1}$,$(gh{)}^n\ast (gh{)}^{-n}=e$,$(gh{)}^n\ast (h^{-1}{g}^{-1}{)}^n=e$,由消去律得$(gh{)}^n=(h^{-1}{g}^{-1}{)}^{-n}$.
如果G是阿贝尔群,$(gh{)}^n=(hg{)}^n=(g^{-1}{h}^{-1}{)}^{-n}$;又因为$(g^{-1}{h}^{-1})=g^n{h}^n$,所以$(gh{)}^n=g^n{h}^n$

3.证明对任意偶数阶群G,都存在$g\in G$,$g\ne e$且$g^2=e.$
证明：对$\forall g\in G$，存在$g^{-1}\in G$，使得$g{g}^{-1}=e,e{e}^{-1}=e$,若存在$g=g^{-1},则g^2=g\ast g=g\ast g^{-1}=e$.用反证法，假设不存在，则除了$e$外还有奇数个元素，以元素-逆元两两配对的形式，此时还剩下一个元素，说明至少有一个元素g使得g=$g^{-1}$,假设矛盾，不成立。

4.给出命题6.8的完整证明
证明：
因为G的非空子集H为G的子群，$a,b\in H$，$b^{-1}\in H$,根据封闭性，有$a{b}^{-1}\in H$,对任意$a,b\in H$,$a{b}^{-1}\in H$,则b可以为a,说明对任意a存在逆元$a^{-1}$；b=a时，$a{a}^{-1}=e\in H$,存在单位元；对于$\forall a,b\in H,有ab=a(b^{-1}{)}^{-1}\in H$.因此满足封闭性。任取$a,b,c\in H,(ab)c=a(bc)$.满足结合律。因此H满足群公理

5.设G是群，对任意$n\in N,i\in [0,n],g_i$属于$G,g_0{g}_1...g_n$的逆元是$g_n^{-1}...g_1^{-1}{g}_0^{-1}$
证明：
$(g_0{g}_1...g_n)\ast (g_n^{-1}...g_1^{-1}{g}_0^{-1})=(g_0(g_1...(g_n{g}_n^{-1})...g_1^{-1})g_0^{-1})=(g_0{g}_0^{-1})(g_1{g}_1^{-1})...(g_n{g}_n^{-1})=e$,
因此，$g_0{g}_1...g_n$d的逆元为$g_n^{-1}...g_1^{-1}{g}_0^{-1}$