Semigroups of inverse quotients

We examine, in a general setting, a notion of inverse semigroup of left quotients, which we call left I-quotients. This concept has appeared, and has been used, as far back as Clifford??s seminal work describing bisimple inverse monoids in terms of their right unit subsemigroups. As a consequence of our approach, we find a straightforward way of extending Clifford??s work to bisimple inverse semigroups (a step that has previously proved to be awkward). We also put some earlier work of Gantos into a wider and clearer context, and pave the way for further progress.     

Semilattices of bisimple orthodox semigroups

A structure theorem for bisimple orthodox semigroups was given by Clifford [2]. In this paper we determine all homomorphisms of a certain type from one bisimple orthodox semigroup into another, and apply the results to give a structure theorem for any semilattice of bisimple orthodox semigroups with identity in which the set of identity elements forms a subsemigroup. A special case of these results is indicated for bisimple left unipotent semigroups.     

The structure of bisimple left unipotent semigroups as ordered pairs

Call a semigroup S left unipotent if eachℒ-class of S contains exactly one idempotent. A structure theorem for bisimple left unipotent semigroups is given which reduces to that of N. R. Reilly [8] for bisimple inverse semigroups. A structure theorem, alternative to one given by R. J. Warne [13], is given for the case when the band E_S of idempotents of S is an ω-chain of right zero semigroups, and two applications of it are made. This research was partially supported by a grant from the National Science Foundation.     

A type of product for uniform semilattices

Uniform semilattices can be characterized as the semilattices of bisimple inverse semigroups [4,5]. This motivates the study of such semilattices. In particular, we may consider ways of forming uniform semilattices by combining together known ones. In this paper, we give a construction which, given two suitable semilattices, produces another semilattice, their so-called link product. The construction may be used to obtain uniform semilattices and, in particular, yields a family of pairwise non-isomorphic uniform semilattices M(r), indexed by the non-negative integer r. It is our intention to discuss in a further paper the structure of bisimple inverse semigroups with semilattice isomorphic to M(r).     

On Incidence Algebras of Combinatorial Inverse Monoids

We study the incidence algebra of the reduced standard division category of a combinatorial bisimple inverse monoid [with (E(S), ≤) locally finite], and we describe semigroups of poset type (i.e., a combinatorial inverse semigroup for which the corresponding Möbius category is a poset) as being combinatorial strict inverse semigroups. Up to isomorphism, the only Möbius-division categories are the reduced standard division categories of combinatorial inverse monoids.     

具有中心幂等元的L-弱正则半群

本文定义了具有中心幂等元的(L)-弱正则半群,研究了这类半群的代数结构.利用半群上的右同余(L)+和左同余R+,证明了半群S是一个具有中心幂等元的(L)-弱正则半群,当且仅当S是H-左可消幺半群的强半格.这推广了Clifford半群的相应结果.     

Tight inverse semigroups that are not bisimple

A semigroup is tight if each of its congruences is uniquely determined by each of the congruence classes. Bisimple inverse semigroups are tight, and tight semigroups are either simple or congruence-free with zero. Although congruence-free semigroups are tight, they are not necessarily bisimple. We construct tight inverse semigroups and tight inverse monoids that are neither bisimple nor congruence-free.     

O-simple strictly regular semigroups

In the previous paper [6], it has been proved that a semigroup S is strictly regular if and only if S is isomorphic to a quasi-direct product EX Λ of a band E and an inverse semigroup Λ. The main purpose of this paper is to present the following results and some relevant matters: (1) A quasi-direct product EX Λ of a band E and an inverse semigroup Λ is simple [bisimple] if and only if Λ is simple [bisimple], and (2) in case where EX Λ has a zero element, EX Λ is O-simple [O-bisimple] if and only if Λ is O-simple [O-bisimple]. Any notation and terminology should be referred to [1], [5] and [6], unless otherwise stated.     

半群上Rees矩阵半群的半格的结构

推广了Ｍ．Ｐｅｔｒｉｃｈ在文［１］中所用的方法，得到了幺半群上Ｒｅｅｓ矩阵半群的半格的一个结构定理．研究了单幂幺半群上Ｒｅｅｓ矩阵半群的半格的性质并给出了矩形单幂幺半群的半格的若干等价刻划．     

Inverse semigroups determined by their lattices of convex inverse subsemigroups I

Every inverse semigroup possesses a natural partial order and therefore convexity with respect to this order is of interest. We study the extent to which an inverse semigroup is determined by its lattice of convex inverse subsemigroups; that is, if the lattices of two inverse semigroups are isomorphic, how are the semigroups related? We solve this problem completely for semilattices and for inverse semigroups in general reduce it to the case where the lattice isomorphism induces an isomorphism between the semilattices of idempotents of the semigroups. For many inverse semigroups, such as the monogenic ones, this case is the only one that can occur. In Part II, a study of the reduced case enables us to prove that many inverse semigroups, such as the free ones, are strictly determined by their lattices of convex inverse subsemigroups, and to show that the answer obtained here for semilattices can be extended to a broad class of inverse semigroups, including all finite, aperiodic ones. Received September 24, 2002; accepted in final form December 15, 2002.     

