离散数学(第15章)陈瑜.ppt

陈瑜;;;;;;;;;;幂;;;;;定理15.2 有限半群 ? S，? ? 必有幂等元，即 存在 a ?S， a2 = a 。(参见教材p183） ;定理15.2 有限半群 ? S，? ? 必有幂等元，即 存在 a ?S， a2 = a 。 ;定理15.2 有限半群 ? S，? ? 必有幂等元，即 存在 a ?S， a2 = a 。 ;定理15.2 有限半群 ? S，? ? 必有幂等元，即 存在 a ?S， a2 = a 。 ;定理15.2 有限半群 ? S，? ? 必有幂等元，即 存在 a ?S， a2 = a 。 ;子半群;子半群;子半群;例 设S，*是一个可换的含幺半群，M是它的所有的等幂元构成的集合，则M，*是S，*的一个子含幺半群。 证明：(1) 显然，M?S； (2) S，*是含幺半群，所以幺元e存在，又e*e＝e，则e是一个等幂元，即有e∈M，所以M是非空的； (3) e∈M； (4)对任意a，b∈M，有(a*b)*(a*b)＝a*(b*a)*b＝a*(a*b)*b ＝(a*a)*(b*b)＝a*b， 即运算“*”关??集合M是封闭的运算。 由(1)、(2)、(3)、(4)知：M，*是S，*的一个子含幺半群。;例 设S，*是一个可换的含幺半群，M是它的所有的等幂元构成的集合，则M，*是S，*的一个子含幺半群。 证明：(1) 显然，M?S； (2) S，*是含幺半群，所以幺元e存在，又e*e＝e，则e是一个等幂元，即有e∈M，所以M是非空的； (3) e∈M； (4)对任意a，b∈M，有(a*b)*(a*b)＝a*(b*a)*b＝a*(a*b)*b ＝(a*a)*(b*b)＝a*b， 即运算“*”关于集合M是封闭的运算。 由(1)、(2)、(3)、(4)知：M，*是S，*的一个子含幺半群。;例 设S，*是一个可换的含幺半群，M是它的所有的等幂元构成的集合，则M，*是S，*的一个子含幺半群。 证明：(1) 显然，M?S； (2) S，*是含幺半群，所以幺元e存在，又e*e＝e，则e是一个等幂元，即有e∈M，所以M是非空的； (3) e∈M； (4)对任意a，b∈M，有(a*b)*(a*b)＝a*(b*a)*b＝a*(a*b)*b ＝(a*a)*(b*b)＝a*b， 即运算“*”关于集合M是封闭的运算。 由(1)、(2)、(3)、(4)知：M，*是S，*的一个子含幺半群。;例 设S，*是一个可换的含幺半群，M是它的所有的等幂元构成的集合，则M，*是S，*的一个子含幺半群。 证明：(1) 显然，M?S； (2) S，*是含幺半群，所以幺元e存在，又e*e＝e，则e是一个等幂元，即有e∈M，所以M是非空的； (3) e∈M； (4)对任意a，b∈M，有(a*b)*(a*b)＝a*(b*a)*b＝a*(a*b)*b ＝(a*a)*(b*b)＝a*b， 即运算“*”关于集合M是封闭的运算。 由(1)、(2)、(3)、(4)知：M，*是S，*的一个子含幺半群。;例 设S，*是一个可换的含幺半群，M是它的所有的等幂元构成的集合，则M，*是S，*的一个子含幺半群。 证明：(1) 显然，M?S； (2) S，*是含幺半群，所以幺元e存在，又e*e＝e，则e是一个等幂元，即有e∈M，所以M是非空的； (3) e∈M； (4)对任意a，b∈M，有(a*b)*(a*b)＝a*(b*a)*b＝a*(a*b)*b ＝(a*a)*(b*b)＝a*b， 即运算“*”关于集合M是封闭的运算。 由(1)、(2)、(3)、(4)知：M，*是S，*的一个子含幺半群。;习题;;主要内容;;;;;;群;群;群;群;群;;;;;;;补充;;;;;;;;子群;子群;子群;;;;;;;;;;;;;;;2) 幺元存在：由于S?Φ，所以有a?S，由对?a,b?S,有a*b-1?S,取a＝b,有eG＝a*a-1?S; 3) 逆元存在：对?a,b?S，有a*b-1?S， 对?b?S，由eG?S，有b-1＝eG*b-1?S； 4) 封闭性：对?a,b?S，由3)知：b-1?S，由条件知：a*(b-1)-1?S，即a*b?S. 由1)、2)、3)、4)知:S,*是G,*的子群。;2) 幺元存在：由于S?Φ，所以有a?S，由对?a,b?S,有a*b-1?S,取a＝b,有eG＝a*a-1?S; 3) 逆元存在：对?a,b?S，有a*b-1?S， 对?b?S，由eG?S，有b-1＝eG*b-1?S； 4) 封闭性：对?a,b?S，由3)知：b-1?S，由条件知：a*(b-1)-1?S，即a*b?S. 由1)、2)、3)、4)知:S,*是G,*的子群。;2) 幺元存在：由