顾沛《抽象代数》1.5"循环群"习题解答
习题：
5.设$G$为循环群,$N<G$,证明$G/N$也是循环群.
证明 由于$G$可交换,从而$N\lhd G$,并且只需注意到$G/N$为自然同态$\pi:G\to G/N$的同态象,便知$G/N$也是循环群.事实上如果设$G=<a>$,那么不难证明
$$G/N=<aN>.$$
6.设$a,b$分别为群$G$中的$m,n$阶元素,且满足
$$ab=ba,<a>\cap<b>=\{e\}$$
证明:$ab$的阶为$[m,n]$.
证明 设$ab$的阶为$d$,由于
$$(ab)^{[m,n]}=a^{[m,n]}b^{[m,n]}=e$$
从而$d\big|[m,n]$.另一方面
\begin{align*}(ab)^d&=a^db^d=e\\\Rightarrow a^{d}&=b^{-d}\in<a>\cap<b>\\\Rightarrow a^d&=b^d=e\end{align*}
因此$m\big|d,n\big|d$,所以
$$[m,n]\big|d$$
从而$d=[m,n]$.
7.设$G_{1},G_{2}$分别为$m,n$阶循环群,证明$G_{1}$与$G_{2}$同态当且仅当$n\big|m$.
证明 必要性：若$G_{1}$与$G_{2}$同态,那么$G_{2}$同构于$G_{1}$的某个商群,而商群的阶数必为群阶数的因子,易知$n\big|m$.
充分性：若$n\big|m$,设$G_{1}=<a>,G_{2}=<b>$,作对应关系
\begin{align*}\phi:G_{1}&\to G_{2}\\a^k&\mapsto b^k\end{align*}
先来证明$\phi$为映射,设$a^{k}=a^{l}$,即$m\big|(k-l)$,从而$n\big|(k-l)$,因此
$$b^k=b^l$$
即$\phi(a^k)=\phi(a^l)$,因此$\phi$确实是映射.后面我们则不难证明$\phi$为同态满射.所以$G_{1}$与$G_{2}$同态.
8.证明$4$阶群$G$只有两种结构,一种是$4$阶循环群,另一种是Klein四元群.
证明 据Lagrange定理可知$G$中元素的阶数仅可能为$1,2,4$.
1)若$G$中有$4$阶元,那么$G$为$4$阶循环群；
2)若$G$中无$4$阶元,那么$G$含$3$个二阶元$a,b,c$,以及单位元$e$.则不难得出$G$中的运算满足
$$ab=ba=c,ac=ca=b,bc=cb=a$$
此时为Klein四元群.
补充题：
1.证明任何循环群$G$都可看做整数加群$\{\mathbb Z,+\}$的同态象.
证明 若$|G|=\infty$,那么$\mathbb Z\simeq G$;若$|G|<\infty$,则存在$m\in\mathbb Z$使得
$$G\simeq \mathbb Z_{m}=\mathbb Z/m\mathbb Z$$
而商群即为同态象,因此$G$为$\mathbb Z$的同态象.
2.设$G$是$n$阶Abel群,记$K=\{k\in\mathbb N|a^k=e,\forall a\in G\}$.证明$G$是循环群当且仅当
$$n={\rm min}K.$$
证明 必要性是显然的.再证充分性,由题意存在$a\in G$使得$a^n=e$,且$\forall0<m<n$都有$a^m\neq e$(否则与$n$之极小性矛盾).即$a$的阶为$n$,考虑$<a>\subset G$,而$|<a>|=|G|=n$,所以$G=<a>$.
3.设群$G$只有有限个子群,证明:$G$为有限群.
证明 $\forall g\in G$,若$G$的循环子群$|<g>|<\infty$,那么$G$有无穷多个这样的子群,与假设矛盾!
因此存在某个$a\in G$使得$|<a>|=\infty$,因此$<a>\simeq\mathbb Z$.而整数加群$\mathbb Z$有无穷多个子群,例如
$$m\mathbb Z,m\in\mathbb Z$$
所以$<a>$也有无穷多个子群,进而$G$有无穷多个子群.与题意矛盾!
4.证明：$\{\mathbb Q,+\}$的任一有限生成子群必为循环群.
证明 任取$\mathbb Q$的有限子集
$$S=\{\frac{q_{1}}{p_{1}},\cdots,\frac{q_{n}}{p_{n}}\}$$
令$q=\frac{1}{\prod_{i=1}^{n}p_{i}}$,那么$S$中每个元素均可由$q$生成,例如
$$\frac{q_{i}}{p_{i}}=q_{i}\prod_{j=1,j\neq i}^{n}p_{j}\cdot q$$
因此$<S>\big<<q>$,而循环群$<q>$的子群亦是循环群,从而$<S>$为循环群.
5.设$G=<a,b>$为由$a,b$生成的群,其中$a\neq b$,$a$的阶数为$n$,$b$的阶数为$2$,且
$$aba=b$$
证明$|G|=2n$.
证明 易知$ab=ba^{-1}$,从而
$$a^mb=a^{m-1}ba^{-1}=\cdots=ba^{-m}$$
而在$<a,b>$中的元素仅有如下五种形式
$$a^i;\prod_{j=1}^{m}a^{i_{j}}b;b\prod_{j=1}^{m}a^{i_{j}}b;\left(\prod_{j=1}^{m}a^{i_{j}}b\right)a^{i_{m+1}};b\left(\prod_{j=1}^{m}a^{i_{j}}b\right)a^{i_{m+1}}$$
注意到
$$a^kba^lb=a^kb^2a^{-l}=a^{k-l}$$
以及
$$ba^k=a^{-k}b$$
易知$<a,b>$中元素仅有两种形式
$$a^k;a^lb$$
又若$k\neq l$且$k,l\leq n-1$,(为避免出现$n=1,2$情况,可假设$n\geq3$,至于$1,2$的情形可单独考虑)根据消去律必有$a^kb\neq a^lb$则不难证明
$$G=\{e,a,\cdots,a^{n-1},b,ab,\cdots,a^{n-1}b\}$$
显然$|G|=2n$.
6.证明定理1.5.5中的"唯一性"：设$G$是$m$阶循环群,且$m_{1}$是$m$的一个正整数因子,则$G$中有唯一的$m_{1}$阶子群.
证明 设$G=<a>$,可构造$G$的一个$m_{1}$阶子群
$$H=\left<a^{\frac{m}{m_{1}}}\right>$$
又若$H_{1}$是另一$m_{1}$阶子群,显然$H_{1}$也是循环群,设$a^t$是$H_{1}$中最小的正幂元,那么$H_{1}=\left<a^t\right>$.则据$a^tm_{1}=e$,可得
\begin{align*}m&\big|tm_{1}\\\Rightarrow\frac{m}{m_{1}}&\big|t\end{align*}
设$t=\frac{m}{m_{1}}\cdot q$,则
$$a^t=\left(a^{\frac{m}{m_{1}}}\right)^q\in H$$
所以$H=H_{1}$.
