问答题 设(S，m)是代数系统，其中S={a，b，c}，*定义为：
* a b c
a
b
c		 a
c
c		 b
a
a		 c
a
a

   问(S，*)是否为半群?为什么?
【正确答案】(S，*)不是半群，因为它的*运算不满足结合律．
【答案解析】检查运算表是否满足结合律时，要考虑到所有组合运算情况，此处大部分情况是符合结合律的，但也有不符合的．例如：(b*b)*c=a*c=c，b*(b*c)=b*a=b