码迷,mamicode.com
首页 > 其他好文 > 详细

顾沛《抽象代数》1.4"群的同态与同构"习题解答

时间:2014-07-16 18:18:25      阅读:637      评论:0      收藏:0      [点我收藏+]

标签:strong   for   c   ar   amp   关系   

习题:

7.请把定理1.4.10改写成更一般的语言来叙述,第一句是:"设$f$是群$G_{1}$到$G_{2}$的满同态,且$H<G_{1}$,并记$N={\rm Ker}f$,则……"

解答    与该定理类似的我们有:

(1)$HN$是$G_{1}$中包含$N$的子群且

$$HN=f^{-1}(f(H))$$

即$HN$是$f(H)$的完全原象;

(2)$(H\cap N)\lhd H$且${\rm Ker}f|_{H}=H\cap N$;

(3)考虑同态满射$f|_{H}:H\to f(H)=HN$,据同态基本定理便知

$$HN\simeq H/(H\cap N)$$

 

9.举例说明下列命题不正确:

设$G_{1},G_{2}$不正确,$N_{1}\lhd G_{1},N_{2}\lhd G_{2}$,且有

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

则必有$G_{1}/N_{1}\simeq G_{2}/N_{2}$.

解答    例如取$G_{1}=G_{2}=\mathbb Z:\{\mathbb Z,+\}$,取$N_{1}=2\mathbb Z,N_{2}=3\mathbb Z$,那么$N_{1}\simeq N_{2}$.事实上根据如下同构便知

\begin{align*}\phi:N_{1}&\to N_{2}\\2a&\mapsto 3a\end{align*}

但是$G_{1}/N_{1}=\mathbb Z_{2},G_{2}/N_{2}=\mathbb Z_{3}$,而

$$|\mathbb Z_{2}|=2,|\mathbb Z_{3}|=3$$

显然二者不同构.

 

补充题:

1.证明定理1.4.8,内容如下:

设$f$是群$G_{1}$到$G_{2}$的满同态,记$N={\rm Ker}f$,则

(1)$f$建立了$G_{1}$中包含$N$的子群与$G_{2}$中子群间的双射;

(2)上述映射把正规子群映成正规子群;

(3)若$N\subset H\lhd G_{1}$,则

$$G_{1}/H\simeq G_{2}/f(H).$$

证明    (1)令$\Gamma$表示$G_{1}$中包含$N$的子群的全体,$\Sigma$表示$G_{2}$的子群的全体,作

\begin{align*}\phi:\Gamma&\to\Sigma\\H&\mapsto f(H)\end{align*}

由于$f$是满同态,那么显然$\phi$确实是一个映射,同时$\phi$显然也是满的.再来说明$\phi$单,否则存在$H_{1},H_{2}\in\Gamma$且$H_{1}\neq H_{2}$使得

$$f(H_{1})=f(H_{2})$$

从而存在$b\in H_{2}$且$b\notin H_{1}$,以及$a\in H_{1}$使得

$$f(a)=f(b)$$

易知$ab^{-1}\in N\subset H_{1}$,从而$b\in H_{1}$,矛盾!这就说明$\phi$确实是单的.

综合便知$\phi$为双射.

(2)由$f$满同态,是显然的.

(3)由(2)知$f(H)\lhd G_{2}$,作对应关系

\begin{align*}\varphi: G_{1}/H&\to G_{2}/f(H)\\aH&\mapsto f(a)f(H)\end{align*}

先来说明$\varphi$确实是映射,设$aH=bH$,即$b^{-1}a\in H$,那么$\left(f(b)\right)^{-1}f(a)\in f(H)$,从而

\begin{align*}f(a)f(H)&=f(b)f(H)\\\Rightarrow\varphi(aH)&=\varphi(bH)\end{align*}

所以$\varphi$确实是映射.

然后不难验证$\varphi$是同构,从而

$$G_{1}/H\simeq G_{2}/f(H).$$

 

