ICode9

精准搜索请尝试: 精确搜索
首页 > 其他分享> 文章详细

CINTA作业四:群、子群

2021-12-11 12:59:13  阅读:172  来源: 互联网

标签:... ab 次群 作业 证明 相乘 子群 CINTA gh


1.证明:

 证明:由a∈G,可得:a^{-1}∈G。

对于ba = ca,两边同时右乘a^{-1},可得baa^{-1}=caa^{-1}

所以b = c 。

同理,对于ab = ac,两边同时左乘a^{-1},可得a^{-1}ab = a^{-1}ac

所以b = c 。

原命题得证。

2.证明: 

 

g^{m}是m个g相乘,即m-1次群运算,同理g^{n}为n个g相乘,即n-1次群运算

则: g^{m}g^{n}为(m+n)个g相乘,即m+n-1次群运算

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

(g^{m})^{n}为n个g^{m}相乘,即n-1次群运算

(g^{m})^{n} = g^{m}g^{m}...g^{m}g^{m}(n个) =g^{m*n}=g^{mn}

③由gh=((gh)^{-1})^{-1}.

得 (gh)^{n}=(((gh)^{-1})^{-1})^{n}=((h^{-1}g^{-1})^{-1})^{n}=(h^{-1}g^{-1})^{-n}

若G是阿贝尔群,则满足交换律

(gh)^{n}=gh*gh...*gh(n个)=ggg...g(n个)hhh...h(n个)=g^{n}h^{n}

3.证明:

 设G的阶为2n,n=1,2,3...

\existsq∈G,且q≠e,q^{2n}=(q^{n})^{2}=e

 令g=q,则原命题得证。

4.证明:

 

 一、充分性:

\foralla,b∈H,有b^{-1}∈H,由封闭性得,ab^{-1}∈H。

二、必要性:

①:对于\foralla,b∈H, ab^{-1}∈H,令a=b,则aa^{-1}∈H,

即存在单位元e= aa^{-1}∈H。

②: 对于\foralla,b∈H, ab^{-1}∈H,则b^{-1}∈H,

a(b^{-1})^{-1}∈H,即满足封闭性。

③: 对于\foralla,b∈H, ab^{-1}∈H,

e∈H,a∈H,则ea^{-1}=a^{-1}∈H。

即存在逆元a^{-1}

④: 对于\foralla,b,c,∈H,

有a,b,c∈G

由于G是群,则有(ab)c = a(bc)

即满足结合律。

5.证明:

 证明:

因为g_{i}∈G,则g_{0}g_{1}...g_{n}∈G。

 (g_{0}g_{1}...g_{n})(g_{n}^{-1}...g_{1}^{-1}g_{0}^{-1})=g_{0}g_{0}...(g_{n}g_{n})...g_{1}^{-1}g_{0}^{-1}=g_{0}e...e...eg_{0}^{-1}=e.

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

 

 

 

 

 

标签:...,ab,次群,作业,证明,相乘,子群,CINTA,gh
来源: https://blog.csdn.net/LuoRiiXx/article/details/121870132

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

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

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

ICode9版权所有