Monoides de comptage et langages rationnels

We study some syntactic properties of languages obtained from rational languages through counting operations. These counting operations use the congruences-threshold p, modulo n—on the set of integers. We show that in some cases they preserve the properties of syntactic monoids: the structure of idempotent and commutative monoids is not modified, aperiodic monoids with central idempotents keep their central idempotents and their regular D-classes still are groups although not trivial, aperiodic left (right) nilsimple semigroups still have regular R (L)-classes which are (non trivial) groups. If possible results are expressed in terms of varieties of semigroups or monoids.     

Orthodox semigroups whose idempotents satisfy a certain identity

An orthodox semigroup S is called a left [right] inverse semigroup if the set of idempotents of S satisfies the identity xyx=xy [xyx=yx]. Bisimple left [right] inverse semigroups have been studied by Venkatesan [6]. In this paper, we clarify the structure of general left [right] inverse semigroups. Further, we also investigate the structure of orthodox semigroups whose idempotents satisfy the identity xyxzx=xyzx. In particular, it is shown that the set of idempotents of an orthodox semigroup S satisfies xyxzx=xyzx if and only if S is isomorphic to a subdirect product of a left inverse semigroup and a right inverse semigroup.     

Clifford semigroups as functors and their cohomology

We prove that the category of Clifford semigroups and prehomomorphisms CSP\mathcal{CSP} is isomorphic to a certain subcategory of the category of diagrams over groups. Under this isomorphism, Clifford semigroups are identified with certain functors. As an application of the isomorphism theorem, we show that the category with objects commutative inverse semigroups having the same semilattice of idempotents and with morphisms, the inverse semigroup homomorphisms that fix the semilattice, imbeds into a category of right modules over a certain ring. Also we find a very close relationship between the cohomology groups of a commutative inverse monoid and the cohomology groups of the colimit group of the functor giving the monoid.     

Context equivalence of semigroups

Two semigroups are called strongly Morita equivalent if they are contained in a Morita context with unitary bi-acts and surjective mappings. We consider the notion of context equivalence which is obtained from the notion of strong Morita equivalence by dropping the requirement of unitariness. We show that context equivalence is an equivalence relation on the class of factorisable semigroups and describe factorisable semigroups that are context equivalent to monoids or groups, and semigroups with weak local units that are context equivalent to inverse semigroups, orthodox semigroups or semilattices.     

Categorical semigroups

This investigation was stimulated by a question raised by F.R. McMorris and M. Satyanarayana [Proc. Amer. Math. Soc. 33 (1972), 271–277] which asked whether a regular semigroup with a tree of idempotents is categorical. The question is answered in the affirmative. Characterizations of categorical semigroups are found within the following classes of semigroups: regular semigroups, bands, commutative regular semigroups, unions of simple semigroups, semilattices of groups, and commutative semigroups. Some results are related to part of the work of M. Petrich [Trans. Amer. Math. Soc. 170 (1972), 245–268]. For instance, it is shown that the poset of J-classes of any regular categorical semigroup is a tree; however, an example of a regular non-categorical semigroup is given in which the poset of J-classes is a chain. It is also shown that the condition that the subsemigroup of idempotents be categorical is sufficient, but not necessary, for an orthodox semigroup to be categorical.     

Proper two-sided restriction semigroups and partial actions

Two-sided restriction semigroups and their handed versions arise from a number of sources. Attracting a deal of recent interest, they appear under a plethora of names in the literature. The class of left restriction semigroups essentially provides an axiomatisation of semigroups of partial mappings. It is known that this class admits proper covers, and that proper left restriction semigroups can be described by monoids acting on the left of semilattices. Any proper left restriction semigroup embeds into a semidirect product of a semilattice by a monoid, and moreover, this result is known in the wider context of left restriction categories. The dual results hold for right restriction semigroups.What can we say about two-sided restriction semigroups, hereafter referred to simply as restriction semigroups? Certainly, proper covers are known to exist. Here we consider whether proper restriction semigroups can be described in a natural way by monoids acting on both sides of a semilattice.It transpires that to obtain the full class of proper restriction semigroups, we must use partial actions of monoids, thus recovering results of Petrich and Reilly and of Lawson for inverse semigroups and ample semigroups, respectively. We also describe the class of proper restriction semigroups such that the partial actions can be mutually extendable to actions. Proper inverse and free restriction semigroups (which are proper) have this form, but we give examples of proper restriction semigroups which do not.