离散数学第4章代数系统.ppt
《离散数学第4章代数系统.ppt》由会员分享,可在线阅读,更多相关《离散数学第4章代数系统.ppt(37页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、离散数学离散数学西安交通大学西安交通大学电子与信息工程学院电子与信息工程学院计算机系计算机系1离散数学 5.环环 环的基本概念环的基本概念 环的基本性质环的基本性质 无零因子环和含零因子环无零因子环和含零因子环 整环与除环整环与除环2离散数学 5.环环定义定义1.环(ring)设(R,)是代数系统,和是R上的两个二元运算,若 (1)(R,)是交换群;(2)(R,)是半群;(3)对满足分配律:对任何a,b,cR,都有 a(bc)=(ab)(ac)(bc)a=(ba)(ca);则称(R,)是环。注:在环中,由于(R,)是群,故关于有幺元存在,将关于的么元记为0,称为环的零元。在环中,由于(R,)是
2、群,故R中每个元素有逆元,设aR,将a关于的逆元记为-a,称为a 的负元,且将a(-b)简记为 a-b3离散数学(即在环中可定义减法运算)。在环中,对于运算,若有幺元,则记为1或e。在环中,设aR,若a关于有逆元,则记为 a-1。以后谈到环,只讨论|R|2的情况,即不讨论一个元素的环。在环的定义中,不要求对满足分配律,只要求 对满足分配律。例例1.1.(I,+,)是环。我们称此环为整数环。这里:I是整数集合,+和是整数的普通加法运算和普通乘法运算。由前两节知 (1)(I,+)是交换群;(2)(I,)是半群;(3)对+满足分配律:由算术知识知整数乘法对整数加法满足分配律。即a,b,cI 有 a(
3、b+c)=(a b)+(a c)由的交换律知对+满足分配律;由环的定义知(I,+,)是环。4离散数学例例2.(Mnn,+,)是环。我们称此环为矩阵环。这里:Mnn是 n n阶实矩阵的全体,与是矩阵的加法运算和乘法运算。由前两节知 (1)(Mnn,+)是交换群;(2)(Mnn,)是半群;(3)对+满足分配律:由线性代数知,矩阵乘法对矩阵加法满足分配律。即 A,B,CMnn,有:A(B+C)=(AB)+(AC)(B+C)A=(BA)+(CA);由环的定义知(Mnn,+,)是环。5离散数学例例3.3.(Nm,+m,m)是环。我们称此环为整数模环。这里:Nm=0m,1m,m-1m,+m和m是Nm上的模
4、加运算和模乘运算。由前两节知 (1)(Nm,+m)是交换群;(2)(Nm,m)是半群;(3)m对+m满足分配律:由于im,jm,kmNm,有 im m(jm+mkm)=im m(j+k)mod mm =(i(j+k)mod mm =(i j)+(i k)mod mm =(i j)mod mm+m(i k)mod m =(immjm)+m(immkm)由m的交换律知m对+m满足分配律;由环的定义知(Nm,+m,m)是环。6离散数学例例4.4.(2X,)是环。我们称此环为X的子集环 这里:X是一个非空集合,2X 是X的幂集,是集合的对称差运算,是集合的交运算。由前两节知 (1)(2X,)是交换群;
5、(2)(2X,)是半群;(3)对满足分配律:由第一章2定理6(8)知集合的交运算对对称差运算满足分配律。即a,b,c2X,有 A(BC)=(AB)(AC)由的交换律知对满足分配律;由环的定义知(2X,)是环。7离散数学例例5 5(Px,+,)是环。我们称此环为多项式环。这里:Px 是实系数多项式的全体,+和是多项式的加法运算和乘法运算,由前两节知 (1)(Px,+)是交换群;(2)(Px,)是半群;(3)对+满足分配律:由于实数乘法对实数加法满足分配律,故多项式乘法对多项式加法满足分配律。即h(x),p(x),q(x)Px,有 h(x)(p(x)+q(x)=(h(x)p(x)+(h(x)q(x
6、)由的交换律知对+满足分配律;由环的定义知(Px,+,)是环。8离散数学定义定义2.交换环 含幺环 交换含幺环 设(R,)是环。(1)若运算满足交换律,则我们称(R,)是交换环。(2)若关于运算有幺元,则我们称(R,)是含幺环。(3)若运算满足交换律又关于运算有幺元,则我们称(R,)是交换含幺环。9离散数学例例8在前面的例子中 (1)整数环(I,+,)是交换含幺环;关于运算的幺元是1;(2)矩阵环(Mnn,+,)是含幺环,但不是交换环;关于运算的幺元是单位矩阵E,矩阵乘法没有交换律;(3)整数模环(Nm,+m,m)是交换含幺环;关于m运算的幺元是1m;(4)X的子集环(2X,)是交换含幺环;关
7、于运算的幺元是X;(5)多项式环(Px,+,)是交换含幺环;关于运算的幺元是零次多项式1;10离散数学定理定理1.1.环的基本性质 设(R,)是环。则a,b,cR,有 (1)零元:0a=a0=0 (加法幺元是乘法的零元);(2)正负、负正得负:a(-b)=(-a)b=-(ab);(3)负负得正:(-a)(-b)=ab;(4)(-1)a=-a(-1是乘法幺元1的负元);(5)(-1)(-1)=1(-1的乘法逆元是其本身,即(-1)-1=-1);(6)左分配律:a(b-c)=(ab)-(ac)(乘法对减法的);右分配律:(bc)a=(ba)(ca)(乘法对减法的)。注:由定理1(1)的结论知,在环
8、(R,)中,关于运算的幺元就是关于运算的零元。由于(R,)是交换群,故关于运算的幺元一定存在,因此关于运算的零元也一定存在。由于在一个代数系统中,零元是没有逆元的,因此在环(R,)中,(R,)不能构成群。11离散数学证.(1)只证a0=0 a0=(a0)0 =(a0)(a0)-(a0)=(a0)(a0)(-(a0)=(a0)(a0)(-(a0)(结合律)=(a(00)(-(a0)(分配律)=(a0)(-(a0)(00=0)=(a0)-(a0)=0;12离散数学(2)只证a(-b)=-(ab)a(-b)=(a(-b)0 =(a(-b)(ab)-(ab)=(a(-b)(ab)(-(ab)=(a(-
9、b)(ab)(-(ab)(结合律)=(a(-b)b)(-(ab)(分配律)=(a0)(-(ab)(-b)b=0)=0(-(ab)(根据(1)a0=0)=-(ab);13离散数学 (3)(-a)(-b)=-(a(-b)(根据(2)=-(-(ab)(根据(2)=ab (反身律);(4)(-1)a=-(1a)(根据(2)=-a;(5)(-1)(-1)=11 (根据(3)=1;(6)只证a(b-c)=(ab)-(ac)a(b-c)=a(b(-c)=(ab)(a(-c)(分配律)=(ab)(-(ac)(根据(2)=(ab)-(ac)。14离散数学定义定义3.含零因子环 无零因子环 设(R,)是环。若在环
10、(R,)中 (1)(aR)(bR)(a0b0ab=0),则 称 环(R,)是含零因子环;称a是环中的左零因子,称b是环中的右零因子;(2)(aR)(bR)(a0b0ab0),即环中无零因子(no nil-factor),则称环(R,)是无零因子环。注:所谓含零因子,就是环中的两个元素,它们本身不是关于运算的零元,但它们的运算结果却是零元;于是就称此环为含零因子环。当一个环是交换环时,左零因子也就是右零因子,反之亦然;在这种情况下,左零因子、右零因子统称为零因子。如果在环中,不存在满足上述条件的元素,就称此环为无零因子环。15离散数学例例9.整数环(I,+,)是无零因子环 已知(I,+,)是环,
11、由于任意两个不为零的整数相乘,其积不为零,故由定义3知(I,+,)是无零因子环。例例10.矩阵环(Mn n,+,)是含零因子环 已知(Mn n,+,)是环(n2)。不妨设n=2,于是有 即两个不为零的矩阵相乘其积为零矩阵。由定义3知是(Mn n,+,)含零因子环。16离散数学例例11.11.整数模环(Nm,+m,m),当m为素数时,是无零因子环;当m不是素数时,是含零因子环。(1)当m为素数时,对任意的 im,jmNm,im 0m,(即i pm),jm 0m(即j qm),从而有i j km(否则,i j=km,由m是素数,则必有m i或m j,于是有 i=pm或 j=qm,矛盾),即有 im
12、 mjm=(i j)mod mm 0m 即两个不为零的元素经过m运算后不为零。由定义3知(Nm,+m,m)是无零因子环。(2)当m不是素数时,必存在着im,jmNm,im 0m,jm 0m,使得 m=i j,即有im mjm=(i j)mod mm=0m 即im,jm是Nm中的零因子。由定义3知(Nm,+m,m)是含零因子环。17离散数学例例12.12.X的子集环(2X,)是含零因子环 已知(2X,)是环,其零元是空集。设|X|2,任取a,bX,且a b,于是有a,b2X且a,b,使得ab=。即两个不为零的元素相交后为零元。由定义3知(2X,)是含零因子环。例例13.多项式环(Px,+,)是无
13、零因子环已知(Px,+,)是环,由于两个非零多项式相乘其积仍为一非零多项式,由定义3知(Px,+,)是无零因子环。18离散数学定义定义4.整环(integral domain)交换含幺的无零因子环称为整环。注:整环又称为整区。定义定义4.除环(division ring)每个非零元都有(乘法)逆元的含幺环称为除环。即,若含幺环(R,)满足:(aR)(a0a-1R)则称其为除环。19离散数学例例16在前面的例子中 (1)整数环(I,+,)是整环:因为整数环(I,+,)是交换含幺环(例8(1),又是无零因子环(例9)。但整数环(I,+,)不是除环:因为在整数环(I,+,)中,除幺元1及其负元-1外
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 代数 系统
限制150内