2.设$\sigma$是群$G$到自身的自同构,且满足

$$\sigma(g)=g\Rightarrow g=e$$

证明:

(1)$f:g\to\sigma(g)g^{-1}$是单射;

(2)若$G$是有限群,则$G$的每个元素均可写成$\sigma(g)g^{-1}$的形式;

(3)若$G$是有限群,且$\sigma^2={\rm id}_{G}$,那么$G$为奇数阶Abel群.

证明    (1)设$f(g)=f(h)$,则

\begin{align*}\sigma(g)g^{-1}&=\sigma(h)h^{-1}\\\Rightarrow\sigma(h^{-1}g)&=h^{-1}g=e\end{align*}

从而$g=h$,即$f$单.

(2)由于$|G|<\infty$,而据(1)便知

$$|f(G)|\geq|G|$$

注意$f(G)\subset G$,从而$f(G)=G$.而$f(G)$中任一元素均具有$\sigma(g)g^{-1}$的形式,也就是说$G$中元素也具有此形式.

(3)由(2)知$\forall g\in G$,具有形式$\sigma(a)a^{-1}$,从而

\begin{align*}\sigma(g)&=\sigma^2(a)\sigma(a^{-1})=\left(\sigma(a)a^{-1}\right)^{-1}=g^{-1}\end{align*}

由有题目可知若$g\neq e$,则$\sigma(g)=g^{-1}\neq g$,所以在$G$中非零元必然成对出现,所以$|G|$为奇数.

此外$\forall g,h\in G$有

$$gh=\sigma\left((gh)^{-1}\right)=\sigma(h^{-1})\sigma(g^{-1})=hg$$

所以$G$是Abel群.

 

4.证明$\{\mathbb Q^*,\cdot\}$与$\{\mathbb Q,+\}$不同构.

证明    若存在同构$f:\mathbb Q^*\to\mathbb Q$,则

$$f(-1)^2=f(1)=0$$

从而$f(-1)=0$,与$f$单矛盾!

 

5.求$\{\mathbb C^*,\cdot\}$的子群$N$使得

$$\{\mathbb C^*,\cdot\}/N\simeq\{\mathbb R^+,\cdot\}.$$ 

解    作映射\begin{align*}\phi:\mathbb C^*&\to\mathbb R^+\\z&\mapsto|z|\end{align*}

我们不难验证$\phi$为同态满射,且

$${\rm Ker}\phi=\{e^{i\theta}:-\pi<\theta\leq\pi\}$$据同态基本定理可知

$$\mathbb C^*/{\rm Ker}\phi\simeq\mathbb R^+$$

因此取$N={\rm Ker}\phi$即可.

 

6.设$H\lhd G$,且$|H|=n$,$|G/H|=m$,且$(m,n)=1$.证明:$H$是$G$的唯一的$n$阶子群.

证明    若存在$G$的另一$n$阶子群$H_{1}<G$,据定理1.4.10可知

$$H_{1}/(H_{1}\cap H)\simeq (H_{1}H)/H$$

如果设$|H_{1}\cap H|=l$,那么显然$l\mid n$.又$(H_{1}H)/H<G/H$,据Lagrange定理

$$\vert H_{1}/(H_{1}\cap H)\vert\big|\vert G/H\vert$$

从而\begin{align*}\frac{n}{l}\mid m\Rightarrow n&\mid ml\Rightarrow n\mid l\end{align*}

所以$n=l$,而$H_{1}\cap H\subset H$且$H_{1}\cap H\subset H_{1}$,易知

$$H=H_{1}$$

所以$H$是唯一的$n$阶子群.

顾沛《抽象代数》1.4"群的同态与同构"习题解答,布布扣,bubuko.com

顾沛《抽象代数》1.4"群的同态与同构"习题解答

标签:strong   for   c   ar   amp   关系   

原文地址:http://www.cnblogs.com/xixifeng/p/3843884.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!