关于半群的计算

来源:学生作业帮助网 编辑:六六作业网 时间:2024/12/18 11:25:29
关于半群的计算关于半群的计算关于半群的计算利用结合律:已知a=cb,所以ae=(cb)e=c(be)=cb=aab=(cb)b=c(bb)=ce=cac=(cb)c=c(bc)=cf=ead=(cb)

关于半群的计算
关于半群的计算

关于半群的计算
利用结合律:已知a=cb,所以
ae=(cb)e=c(be)=cb=a
ab=(cb)b=c(bb)=ce=c
ac=(cb)c=c(bc)=cf=e
ad=(cb)d=c(bd)=ca=f
af=(cb)f=c(bf)=cc=d
又d=ba,所以
de=(ba)e=b(ae)=ba=d
da=(ba)a=b(aa)=be=b
db=(ba)b=b(ab)=bc=f
dc=(ba)c=b(ac)=be=b
dd=(ba)d=b(ad)=bf=c
df=(ba)f=b(af)=bd=a

ae=a, de=d, 这个是monoid的性质.
da=fba=fd=b
db=fbb=fe=f
ab=fcb=fa=c
等等。
简单来说,我们要求d和a乘以某个元素的结果,可以先将a变成fc,将d变成fb,然后用结合律,因为c和b乘以任意元素的结果都知道了,所以就可以求出来所有的结果。
最后得到的缺的这两行分别是aecbdf和dbfeca。...

全部展开

ae=a, de=d, 这个是monoid的性质.
da=fba=fd=b
db=fbb=fe=f
ab=fcb=fa=c
等等。
简单来说,我们要求d和a乘以某个元素的结果,可以先将a变成fc,将d变成fb,然后用结合律,因为c和b乘以任意元素的结果都知道了,所以就可以求出来所有的结果。
最后得到的缺的这两行分别是aecbdf和dbfeca。

收起