Left adequate and left Ehresmann monoids. II. (Q411757)

The first part of the article was published [in Int. J. Algebra Comput. 21, No. 7, 1259-1284 (2011; Zbl 1250.20041)]. The authors show how to construct a \(T\)-proper left Ehresmann monoid \(\mathcal P(T,Y)\) from a monoid \(T\) acting via order-preserving maps on a semilattice \(Y\) with identity. The construction plays the role for left Ehresmann (and left adequate) monoids that the semidirect product of a group and semilattice plays for inverse monoids. It is proved that a left Ehresmann monoid \(M\) with a set \(X\) of generators has a left adequate \(X^*\)-proper cover \(\mathcal P(X^*,E)\). By choosing a suitable semilattice \(E_X\) and an action of \(X^*\) on \(E_X\), the monoid \(\mathcal P(X^*,E_X)\) turns to be the free left Ehresmann monoid on \(X\). Consequently, for any non-empty set \(X\), the free left Ehresmann monoid coincides with the free left adequate monoid on \(X\) and the class of left Ehresmann monoids is the variety generated by the quasi-variety of left adequate monoids.