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

补充材料 模n剩余类 * * 幂等元 定义：代数系统G,*中，如果存在a∈G，有a*a=a，则称a为幂等元。 * * 有限半群必存在幂等元 性质：设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. * * 泵原理 b0 b1 b2 b3 b4 b5=b19=b33=… b6=b20=b34=… b7=b21=b35=… b8=b22=b36 =… b15 b9 b10 b11 b14 b16 b17 * * 幂等元构造 bi=bp*bi. bi =bkp*bi bq=bkp*bq,其中 q =kp *b*b*…*b *b*b*…*b bi=bp*bi=bp*（bp*bi） =……=bp*……*bp*（bp*bi） bi=bkp*bi,可找到k使得kp≥i 设a=bkp，则a*a=a * * 证明 性质：设S,*是一个半群，如果S是一个有限集，则必有a∈S，使得a*a=a. 证明：(构造法) ?b∈S，由S对*封闭及S有限，则对序列 b，b2，b3，…， bn， … 必定存在 ji，s.