离散数学-第8讲-环和域课件

上传人:我*** 文档编号:146258920 上传时间:2020-09-28 格式:PPT 页数:14 大小:151.50KB
返回 下载 相关 举报
离散数学-第8讲-环和域课件_第1页
第1页 / 共14页
离散数学-第8讲-环和域课件_第2页
第2页 / 共14页
离散数学-第8讲-环和域课件_第3页
第3页 / 共14页
离散数学-第8讲-环和域课件_第4页
第4页 / 共14页
离散数学-第8讲-环和域课件_第5页
第5页 / 共14页
点击查看更多>>
资源描述

《离散数学-第8讲-环和域课件》由会员分享,可在线阅读,更多相关《离散数学-第8讲-环和域课件(14页珍藏版)》请在金锄头文库上搜索。

1、1,离散数学(二),环和域,主要内容:,重点和难点:,一、环,环的定义: 设是一代数系统, +和是二元运算,若满足 (1) 是阿贝尔群(加法群) (2) 是半群 (3) 乘运算对加运算+可分配,即对所有a,b,cA有 a (b + c)= a b + a c 和 (b + c) a = (b a) + (c a) 称代数结构为环(ring). 例1 (a) 是个环, 因为是加法群, 0是么元; 是半群, 乘法在加法上可分配。 (b) 是个环, 这里Nk=0, 1, , k-1, k0, +k和k分别是模k加法和模k乘法。,因为是阿贝尔群, 0是么元;是半群, 对任意元素a, b, cNk, 有

2、 又k可交换, 所以,乘法在加法上可分配。,一、环,定理1:设为环, 0是加法么元,那么对任意a,b,cR (1) a0 = 0a = 0 (加法么元必为乘法零元) (2) (-a)b = a(-b) = -(ab) (3) (-a)(-b) = ab (4) a(b-c) = ab-ac (5) (b-c)a=ba-ca 其中,-a表示a的加法逆元,并将a+(-b)记为a-b。 证明(3) (-a)(-b) +(- a)b = (-a) (-b) + b = (-b)0=0 (ab) + (- a)b =a+(-a)b = 0b=0 所以 (-a)(-b) = ab (4) a(b-c) =

3、 ab+(-c) = ab + a(- c) = ab+-(ac) = ab-ac (5) (b-c)a=b+(- c)a= ba + (-c)a =ba + (-ca) =ba-ca,二、环、整环,含零因子/无零因子环的定义: 是环, a, bR,若 a0且b0,但是ab=0, 则称是含零因子 环, a、b称为零因子。不含零因子的环称为无零因子环。 为无零因子环a, bR,a0且b0时必有ab0。 即ab=0时,有a=0或b=0 定理2:环是无零因子 满足可约律。 证明:(1) 必要性:a, b, cR, 且a0,若ab=ac, 则有 ab-ac=0, ab-ac=ab+a(-c)= a(b

4、-c)=0。 由于无零因子,则b=c , 可见满足可约律。 (2) 充分性:b, cR, bc=0, 证明b=0或c=0。 如果bc=0且b0,那么bc=b0,根据可约律可得c=0;如果bc=0且c0,那么bc=0c,根据可约律可得b=0 。可见环无零因子 。,二、环、整环,整环的定义: 是环, (1) 若R上运算可交换的, 称R, +, 是可交换环; (2) 若R关于运算有么元,称R, +, 是含么环; (3) 如果是可交换的,含幺而无零因子环,则称它为整环。 例2 (a) 是整环。因为可交换, 1是乘法么元,可约律成立。,二、环、整环,整环的定义: 是环, (1) 若R上运算可交换的, 称

5、R, +, 是可交换环; (2) 若R关于运算有么元,称R, +, 是含么环; (3) 如果是可交换的,含幺而无零因子环,则称它为整环。 例2 (b) 不是整环,因为362=0, 3和2是零因子。但是整环,N7= 0,1,2,3,4,5,6,根据定理2,只需证明,反证:假如bc,不妨设bc,存在整数i, j使得 ab=7i+r, ac=7j+r (0j) 两式相减可得,a(b-c) = 7(i-j),那么7| a(b-c),但由于0a7, 0b-c7,所以7不可能整除a(b-c),矛盾,所以b=c。,三、域,域的两个定义: 如果是整环, |F|1,是群,则是域(定义I) 。 域也可以如下定义(

6、定义II): (1) 是阿贝尔群, (2) 是阿贝尔群, (3) 乘法对加法可分配。 例如 、都是域; 不是域(因为不是阿贝尔群)。,三、域,域的两个定义的等价性: 由整环定义容易得出,定义I 定义II 下面证明定义II 定义I: (1) F-0知|F-0|0,即|F|1; (2) 是阿贝尔群知是群; (3) 证明是整环。 是环:是阿贝尔群;是半群;乘法对加法可分配; 是阿贝尔群,故F- 0上可交换,可知F上可交换; 是阿贝尔群,可知含么元0; 是阿贝尔群,F-0关于 封闭,即x,yF-0有xyF-0, 即x,yF, x 0,y0,有xy0,也就是说 无零因子。,三、域,域一定是整环,但整环不

7、一定是域 例如是整环但不是域,因不是阿贝尔群。 定理2 有限整环必定是域。 证明:设是一个有限整环,为了证明是域,依据域的定 义II, 只要证明是阿贝尔群。 是整环,可知是半群,且含有么元,故A关于封闭,可 结合,有么元,当然有A-0关于封闭,可结合,有么元。 因此只要说明xA,x-1存在即可。因为A-0有有限个元素,设|A-0 |=n,所以x的阶k是阿贝尔群,故是一个域。,三、域,例3:是一个域, 当且仅当k是质数。 证明:必要性(思路:已知是一个域,证明k是质数。我们证 明其逆反命题:若k不是质数,则不是一个域)。 若k不是质数,那么k =1或k =ab。k=1时,N1=0。只有一个元素故

8、不是 域;k=ab时,则akb=0,a、b是零因子,所以不是域。 充分性(思路:在例1(b)中已证明是一个环,根据域的定义II,我们只需证明是阿贝尔群)。 对Nk-0中任意元素a和b, akb0, 所以Nk-0对k封闭; k是可结合; 运算k的么元是1; k是可交换的; 对每一元素aNk-0都存在一逆元。,三、域,例3续:证明对每一元素aNk-0都存在一逆元。 (反证法) 设b,c是Nk-0中任意两个元素,bc,现证akbakc。 若akb=akc,则ab=nk+r,ac=mk+r 不妨设bc,于是nm,ab-ac = nk-mk a(b-c) = (n-m)k (1) 因a和(b-c)都比k小,而k又是质数,(1)式不可能成立。这样就证明了若b c, 则akbakc。 于是a和Nk-0中的k-1个数的模k乘法,其结果都不相同,但又必须等于1 , 2, , k-1中的一个,故必存在一元素b,使akb=1。这就证明了任意元素a 存在逆元。,作业: P222 习题6.8 1、3、13 、14,14,谢谢同学们!,

展开阅读全文
相关资源
正为您匹配相似的精品文档
相关搜索

最新文档


当前位置:首页 > 办公文档 > PPT模板库 > PPT素材/模板

电脑版 |金锄头文库版权所有
经营许可证:蜀ICP备13022795号 | 川公网安备 51140202000112号