结构推理
设有代数系统(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
提交答案
关闭