结构推理 设有代数系统(A,*),其中A={a,b,c},“*”运算定义为:
   
* a b c
a a b c
b b a a
c c a a

   问:(A,*)是否为半群?是否为单元半群?为什么?
【正确答案】此表中运算不满足结合律,故不是半群,也不是单元半群.
【答案解析】查运算表是否满足结合律时,要考虑到所有组合情况,此处大部分情况是符合结合律的,但也有不符合的.例如,(b*b)*c=a*c=c,b*(b*c)=b*a=b