6阶子群同构于s3或者z6_顾沛《抽象代数》1.6"变换群与置换群"习题解答

习题

4.证明：置换群$G$中若含有奇置换，则$G$必有指数为$2$的子群.

证明    易知$G$中若有奇置换，则奇偶置换各半.不妨设$G$的偶置换为

$${\rm id}=\sigma_{1},\sigma_{2},\cdots,\sigma_{m}$$

而奇置换$\phi_{1},\cdots,\phi_{m}$,又消去律可知每个$\sigma_{i}\phi_{1}$均为奇置换且互不相等,从而

$$\{\sigma_{i}\phi_{1}|i=1,2,\cdots,m\}=\{\phi_{1},\cdots,\phi_{m}\}$$

取$G$的子群

$$N=\{\sigma_{1},\cdots,\sigma_{m}\}

那么根据前面分析可知$[G:N]=2.$

5.设$G_{1},G_{2}$是群, $N_{1}\lhd G_{1},N_{2}\lhd G_{2}$,且有

$$N_{1}\simeq N_{2},G_{1}/N_{1}\simeq G_{2}/N_{2}$$

问是否一定有$G_{1}\simeq G_{2}$?

解答    不一定.反例如下：取$G_{1}=S_{3},G_{2}=\mathbb Z_{6}$,再取子群

$$N_{1}=,N_{2}=$$

由于$N_{1},N_{2}$均为三阶循环群,从而必有$N_{1}\simeq N_{2}$.此外

$$[G_{1}:N_{1}]=[G_{2}:N_{2}]=2$$

因此二者均为正规子群,所以可作商群$G_{1}/N_{2},G_{2}/N_{2}$,且

$$|G_{1}/N_{1}|=|G_{2}/N_{2}|=2$$

而二阶群仅有一种结构,