Semigroups embeddable in hyperplane face monoids. (Q467529)

Let \(L\) stand for the 3-element monoid consisting of the identity element and two left zeros. The authors observe that the face monoid of every central hyperplane arrangement in the real space \(\mathbb R^d\) with \(n\) hyperplanes embeds into the \(n\)-th direct power of \(L\). This motivates their study of the quasivariety \(\text{qv}(L)\) generated by \(L\). The authors exhibit an algorithm that, given a finite semigroup \(S\), decides in polynomial in \(|S|\) time whether or not \(S\) lies in \(\text{qv}(L)\) and prove that \(\text{qv}(L)\) has no finite quasiidentity basis. Similar results are obtained for the 4-element monoid \(L^0\) that is related in the same way to the face monoids of central hyperplane arrangements in the complex space \(\mathbb C^d\).