The block product of monoids is a bilateral version of the better known wreath product. Unlike the wreath product, block product is not associative. All decomposition theorems based on iterated block products that have appeared until now have assumed right-to-left bracketing of the operands. We here study what happens when the bracketing is made left-to-right. This parenthesization is in general weaker than the traditional one. We show that weakly iterated block products of semilattices correspond exactly to the well-known variety DA of finite monoids: if groups are allowed as factors, the variety DA*G is obtained. These decomposition theorems allow new, simpler, proofs of recent results concerning the defining power of generalized first-order logic using two variables only.
CITATION STYLE
Straubing, H., & Thérien, D. (2002). Weakly iterated block products of finite monoids. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2286, pp. 91–104). Springer Verlag. https://doi.org/10.1007/3-540-45995-2_13
Mendeley helps you to discover research relevant for your work.