离散数学 代数系统经典.ppt

解答:a*b=a ⑵*的封闭性是显然的; (a*b)*c=a*c=a, a*(b*c)=a*b=a， *是可结合运算 是半群 0.0 * 解答: a*b=a+ab ⑶ (a*b)*c=(a+ab)*c =a+ab+(a+ab)c =a+ab+ac+abc a*(b*c)=a*(b+bc) =a+a(b+bc)=a+ab+abc (a*b)*c≠a*(b*c) 不是半群 0.0 * 解答:a*b=max(a,b) (4)*的封闭性是显然的; (a*b)*c =a*(b*c) =max(a, b, c)， *是可结合运算 是半群 0.0 * 5、子半群 S,*:半群 H?S 集合H在运算*作用下封闭 H,*是 S,*的子半群 0.0 * S,*,e:含幺半群 H?S 集合H在运算*作用下封闭 H,*,e是 S,*,e的子含幺半群 子含幺半群 e?H 0.0 * 子半群举例 例：S，*是一个半群，*运算的运算表如下： 问： (1){c,d},* (2){b,c,d},* (3){b,c},* (4){c},* (5){a,b},* 是S，*的子半群吗？ 子半群 含幺子半群 子半群 含幺子半群 子半群 子半群 不是子半群 0.0 * 子含