好文档就是一把金锄头!
欢迎来到金锄头文库![会员中心]
电子文档交易市场
安卓APP | ios版本
电子文档交易市场
安卓APP | ios版本

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

14页
  • 卖家[上传人]:des****85
  • 文档编号:237032265
  • 上传时间:2022-01-09
  • 文档格式:PPT
  • 文档大小:253.50KB
  • / 14 举报 版权申诉 马上下载
  • 文本预览
  • 下载提示
  • 常见问题
    • 1离散数学(二)环和域环11整环2主要内容:环和域的定义重点: 重点和难点:域3域的定义难点: 一、环环的定义:设设是一代数系统, +和是二元运算,若满足 (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, 有又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) = 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-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上运算可交换的, 称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 (0=rj)两式相减可得,a(b-c) = 7(i-j),那么7| a(b-c),但由于0a7, 0b-c7,所以7不可能整除a(b-c),矛盾,所以b=c三、域域的两个定义: 如果是整环, |F|1,是群,则是域(定义I) 域也可以如下定义(定义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,也就是说 无零因子三、域域一定是整环,但整环不一定是域例如是整环但不是域,因不是阿贝尔群。

      定理2 有限整环必定是域证明:设是一个有限整环,为了证明是域,依据域的定义II, 只要证明是阿贝尔群 是整环,可知是半群,且含有么元,故A关于封闭,可结合,有么元,当然有A-0关于封闭,可结合,有么元 因此只要说明xA,x-1存在即可因为A-0有有限个元素,设|A-0|=n,所以x的阶k=n, xk=e, xk-1x=xxk-1=e, 所以 x的逆元x-1= xk-1 因此是阿贝尔群,故是一个域三、域例3:是一个域, 当且仅当k是质数证明:必要性(思路:已知是一个域,证明k是质数我们证明其逆反命题:若k不是质数,则不是一个域) 若k不是质数,那么k =1或k =abk=1时,N1=0只有一个元素故不是域;k=ab时,则akb=0,a、b是零因子,所以不是域 充分性(思路:在例1(b)中已证明是一个环,根据域的定义II,我们只需证明是阿贝尔群)1)对Nk-0中任意元素a和b, akb0, 所以Nk-0对k封闭;(2)k是可结合;(3)运算k的么元是1;(4)k是可交换的; (5)对每一元素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)式不可能成立这样就证明了若bc, 则akbakc 于是a和Nk-0中的k-1个数的模k乘法,其结果都不相同,但又必须等于1, 2, , k-1中的一个,故必存在一元素b,使akb=1这就证明了任意元素a存在逆元作业: P222 习题6.8 1、3、13 、1414谢谢同学们!。

      点击阅读更多内容
      关于金锄头网 - 版权申诉 - 免责声明 - 诚邀英才 - 联系我们
      手机版 | 川公网安备 51140202000112号 | 经营许可证(蜀ICP备13022795号)
      ©2008-2016 by Sichuan Goldhoe Inc. All Rights Reserved.