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.     

Möbius functions and semigroup representation theory

This paper explores several applications of Möbius functions to the representation theory of finite semigroups. We extend Solomon's approach to the semigroup algebra of a finite semilattice via Möbius functions to arbitrary finite inverse semigroups. This allows us to explicitly calculate the orthogonal central idempotents decomposing an inverse semigroup algebra into a direct product of matrix algebras over group rings. We also extend work of Bidigare, Hanlon, Rockmore and Brown on calculating eigenvalues of random walks associated to certain classes of finite semigroups; again Möbius functions play an important role.     

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.     

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).     

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.     

Pseudogroups and their étale groupoids

A pseudogroup is a complete infinitely distributive inverse monoid. Such inverse monoids bear the same relationship to classical pseudogroups of transformations as frames do to topological spaces. The goal of this paper is to develop the theory of pseudogroups motivated by applications to group theory, C^∗$C^{\ast }$-algebras and aperiodic tilings. Our starting point is an adjunction between a category of pseudogroups and a category of étale groupoids from which we are able to set up a duality between spatial pseudogroups and sober étale groupoids. As a corollary to this duality, we deduce a non-commutative version of Stone duality involving what we call boolean inverse semigroups and boolean étale groupoids, as well as a generalization of this duality to distributive inverse semigroups. Non-commutative Stone duality has important applications in the theory of C^∗$C^{\ast }$-algebras: it is the basis for the construction of Cuntz and Cuntz–Krieger algebras and in the case of the Cuntz algebras it can also be used to construct the Thompson groups. We then define coverages on inverse semigroups and the resulting presentations of pseudogroups. As applications, we show that Paterson’s universal groupoid is an example of a booleanization, and reconcile Exel’s recent work on the theory of tight maps with the work of the second author.     

Largest subsemigroups of the full transformation monoid

In this paper we are concerned with the following question: for a semigroup S, what is the largest size of a subsemigroup T?S where T has a given property? The semigroups S that we consider are the full transformation semigroups; all mappings from a finite set to itself under composition of mappings. The subsemigroups T that we consider are of one of the following types: left zero, right zero, completely simple, or inverse. Furthermore, we find the largest size of such subsemigroups U where the least rank of an element in U is specified. Numerous examples are given.     

Presentations for rook partition monoids and algebras and their singular ideals

We obtain several presentations by generators and relations for the rook partition monoids and algebras, as well as their singular ideals. Among other results, we also calculate the minimal sizes of generating sets (some of our presentations use such minimal-size generating sets), and show that the singular part of the rook partition monoid is generated by its idempotents.     

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.     

\mathcal{P}\mathcal{A}{\text{-isomorphisms}} of inverse semigroups

A partial automorphism of a semigroup S is any isomorphism between its subsemigroups, and the set all partial automorphisms of S with respect to composition is an inverse monoid called the partial automorphism monoid of S. Two semigroups are said to be if their partial automorphism monoids are isomorphic. A class of semigroups is called if it contains every semigroup to some semigroup from Although the class of all inverse semigroups is not we prove that the class of inverse semigroups, in which no maximal isolated subgroup is a direct product of an involution-free periodic group and the two-element cyclic group, is It follows that the class of all combinatorial inverse semigroups (those with no nontrivial subgroups) is A semigroup is called if it is isomorphic or antiisomorphic to any semigroup that is to it. We show that combinatorial inverse semigroups which are either shortly connected [5] or quasi-archimedean [10] are To Ralph McKenzieReceived April 15, 2004; accepted in final form October 7, 2004.     

On generalized inverses and Green’s relations

We study generalized inverses on semigroups by means of Green’s relations. We first define the notion of inverse along an element and study its properties. Then we show that the classical generalized inverses (group inverse, Drazin inverse and Moore-Penrose inverse) belong to this class.     

Embedding theorems for HNN extensions of inverse semigroups

A variant of an HNN extension of an inverse semigroup introduced by Gilbert [N.D. Gilbert, HNN extensions of inverse semigroups and groupoids, J. Algebra 272 (2004) 27-45] is defined provided that associated subsemigroups are order ideals. We show this presentation still makes sense without the assumption on associated subsemigroups in the sense that it gives a semigroup deserving to be an HNN extension, and it is embedded into another variant using the automata theoretical technique based on combinatorial and geometrical properties of Schützenberger graphs.     

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.     

Schur–Weyl dualities for symmetric inverse semigroups

We obtain Schur–Weyl dualities in which the algebras, acting on both sides, are semigroup algebras of various symmetric inverse semigroups and their deformations.     

Right projective semigroups with 0

We describe the semigroups S with 0 that are projective in the category of right S-objects, i.e. of centered right S-operands. Among them are the free semigroups with an adjoined zero, and several characterizations of this subclass are given. Two other classes, one of them close to free semigroups with 0, the other rather far apart, are discussed in detail. The first class consists of semigroups of finite and infinite sequences, with multiplication based on concatenation. The second is formed by the projectives in the category of (S,S)-biobjects.     

Comparing the regular and the restricted regular semidirect products

We compare the two recently introduced semidirect product operations *_r and *_rr within the lattice of e-varieties of locally inverse semigroups. For each e-variety which contains all rectangular bands and is properly contained in the e-variety of all completely simple semigroups, the inclusions are proved where is the e-variety of all semilattices and the variety of all abelian groups of exponent dividing q where q is any integer greater than one. Some consequences for the class of finite locally inverse semigroups are also obtained.     

McAlister's P-Theorem via Schützenberger Graphs

Abstract

We give a short proof, using Schützenberger graphs, of McAlister's P-theorem. The proof, when restricted to free inverse semigroups, turns into Munn's geometric multiplication of Munn trees.     

A groupoid approach to discrete inverse semigroup algebras

Let K be a commutative ring with unit and S an inverse semigroup. We show that the semigroup algebra KS can be described as a convolution algebra of functions on the universal étale groupoid associated to S by Paterson. This result is a simultaneous generalization of the author's earlier work on finite inverse semigroups and Paterson's theorem for the universal C^∗-algebra. It provides a convenient topological framework for understanding the structure of KS, including the center and when it has a unit. In this theory, the role of Gelfand duality is replaced by Stone duality.Using this approach we construct the finite dimensional irreducible representations of an inverse semigroup over an arbitrary field as induced representations from associated groups, generalizing the case of an inverse semigroup with finitely many idempotents. More generally, we describe the irreducible representations of an inverse semigroup S that can be induced from associated groups as precisely those satisfying a certain “finiteness condition.” This “finiteness condition” is satisfied, for instance, by all representations of an inverse semigroup whose image contains a primitive idempotent.     

Laws of large numbers for polynomial hypergroups and some applications

There are introduced moments on polynomial hypergroups. These moments are used to prove strong laws of large number (SSLLNs) for random walks on the nonnegative integers that are homogeneous with respect to a polynomial hypergroup where SLLNs of different kind appear for polynomial hypergroups thth different properties. Furthermore, we discuss polynomial hypergroups that are associated with some discrete semigroups in a canonical way, and, using SLLNs for polynomial hypergroups, we get SLLNs for isotropic random walks on some discrete semigroups.