CINTA作业四：群、子群

1、证明命题6.6

因为G为群，且a，b，c∈G，则存在$a^{-1}\in G$，使得$a\cdot a^{-1}=e=a^{-1}\cdot a$
又有$ba=ca$，故$ba{a}^{-1}=ca{a}^{-1}$，故$b=c$
又有$ab=ac$，同理可得$b=c$

2、证明命题6.7

因为G为群，且$\forall a,b\in G$
（1）
$g^m{g}^n=g\cdot g\cdot ...\cdot g（m-1次群运算）\cdot g\cdot g\cdot ...\cdot g（n-1次群运算）=g\cdot g\cdot ...\cdot g（n+m-1次群运算）=g^{m+n}$
（2）
$（g^m{）}^n=g^m\cdot g^m\cdot ...\cdot g^m（n-1次群运算）=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 是阿贝尔群
同理可证

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

因为群中任一阶大于2 的元素和它的逆元的阶相等，且当一个元素的阶大于2 时，其逆元和它本身不相等，即阶大于2的元素是成对的。所以偶数阶群中，除去成对的阶大于2的元素，剩下的只能是一阶元和二阶元，一阶元只有单位元一个，所以二阶元的个数为奇数个，所以对任意偶数阶群G存在二阶元。

4、证明命题6.8

群G的非空子集H是G的子群，当且仅当$H\ne \varnothing$，且对任意$a,b\in H，a{b}^{-1}\in H$
$$G的非空子集H是G的子群,因为a,b\in H,所以b^{-1}\in H,由封闭性可得a{b}^{-1}\in H$$
$$因为H\ne \varphi ,且a,b\in H,a{b}^{-1}\in H.$$
$$取任意a\in H,e=a{a}^{-1}\in H。故单位元存在$$
$$任取b\in H,有b^{-1}=e{b}^{-1}\in H。故逆元存在$$
$$对任意a,b\in H,有b^{-1}\in H,ab=a(b^{-1}{)}^{-1}\in H。故满足封闭性$$
$$任取a,b,c\in H,(ab)c=a(bc)。结合律满足$$
$$故H满足群公理$$

5、

$$因为G是群，g_i\in G，所以g_i{g}_i^{-1}=e$$
$$所以(g_0{g}_1...g_n)(g_n^{-1}...g_1^{-1}{g}_0^{-1})=g_0{g}_1...(g_n{g}_n^{-1})...g_1^{-1}{g}_0^{-1}=e$$
故得证