幂等元分配半环簇的格

给出了自由幂等元分配半环上的字问题的解 ,借助于这个解 ,确定了幂等元分配半环簇ID的子簇格L(ID)∶L(ID)同构于格L和一个四元格的直积 ,其中L表示带簇B的子簇格L(B)的 4个拷贝的次直积 ;L(ID)是可数无限的和分配的 ;