离散数学第14章陈瑜.pptVIP

计算机科学与工程学院 陈瑜 Email：chenyu.inbox@ * 第五部分： 代数结构 第14章 代数系统 引言 19世纪30年代，在寻找五次方程求解方法的过程中，法国青年数学家伽罗瓦提出了群的概念，证明了高于四次的一般代数方程的不可解性，而且还建立了具体数字系统的代数方程可用根号求解的判别准则，并举出了不能用根号求解的数字系数代数方程的实例。这样，伽罗瓦就彻底地解决了这个在长达200多年的时间使不少数学家伤透脑筋的问题。但是，当时他的思想不被人理解和接受，直到他去世38年后，他的超越时代的天才思想才逐步被人们所承认。之所以说伽罗瓦是超越时代的天才，不仅仅是因为他在方程求解上的贡献，还因为他所发现的结果，他的奇特思想和巧妙方法，发展成为一门新学科----抽象代数学。因此，伽罗瓦作为抽象代数（即近代代数学）的创始人是当之无愧的。 主要内容 二元运算 代数系统 特异元 半群与含幺半群 代数系统 代数系统又称为代数结构，群、环、域、格和布尔代数是典型的系统。代数系统理论对于可计算模型研究、抽象数据结构、形式语言理论、程序设计语言语义分析等许多方面产生的影响是深远的。 代数系统理论提供了对各种表面上不同的实际问题高度抽象的途径，使人们更能把握住事物的本质，进行形式化的研究，又反过来指导实践的深入。 代数系统 代数系统又称为代数结构，群、环、域、格和布尔代数是典型的系统。代数系统理论对于可计算模型研究、抽象数据结构、形式语言理论、程序设计语言语义分析等许多方面产生的影响是深远的。 代数系统理论提供了对各种表面上不同的实际问题高度抽象的途径，使人们更能把握住事物的本质，进行形式化的研究，又反过来指导实践的深入。 14.1　 二元运算及其性质 14.1　 二元运算及其性质 定义14-1.1：设S是一个非空集合，映射（或函数）f ：Sn→S称为S上的n元代数运算，简称n元运算。当n＝1时，称为一元运算；当n＝2时，称为二元运算。 为叙述统一起见，我们采用符号 “·”、“*”表示一般的二元运算符。其具体意义由上下文确定。在描述一个二元运算时，有时也采用一个表的形式表示。 本章中除特别声明外所说的运算都指的是二元运算。 14.1　 二元运算及其性质 定义14-1.1：设S是一个非空集合，映射（或函数）f ：Sn→S称为S上的n元代数运算，简称n元运算。当n＝1时，称为一元运算；当n＝2时，称为二元运算。 为叙述统一起见，我们采用符号 “·”、“*”表示一般的二元运算符。其具体意义由上下文确定。在描述一个二元运算时，有时也采用一个表的形式表示。 本章中除特别声明外所说的运算都指的是二元运算。 例1：设集合S={a，b，c，d}。在S上定义一个二元运算“ · ”如下表所示： 称这种表为运算表。从运算表看出a·a=a， a·b=a， b·a=a， c·a=a， ……。当集合S所含元素较少时，用运算表的形式定义运算显得一目了然。 运算的性质 运算的性质 运算的性质 运算的性质 例2：设A={x｜x=2n，n∈N}， 问A，*运算封闭否，A，+，A，/呢？ 解： ?2r、2s∈A， 2r*2s=2r+s∈A （ｒ＋ｓ∈Ｎ） ∴A，*运算封闭 2、4∈A，2+4?A，∴A，+运算不封闭 2、4∈A，2/4?A，∴A，/运算不封闭 例2：设A={x｜x=2n，n∈N}， 问A，*运算封闭否，A，+，A，/呢？ 解： ?2r、2s∈A， 2r*2s=2r+s∈A （ｒ＋ｓ∈Ｎ） ∴A，*运算封闭 2、4∈A，2+4?A，∴A，+运算不封闭 2、4∈A，2/4?A，∴A，/运算不封闭 定义14-1.3 设“*”、“·”是集合S上的两个二元运算，对?a,b,c?S， 若a·(b*c)=(a·b)*(a·c) 且(b*c)·a=(b·a)*(c·a)，则称“·”关于“*”在S上是可分配的。 “*”、“·”是可换运算，若a·(a*b)=a及 a*(a·b)=a，则称运算“*”与“·” 满足吸收律。 定义14-1.3 设“*”、“·”是集合S上的两个二元运算，对?a,b,c?S， 若a·(b*c)=(a·b)*(a·c) 且(b*c)·a=(b·a)*(c·a)，则称“·”关于“*”在S上是可分配的。 “*”、“·”是可换运算，若a·(a*b)=a及 a*(a·b)=a，则称运算“*”与“·” 满足吸收律。 例3 设运算“∨”、“∧”分别是实数集R上的最大值和最小值运算，即对任意的a,b∈R，有a∨b=max(a,b), a