An Example of a Cosimple and Co-Commutative Compact Quantum Semigroup

We construct a co-multiplication on the semigroup Cuntz–Toeplitz C*-algebra and obtain a compact quantum semigroup structure on this algebra. We show that the unique proper ideal of the Cuntz–Toeplitz algebra is not a co-ideal of the compact quantum semigroup. Thus, the compact quantum semigroup is a co-simple quantum semigroup.     

Characterizations of Morita equivalent inverse semigroups

We prove that four different notions of Morita equivalence for inverse semigroups motivated by C^∗-algebra theory, topos theory, semigroup theory and the theory of ordered groupoids are equivalent. We also show that the category of unitary actions of an inverse semigroup is monadic over the category of étale actions. Consequently, the category of unitary actions of an inverse semigroup is equivalent to the category of presheaves on its Cauchy completion. More generally, we prove that the same is true for the category of closed actions, which is used to define the Morita theory in semigroup theory, of any semigroup with right local units.     

Continuity of the Restriction of C 0-Semigroups to Invariant Banach Subspaces

A linear semigroup in a Banach space induces a linear semigroup on a Banach space that can be continuously embedded in the former such that its image is invariant. This restriction need not be strongly continuous, although the original semigroup is strongly continuous. We show that norm or weak compactness of partial orbits is a necessary and sufficient condition for strong continuity of the restriction of a C₀-semigroup. We then show that if the embedded Banach space is reflexive and the norms of the restricted semigroup operators are bounded near the initial time, then the restricted semigroup is strongly continuous.     

Archimedean ordered semigroups as ideal extensions

The main result of the paper is a structure theorem concerning the ideal extensions of archimedean ordered semigroups. We prove that an archimedean ordered semigroup which contains an idempotent is an ideal extension of a simple ordered semigroup containing an idempotent by a nil ordered semigroup. Conversely, if an ordered semigroup S is an ideal extension of a simple ordered semigroup by a nil ordered semigroup, then S is archimedean. As a consequence, an ordered semigroup is archimedean and contains an idempotent if and only if it is an ideal extension of a simple ordered semigroup containing an idempotent by a nil ordered semigroup.     

Semigroups of right quotients of a semigroup which is a semilattice of groups

Let S be a semigroup with zero which is a semilattice of groups. In [6], McMorris showed that the semigroup of quotients Q=Q(S) corresponding to the filter of “dense” right ideals of the semigroup S is also a semilattice of groups. He accomplished this by noting that Q is a regular semigroup in which all idempotents are central, an equivalent formulation of a semilattice of groups. In this paper we develop the semigroup of quotients Q corresponding to an arbitrary right quotient filter on S (as defined herein) and note the above result in this more general setting by explicitly constructing a semigroup which is isomorphic to Q. We also see that the underlying semilattice for Q in this case is isomorphic to a semigroup of quotients of the original semilattice for the semigroup S.     

On compact quantum semigroup QS red

We study some properties of a reduced semigroup C*-algebra of a semigroup S. For the semigroup C*-algebra generated by the deformation of the algebra of continuous functions on a compact abelian group we obtain a structure of a compact quantum semigroup. We also consider morphisms of constructed compact quantum semigroups.     

含幺Clifford半群上的Rees矩阵半群的同余和正规加密群结构

给出了含幺Clifford半群上的Rees矩阵半群S的正规加密群结构,证明了在含幺Clifford半群上的Rees矩阵半群S上以下两个条件是等价的:(1)S上的同余ρ是完全单半群同余;(2)S上的同余ρ和S上的相容组之间存在保序双射.最后还证明了S上的完全单半群同余所构成的同余格是半模的.     

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.     

<Emphasis Type="Italic">E</Emphasis>-inversive Dubreil-Jacotin semigroups

Using group congruences, we obtain necessary and sufficient conditions for an ordered E-inversive semigroup to be a Dubreil-Jacotin semigroup. We also determine when such a semigroup is naturally ordered. In particular, when the subset of regular elements is a subsemigroup it contains a multiplicative inverse transversal.     

On the Theta Semigroup

In this paper we consider a semigroup on trigonometric expansions ${\{{\mathcal T}_t: t \geq 0\}}$ that will be called the Theta semigroup since its kernel is a multiple of ?? ₃(x, q), the third Jacobi theta function. We study properties of this semigroup and prove that it is a positive diffusion semigroup. We also obtain that its subordinated semigroup is the classical Poisson semigroup. The extensions to higher dimensions and to periodic ultra distributions are also considered.     

On Ehresmann semigroups

