Semigroups of order-preserving mappings (Q4500813)

A mapping \(\alpha\) on a chain \((C,\leq)\) is called order-preserving if \(p\leq q\) implies \(p\alpha\leq q\alpha\) for any \(p,q\in C\). By \(O(C)\) the authors denote the monoid of all order-preserving mappings on \(C\). The aim of the paper is to characterize monoids \(S\) which can be embedded into the monoid \(O(C)\) for some [finite] chain \(C\). First the authors prove that \(S\) embeds into \(O(C)\) for some \(C\) if and only if for each pair \((s,t)\) of distinct elements in \(S\) there exists a right-compatible total preorder \(\pi_{(s,t)}\) on \(S\) such that \((s,t)\notin\pi_{(s,t)}\) (Theorem 2.1). Then they produce an infinite series \(\Sigma\) of semigroup quasi-identities holding in every monoid \(O(C)\) and show that a finite monoid \(S\) embeds into \(O(C)\) for some finite chain \(C\) if and only if \(S\) satisfies all quasi-identities in a finite subsystem \(\Sigma'\subset\Sigma\), the size of \(\Sigma'\) being bounded in terms of \(|S|\) (Theorem 2.2).