CINTA作业4：群、子群

最新推荐文章于 2024-08-01 14:22:14 发布

N_Feng

最新推荐文章于 2024-08-01 14:22:14 发布

阅读量218

点赞数

文章标签：零知识证明区块链

本文链接：https://blog.csdn.net/N_Feng/article/details/122045604

版权

1、证明命题6.6

在这里插入图片描述

证明：
因为 $a$ $\in$ $G$
所以存在 $a^{-1}$ 使得 $aa^{-1}$ = $e$
有 $baa^{-1}$ = $caa^{-1}$ ,即 $b e = c e$ , $b = c$
同理有 $aa^{-1}b=aa^{-1}c$ , $e b = e c, b = c$

2、证明命题6.7

在这里插入图片描述

证明：
① $g^mg^n=\overbrace{g\cdot g\cdot \cdot \cdot g}^{m-1次群运算}\cdot\overbrace{g\cdot g\cdot \cdot \cdot g}^{n-1次群运算}=\overbrace{g\cdot g\cdot \cdot \cdot g}^{m+n-2次群运算}=g^{m+n}$
② ${(g^m)}{^n}=\overbrace{g^m\cdot g^m\cdot \cdot \cdot g^m}^{n-1次群运算}=g^{\overbrace {m+m+m\cdot \cdot\cdot m}^{n个m}}=g^{mn}$

③ $gh)^n=(((gh)^{-1})^{-1})^{n}=((gh)^{-1})^{-n}=(h^{-1}g^{-1})^{-n}=g^nh^n$

3、证明对任意偶数阶群 G，都存在 g ∈ G，g ≠ e 且 g²= e

4、给出命题6.8的完整证明

在这里插入图片描述
证明：
①充分性：因为 $a,b\in H$ , $H$ 是 $G$ 的子群，所以 $b^{-1}\in H$
由群的封闭性可知 $ab^{-1}\in H$
②必要性：
对于必要性，只要检验 H 满足所有的群公理即可。

因为 $H$ 是群 $G$ 的非空子集
结合律：
对于 $\forall a,b,c\in H$ 都有 $\forall a,b,c\in G$
有 $(a b) c = a (b c)$

单位元：
对于 $\forall a,a \in H$ 都有 $e=aa^{-1}\in H$ ,存在单位元e

逆元：
对于 $\forall e,a\in H$ 都有 $ea^{-1}\in H$ ,因为 $ea^{-1}=a^{-1}$ ,所以 $a^{-1}\in H$ ,所以存在逆元

封闭性：
对于 $\forall a,b\in H$ ,都有 $a^{-1},b^{-1}\in H$ ,即 $\forall a,b^{-1}\in H$ ,有 $a(b^{-1})^{-1}=ab\in H$ ,满足封闭性

5、设 $G$ 是群，对任意 $n\in N,i\in [0,n],g_{i}\in G$ 。证明 $g_{0}g_{1}\cdots g_{n}$ 的逆元是 $g_{n}^{-1}\cdots g_{1}^{-1}g_{0}^{-1}$

证明：
设 $g=g_{0}g_{1}\cdots g_{n}$
由封闭性得： $g\in G$
存在 $g^{-1}\in G$ 使得 $gg^{-1}=e$
即 $g_{0}g_{1}\cdots g_{n}g^{-1}=e$
又因为 $g_{0}g_{0}^{-1}=e,g_{1}g_{1}^{-1}=e,\cdots ,g_{n}g_{n}^{-1}=e$
由消去律得 $g^{-1}=g_{n}^{-1}\cdots g_{1}^{-1}g_{0}^{-1}$

N_Feng

关注

0
点赞
踩
0

收藏

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

1、证明命题6.6证明：因为aaa∈\in∈GGG所以存在a−1a^{-1}a−1使得aa−1aa^{-1}aa−1=eee有baa−1baa^{-1}baa−1 = caa−1caa^{-1}caa−1,即be=cebe=cebe=ce,b=cb=cb=c同理有aa−1b=aa−1caa^{-1}b=aa^{-1}caa−1b=aa−1c,eb=ec,b=ceb=ec,b=ceb=ec,b=c2、证明命题6.7证明：①gmgn=g⋅g⋅⋅⋅g⏞m−1次群运算⋅g⋅g⋅⋅⋅g⏞n−1次群
复制链接

扫一扫