离散数学 第五章 代数结构.ppt

独异点的性质定理5-3.4设S,?,e是一个独异点,如果对于任意a,b?S，且a,b均有逆元，则a)(a-1)-1=ab)a?b有逆元，且(a?b)-1=b-1?a-1。证明:a)因a-1和a为互为逆元，直接得到结论。b)必须证明两种情况：(a?b)?(b-1?a-1)=e和(b-1?a-1)?(a?b)=e利用结合律容易得出。第30页，共52页，星期日，2025年，2月5日子独异点定义5-3.3设代数结构S,?为半群，若B?S且?在B上封闭，B含有S,?关于?运算的幺元,那么B,?称为子独异点，或子幺半群。第31页，共52页，星期日，2025年，2月5日独异点举例设Σ是一个非空有限集合，称为字母表，由Σ中有限个字母组成的有序集合（即字符串）称为Σ上的一个字，串中的字母个数m称为字长，m=0时，称为空字，即为单位元，记为e。Σ?表示Σ上的字的集合，Σ?上的连接运算·定义为α，β∈Σ?，α·β=αβ，则Σ?，·是一个代数系统，而且是一个独异点,是在计算机科学中自动机理论及形式语言中最基本的结构。Σ?的任一子集就称为语言。第32页，共52页，星期日，2025年，2月5日5-4群与子群定义5-4.1称代数结构G,?为群(groups),如果（1）G，?中运算?是封闭的；（2）G，?中运算?是可结合的；（3）G，?中有幺元e；（4）G，?中每一元素x都有逆元x-1。第33页，共52页，星期日，2025年，2月5日群举例例题1R={0°,60°,120°,180°,240°,300°},*是R上的二元运算，a*b表示先旋转a再旋转b的角度，并规定旋转360°等于原来的状态。运算表如表5-4.1所示。验证代数结构R,*为群。解题思路：需证明R,*：（1）运算*封闭；（2）运算*是可结合的；（3）有幺元0°;（4）每一元素x都有逆元x-1。第34页，共52页，星期日，2025年，2月5日典型的群1、Z,+2、R+,×3、Z6，+6,其中Z6={0，1，2，3，4，5}，单位元是0；1、5互为逆元，2、4互为逆元，3的逆元为3，0的逆元为0。注：Z+,+不是群，其不存在幺元，且每个元素也不存在逆元。而N,+存在幺元，除0以外，均不存在逆元，故其只是半群。第35页，共52页，星期日，2025年，2月5日代数结构总图封闭G,?广群半群独异点群结合含幺可逆G,?广群半群独异点群第36页，共52页，星期日，2025年，2月5日有限群与无限群定义5-4.2设G,?为一群。若G为无限集，则称G,?为无限群；否则，称G,?为有限群，此时G的元素个数称为G的阶,记为|G|。第37页，共52页，星期日，2025年，2月5日离散数学课件第五章代数结构第1页，共52页，星期日，2025年，2月5日由于数学和其他科学的发展，人们需要对若干不是数的事物，用类似普通计算的方法进行相似的计算。如矩阵、向量等。研究代数系统的学科称为“近世代数”或“抽象代数”。第2页，共52页，星期日，2025年，2月5日本章主要内容集合的概念1集合的表示方法2同态与同构6阿贝尔群与循环群4陪集与拉格朗日定理5集合的概念1集合的表示方法2群与子群3代数系统与性质1半群2第3页，共52页，星期日，2025年，2月5日5-1代数系统的引入定义5-1.1如果?为An到B的一个函数，则称?为集合A上的n元运算（operater）。如果B?A，则称该n元运算在A上封闭。第4页，共52页，星期日，2025年，2月5日代数系统的定义定义5-1.2一个非空集合A连同若干个定义在该集合上的运算f1,f2,…,fk所组成的系统称为一个代数系统（代数结构），记为A,f1,f2,…,fk。代数结构由以下三个部分组成：非空集合S，称为代数结构的载体。载体S上的若干运算。一组刻划载体上各运算所满足性质的公理。代数系统常用一个多元序组S，?，?，…来表示。第5页，共52页，星期日，2025年，2月5日代数系统举例(1)R上的“+”、“×”运算，构成一个代数系统〈R，+，×〉；(2)ρ(S)上的“∩”、“∪”、“―”运算，构成代数系统〈ρ(S),∩,∪,―〉，称集合代数；(3)含有n个命题变元的命题集合A与A上的