离散数学Chap 6 代数结构 6.3，6.4.pptx

§6.3半群定义：设V=A,?为代数系统，?为二元运算，若?满足结合律，则称V为半群.定义：设V=A,?为代数系统，?为二元运算，若?满足结合律，且?运算具有单位元e，则称V为幺半群，也称独异点.注：（1）独异点即为具有单位元的半群；（2）独异点的运算表中任意两行或两列都不相同.

§6.3半群例如：1.R,-是一个代数系统，但不是半群，因为减法运算“-”不满足结合律.2.R,min是一个半群，但不是独异点，因为min运算满足结合律，但没有单位元.3.P(A),?是一个独异点，因为?满足结合律，且具有单位元A.4.A^A,°是一个独异点，因为函数的复合满足结合律，且具有单位