CINTA 第五次作业

m0_74856681

已于 2023-11-30 22:58:01 修改

阅读量68

点赞数

文章标签：学习

于 2023-11-30 22:55:27 首次发布

本文链接：https://blog.csdn.net/m0_74856681/article/details/134723870

版权

$5.定义映射\phi:G\mapsto G 为：g\mapsto g^{2},请证明\phi 是一种群同态当且仅当 G 是阿贝尔群。$
$证明：任取g_{1}、g_{2}\in G,则$
$（1）先证明：\phi 是一种群同态\Leftarrow G 是阿贝尔群。$
$\phi(g_{1}·g_{2})=(g_{1}·g_{2})^{2}=g_{1}g_{2}g_{1}g_{2}$
$因为G是阿贝尔群，所以g_{1}g_{2}g_{1}g_{2}=g_{1}g_{1}g_{2}g_{2}g=g_{1}^{2}g_{2}^{2}=\phi(g_{1})·\phi(g_{2})$
$所以，\phi 是群同态$
$（2）再证明：\phi 是一种群同态\Rightarrow G 是阿贝尔群。$
$\phi(g_{1}·g_{2})=(g_{1}·g_{2})^{2}=g_{1}g_{2}g_{1}g_{2}$
$\phi(g_{1})·\phi(g_{2})=g_{1}^{2}g_{2}^{2}=g_{1}g_{1}g_{2}g_{2}$
$因为\phi 是一种群同态，所以\phi(g_{1}·g_{2})=\phi(g_{1})·\phi(g_{2})，即$
$g_{1}g_{2}g_{1}g_{2}=g_{1}g_{1}g_{2}g_{2}$
$该等式左右两边同时左乘g_{1}^{-1}，同时右乘g_{2}^{-1}，得$
$g_{2}g_{1}=g_{1}g_{2}$
$所以， G 是阿贝尔群。$

$6.设\phi:G\mapsto H是一种群同态。请证明：如果 G 是循环群，则 \phi(G)也是循环群；如果G是交换群，则\phi(G) 也是交换群。$
$证明：（1）先证明若G是循环群，则\phi(G)也是循环群$
$设g是G的生成元，那么对\forall g'\in G,\exists k\in Z,st g^{k}=g'$
$又因为\phi 是群同态，所以$
$\phi(g')=\phi(g^{k})=(\phi(g))^{k}$
$即对\forall g'\in G,\exists k\in Z,st (\phi(g))^{k}=\phi(g')$
$所以，\phi(g)是群\phi(G)的生成元，即群\phi(G)是循环群$
$(2)再证明若G是交换群，则\phi(G)也是交换群$
$任取g_{1}、g_{2}\in G，因为\phi 是群同态，所以$
$\phi(g_{1}·g_{2})=\phi(g_{1})·\phi(g_{2})$
$而群G是交换群，有g_{1}g_{2}=g_{2}g_{1}，所以$
$\phi(g_{1}·g_{2})=\phi(g_{2}·g_{1})=\phi(g_{2})·\phi(g_{1})$
$即$
$\phi(g_{1})·\phi(g_{2})=\phi(g_{2})·\phi(g_{1})$
$群\phi(G)是交换群。$

$7. 证明：如果 H 是群 G 上指标为 2 的子群，则 H 是 G 的正规子群。$
$证明：因为 H 是群 G 上指标为 2 的子群，即群 G 被两个陪集划分。$
$若g\in H，则gH=H=Hg，原命题成立。$
$若g\not\in H，则群G被左陪集gH和H划分，群G被右陪集Hg和H划分$
$同样有 g H = H g$
$所以， H 是 G 的正规子群。$

$8. 给定任意群 G ， H 是群 G 的正规子群。请证明，如果群 G 是阿贝尔群，则商群 G / H 也是阿贝尔群。$
$证明：任取g_{1}、g_{2}\in G，则g_{1}H、g_{2}H\in G/H$
$因为群 G 是阿贝尔群，而 H 是群 G 的正规子群，所以$
$g_{1}H·g_{2}H=g_{1}g_{2}HH=g_{2}g_{1}HH=g_{2}H·g_{1}H$
$即商群 G / H 也是阿贝尔群。$

$9. 给定任意群 G ， H 是群 G 的正规子群。请证明，如果群 G 是循环群，则商群 G / H 也是循环群。$
$证明：设g是群G的生成元，那么对\forall g'\in G,\exists k\in Z,st g^{k}=g'$
$且gH、g'H\in G/H,根据商群的良定义，有$
$g'H=g^{k}H=(gH)^{k}$
$所以 g H 是商群 G / H 的生成元，商群 G / H 是循环群。$