近世代数简介课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《近世代数简介课件.ppt》由用户(三亚风情)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 近世 代数 简介 课件
- 资源描述:
-
1、第二章第二章 近世代数简介近世代数简介第1页,共46页。千里之行,始于足下。孔子第2页,共46页。2.1 群、环、域 1 群 2 环 3 域第3页,共46页。1 群 定义定义 对于一个非空元素集合G以及定义在G上的一种运算“*”(这里的*泛指任一种代数运算,如 模m加 ,模m乘 等),若满足以下四个条件:封闭性(Closure),即 (Forevery)结合性(Associativity),即 存在惟一的一个单元e(Identity),即 G中的每个元素各自存在惟一的逆元(Inverse),即 这里,泛指逆元,不能狭义的理解为就是1/a。则称这样的代数系统为群(Group),记做(G,*)。,
2、()(*)a bGthere existabcG,*(*)(*)*a bGabcabc,*aGaeeaa11,*aGaGaae-1-1使使a*aa*a1a第4页,共46页。若再满足第五个条件:交换律,即 则称这样的代数系统为交换群(Commutative Group),也称阿贝尔群(Abelian Group)。如果群(G,*)中的运算*是加法,则称群(G,+)为加群(Additive Group)。加群一定是交换群。加群中一定包含零元素,零元素正是该加群的单位元e。加群元素a的逆元 是代数中的-a。如果群(G,*)中的运算*是乘法,则称群(G,.)为乘群(Multiplicative Gro
3、up)。乘群中一定不包含零元素,因为零元素不存在乘法运算下的逆元。乘法不一定是交换群。乘法的单位元是1,乘法元素a的逆元 是代数中的1/a.如果群(G,*)中包含无数个元素,则称该群为无限群。,*a bGa bb a1a1a第5页,共46页。如果群(G,*)中包含有限个元素,则称该群为有限群。构成有限群的元素的个数称为该群的阶。如果在群(G,*)中,集合G的非空子集S在同样的运算*下可构成群(S,*),则称群(S,*)为群(G,*)的子群(Subgroup)。(S,*)为(G,*)子群的充要条件是:对于 充要条件的这种表述形式,强调了子群元素逆元的存在性以及子群的封闭性。如果群(G,*)是有限
4、群,则其子群(S,*)也是有限群,且子群的阶数一定是(G,*)阶数的因子。上述性质是由拉格朗日定理(Lagranges)给出的。若(A,*)和(B,*)分别是(G,*)的两个子群,则A和B的交集在同样运算下也构成(G,*)的子群 。群(G,*)的任意个子群的交集也是(G,*)的子群。1,*a bSa bS必必有有(,*)AB第6页,共46页。某一元素a(称作生成元a)的一切乘幂 的全体组成一个群,称为循环码,写做 其中 是单位元。若序列 中没有两个元素是相等的,称之为无限循环码。若上述序列中有两个相等的元素 可推出G元素必以n为周期重复,即 ,这样的循环群为有限循环群,写做 循环群也叫幂群,具
5、有以下性质:循环群是交换群;循环群的子群 仍是循环群;n阶有限循环群的子群的阶数一定是n的因子。例2.1 若R表示有理数集合,I表示整数集合,E表示偶数集合,则 在加法运算下,(R,+),(I,+)和(E,+)均构成加群,且(I,+)和(E,+)是(R,+)的子群,(E,+)也是(I,+)的子群。该加群的单位元是0。作为对比,奇数集合O在加法运算下构不成群,因为它不满足要求的封闭性。012,aa a 012,Gaaa0ae012,ae a a()ijaa ij0naae21,nGe a aa,EIR第7页,共46页。例2.2 若G表示去除0后的有理数集合,则验证条件 后可断言:G在乘法运算下构
6、成(G,.),该乘群又是交换群。例2.32.3 集合G=0,1,2,m-1在模m加(用符号 表示)运算下构成一个加群(G,)。该加群是m阶有限群,单位元是0。0的逆元是0,1的逆元是m-1,2的逆元是m-2,。例2.4 2.4 集合G=1,2,,q-1在模q乘(q是素数)运算下构成一个乘群(G,)。这里,符号 表示模q乘。该乘群是q-1阶有限群,又是交换群,单位元是1。乘群的每个元素a都存在一个逆元 满足 ,或写成:b=(nq+1)/a,n为任意正整数 (2-1)mod1abq第8页,共46页。2 环 对于非空元素的集合R以及定义在R上的乘、加两种运算,如满足以下3种条件:集合R在加运算可构成
7、加群(R,+)。集合R在乘运算下满足群的前三个条件,即封闭性、结合性及单位元存在性(这里由于少了条件而不提构成乘群。因为既然是加群(R,+),R中必然含有零元素0,而0不存在乘法运算下的逆元)。分配律,即 则称该代数系统为环(Ring),记做 简称环R.如果环R还满足第4个条件:乘法交换律,即 则称该环为交换环。,(),()a b cRa bca ba c bc ab ac a,R ,a bRa bb a第9页,共46页。有限整数的集合在乘、加运算下可以构成有限环。比如,集合Z=0,1,2,m-1在模m加、模m乘运算下可以构成有限环,也称剩余类环。这里的m是整数,不要求一定是素数。但不是素数时
8、,环内会存在零因子,称之为零因子环。所谓零因子,是这样定义的:则称a,b为零因子。由零因子时,乘法消除律不能成立,即从ab=ac不能推得b=c。不存在零因子的交换环称为整环。集合Z=0,1,2,q-1在模q加、模q乘运算下可构成有限整环,这里q是素数。与群有子群一样,环也有子环。子环的定义是:若S是集合R的子集,且在相同的两种运算下构成环(S,+,)和环(R,+,),则称环S是环R的子环。,0,0,0,a bR aba bR若若第10页,共46页。判断S是R子环的充要条件是:条件强调了子环中加法逆元的存在和封闭性,条件强调了乘法的封闭性。一种具有很强聚合力的子环叫做理想子环。理想子环的充要条件
9、是:若R是交换环,I是R的非空子集,如满足 则I是R的理想子环,建成理想。与一般子环相比,理想子环要求更多的条件:R必须是交换环且具有凝聚力,即任意一个子环元素与任意一个非子环的环元素运算后所得的元素一定位于子环内。环R的任意多个理想子环的交集仍是R的理想子环。,a bSabS ,a bSa bS,;,a bIabIaI rRa rr aI 第11页,共46页。若理想子环的所有元素可有一个元素a的各次幂的线性组合生成,则称该理想子环为主理想子环,简称主理想,元素a称做生成元。例2.5 全体整数在乘、加运算下构成整数环(I,+,),该环又是交换环。某一整数m的整倍数的集合 在加、乘运算下也构成一
10、个环,这个环是整数的子环。m=2时构成的子环就是偶数环,而奇数全体构不成环,因为它不含加法单位元0且不满足封闭性。例2.6 有限整数集合Z=0,1,2,m-1在模m加、模m乘运算下构成交换环 模m加、乘的定义分别是:且服从运算规则:及0,2,3,mmm,Z ()mod()mod ab=ab=ababma bm及及()mod modmodmodabmambmm()modmodmodmoda a b b=mam bmm第12页,共46页。3 域 定义:对于至少含有一个非零元素的交换环F,若每个非零元素都存 在乘法运算下的逆元,则称该交换环为域(Field),记做(F,+,),简称域F。有理数、实数
11、、复数全体在乘、加运算下分别构成有理数域、实数域和复数域,他们包含无限个域元素,因此称之为无限域。有限整数集合F=0,1,2,q-1(q是素数)在模q加、模q乘运算 下构成一个q阶有限域,又称迦逻华(Galois)域,记做GF(q)。例2.7 q=5时的迦逻华域GF(5)=0,1,2,3,4由5个域元素组 成,其中非零元素是1,2,3,4。为了弄清哪些元素可以作为生成元,分别计算各元素的各次幂,结果图下表:第13页,共46页。从上表可知,域元素2和3的各次幂可以生成全部非零域元素,所以2和3都是本原元。元素1的各次幂只能产生元素1,元素4的各次幂只能产生元素1和4,他们都不是本原元。由元素乘幂
12、能产生的域元素的个数称为该元素的阶。上例中,2和3为4阶域元素,1和4分别为1,2阶域元素。元素各次幂元素的阶加法逆元乘法逆元111111412124343331342422414142143210第14页,共46页。2.2 多项式剩余类环和域多项式剩余类环和域多项式是码字与代数之间的桥梁。比如,对于码字(1101),可写成代数式 ,其系数代码原取值,x的幂次指示码元位置。系数属于某数域的多项式,称为该数域上的多项式。比如,二进制系数的多项式称为二元域GF(2)上的多项式,q进制系数的多项式称为q元域GF(q)上的多项式。以数为元素可以构成群、环、域,以多项式为元素同样可以构成群、环、域。下面
13、将讨论用多项式构成群、环、域的方法、条件和性质。32xxx第15页,共46页。1多项式环和理想子环 2多项式域和群环域第16页,共46页。1多项式环和理想子环某数域上多项式的集合在乘、加运算下可以构成一个多项式环,它是一个以多项式为环元素的交换环。多项式的两个要素是系数和幂次,只要其中一个有无限取值,比如系数所在数域是无限域(实数、整数等)或多项式的幂次无限,则多项式环元素的数目也就无限,称之为无限环。然而在纠错码的实际使用中,码集总是有限的,对应的多项式环也应是有限环,因此必须在系数和幂次两个方面对构成环的多项式进行限制。最常用的方法就是利用模运算产生数量有限的剩余类。编码中使用的多项式剩余
14、类环的定义如下:GF(q)上的多项式在模q加、模f(x)乘运算下,多项式剩余类的全体所构成的交换环称为多项式的剩余类环,记作 。显然,多项式剩余类环是靠GF(q)与保证系数有限,靠模f(x)乘保证幂次有限的。多项式运算中包含了系数间模q乘、加的数域运算。qf xRx第17页,共46页。对于元素 和 ,多项式加“+”定义为:(2-2)多项式modf(x)乘“.”定义为:(2-3)n-1iii=0A x=a x n-1iii=0B x=b x -1mod0ABniiiqixxabx -11mod00modABnnj kjkqkjf xxxa bx第18页,共46页。多项式剩余类环的环元素是模f(x
15、)乘的产物,即 除以f(x)的余式。余式也就是“剩余”类环名称的来历。如果f(x)的最高次幂是n,称此f(x)是n次多项式,写做 。这里 表示阶次degree。显然,多项式剩余类环 中所有环元素的次数不高于n-1次,通式形式为:如果多项式最高次项的系数为1,则称该多项是首一多项式。仅包含最高次项和常数项1,且形式为 的首一多项式成为n次最简首一多项式。A xB xdeg()f xn deg qf xRx 121210,0,1,1nnnniaxaxa xaaGF qin1nx 第19页,共46页。例例2.8 剩余类环 中,。若 ,是两个环元素,求 是什么元素?该剩余类环至多有多少元素组成?解:解
16、:本题的多项式系数曲子GF(2)=0,1,系数做模2加、模2乘。第一步,做一般的多项式乘法运算如下:第二步,将结果除以f(x)后取余式,得:所以 qf xRx 32,1qf xxx 21A xxx 21B xx A xB x 224322431111A xB xxxxxxxxxxxx 43321/11xxxxxxxx商余式 2mod()f xA xB xxx第20页,共46页。本题f(x)是3次多项式degf(x)=3,因此环元素的幂次不会超过2环元素的通式可以表示为 ,其中 ,3个系数最多可能有8种组合,即该剩余类环至多有8个域元素组成。与整数环存在子环一样,多项式环也存在多项式子环。如果说
17、GF(q)上无线幂次的多项式构成一个无限环,那么任一n次多项式f(x)的一切倍式是该无限环的一个理想子环。以f(x)为模的多项式剩余类的全体构成一个有限元素的多项式剩余类环 ,这个环也可以有子环。可以证明:中的每一理想子环皆为主理想,且该主理想的生成多项式g(x)必定能整除f(x)。2210a xa xa 210,20,1a a aGF qf xRx qf xRx第21页,共46页。2 多项式域和群环域剩余类环 拥有环的一切性质,包括单位元的存在性。但环对非零元素的逆元是否存在并没有提出任何限定,这促使人们进一步探讨剩余类环的所有非零元素是否都存在逆元?在什么条件下可以构成一个域?域元素之间有
展开阅读全文