On extending endomorphisms to automorphisms (Q1106871)

A monoid \({\mathbb{M}}=(M,*,1)\) is (i) directed by left-divisibility if for each \(\alpha\),\(\beta\in M\) there exist \(\lambda\),\(\mu\in M\) such that \(\alpha *\lambda =\beta *\mu\); and \({\mathbb{M}}\) satisfies (ii) left cancellation if for \(\alpha\),\(\beta\),\(\gamma\in M\) one has that \(\alpha *\gamma =\gamma *\beta\) implies that \(\alpha =\beta\). Let A be an \({\mathbb{M}}\)-set where \({\mathbb{M}}\) has (i) and (ii). The authors show that there is an \({\mathbb{M}}\)-set \(A^*\) over A such that \({\mathbb{M}}\) acts on \(A^*\) by bijections. If \({\mathbb{M}}\) acts on A by injections then the universal \({\mathbb{M}}\)-map from A into \(A^*\) is injective. The assignment \(A\mapsto A^*\) is functorial and preserves finite products. The authors define admissible functions and relations on A as those which can be lifted to \(A^*\). It is shown that validity of universal formulas is preserved.