当前位置:首页 > 离散数学(02324) > 正文内容

S={a,b,c},*是S上的二元运算,且∀x,y∈S,x*y=x。证明S关于*运算构成半群。

高老师2年前 (2024-03-26)离散数学(02324)14

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,故运算*满足结合律。
  是半群。  证毕

扫描二维码免费使用微信小程序搜题/刷题/查看解析。

版权声明:本文由翰林刷题小程序授权发布,如需转载请注明出处。

本文链接:https://doc.20230611.cn/post/429953.html

分享给朋友: