第十六章半群与独异点SemigroupandMonoid.pptVIP

? Peking University 3-2 证明：anam = an+m (an)m = anm 证:(1) 固定n,归纳于m 若m=1,则xnox1=xnox=xn+1 假设对m=k有xnoxk=xn+k成立,则对m=k+1有 xnoxk+1= xno(xkox1)= (xnoxk)ox1=xn+k+1 根据数学归纳法，对一切n,m?Z+，结论为真 证明：(an)m = anm 证:(2) 固定n,归纳于m 若m=1,则(xn)1=xn=xn*1 假设对m=k有(xn)k=xn*k成立,则对m=k+1有 (xn)k+1= (xn)koxn= xn*koxn=xnk+n=xn(k+1) 根据数学归纳法，对一切n,m?Z+，结论为真 定理16.2 任何半群S,o都可以扩张成独异点S’,o’,e 证：任取e使得e不属于S，令S’=S?{e},且定义o’运算为 任意 x,y?S,x o’ y=xoy, 任意 x?S,x o’e=eo’x=x eo’e=e 可知o’运算在S’上是可结合的，且单位元为e,因此S’,o’,e为独异点 1．子半群：半群的子代数 2. 子独异点：独异点的子代数 3. 判别: 非空子集B， B对于V中的运算（含0元运算）封闭. 定理：若干子半群的非空交集仍为子半群； 若干子独异点的交集仍为子独异点.