CINTA第五次作业

最新推荐文章于 2024-07-19 15:45:46 发布

ZSQ_CSDN

最新推荐文章于 2024-07-19 15:45:46 发布

阅读量38

点赞数

文章标签：算法

本文链接：https://blog.csdn.net/ZSQ_CSDN/article/details/134721720

版权

第九章

5，6，7，8，9

5，定义映射φ：G → G 为：g → g² 。请证明φ是一种群同态，当且仅当G是阿贝尔群。

证明：任取a，b ∈ G，

①充分性：因为同态，所以φ(ab)=φ(a)φ(b)

根据同态定义得，(ab)²=a²b²

展开得，abab=aabb

根据消去律得，ba=ab，满足交换律

②必要性：因为G为阿贝尔群，则G中元素满足交换律

则φ(ab)=(ab)²=abab=a²b²=φ(a)φ(b)

群操作得以保持

6、设φ：G→H是一种群同态。请证明：如果G是循环群，则φ(G)也是循环群；如果G是交换群，则φ(G)也是交换群。

①循环群

证明：记g为G的生成元，即证明φ(G)=〈φ(g)〉

任取φ(g′)∈φ(G)，因为G是循环群，所以 $g^{'}$ = $g^{i}$ ,于 $\Phi \left ( g^{'} \right )= \Phi\left ( g^{i} \right )= \left ( \Phi \left ( g \right ) \right )^{i}\in \Phi \left ( g \right )$

任取 $\Phi \left ( g \right )^{i}\in \Phi \left ( g \right )$ ，因为同态，所以 $\Phi \left ( g \right )^{i}= \Phi \left ( g^{i} \right )$ ， $g^{i}\in G$ ，所以 $\Phi \left ( g^{i} \right )\in \Phi \left ( G \right )$

命题得证

②交换群：

证明：任取 $g_{1},g_{2}\in G$ ， $g_{1}g_{2}=g_{2}g_{1}$

$\Phi \left ( g_{1} \right )\Phi \left ( g_{2} \right )= \Phi \left ( g_{1} g_{2}\right )= \Phi \left ( g_{2} g_{1}\right )= \Phi \left ( g_{2} \right )\Phi \left ( g_{1} \right )$

φ(G)满足交换律为交换群

命题得证

7、证明：如果H是群G上指标为2的子群，则H是G的正规子群。

①若 g∈H，则H=gH=Hg

②若g∈G且g∉ H，则由陪集的同一性或不相交性可知：gH=G-H,Hg=G-H，故gH=Hg

8、给定任意群G，H是群G的正规子群。请证明，如果群G是阿贝尔群，则商群G/H也是阿贝尔群。

证明：因为是正规子群，所以 $g_{1}H\cdot g_{2}H=g_{1}g_{2}HH$ ，

因为是阿贝尔群，所以 $g_{1}g_{2}HH= g_{2}Hg_{1}H$ ，

从而 $\left ( g_{1}H \right )\left ( g_{2}H \right )= \left ( g_{2}H \right )\left ( g_{1}H \right )$ ,进而命题得证

9、给定任意群G，H是群G的正规子群。请证明，如果群G是循环群，则商群G/H也是循环群。

证明：任取 $g^{i}H\in \left \langle gH \right \rangle$ ，因为 $g^{i}\in G$ ，所以 $g^{i}H\in G/H$

任取 $g^{i}H\in G/H$ ，得 $g^{i}H\in \left \langle gH \right \rangle$

所以 $\left \langle gH \right \rangle= G/H$ ，命题得证。

ZSQ_CSDN

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
CINTA第五次作业

如果G是交换群，则φ(G)也是交换群。则φ(ab)=(ab)²=abab=a²b²=φ(a)φ(b)②若g∈G且g∉ H，则由陪集的同一性或不相交性可知：gH=G-H,Hg=G-H，故gH=Hg。请证明，如果群G是阿贝尔群，则商群G/H也是阿贝尔群。5，定义映射φ：G → G 为：g → g²。请证明，如果群G是循环群，则商群G/H也是循环群。任取φ(g′)∈φ(G)，因为G是循环群，所以。7、证明：如果H是群G上指标为2的子群，则H是G的正规子群。证明：记g为G的生成元，即证明φ(G)=〈φ(g)〉
复制链接

扫一扫