Rees matrix covers for a class of locally U-commutative semigroups

Given the importance of Morita theory of semigroups, we continue the study on the local structure of semigroups. Here we consider a class of nonregular semigroups, called locally U-commutative semigroups having U-local units, containing the classes of locally inverse semigroups, locally adequate semigroups, locally Ehresmann semigroups, and semigroups with local units having locally commuting idempotents. Our aim is to give a Rees matrix covering theorem for such semigroups with a partial McAlister sandwich bundle, and hence to put all the existing results into one context.     

Maximal Dense Ideal Extensions of Locally Inverse Semigroups

Every locally inverse semigroup has a maximal dense ideal extension within the class of all locally inverse semigroups.     

Locally anisotropic toposes

This paper continues the investigation of isotropy theory for toposes. We develop the theory of isotropy quotients of toposes, culminating in a structure theorem for a class of toposes we call locally anisotropic. The theory has a natural interpretation for inverse semigroups, which clarifies some aspects of how inverse semigroups and toposes are related.     

Bisimple inverse semigroups whose idempotents are an interval

Bisimple locally compact topological inverse semigroups whose maximal subgroups are compact and whose set of idempotents is a real interval are studied in this paper. The structure of such semigroups is shown to be entirely determined by their maximal subgroups in case the semigroups come from a certain subclass which includes the connected ones. The factor semigroups moduloH are completely determined.     

Naturally ordered regular semigroups with an inverse monoid transversal

The notion of an inverse transversal of a regular semigroup is well-known. Here we investigate naturally ordered regular semigroups that have an inverse transversal. Such semigroups are necessarily locally inverse and the inverse transversal is a quasi-ideal. After considering various general properties that relate the imposed order to the natural order, we highlight the situation in which the inverse transversal is a monoid. The regularity of Green’s relations is also characterised. Finally, we determine the structure of a naturally ordered regular semigroup with an inverse monoid transversal.     

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.     

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.     

The Universal Covering of an Inverse Semigroup

We examine an inverse semigroup T in terms of the universal locally constant covering of its classifying topos . In particular, we prove that the fundamental group of coincides with the maximum group image of T. We explain the connection between E-unitary inverse semigroups and locally decidable toposes, characterize E-unitary inverse semigroups in terms of a kind of geometric morphism called a spread, characterize F-inverse semigroups, and interpret McAlister’s “P-theorem” in terms of the universal covering.     

A Munn tree type representation for the elements of the bifree locally inverse semigroup

The Munn tree representation for the elements of the free inverse monoid is an elegant and useful tool in the theory of inverse semigroups. It has been the starting point for many of the subsequent developments in this theory. In the present paper we generalize this representation for the elements of the bifree locally inverse semigroup. We will represent each element of the bifree locally inverse semigroup as an undirected tree whose vertices, called blocks, are special vertex-labeled graphs themselves. Another distinctive characteristic of these graphs is that they have different types of edges.

     

The existence of free products in existence varieties of regular semigroups

It is shown that an existence varietyV of regular semigroups contains (all) free products if and only ifV consists solely of locally inverse orE-solid semigroups.Presented by B. M. Schein.The author is indebted to the Australian Research Council for financial support (ARC grant A69231516).     

Generalised Existence Varieties of Regular Semigroups

In this article we introduce the concept of a generalised existence variety of regular semigroups. This concept is analogous to that of a generalised variety of algebras of fixed finite type. We show that for regular semigroups that are E-solid or locally inverse, generalised existence varieties provide a link between e-varieties and e-pseudovarieties. Other results concerning e-varieties and e-pseudovarieties can then be obtained.     

Perfect semigroups and aliens

A topologized semigroup is called perfect if its multiplication is a perfect map (= a closed continuous mapping such that the inverse image of every point is compact). Thus a locally compact topological semigroup is perfect if and only if its multiplication is closed and each of its elements is compactly divided, that is, its divisors form a compact set. In the present paper we study compactly and non-compactly divided elements in the contexts of general locally compact semigroups, subsemigroups of groups, Lie semigroups and subsemigroups of Sl(2, ?).     

Perfect Semigroups and Aliens

Abstract. A topologized semigroup is called perfect if its multiplication is a perfect map (= a closed continuous mapping such that the inverse image of every point is compact). Thus a locally compact topological semigroup is perfect if and only if its multiplication is closed and each of its elements is compactly divided , that is, its divisors form a compact set. In the present paper we study compactly and non-compactly divided elements in the contexts of general locally compact semigroups, subsemigroups of groups, Lie semigroups and subsemigroups of Sl(2,R).     

E-varieties of regular semigroups,relatively bifree objects and fully invariant congruences

Analogous to the concept of a free object on a setX in a variety of algebras is the notion of a bifree object onX in an e-variety of regular semigroups. If an e-variety contains a bifree object onX, then a homomorphic image of that bifree object is itself bifree onX in some e-variety if and only if the corresponding congruence is fully invariant. Furthermore, the lattice of e-subvarieties of any locally inverse or E-solid e-variety ε is antiisomorphic with the lattice of all fully invariant congruences on the bifree object on a countably infinite setX in ε. We give a Birkhoff-type theorem for classes of locally inverse or E-solid semigroups, and we give an intrinsic test for whether or not a regular semigroup is bifree onX in the e-variety it generates.     

Free orthodox semigroups and free bands with inverse transversals

It is well known that the subclass of inverse semigroups and the subclass of completely regular semigroups of the class of regular semigroups form the so called e-varieties of semigroups. However, the class of regular semigroups with inverse transversals does not belong to this variety. We now call this class of semigroups the ist-variety of semigroups, and denote it by IST. In this paper, we consider the class of orthodox semigroups with inverse transversals, which is a special ist-variety and is denoted by OIST. Some previous results given by Tang and Wang on this topic are extended. In particular, the structure of free bands with inverse transversals is investigated. Results of McAlister, McFadden, Blyth and Saito on semigroups with inverse transversals are hence generalized and enriched.     

Hausdorff tight groupoids generalised

We extend Exel’s ample tight groupoid construction to general locally compact étale groupoids in the Hausdorff case. Moreover, we show how inverse semigroups are represented in this way as ‘pseudobases’ of open bisections, thus yielding a duality which encompasses various extensions of the classic Stone duality.     

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.     

一类逆半群的亚直可约性

本文利用逆半群上的同余扩张，讨论了一类逆半群的亚直可约性，并刻划了这类逆半群的幂等元集的特征。