ICode9

精准搜索请尝试：精确搜索

Java

PHP

首页 > 其他分享> 文章详细

CINTA四：群、子群

2021-10-26 23:33:40 阅读：223 来源： 互联网

标签：所以命题相乘逆元子群因为任意 CINTA

请完成以下证明题：

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}$

标签：所以,命题,相乘,逆元,子群,因为,任意,CINTA
来源： https://blog.csdn.net/qq_52489160/article/details/120979590

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

关于我们 | 联系我们 | 留言反馈

专注分享技术，共同学习，共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有