On iterated semidirect products of finite semilattices (Q1178869): Difference between revisions

In [Semigroup Forum 28, 73-81 (1984; Zbl 0527.20046)], \textit{J.-E. Pin} proved that the pseudovariety of monoids generated by all semidirected products of two semilattice monoids is defined by the identities \(xuyvxy=xuyvyx\) and \(xux=xux^ 2\), and later posed the question as to whether, for any \(n\), the pseudovariety of monoids generated by all semidirect products of \(n\) semilattice monoids is also finitely based. In the current paper, the author answers this question in the negative, as a consequence of the more general consideration of the pseudovarieties \({\mathcal S}\ell^ n\) of semigroups, rather than monoids, generated by semidirect products of \(n\) semilattices. He finds a fairly simple basis of identities for \({\mathcal S}\ell^ n\) and shows that, for \(n>2\), no finite number of these identities will suffice. An explicit connection is set up between the monoid and semigroup pseudovarieties of these types. Various other interesting properties of these pseudovarieties are investigated.