CINTA 作业5

1.证明：命题9.1
设$\varphi :\mathbb{G}\to \mathbb{H}$从群$\mathbb{H}$的一种同构映射，则一下命题为真：
1.${\varphi }^{-1}$:$\mathbb{H}\to \mathbb{G}$也是同构；
2.|$\mathbb{G}$|=|$\mathbb{H}$|；
3.如果$\mathbb{G}$是阿贝尔群，则$\mathbb{H}$也是阿贝尔群。
4.如果$\mathbb{G}$是循环群，则$\mathbb{H}$也是循环群；
5.如果$\mathbb{G}$有阶为n的子群，则$\mathbb{H}$也为阶为n的子群。
证明：
(1) 因为$\varphi :\mathbb{G}\to \mathbb{H}$为同构映射，所以$\varphi$是双射，所以存在反函数.${\varphi }^{-1}$，并且也是双射。根据定义，所以${\varphi }^{-1}$:$\mathbb{H}\to \mathbb{G}$也是同构；
(2)因为$\varphi :\mathbb{G}\to \mathbb{H}$是同构映射，是一种双射，所以元素一一对应。所以|$\mathbb{G}$|=|$\mathbb{H}$|；
(3) 因为$\varphi :\mathbb{G}\to \mathbb{H}$为同构映射，并且$\mathbb{G}$是阿贝尔群，所以$\varphi (a○b)=\varphi (a)\ast \varphi (b)=\varphi (b○a)=\varphi (b)\ast \varphi (a)$。所以有$\varphi (a)\ast \varphi (b)=\varphi (b)\ast \varphi (a)$。所以$\mathbb{H}$也是阿贝尔群。
(4) 因为$\mathbb{G}$为循环群，所以存在g为$\mathbb{G}$的生成元，又因为$\mathbb{G}$为群，具有封闭性，所以$\varphi (g^2)=\varphi (g○g)=\varphi (g)\ast \varphi (g)$,所以可以得到得到：$\varphi (g^n)=\varphi (g{)}^n$，所以存在$\varphi (g)$为$\mathbb{H}$的生成元，因此，$\mathbb{H}$也是循环群。
(5) 设${\mathbb{G}}^{{}^{\prime }}$为$\mathbb{G}$的n阶子群，所以任意的a，b∈$\mathbb{G}$, a^-1，b^-1,ab属于${\mathbb{G}}^{{}^{\prime }}$，所以对于$\mathbb{H}$，我们可以得到$\varphi (a)，\varphi (b)\in \mathbb{G},\varphi (a^{-1})，\varphi (b^{-1})\in {\mathbb{G}}^{{}^{\prime }}$同理e也对应$\varphi (e)$。所以存在${\mathbb{H}}^{{}^{\prime }}$是$\mathbb{H}$的子群，并且根据(2)可知阶数为n。
2.所有无限阶的循环群都同构于群$\mathbb{Z}$
证明：设群 G 是一个无限阶的循环群，g ∈ G 是生成元。定义 ϕ : Z → G 为 ϕ : n → gn。则 $\varphi (m+n)=g^{m+n}=g^m{g}^n=\varphi (m)\varphi (n)。$ 然后，证明 ϕ 是双射。
（1）证明单射：任取a , b ∈$\mathbb{Z}$,若$\varphi (a)=\varphi (b)$,即$g^a=g^b$，因为$\mathbb{G}$为无限循环群，所以a=b，则$\varphi$是单射。
(2) 证明满射：$任取g^x\in \mathbb{Z}$，则存在x∈$\mathbb{Z}$，使得$\varphi (x)=g^x$，所以$\varphi$是满射。
综上，$\varphi$是双射。证明完毕！