We formulate an alternative approach to describing Ehresmann semigroups by means of left and right étale actions of a meet semilattice on a category. We also characterize the Ehresmann semigroups that arise as the set of all subsets of a finite category. As applications, we prove that every restriction semigroup can be nicely embedded into a restriction semigroup constructed from a category, and we describe when a restriction semigroup can be nicely embedded into an inverse semigroup.

     

Semilattice orders on the homomorphic images of the Rédei semigroup

The combinatorial simple principal ideal semigroups generated by two elements were described by L. Megyesi and G. Pollák. The ‘most general’ among them is called the Rédei semigroup. The ‘most special’ combinatorial simple principal ideal semigroup generated by two elements is the bicyclic semigroup. D. B. McAlister determined the compatible semilattice orders on the bicyclic semigroup. Our aim is to study the compatible semilattice orders on the homomorphic images of the Rédei semigroup. We prove that there are four compatible total orders on these semigroups. We show that on the Rédei semigroup, the total orders are the only compatible semilattice orders. Moreover, on each proper homomorphic image of the Rédei semigroup, we give a compatible semilattice order which is not a total order. Communicated by Mária B. Szendrei     

Upper-modular elements of the lattice of semigroup varieties. II

A semigroup variety is called a variety of degree ≤2 if all its nilsemigroups are semigroups with zero multiplication, and a variety of degree >2 otherwise. We completely determine all semigroup varieties of degree >2 that are upper-modular elements of the lattice of all semigroup varieties and find quite a strong necessary condition for semigroup varieties of degree ≤2 to have the same property.     

On character amenability of semigroup algebras

We study the character amenability of semigroup algebras. We work on general semigroups and certain semigroups such as inverse semigroups with a finite number of idempotents, inverse semigroups with uniformly locally finite idempotent set, Brandt and Rees semigroup and study the character amenability of the semigroup algebra l¹(S) in relation to the structures of the semigroup S. In particular, we show that for any semigroup S, if ?¹(S) is character amenable, then S is amenable and regular. We also show that the left character amenability of the semigroup algebra ?¹(S) on a Brandt semigroup S over a group G with index set J is equivalent to the amenability of G and J being finite. Finally, we show that for a Rees semigroup S with a zero over the group G, the left character amenability of ?¹(S) is equivalent to its amenability, this is in turn equivalent to G being amenable.     

Positive matrix semigroups with binary diagonals

We show that a semigroup of positive matrices (all entries greater than or equal to zero) with binary diagonals (diagonal entries either 0 or 1) is either decomposable (all matrices in the semigroup have a common zero entry) or is similar, via a positive diagonal matrix, to a binary semigroup (all entries 0 or 1). In the case where the idempotents of minimal rank in S{\mathcal{S}} satisfy a “diagonal disjointness” condition, we obtain additional structural information. In the case where the semigroup is not necessarily positive but has binary diagonals we show that either the semigroup is reducible or the minimal rank ideal is a binary semigroup. We also give generalizations of these results to operators acting on the Hilbert space of square-summable sequences.     

Free local semigroup constructions

We introduce the notions of causal paths and causal homotopies, modifications of the traditional notions of paths and homotopies, as more suitable for certain basic constructions in (Lie) semigroup theory. The major result is the construction in this causal context of an analogue of the universal covering semigroup and the demonstration that local homomorphisms on the given semigroup extend to global homomorphisms on it. In certain important cases, it is shown that this semigroup actually agrees with the universal covering semigroup.The author gratefully acknowledges the partial support of theNational Science Foundation. DMS 910-4582.     

Inverse semigroup actions as groupoid actions

To an inverse semigroup, we associate an étale groupoid such that its actions on topological spaces are equivalent to actions of the inverse semigroup. Both the object and the arrow space of this groupoid are non-Hausdorff. We show that this construction provides an adjoint functor to the functor that maps a groupoid to its inverse semigroup of bisections, where we turn étale groupoids into a category using algebraic morphisms. We also discuss how to recover a groupoid from this inverse semigroup.     

Radicals of algebras graded by cancellative linear semigroups

We consider algebras over a field of characteristic zero, and prove that the Jacobson radical is homogeneous in every algebra graded by a linear cancellative semigroup. It follows that the semigroup algebra of every linear cancellative semigroup is semisimple.

     

Fundamental Gaps in Numerical Semigroups with Respect to Their Multiplicity

For a numerical semigroup, we introduce the concept of a fundamental gap with respect to the multiplicity of the semigroup. The semigroup is fully determined by its multiplicity and these gaps.We study the case when a set of non-negative integers is the set of fundamental gaps with respect to the multiplicity of a numerical semigroup, Numerical semigroups with maximum and minimum number of this kind of gaps are described.