Injective hulls of monars over inverse semigroups. (Q373880)

Let \(S\) be an inverse semigroup. Every representation \(F\colon S\to\mathcal T(A)\) of \(S\) in the semigroup \(\mathcal T(A)\) of all full transformations of a set \(A\) leads to the unary algebra \(\mathcal A=(A;(f_s)_{s\in S})\) with unary operations \(f_s=F(s)\) for all \(s\in S\). The algebra \(\mathcal A\) is called a monar over \(S\). The class of all monars over \(S\) is a variety of algebras. Thus it is possible to use the standard definition of injective algebras in a variety and to define the notions of injective monars and an injective hull of a monar.NEWLINENEWLINE The injective monars over an inverse semigroup were characterized by the author in his paper published in 1979. The author recalls the corresponding facts. The main theorem of the paper describes injective hulls of monars over \(S\). A special case is considered when \(S\) is a linearly ordered semilattice, which can be turned into a monar over \(S\). Particularly, it is shown that when \(S\) is isomorphic to a chain of rational numbers the suggested construction becomes the famous Dedekind completion of this chain, that is the chain of real numbers.