Inverse subsemigroups and classes of finite aperiodic semigroups

We prove a number of results related to finite semigroups and their inverse subsemigroups, including the following. (1) A finite semigroup is aperiodic if and only if it is a homomorphic image of a finite semigroup whose inverse subsemigroups are semilattices. (2) A finite inverse semigroup can be represented by order-preserving mappings on a chain if and only if it is a semilattice. Finally, we introduce the concept of pseudo-small quasivariety of finite semigroups, generalizing the concept of small variety.     

A Parametrization of the Irreducible Representations of a Compact Inverse Semigroup

The aim in this article is to provide a parametrization of the finite dimensional irreducible representations of a compact inverse semigroup in terms of the irreducible representations of maximal subgroups and order theoretic properties of the idempotent set. As a consequence, we obtain a new, and more conceptual, proof of the following theorem of Shneperman: a compact inverse semigroup has enough finite dimensional irreducible representations to separate points if and only if its idempotent set is totally disconnected. Moreover, we also prove that every norm continuous irreducible *-representation of a compact inverse semigroup on a Hilbert space is finite dimensional.     

Characters of finite inverse semigroups

For elements of a finite inverse semigroup, an equivalence relation called p-conugacy is introduced. It is proved that for any matrix representation of a finite inverse semigroup the values of the character of the representation are equal on p-conjugate elements. The number of inequivalent irreducible matrix representations of a finite inverse semigroup over the field of complex numbers is equal to the number of classes of p-conjugate elements.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 71, pp. 207–215, 1977.     

矩阵逆半群

讨论矩阵逆半群的一些基本性质, 证明矩阵逆半群的幂等元集是有限布尔格的子半格, 从而证明等秩矩阵逆半群是群, 然后完全确定二级矩阵逆半群的结构：一个二级矩阵逆半群或者同构于二级线性群,或者同构于二级线性群添加一个零元素,或者是交换线性群的有限半格, 或者满足其他一些性质; 对于由某些二级矩阵构成的集合, 我们给出了它们成为矩阵逆半群的充分必要条件.     

Some properties of Umar semigroups: isomorphism theorems,ranks and maximal inverse subsemigroups

In a paper published in 1994, Umar defined an interesting class of transformation semigroups which naturally generalizes the Vagner one-point completion of the symmetric inverse semigroup. In this paper we prove some isomorphism theorems for finite such semigroups and compute their ranks. Moreover, we determine all maximal inverse subsemigroups of an arbitrary transformation semigroup of this type which is not inverse.     

Approximate amenability of certain inverse semigroup algebras

In this article, the approximate amenability of semigroup algebra ?¹(S) is investigated, where (S) is a uniformly locally finite inverse semigroup. Indeed, we show that for a uniformly locally finite inverse semigroup (S), the notions of amenability, approximate amenability and bounded approximate amenability of ?¹(S) are equivalent. We use this to give a direct proof of the approximate amenability of ?¹(S) for a Brandt semigroup (S). Moreover, we characterize the approximate amenability of ?¹(S), where S is a uniformly locally finite band semigroup.     

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.     

Howson's Property for Semidirect Products of Semilattices by Groups

An inverse semigroup S is a Howson inverse semigroup if the intersection of finitely generated inverse subsemigroups of S is finitely generated. Given a locally finite action θ of a group G on a semilattice E, it is proved that E*_θG is a Howson inverse semigroup if and only if G is a Howson group. It is also shown that this equivalence fails for arbitrary actions.     

Frucht theorem for inverse semigroups

In the paper, the problem of representing a finite inverse semigroup by partial transformations of a graph is treated. The notions of weighted graph and its weighted partial isomorphisms are introduced. The main result is that any finite inverse semigroup is isomorphic to the semigroup of weighted partial isomorphisms of a weighted graph. This assertion is a natural generalization of the Frucht theorem for groups. Translated fromMatematicheskie Zametki, Vol. 61, No. 2, pp. 246–251, February, 1997. This research was partially supported by the International Science Foundation under grant No. GSU 041049. Translated by A. I. Shtern     

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.     

Semiprimitivity of Orthodox Semigroup Algebras

Let S be a finite orthodox semigroup or an orthodox semigroup where the idempotent band E(S) is locally pseudofinite. In this paper, by using principal factors and Rukolaǐne idempotents, we show that the contracted semigroup algebra R₀[S] is semiprimitive if and only if S is an inverse semigroup and R[G] is semiprimitive for each maximal subgroup G of S. This theorem strengthens previous results about the semiprimitivity of inverse semigroup algebras.     

The word problem for some classes of Adian inverse semigroups

We show that all of the Schützenberger complexes of an Adian inverse semigroup are finite if the Schützenberger complex of every positive word is finite. This enables us to solve the word problem for certain classes of Adian inverse semigroups (and hence for the corresponding Adian semigroups and Adian groups).     

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.     

Structure of a finite commutative inverse semigroup and a finite bundle for which the inverse monoid of local automorphisms is permutable

For a semigroup S, the set of all isomorphisms between the subsemigroups of the semigroup S with respect to composition is an inverse monoid denoted by PA(S) and called the monoid of local automorphisms of the semigroup S. The semigroup S is called permutable if, for any couple of congruences ρ and σ on S, we have ρ ∘ σ = σ ∘ ρ. We describe the structures of a finite commutative inverse semigroup and a finite bundle whose monoids of local automorphisms are permutable.     

Structure of a finite inverse semigroup with zero every stable order on which is fundamental or antifundamental

We establish necessary and sufficient conditions for any stable order on a finite inverse semigroup with zero to be fundamental or antifundamental.     

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.

     

A Presentation of the Singular Part of the Symmetric Inverse Monoid#

We give a semigroup presentation of the singular part of the symmetric inverse monoid on a finite set. Along the way, we derive a monoid presentation of the monoid of all order-preserving injective partial transformations on a finite chain, which differs from the presentation discovered by Fernandes.     

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.