离散第讲半群和群的定义和性质.pptVIP

**幂等元定义：代数系统G,*中，如果存在a∈G，有a*a=a，则称a为幂等元。第31页，共49页，星期日，2025年，2月5日**有限半群必存在幂等元性质：设S,*是一个半群，如果S是一个有限集，则必有a∈S，使得a*a=a.思路：(构造法)

?b∈S，由S对*封闭及S有限，则对序列b，b2，b3，…，bn，…必定存在ji，s.t.bi=bj，令p=j-i≥1，有bj=bp*bi，即bi=bp*bi.第32页，共49页，星期日，2025年，2月5日**泵原理b0b1b2b3b4b5=b19=b33=…b6=b20=b34=…b7=b21=b35=…b8=b22=b36=…b15b9b10b11b14b16b17第33页，共49页，星期日，2025年，2月5日**幂等元构造bi=bp*bi.bi=bkp*bibq=bkp*bq,其中q=kp*b*b*…*b*b*b*…*bbi=bp*bi=bp*（bp*bi）=……=bp*……*bp*（bp*bi）bi=bkp*bi,可找到k使得kp≥i设a=bkp，则a*a=a第34页，共49页，星期日，2025年，2月5日**证明性质：设S,*是一个半群，如果S是一个有限集，则必有a∈S，使得a*a=a.证明：(构造法)

?b∈S，由S对*封闭及S有限，则对序列b，b2，b3，…，bn，…必定存在ji，s.t.bi=bj，令p=j-i≥1，有bj=bp*bi，即bi=bp*bi，且可知对任给的q≥i有bq=bp*bq。因为p≥1，所以总可找到k≥1，s.t.kp≥i。因此对于S中的元素bkp，有bkp＝bp*bkp＝bp*(bp*bkp)＝...=bkp*bkp.设a=bkp，则a∈S，且a*a=a第35页，共49页，星期日，2025年，2月5日离散第讲半群和群的定义和性质第1页，共49页，星期日，2025年，2月5日**半群定义10.1(1)：S,*是一个代数系统，其中S是非空集合，*是S上的一个二元运算(运算*是封闭的)，如果运算*是可结合的，即对任意的x,y,z∈S，

满足(x*y)*z=x*(y*z)则称代数系统S,*为半群。第2页，共49页，星期日，2025年，2月5日**例10.1Sk={x|x∈Z∧x≥k}，Sk,+为半群

Z+,-，R,/不是半群第3页，共49页，星期日，2025年，2月5日**例10.2Σ={a,b}，Σ+为所有由a,b组成的字符串,”·”为字符串的连接运算.则Σ+,·做成半群。第4页，共49页，星期日，2025年，2月5日**独异点定义10.1(2)：设S,*是一个半群，若存在e?S为S中关于运算*的单位元,则称S,*为幺半群，也叫做独异点。(有时也把单位元标明S,*,e)第5页，共49页，星期日，2025年，2月5日**例10.1Sk={x|x∈Z∧x≥k}，Sk,+(k0)？S0,+？不是独异点是独异点第6页，共49页，星期日，2025年，2月5日**例10.2Σ={a,b}，Σ+为所有由a,b组成的字符串,”·”为字符串的连接运算.思考：半群Σ+,·是否做成独异点？空串?Σ*=Σ+?{?}Σ*,·做成独异点第7页，共49页，星期日，2025年，2月5日**例10.3幂集P(B),?？P(B),?？P(B),?？第8页，共49页，星期日，2025年，2月5日**10.4*αβγδζααβγδζββγδζαγγδζαβδδζαβγζζαβγδ?是单位元可结合性在运算表中无特殊体现第9页，共49页，星期日，2025年，2月5日**群(Group)定义10.1（3）：设G,*是一个代数系统，其中G是非空集合，*是G上一个二元运算，如果(1).运算*是封闭的(2).运算*是可结合的(3).存在单位元e(4).对于每一个元素x∈G，存在着它的逆元x-1则称G,*是一个群第10页，共49页，星期日，2025年，2月5日**例10.1Sk={x|x∈Z∧x≥k}，Sk,+(k0)？S0,+？不是群不是群Z,+是群第11页，共49页，星期日，2025年，2月5日**例10.2Σ={a,b}，Σ+为所有由a,b组成的字符串,”·”为