CINTA 作业四

1.证明命题6.6

证明:
由于群公理，我们可以得到对于 $\forall a\in G,\exists a^{-1}$ 使 $a{a}^{-1}=a^{-1}a=e$，
则对于 $ba=ca$，我们在两边同时乘上 $a^{-1}$，
即 $ba{a}^{-1}=ca{a}^{-1}，故b=c$，
同理 $a^{-1}ab=a^{-1}ac，得b=c$，
证毕。

2.证明命题6.7

证明：
对性质1
$g^m\ast g^n=g\ast g\ast ...\ast g(总共m个)\ast g\ast g\ast ...\ast g(总共n个)=g^{m+n}$，
由结合律，上式显然成立，证毕。

对性质2
由性质1，我们可以得到
$(g^m{)}^n=g^m\ast g^m\ast ...\ast g^m（总共n个g^m）=gm+m+...+m=g^{mn}$。
证毕。

对性质3
由命题6.3，我们可以得到 $(gh{)}^{-1}=h^{-1}{g}^{-1}$，
用构造法，我们构造
$(gh{)}^n\ast (gh{)}^{-1}=e$，
$(gh{)}^n\ast (h^{-1}{g}^{-1}{)}^n=e$，
由消去律我们得到 $(gh{)}^n=(h^{-1}{g}^{-1}{)}^{-n}$。
如果 G 是阿贝尔群，同理可证 $(gh{)}^n=g^n{h}^n$。
证毕。

3.证明对任意偶数阶群 G ，都存在 $g\in G,g\ne e且g^2=e$

证明：
构造法，我们构造一个偶数阶群 G，$|G|=2k,k\in \mathbb{N},且对\forall g\in G,g\ne e,则g^2\ne e，即g\ne g^{-1}$，
显然，在 G 中 有 $ee=e,e^{-1}=e$。
故对于 ｛G-e｝, |{G-e}| = 2k-1。
由于对 $\forall g\in G-e,\exists g^{-1}\ne g\in G-e使得g{g}^{-1}=e$。
那么在逆元的唯一性这一性质下，我们可以将｛G-e｝分成两个集合 A 和 B，
对于$\forall g\in A$，我们可以在 B 中找到唯一对应 $g^{-1}$ 使$g{g}^{-1}=e$。
显然 |A+B| 是一个偶数，这与 |{G-e}| = 2k - 1属于 奇数矛盾。

证毕。

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

证明：

充分性易证，略。

对于必要性，只要检验 H 满足所有的群公理即可。

结合律易证，略。

单位元存在：

我们由 $\forall a,a\in H$，可以得到 $a{a}^{-1}=e\in H$，单位元存在。

乘法逆元存在：

由$\forall e,a\in H$，可以得到 $e{a}^{-1}=a^{-1}\in H$，乘法逆元存在。

最后我们检验封闭性，即确认$\forall a,b\in H,ab\in H$：

由于乘法逆元存在，$\forall b\in H$，可以得到 $a^{-1}\in H$，

那么$\forall a,b^{-1}\in H$，可以得到 $ab\in H$，单位元存在，

意味着$\forall a,b,b^{-1}\in H$，$ab\in H$。

证毕。

5.设 G 是群，对任意 $n\in N,i\in [0,n],g_i\in G$。证明 $g_0{g}_1...g_n$ 的逆元是$g_n^{-1}...g_1^{-1}{g}_0^{-1}$。

证明：

$g=g_0{g}_1...g_n\in G$，

则显然$\exists g^{-1}\in G$ 使 $g{g}^{-1}=e$，

即 $g_0{g}_1...g_n{g}^{-1}=e$，由消去律我们可以得到 $g^{-1}=g_n^{-1}...g_1^{-1}{g}_0^{-1}$。

证毕。