V=<S,*>是半群,其中S={a,b,c},且对任意x,y属于S,有x*y=x.试通过增加最少的元素使得S扩张成一个独异点.这道题目到底是什么意思?我怎么一点思路都没有,完全不知道该从哪入手,有谁会做,进来帮帮我,谢谢了

热心网友

就增加1个幺元就可以了，V’=，S’={a,b,c，e},且对任意x属于S’,有x*e=e*x=x，其他的S中的运算保留.很显然e幺元，很容易验证V’=为半群。

热心网友

我会做，但是不告诉你，急死你。