Abstract:Just as complete lattices can be viewed as the completions of posets, quantales can also be treated as the completions of partially ordered semigroups. Motivated by the study on the well-known Frink completions of posets, it is natural to consider the “Frink” completions for the case of partially ordered semigroups. For this purpose, we firstly introduce the notion of precoherent quantale completions of partially ordered semigroups, and construct the concrete forms of three types of precoherent quantale completions of a partially ordered semigroup. Moreover, we obtain a sufficient and necessary condition of the Frink completion on a partially ordered semigroup being a precoherent quantale completion. Finally, we investigate the injectivity in the category $$\mathbf {APoSgr}_{\le }$$ of algebraic partially ordered semigroups and their submultiplicative directed-supremum-preserving maps, and show that the $$\mathscr {E}_{\le }$$-injective objects of algebraic partially ordered semigroups are precisely the precoherent quantales, here $$\mathscr {E}_{\le }$$ denote the class of morphisms $$h:A\longrightarrow B$$ that preserve the compact elements and satisfy that $$h(a_1)\cdots h(a_n)\le h(b)$$ always implies $$a_1\cdots a_n\le b$$.

Injective Hulls Are Completions of Ordered Algebras

Injective Hulls for Ordered Algebras

Sup-algebra Completions and Injective Hulls of Ordered Algebras

Injective Hulls of Many-Sorted Ordered Algebras

Injective Hulls for Posemigroups

Injective Hulls for Ordered Algebras (vol 76, Pg 339, 2016)

Admissible Subsets and Completions of Ordered Algebras

On Injective Hulls of S-Posets

On the injective hulls of quantum B-algebras

The MacNeille Completions for Residuated S-Posets

On Completions of Posets with Operators

Join-completions of Partially Ordered Algebras

Quotients and subalgebras of sup-algebras

Injective Objects of Monomorphism Categories

Repeated X-ray Flaring Activity in Sagittarius A*

A NOTE ON INJECTIVE HULLS OF POSEMIGROUPS

Injective Hulls of Fuzzy S-Posets

On Injective Constructions of S-semigroups

ℒ-Injective Hulls of Modules

Precoherent Quantale Completions of Partially Ordered Semigroups

Homological algebra for nonarchimedean completions of group algebras