离散数学课件：5-2 半群.ppt

独异点的性质 * * 二、半群 (一) 半群的定义 广群：若非空集合S上的二元运算*是封闭的，则称代数系统S, *为广群(groupoid)，也称为群坯. 半群：若非空集合S上的二元运算*是封闭的，并且满足结合律，则称代数系统S, *为半群(semigroup). 群论是代数系统中研究得比较成熟的一个分支，在计算机形式语言，自动机理论，编码理论等得到广泛应用。 例5.2.1 设S={a, b, c}，二元运算*定义如下表： 问：S, *是否是半群？ 解： ?x, y, z?S (1)因为x*y?S, c b a b c b a a b b a a c c c * 所以运算*封闭； (2)由运算表易见a, b, c均为左幺元（右零元），所以 x*(y*z)= x*z =z (x*y)*z= y*z =z 所以运算*满足结合律， 从而S, *是半群. 二、半群 例5.2.2 判断以下代数系统是否是半群. 半群 R, / R, ? R, - R, + 代数系统 半群 P(A), ? P(A), - P(A),∩ P(A), ∪ 代数系统 Y Y N N Y Y N Y 二、半群 (二)子 半群 例5.2.3 判断以下代数系统是否是半群R, ?的子半群. 证明思路：结合律在B上仍成立. 子半群：设S, *为一半群，B?S且*在B上封闭，那么B, *也是一个半群. 通常称B, *为S, *的子半群. (1)N, ? √ (3)[0,1], ? √ √ (4)[0,1), ? (2)[0,2], ? × 二、半群 (三) 半群的性质 证： 有限半群必有等幂元. 设S, *为一半群，如果S是一个有限集，则必有a?S, 使得a*a=a. 因为S, *是半群， ?b?S, 由*的封闭性可知 b*b?S, 记b2=b*b b2*b= b*b2?S, 记b3=b2*b= b*b2 …… 因S是一个有限集合，所以? ji, 使 bi=bj 令p=j-i, 即j=p+i, 代入上式得 bi=bp* bi 所以，bq=bp* bq, q? i. 因为p?1,所以? k?1, 使kp?i 对于bkp?S, 有 bkp= bp * bkp = bp * (bp * bkp) = b2p * bkp = b2p * (bp * bkp) = … = bkp * bkp 所以存在a=bkp,使a*a=a. 二、半群 (四) 独异点 独异点：含有幺元的半群，称为独异点(monoid), 或亚群、含幺半群. 例5.2.4判断以下代数系统是否是独异点. 独异点 Z, ? R, ? Z, + R, + 代数系统 独异点 P(A), ? P(A),∩ P(A), ∪ 代数系统 Y Y Y Y Y Y 二、半群 Y 性质一：设S, *是一个独异点，则在关于运算*的运算表中任何两行或两列都是不相同的. 证： 设S中关于运算*的幺元是e, 因为 ?a, b?S且a ? b时，有 e*a=a ? b=e*b a*e=a ? b=b*e 所以在*的运算表中不可能有两行或两列是相同的. … … … … … … … b … a … e … … … … … … … b … a … * … … … … … b … b … … … … … a … a … … … … … e … * 二、半群