CINTA四：群、子群

最新推荐文章于 2024-06-14 11:01:38 发布

Hi起来！！！

最新推荐文章于 2024-06-14 11:01:38 发布

阅读量493

点赞数

文章标签： css3 前端 css

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/qq_52489160/article/details/120979590

版权

请完成以下证明题：

3.证明命题6.6

（1）因为 $a$ $\in$ G，G是群，所以存在 $a^{-1}$ $\in$ G，有 $a$ $a^{-1}$ =e

ba=ca,两边右乘 $a^{-1}$

$\Rightarrow$ b $a$ $a^{-1}$ =c $a$ $a^{-1}$

$\Rightarrow$ be=ce，因为be=b，ce=c，所以，b=e

（2）因为 $a$ $\in$ G，G是群，所以存在 $a^{-1}$ $\in$ G，有 $a^{-1}$ $a$ =e

ab=ac，两边左乘 $a^{-1}$

$a^{-1}$ ab= $a^{-1}$ ac $\Rightarrow$ eb=ec $\Rightarrow$ b=c

由（1）（2）可知，命题6.6成立

4、证明命题6.7

（1）任意 m、n $\in$ $\mathbb{Z}$ ，设 a1= $g^{m}$ ，b1= $g^{n}$

因为前提为任意 a，b $\in$ 群G，所以 $g^{m}$ 、 $g^{n}$ $\in$ G

$\Rightarrow$ $g^{m}$ $g^{n}$ $\in$ G $\Rightarrow g^{m+n}$ $\in$ G

所以 $g^{m}$ $g^{n}$ = $g^{m+n}$

(2) 任意 m、n $\in$ $\mathbb{Z}$ ， $(g^{m})^{n}$ 等于n个 $g^{m}$ 相乘，将a= $g^{m}$

因为a $\in$ G ，所以 aa...a(n个a） $\in$ G ，b=aa...a(n个a）= $g^{mn}$

所以 $(g^{m})^{n}$ = $g^{mn}$

（3） $(h^{-1}g^{-1})^{n}$ 的逆元为 $(h^{-1}g^{-1})^{-n}$

而 $h^{-1}g^{-1}$ 的逆元为 gh ，n个 $h^{-1}g^{-1}$ 相乘，即 $(h^{-1}g^{-1})^{n}$

所以其逆元gh也n个相乘，即 $(gh)^{n}$

所以 $(gh)^{n}$ = $(h^{-1}g^{-1})^{-n}$

5、把g从G中抽出，直至抽剩两个数，其中为g1，和g1的逆元

不存在g=e，所以g*g=e

6、证明命题6.8

因为H是G的子群，H也是阿贝尔群，任意 a、b $\in$ H

因为 b $\in$ H，所以在H中存在b的逆元 $b^{-1}$ ，即 $b^{-1}$ $\in$ H

又因为 a $\in$ H、 $b^{-1}$ $\in$ H，所以 a $b^{-1}$ $\in$ H ( 封闭性）

7.

（1）证明一：

将 $g_{0}g_{1}...g_{n}$ 看成一个整体 g，g的逆元由 $g^{-1}$ 表示

即 $(g_{0}g_{1}...g_{n})^{-1}$ = $g_{n}^{-1}...g_{1}^{-1}g_{0}^{-1}$ ,由命题6.3可知

所以 $g_{0}g_{1}...g_{n}$ 的逆元为 $g_{n}^{-1}...g_{1}^{-1}g_{0}^{-1}$

（2）证明二：

假设 $g_{0}g_{1}...g_{n}$ 的逆元为 $g_{n}^{-1}...g_{1}^{-1}g_{0}^{-1}$

即（ $g_{0}g_{1}...g_{n}$ ）*（ $g_{n}^{-1}...g_{1}^{-1}g_{0}^{-1}$ ）是否等于单位元 e

（ $g_{0}g_{1}...g_{n}$ ）*（ $g_{n}^{-1}...g_{1}^{-1}g_{0}^{-1}$ ) = ( $g_{0}g_{1}...g_{n-1}$ )*( $g_{n}$ $g_{n}^{-1}$ )*( $g_{n-1}^{-1}...g_{1}^{-1}g_{0}^{-1}$ )

=( $g_{0}g_{1}...g_{n-1}$ )*( $g_{n-1}^{-1}...g_{1}^{-1}g_{0}^{-1}$ )

以此类推，原式=e

所以假设成立， $g_{0}g_{1}...g_{n}$ 的逆元为 $g_{n}^{-1}...g_{1}^{-1}g_{0}^{-1}$

Hi起来！！！

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
CINTA四：群、子群

请完成以下证明题：3.证明命题6.6（1）因为 G，G是群，所以存在G，有 =eba=ca,两边右乘b=cbe=ce，因为be=b，ce=c，所以，b=e（2）因为 G，G是群，所以存在G，有 =eab=ac，两边左乘ab=ac eb=ec b=c由（1）（2）可知，命题6.6成立4、证明命题6.7（1）任意 m、n，设 a1=，b1=因为前提为任意 a，b群G，所以、GGG所以=(2)任意 m...
复制链接

扫一扫

Hi起来！！！ CSDN认证博客专家 CSDN认证企业博客

码龄4年

11: 原创

84万+: 周排名

148万+: 总排名

3121: 访问

: 等级

115: 积分

1: 粉丝

2: 获赞

3: 评论

1: 收藏

私信

关注

热门文章

最新评论

CINTA作业七：同态
Bintou: 第一题我都讲过答案了，怎么还答成那样？
CINTA作业三：同余、模指数、费尔马小定理、欧拉定理
Bintou: 有很大的改进空间。
CINTA作业二：GCD与EGCD
Bintou: 你的程序有调试的吗？

您愿意向朋友推荐“博客详情页”吗？

强烈不推荐
不推荐
一般般
推荐
强烈推荐

提交

最新文章

目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。