We study analogues of Kronecker coefficients for symmetric inverse semigroups, for dual symmetric inverse semigroups and for the inverse semigroups of bijections between subquotients of finite sets. In all cases, we reduce the problem of determination of such coefficients to some group-theoretic and combinatorial problems. For symmetric inverse semigroups, we provide an explicit formula in terms of the classical Kronecker and Littlewood–Richardson coefficients for symmetric groups.

This paper studies the structure and preservational properties of lower bounded HNN extensions of inverse semigroups, as introduced by Jajcayová. We show that if $S^* = [ S;\; U_1,U_2;\; \phi ]$ is a lower bounded HNN extension then the maximal subgroups of $S^*$ may be described using Bass-Serre theory, as the fundamental groups of certain graphs of groups defined from the $\mathcal{D}$-classes of $S$, $U_1$ and $U_2$. We then obtain a number of results concerning when inverse semigroup properties are preserved under the HNN extension construction. The properties considered are completely semisimpleness, having finite $\mathcal{R}$-classes, residual finiteness, being $E$-unitary, and $0$-$E$-unitary. Examples are given, such as an HNN extension of a polycylic inverse monoid.

For a given inverse semigroup action on a topological space, one can associate an étale groupoid. We prove that there exists a correspondence between the certain subsemigroups and the open wide subgroupoids in case that the action is strongly tight. Combining with the recent result of Brown et al., we obtain a correspondence between the certain subsemigroups of an inverse semigroup and the Cartan intermediate subalgebras of a groupoid C*-algebra.

Given an action ${\varphi }$ of inverse semigroup S on a ring A (with domain of ${\varphi }(s)$ denoted by $D_{s^*}$ ), we show that if the ideals $D_e$ , with e an idempotent, are unital, then the skew inverse semigroup ring $A\rtimes S$ can be realized as the convolution algebra of an ample groupoid with coefficients in a sheaf of (unital) rings. Conversely, we show that the convolution algebra of an ample groupoid with coefficients in a sheaf of rings is isomorphic to a skew inverse semigroup ring of this sort. We recover known results in the literature for Steinberg algebras over a field as special cases.

In this paper, we give a different proof of the fact that the odd dimensional quantum spheres are groupoid ${{C}^{*}}$-algebras. We show that the ${{C}^{*}}$-algebra $C\left( S_{q}^{2\ell +1} \right)$ is generated by an inverse semigroup $T$ of partial isometries. We show that the groupoid ${{\mathcal{G}}_{tight}}$ associated with the inverse semigroup $T$ by Exel is exactly the same as the groupoid considered by Sheu.

Paterson showed how to construct an étale groupoid from an inverse semigroup using ideas from functional analysis. This construction was later simplified by Lenz. We show that Lenz’s construction can itself be further simplified by using filters: the topological groupoid associated with an inverse semigroup is precisely a groupoid of filters. In addition, idempotent filters are closed inverse subsemigroups and so determine transitive representations by means of partial bijections. This connection between filters and representations by partial bijections is exploited to show how linear representations of inverse semigroups can be constructed from the groups occurring in the associated topological groupoid.

In this paper we prove two main results. The first is a necessary and sufficient condition for a semidirect product of a semilattice by a group to be finitely generated. The second result is a necessary and sufficient condition for such a semidirect product to be finitely presented.

Adapting the theory of the derived category to ordered groupoids, we prove that every ordered functor (and thus every inverse and regular semigroup homomorphism) factors as an enlargement followed by an ordered fibration. As an application, we obtain Lawson’s version of Ehresmann’s Maximum Enlargement Theorem, from which can be deduced the classical theory of idempotent-pure inverse semigroup homomorphisms and $E$-unitary inverse semigroups.

AMS 2000 Mathematics subject classification: Primary 20M18; 20L05; 20M17

We show how to construct a topological groupoid directly from an inverse semigroup and prove that it is isomorphic to the universal groupoid introduced by Paterson. We then turn to a certain reduction of this groupoid. In the case of inverse semigroups arising from graphs (respectively, tilings), we prove that this reduction is the graph groupoid introduced by Kumjian \et (respectively, the tiling groupoid of Kellendonk). We also study the open invariant sets in the unit space of this reduction in terms of certain order ideals of the underlying inverse semigroup. This can be used to investigate the ideal structure of the associated reduced $C^\ast$-algebra.

The symmetric inverse monoid $\mathcal{I}_{n}$ is the set of all partial permutations of an $n$-element set. The largest possible size of a $2$-generated subsemigroup of $\mathcal{I}_{n}$ is determined. Examples of semigroups with these sizes are given. Consequently, if $M(n)$ denotes this maximum, it is shown that $M(n)/|\mathcal{I}_{n}|\rightarrow1$ as $n\rightarrow\infty$. Furthermore, we deduce the known fact that $\mathcal{I}_{n}$ embeds as a local submonoid of an inverse $2$-generated subsemigroup of $\mathcal{I}_{n+1}$.

We construct the freest idempotent-pure expansion of an inverse semigroup, generalizing an expansion of Margolis and Meakin for the group case. We also generalize the Birget-Rhodes prefix expansion to inverse semigroups with an application to partial actions of inverse semigroups. In the process of generalizing the latter expansion, we are led to a new class of idempotent-pure homomorphisms which we term F-morphisms. These play the same role in the theory of idempotent-pure homomorphisms that F-inverse monoids play in the theory of E-unitary inverse semigroups.

Given an integer $n$, we show that $\mathcal{I}_{n}$ embeds in a 2-generated subsemigroup of $\mathcal{I}_{n+2}$, which is an inverse semigroup. An immediate consequence of this result is the following, which is analogous to the case for groups and semigroups: every finite inverse semigroup may be embedded in a finite 2-generated semigroup which is an inverse semigroup.

AMS 2000 Mathematics subject classification: Primary 20M18. Secondary 20M20

We investigate a locally full HNN extension of an inverse semigroup. A normal form theorem is obtained and applied to the word problem. We construct a tree and show that a maximal subgroup of a locally full HNN extension acts on the tree without inversion. Bass-Serre theory is employed to obtain a group presentation of the maximal subgroup as a fundamental group of a certain graph of groups associated with the D-structure of the original semigroup.

This note gives a necessary condition, in terms of graded actions, for an inverse semigroup to be a full amalgam. Under a mild additional hypothesis, the condition becomes sufficient.