- 1、本文档共38页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
12 其他代数系统
主要内容12.1 环12.2 域12.3 格12.4 布尔代数
12.1 环 设A,+,*是一个代数系统,如果满足: (1)A,+是阿贝尔群; (2)A,*是半群; (3)“*”对“+”满足分配律;则称A,+,*是环(ring)。 如果运算“*”满足交换律,则称A,+,*为可交换环;如果A,*是独异点,称A,+,*为含幺环或单元环。
12.1 环 在环A,+,*中,第一个运算通常称为“加法运算”,第二个运算通常称为“乘法运算”,A,+的单位元通常用“0”表示,元素的逆元用“-a”表示;如果A,*也有单位元,通常用“1”表示,这与环Z,+,?中的相关概念是一致的。
12.1 环 环A,+,*中,对加法运算的单位元一定是对乘法运算的零元。 环A,+,*中,A,*不可能是群。???
12.1 环 环A,+,*中,对任意a,b?A,有???????
12.1 环 环A,+,*中,如果存在非0元素a,b?A,满足a*b=0,则称环A,+,*中有零因子。环A,+,*中不含零因子等价于运算*满足消去律。?aa?环A,+,*中不含零因子?
12.1 环 给定环A,+,*,R?A,如果R,+,*也是环,则R,+,*称为A,+,*的子环。 代数系统R,+,*称为A,+,*的子环,当且仅当?a?R,有a-1?R。R,+,*是环R,+是阿贝尔群R,*是半群*对+满足交换律??R,+是群+满足交换律单位元逆 元
12.1 环 给定环A,+,*,如果其中存在关于运算*的单位元,并且该运算满足交换律,同时无零因子,则A,+,*为整环。Z,+,?, R,+,?都是整环。
12.2 域 设A,+,*是一个代数系统,如果满足如下条件: (1)A,+是一个阿贝尔群; (2)A-{0},*是一个阿贝尔群; (3)运算“*”对运算“+”满足分配律。则称A,+,*是域(field)。域是整环。域阿贝尔群消去律不含零因子
12.2 域?整环不含零因子消去律???????
12.3 格 设L是一个非空集合,“*”和“?”是上的两个二元运算,如果对任意a,b,c?L,有如下结论:(1)交换律:a*b=b*a,a?b=b?a:(2)结合律:(a*b)*c=a*(b*c),(a?b) ?c=a?(b?c)(3)吸收律:a*(a?b)=a,a?(a*b)=a则称代数系统L,*,?是格(lattice),或称代数格。
12.3 格 (1)给定集合S,集合的交集运算“?”和并集运算“?”在该集合的幂集P(S)上满足交换律、结合律和吸收律,因此,P(S),?,?构成了一个格。 (2)给定正整数集合Z+,定义两个二元运算GCD(a,b)和LCM(a,b)分别代表元素a和b的最大公约数和最小公倍数,因此,Z+,GCD,LCM也构成了一个格。
12.3 格 格满足幂等律。即a?L,有??
12.3 格 设代数系统L,*,?是一个格,S?L,如果集合S非空且S,*,?是一个代数系统,则S,*,?是L,*,?的子格。 格的对偶式 设L,*,?是格,在该格中的任一公式F中,分别用“*”运算代替“?”运算,用“?”运算代替“*”运算,所得到的公式称为原公式的对偶式,记为FD。 (对偶定理)F是格L,*,?中的公式,如果F成立,则F的对偶式FD必定成立。
12.3 格 设L, ≤是偏序集,如果对任意的a,b?L,{a,b}都有最大下界和最小上界存在,则称L, ≤是偏序格。
12.3 格 给定一个代数格L,?,?,可以构造一个与它等价的偏序格L,≤,其中偏序关系“≤”如下定义:a≤b当且仅当a ? b=a成立证明L,≤是偏序格。L,≤是偏序集(自反性、反对称性、传递性);L,≤中任意两元素存在最大下界和最小上界;
12.3 格代数格L,?,?,a≤b当且仅当a ? b=a???
12.3 格代数格L,?,?,a≤b当且仅当a ? b=a????下 界?最大下界
12.3 格代数格L,?,?,a≤b当且仅当a ? b=a???????上 界?最小上界
12.3 格则称L,?,?是分配格(distributive lattice)。设L,?,?是格,如果对任意的a,b,c?L,都有下式成立: 设L,?,?是格,如果存在元素0,1?L,使对任意元素a?L,有:则称L,?,?是有界格(bounded lattice) 。
12.3 格
您可能关注的文档
- 《思想道德修养与法治》 课件 第5章 第3节 投身崇德向善的道德实践(3、4目).pptx
- 离散数学 课件 chapter 1 矩阵知识初步.pptx
- 离散数学 课件 chapter 10 代数系统概论.pptx
- 离散数学 课件 chapter 8 图论基础.pptx
- 离散数学 课件 chapter 5 集合.pptx
- 离散数学 课件 chapter 4 谓词逻辑.pptx
- 离散数学 课件 chapter 2 组合数学与数论初步.pptx
- 离散数学 课件 chapter 3 命题逻辑.pptx
- 离散数学 课件 chapter 6 关系.pptx
- 离散数学 课件 chapter 7 特殊关系.pptx
文档评论(0)