CINTA作业七：同态

最新推荐文章于 2024-11-01 14:57:44 发布

島風丶

最新推荐文章于 2024-11-01 14:57:44 发布

阅读量211

点赞数

分类专栏： CINTA作业文章标签：算法

本文链接：https://blog.csdn.net/weixin_52250341/article/details/121337039

版权

CINTA作业专栏收录该内容

10 篇文章 0 订阅

订阅专栏

3

依题意：对任意 $g \in G$ ，有 $\mathbb H_1=\mathbb H_1 g$ ， $\mathbb H_2=\mathbb H_2 g$
故有 $gh_1=h_1g$ ， $gh_2=h_2g$
对任意 $h_1∈\mathbb H_1，h_2∈\mathbb H_2$ ，有：
$gh_1h_2=h_1gh_2=h_1h_2g∈\mathbb H_1\mathbb H_2g$
且
$h_1h_2g=h_1gh_2=gh_1h_2∈\mathbb H_1\mathbb H_2g$
故
$\mathbb H_1\mathbb H_2是群G的正规子群$

5

依题意：
充分性：
$ϕ (a \cdot b) = ϕ (a) \circ ϕ (b)$
即： $ab)^2=a^2·b^2$
即： $ab·ab=a^2·b^2$
由消去律可得： $b \cdot a = a \cdot b$
故：G是阿贝尔群

必要性：
G是阿贝尔群，则有： $b \cdot a = a \cdot b$
$ϕ(a·b)=(ab)^2=ab·ab=ab·ba=a·b^2·a=a·a·b^2=a^2·b^2=ϕ(a)∘ϕ(b)$
故：ϕ是一种群同态

7

因为[G:H]=2，所以对任意g∈G，分有两种情况。
①g∈H时， $g H = H = H g$ ，得证
②g∉H时， $\forall h \in H$ ，有 $gh=h_1'∉H但∈G，hg=h_2'∉H但∈G$
$H'=G-H，使得h_1',h_2'∈H'，则有gH∈H'，Hg∈H'$
$h'∈H'，∃h_1,h_2∈H，使h'=gh_1∈gH，h'=h_2g∈Hg$
所以 $H^{'} \in g H ， H^{'} \in H g$
故 $g H = H^{'} = H g$
所以得证。