On extending endomorphisms to automorphisms (Q1106871)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On extending endomorphisms to automorphisms |
scientific article |
Statements
On extending endomorphisms to automorphisms (English)
0 references
1988
0 references
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.
0 references
monoid
0 references
left-divisibility
0 references
left cancellation
0 references
\({\mathbb{M}}\)-set
0 references
universal \({\mathbb{M}}\)-map
0 references