阿贝尔群和循环群.ppt
《阿贝尔群和循环群.ppt》由会员分享,可在线阅读,更多相关《阿贝尔群和循环群.ppt(20页珍藏版)》请在课桌文档上搜索。
1、5-5 阿贝尔群和循环群,定义 5-5.1:如果群中的运算*是可交换的,则称该群为阿贝尔群,或称交换群。例题 1:设G为所有n阶非奇(满秩)矩阵的集合,矩阵乘法运算。作为定义在集合G上的二元运算,则是一个不可交换群。,解:任意两个n阶非奇矩阵相乘后,仍是一个非奇矩阵,所以运算 是封闭的。矩阵乘法运算是可结合的。n阶单位阵E是G中的幺元。任意一个非奇阵A存在着唯一的逆阵,使A A-1=A-1 A=E但矩阵乘法是不可交换的,因此,是一个不可交换群。,定理5-5.1:设是一个群,是阿贝尔群的充要条件是对任意的a,bG,有(a*b)*(a*b)=(a*a)*(b*b)。证明:充分性 设对任意a,bG,
2、有(a*b)*(a*b)=(a*a)*(b*b)因为 a*(a*b)*b=(a*a)*(b*b)=(a*b)*(a*b)=a*(b*a)*b 所以 a-1*(a*(a*b)*b)*b-1=a-1*(a*(b*a)*b)*b-1 即得 a*b=b*a 因此,群是阿贝尔群。,必要性设是阿贝尔群,则对任意的a,bG 有 a*b=b*a因此(a*a)*(b*b)=a*(a*b)*b=a*(b*a)*b=(a*b)*(a*b),定义5-5.2:设为群,若在G中存在一个元素a,使得G中的任意元素都由a的幂组成,则称该群为循环群,元素a称为循环群G的生成元。例如:60就是群的生成元,因此,该群是循环群。,定
3、理5-5.2:任何一个循环群必定是阿贝尔群。证明:设是一个循环群,它的生成元是a,那么,对于任意的x,yG,必有r,sZ,使得x=ar 和 y=as 而且 x*y=ar*as=ar+s=as+r=as*ar=y*x 因此,是一个阿贝尔群。对于有限循环群,有下面的定理。,定理5-5.3:设是一个由元素aG生成的有限循环群。如果G的阶数是n,即|G|=n,则an=e且G=a,a2,a3,an-1,an=e,其中,e是中的幺元,n是使an=e的最小正整数(称n为元素a的阶)。证明:假设对于某个正数m,m是一个循环群,所以G中的任何元素都能写为ak(kZ),而且k=mq+r其中,q是某个整数,0rm。
4、这就有ak=amq+r=(am)q*ar=ar这就导致G中每一个元素都可表示成ar(0rm),这样,G中最多有m个不同的元素,与|G|=n相矛盾。所以am=e(mn)是不可能的。,进一步证明a,a2,a3,an-1,an都不相同。用反证法。假设ai=aj,其中1ijn,就有ai=ai*aj-i,即aj-i=e,而且1j-in,这已经由上面证明是不可能的。所以,a,a2,a3,an-1,an都不相同,因此G=a,a2,a3,an-1,an=e,例题 2:设G=,在G上定义二元运算*如表5-5.2所示。表5-5.2,解:由运算表5-5.2可知运算*是封闭的,是幺元。,和的逆元分别是,和。可以验证运
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 贝尔 循环群
链接地址:https://www.desk33.com/p-651187.html