首页
S={a,b,c},*是S上的二元运算,且∀x,y∈S,x*y=x。证明S关于*运算构成半群。
2024-08-04 00:00:26
离散数学(02324)
S={a,b,c},*是S上的二元运算,且∀x,y∈S,x*y=x。证明S关于*运算构成半群。
【正确答案】:证明:显然,运算*满足封闭性。
∀x,y,z∈S,(x*y)*z=(x*y)=x,x*(y*z)x,故运算*满足结合律。
是半群。 证毕
上一篇:
设G为群,若∀x∈G有x2=e,证明G为交换群。
下一篇:
在R中定义二元运算*,使得∀a,b∈R,a*b=a+b+ab,证明 构成独异点。