Strong Morita equivalence for ordered semigroups with local units

We prove that partially ordered semigroups with local units are strongly Morita equivalent if and only if they have a joint enlargement, which in turn happens if and only if the Cauchy completions of the semigroups are equivalent.     

Morita equivalence of finite semigroups

Semigroup Forum - Two semigroups are called Morita equivalent if the categories of firm right acts over them are equivalent. We prove that every semigroup is Morita equivalent to its subsemigroup...     

Morita equivalence of inverse semigroups

We describe how to construct all inverse semigroups Morita equivalent to a given inverse semigroup S. This is done by taking the maximum inverse images of the regular Rees matrix semigroups over S where the sandwich matrix satisfies what we call the McAlister conditions.     

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.     

Morita equivalence of semigroups with local units

We prove that two semigroups with local units are Morita equivalent if and only if they have a joint enlargement. This approach to Morita theory provides a natural framework for understanding McAlister’s theory of the local structure of regular semigroups. In particular, we prove that a semigroup with local units is Morita equivalent to an inverse semigroup precisely when it is a regular locally inverse semigroup.     

Strong Morita equivalence of semigroups with local units

In this paper we study Morita contexts for semigroups. We prove a Rees matrix cover connection between strongly Morita equivalent semigroups and investigate how the existence of a unitary Morita semigroup over a given semigroup is related to the existence of a ‘good’ Rees matrix cover of this semigroup.     

Generalized heaps,inverse semigroups and Morita equivalence

Inverse semigroups are the algebraic counterparts of pseudogroups of transformations. The algebraic counterparts of atlases in differential geometry are what Wagner termed ‘generalized heaps’. These are sets equipped with a ternary operation satisfying certain axioms. We prove that there is a bijective correspondence between generalized heaps and the equivalence bimodules, defined by Steinberg. Such equivalence bimodules are used to define the Morita equivalence of inverse semigroups. This paper therefore shows that the Morita equivalence of inverse semigroups is determined by Wagner’s generalized heaps.     

Elementary equivalence of semigroups of invertible matrices with nonnegative elements over commutative partially ordered rings

In the paper, we prove that if two semigroups of invertible matrices with nonnegative elements over partially ordered commutative rings are elementarily equivalent, then their dimensions coincide and the corresponding semirings of nonnegative elements are elementarily equivalent.     

Precoherent quantale completions of partially ordered semigroups

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:Alongrightarrow B$$ that preserve the compact elements and satisfy that $$h(a_1)cdots h(a_n)le h(b)$$ always implies $$a_1cdots a_nle b$$.     

偏序半群的偏序扩张

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

Morita equivalence for infinite matrix rings

In this paper, weak distinguished subcategory and distinguished subcategory of modules are introduced. Left(right) local unital rings are particularly considered. Also, representable equivalent functors between categories. By using the replacement techniques of modules, a general theory of Morita equivalence for infinite matrix rings is established. This theory not only extends the classical Morita theory of equivalence from finite matrix rings to infinite matrix rings and also contains some new results which are useful in studying the algebraic structures for infinite matrix rings. Some results of classical Morita theory are included as its special cases.     

Morita equivalence for quantum Heisenberg manifolds

We discuss Morita equivalence within the family 0, \mu,\nu\in\mathbb{R}\}$"> of quantum Heisenberg manifolds. Morita equivalence classes are described in terms of the parameters , and the rank of the free abelian group associated to the -algebra .

     

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.