On countable completions of quotient ordered semigroups

A poset is said to be ω-chain complete if every countable chain in it has a least upper bound. It is known that every partially ordered set has a natural ω-completion. In this paper we study the ω-completion of partially ordered semigroups, and the topological action of such a semigroup on its ω-completion. We show that, for partially ordered semigroups, ω-completion and quotient with respect to congruences are two operations that commute with each other. This contrasts with the case of general partially ordered sets.     

Quasi-uniform completions of partially ordered spaces

In this paper we define partially ordered quasi-uniform spaces (X, , ≤) (PO-quasi-uniform spaces) as those space with a biconvex quasi-uniformity on the poset (X, ≤) and give a construction of a (transitive) biconvex compatible quasi-uniformity on a partially ordered topological space when its topology satisfies certain natural conditions. We also show that under certain conditions on the topology of a PO-quasi-uniform space (X, , ≤), the bicompletion of (X, ) is also a PO-quasi-uniform space ( , ⪯) with a partial order ⪯ on that extends ≤ in a natural way.      

Completions for partially ordered semigroups

A standard completion γ assigns a closure system to each partially ordered set in such a way that the point closures are precisely the (order-theoretical) principal ideals. If S is a partially ordered semigroup such that all left and all right translations are γ-continuous (i.e., Y∈γS implies {x∈S:y·x∈Y}∈γS and {x∈S:x·y∈Y}∈γS for all y∈S), then S is called a γ-semigroup. If S is a γ-semigroup, then the completion γS is a complete residuated semigroup, and the canonical principal ideal embedding of S in γS is a semigroup homomorphism. We investigate the universal properties of γ-semigroup completions and find that under rather weak conditions on γ, the category of complete residuated semigroups is a reflective subcategory of the category of γ-semigroups. Our results apply, for example, to the Dedekind-MacNeille completion by cuts, but also to certain join-completions associated with so-called “subset systems”. Related facts are derived for conditional completions. A first draft of this paper by the second author, containing parts of Section 2, was received on August 9, 1985.     

偏序半群的偏序扩张

引入了偏序半群(S,·,≤)上的半拟序σ及模σ半拟链的概念.通过模σ半拟链,将S的偏序≤扩张为≤*,讨论了(S,*,≤*)是偏序半群的充分条件,并获得了若干理想的结果.特别地,得到了SPO(S)到PO(S)的两个半格同态定理.最后,还给出了S的满足某些给定条件的有限子集在≤*下成链的充要条件.     

Conditions for strong Morita equivalence of partially ordered semigroups

We investigate when a partially ordered semigroup (with various types of local units) is strongly Morita equivalent to a posemigroup from a given class of partially ordered semigroups. Necessary and sufficient conditions for such equivalence are obtained for a series of well-known classes of posemigroups. A number of sufficient conditions for several classes of naturally ordered posemigroups are also provided.     

On the extension of measures with values in partially ordered semigroups

Clearly the sum as well as the maximum of two real numbers can be presented as a semigroup operation. So the measure with values in a partially ordered semigroup is a common generalization of additive or subadditive and maxitive measures (see Section 4). The extension of such measures we realize by the transfinite induction (see also [2]) and we use a result of [1] for real valued functions.     

OnP-Q ordered semigroups

In this paper,P-ordered andQ-ordered semigroups are studied. Some characterizations and properties of such semigroups are obtalned. Also the relationship between maximal (minimum) regular ordered semigroups and unitary regular semigroups is investigated.Research is partiallysupported by CUHK grant No. 220.600.080.     

Soft ordered semigroups

Molodtsov introduced 1999 the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to ordered semigroups. The notions of (trivial, whole) soft ordered semigroup, soft ordered subsemigroup, soft left (right) ideal, and left (right) idealistic soft ordered semigroup are introduced, and various related properties are investigated (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

CS-indecomposable ordered semigroups

An ordered semigroup S is called CS-indecomposable if the set S × S is the only complete semilattice congruence on S. In the present paper we prove that each ordered semigroup is, uniquely, a complete semilattice of CS-indecomposable semigroups, which means that it can be decomposed into CS-indecomposable components in a unique way. Furthermore, the CS-indecomposable ordered semigroups are exactly the ordered semigroups that do not contain proper filters. Bibliography: 6 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 343, 2007, pp. 222–232.     

Extensions of ordered semigroups

The present note summarizes the author's dissertation [2]. Let S and T be ordered semigroups, the latter with a zero element O. Let Σ be an ideal extension of S by T determined by a partial homomorphism ϕ of T^*=T/O into S. A partial solution is given to the problem of determining all ways of extending the given orders on S and T^* to Σ=S U T^*. Every such “extending order” (≤) on Σ carries with it a certain “null decomposition” T^*=X∪Y (X∩Y=ℴ) of T^*, and the existence and behavior of extending orders is discussed in terms of properties of null decompositions of T^*.     

Sup-algebra completions and injective hulls of ordered algebras

In this paper, we study the \(\sup \)-algebra completions of ordered algebras. Firstly, we show that the \(\sup \)-algebra completions of the ordered algebras \(\mathcal {A}\) are completely determined, up to isomorphism, by the topological nuclei on \(\mathcal {P}(A)\). Moreover, we give the concrete forms of three types of special topological nuclei. Finally, we give the concrete form of injective hulls for arbitrary ordered algebras.     

Naturally ordered transformation semigroups

The full transformation semigroup (T _x o) on the setX is studied with respect to the natural partial order which is defined on any regular semigruop. A characterization of this ordering in terms of images and kernels is given, the maximal and minimal elements are determined and the covering elements are described. Lower and upper bounds for two transformations are studied and necessary as well as sufficient conditions for their existence are gieven.     

Pseudoorder in ordered semigroups

Communicated by J. S. Ponizovskiį