Semigroups of order preserving mappings on a finite chain: A new class of divisors (Q677105)

It is proved that the semigroup of all partial, injective, order-preserving mappings on a finite chain of length \(n\) is a homomorphic image of a subsemigroup of all total order-preserving mappings on a chain of length \(2n+1\). As a consequence we obtain the striking fact that the pseudovariety generated by the semigroup of the former type is properly contained in \(\underline O\), the pseudovariety of (finite) semigroups generated by semigroups of order-preserving mappings on a chain. One immediate consequence is that \(\underline O\) contains semigroups of arbitrary dot depth. After reading the proof in this paper the reviewer obtained a second proof which will appear in the article `Pseudovarieties generated by transformation semigroups' of the Proceedings of the conference `Semigroups with Applications', St. Petersburg, Russia, June 1995.