顾沛《抽象代数》1.3"子群与商群"习题解答
习题：
4.证明指数为$2$的子群必正规.
证明 设$G$为群且$H<G$且$[G:H]=2$,那么有左陪集分解
$$G=H\cup aH,a\notin H$$
同样的一定有右陪集分解
$$G=H\cup Ha$$
显然$aH=Ha$.由等价类的代表元之任意性便知$H\lhd G$.
5.设$G$是群,$H\lhd G,K\lhd G$且$H\cap K=\{e\}$,证明
$$hk=kh,\forall h\in H,k\in k$$
证明 又正规子群可知
\begin{align*}hk&=k_{1}h=kh_{1}\\\Rightarrow k^{-1}k_{1}&=h_{1}h^{-1}\in H\cap K\end{align*}
易得$k_{1}=k,h_{1}=h$,即$hk=kh$.
6.证明任一群都不能表示成其两个真子群之并.
证明 设群$G=A\cup B$,其中$A,B$均为$G$的真子群.从而存在$g\in A,g\notin B$以及$h\notin A,h\in B$,那么我们考虑$gh$.显然$gh$既不在$A$中,也不在$B$中,从而$gh\notin G$,与$G$是群矛盾!
8.若群$G$只有一个阶为$n$的子群$H$,那么$H\lhd G$.
证明 $\forall g\in G$,考察$g^{-1}Hg$,不难验证其仍构成群,且
$$\left|g^{-1}Hg\right|=|H|$$
由$H$的唯一性便知$g^{-1}Hg=H$,从而$H$正规.
补充题：
1.设$H$是整数加群$\mathbb Z$的子群,证明必有$m\in\mathbb Z$使得$H=m\mathbb Z$ .
证明 由于$\mathbb Z=<1>$为循环群,从而其任一子群$H$也必为循环群,因此存在$m\in\mathbb Z$使得
$$H=<m>=m\mathbb Z$$
由于循环群是后面的内容，此处也可用另一方法：若$H=\{0\}$,那么结论显然；若$H\neq\{0\}$,则考虑集合
$$S=\{|t|:t\in H,t\neq0\}$$
根据最下自然数原理可知集合$S$有最小值$m$,我们说$H=m\mathbb Z$,否则必然存在某个$n\in H$且$n>m>0$,但是$m\nmid n$,那么做带余除法
$$n=mq+r,0<r<m$$
由于$H$是群,那么$r\in H$,与$m$的极小性矛盾!
2.设$H,K$为群$G$的两个有限子群,证明
$$|HK|=\frac{|H|\cdot|K|}{|H\cap K|}.$$
证明 注意到$(H\cap K)<H$,设$\frac{|H|}{|H\cap K|}=n$,那么有左陪集分解
\begin{align*}H&=\bigcup_{i=1}^{n}h_{i}(H\cap K)\\&=\bigcup_{i=1}^{n}\left(H\cap h_{i}K\right)\tag{1}\\&=H\bigcap\left(\bigcup_{i=1}^{n}h_{i}K\right)\end{align*}
其中(1)式子用到了如下事实:
$$g(H\cap K)=gH\cap gK,g\in G.$$
从而可知$H\subset\bigcup_{i=1}^{n}h_{i}K$,进一步的
$$HK\subset\bigcup_{i=1}^{n}h_{i}K$$
另一方面每个$h_{i}K\subset HK$,从而
$$\bigcup_{i=1}^{n}h_{i}K\subset HK$$
因此$HK=\bigcup_{i=1}^{n}h_{i}K$,两边求阶数便得
$$|HK|=n|K|=\frac{|H|\cdot|K|}{|H\cap K|}$$
5.设$A,B$是群$G$的两个子群,证明:
(1)$AB< G$等价于$AB=BA$;
(2)$A,B$中若有一个是正规的,那么$AB<G$;
(3)若$A,B$均正规,那么$AB\lhd G$.
证明 (1)必要性：若$AB<G$,那么
$$AB=(AB)^{-1}=B^{-1}A^{-1}=BA$$
充分性：设$AB=BA$,那么对任意的$a_{1}b_{1},a_{2}b_{2}\in AB$有
\begin{align*}a_{1}b_{1}b_{2}^{-1}a_{2}^{-1}&=a_{1}b_{1}a_{3}b_{3}\\&=a_{1}a_{4}b_{4}b_{3}\\&=a_{5}b_{5}\in AB\\\Rightarrow AB&<G.\end{align*}
(2)不是一般性,设$A\lhd G$.同样的考虑
\begin{align*}a_{1}b_{1}b_{2}^{-1}a_{2}^{-1}&=a_{1}b_{1}a_{3}b_{2}^{-1}\\&=a_{1}a_{4}b_{1}b_{2}^{-1}\in AB\\\Rightarrow AB&<G.\end{align*}
(3)由(2)知$AB<G$,$\forall g\in G$,考虑
\begin{align*}gABg^{-1}&=gAg^{-1}gBg^{-1}=AB\end{align*}
从而$AB\lhd G.$
