The monogenic free inverse semigroup $FI_1$ is not finitely presented as a semigroup due to the classic result by Schein (1975). We extend this result and prove that a finitely generated subsemigroup of $FI_1$ is finitely presented if and only if it contains only finitely many idempotents. As a consequence, we derive that an inverse subsemigroup of $FI_1$ is finitely presented as a semigroup if and only if it is a finite semilattice.

The complex algebra of an inverse semigroup with finitely many idempotents in each $\mathcal D$-class is stably finite by a result of Munn. This can be proved fairly easily using $C^{*}$-algebras for inverse semigroups satisfying this condition that have a Hausdorff universal groupoid, or more generally for direct limits of inverse semigroups satisfying this condition and having Hausdorff universal groupoids. It is not difficult to see that a finitely presented inverse semigroup with a non-Hausdorff universal groupoid cannot be a direct limit of inverse semigroups with Hausdorff universal groupoids. We construct here countably many nonisomorphic finitely presented inverse semigroups with finitely many idempotents in each $\mathcal D$-class and non-Hausdorff universal groupoids. At this time, there is not a clear $C^{*}$-algebraic technique to prove these inverse semigroups have stably finite complex algebras.

We investigate the groups of units of one-relator and special inverse monoids. These are inverse monoids which are defined by presentations, where all the defining relations are of the form $r=1$. We develop new approaches for finding presentations for the group of units of a special inverse monoid, and apply these methods to give conditions under which the group admits a presentation with the same number of defining relations as the monoid. In particular, our results give sufficient conditions for the group of units of a one-relator inverse monoid to be a one-relator group. When these conditions are satisfied, these results give inverse semigroup theoretic analogues of classical results of Adjan for one-relator monoids, and Makanin for special monoids. In contrast, we show that in general these classical results do not hold for one-relator and special inverse monoids. In particular, we show that there exists a one-relator special inverse monoid whose group of units is not a one-relator group (with respect to any generating set), and we show that there exists a finitely presented special inverse monoid whose group of units is not finitely presented.

A prefix monoid is a finitely generated submonoid of a finitely presented group generated by the prefixes of its defining relators. Important results of Guba (1997), and of Ivanov, Margolis and Meakin (2001), show how the word problem for certain one-relator monoids, and inverse monoids, can be reduced to solving the membership problem in prefix monoids of certain one-relator groups. Motivated by this, in this paper, we study the class of prefix monoids of finitely presented groups. We obtain a complete description of this class of monoids. All monoids in this family are finitely generated, recursively presented and group-embeddable. Our results show that not every finitely generated recursively presented group-embeddable monoid is a prefix monoid, but for every such monoid, if we take a free product with a suitably chosen free monoid of finite rank, then we do obtain a prefix monoid. Conversely, we prove that every prefix monoid arises in this way. Also, we show that the groups that arise as groups of units of prefix monoids are precisely the finitely generated recursively presented groups, whereas the groups that arise as Schützenberger groups of prefix monoids are exactly the recursively enumerable subgroups of finitely presented groups. We obtain an analogous result classifying the Schützenberger groups of monoids of right units of special inverse monoids. We also give some examples of right cancellative monoids arising as monoids of right units of finitely presented special inverse monoids, and we show that not all right cancellative recursively presented monoids belong to this class.

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 every group G, the set $\mathcal {P}(G)$ of its subsets forms a semiring under set-theoretical union $\cup $ and element-wise multiplication $\cdot $, and forms an involution semigroup under $\cdot $ and element-wise inversion ${}^{-1}$. We show that if the group G is finite, non-Dedekind, and solvable, neither the semiring $(\mathcal {P}(G),\cup ,\cdot )$ nor the involution semigroup $(\mathcal {P}(G),\cdot ,{}^{-1})$ admits a finite identity basis. We also solve the finite basis problem for the semiring of Hall relations over any finite set.

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.

We examine a semigroup analogue of the Kumjian–Renault representation of C*-algebras with Cartan subalgebras on twisted groupoids. Specifically, we represent semigroups with distinguished normal subsemigroups as ‘slice-sections’ of groupoid bundles.

Twisted étale groupoid algebras have recently been studied in the algebraic setting by several authors in connection with an abstract theory of Cartan pairs of rings. In this paper we show that extensions of ample groupoids correspond in a precise manner to extensions of Boolean inverse semigroups. In particular, discrete twists over ample groupoids correspond to certain abelian extensions of Boolean inverse semigroups, and we show that they are classified by Lausch’s second cohomology group of an inverse semigroup. The cohomology group structure corresponds to the Baer sum operation on twists.

We also define a novel notion of inverse semigroup crossed product, generalizing skew inverse semigroup rings, and prove that twisted Steinberg algebras of Hausdorff ample groupoids are instances of inverse semigroup crossed products. The cocycle defining the crossed product is the same cocycle that classifies the twist in Lausch cohomology.

For a given inverse semigroup, one can associate an étale groupoid which is called the universal groupoid. Our motivation is studying the relation between inverse semigroups and associated étale groupoids. In this paper, we focus on congruences of inverse semigroups, which is a fundamental concept for considering quotients of inverse semigroups. We prove that a congruence of an inverse semigroup induces a closed invariant set and a normal subgroupoid of the universal groupoid. Then we show that the universal groupoid associated to a quotient inverse semigroup is described by the restriction and quotient of the original universal groupoid. Finally we compute invariant sets and normal subgroupoids induced by special congruences including abelianization.

It is shown that, for every prime number p, the complete lattice of all semidirectly closed pseudovarieties of finite monoids whose intersection with the pseudovariety G of all finite groups is equal to the pseudovariety Gp of all finite p-groups has the cardinality of the continuum. Furthermore, it is shown, in addition, that the complete lattice of all semidirectly closed pseudovarieties of finite monoids whose intersection with the pseudovariety G of all finite groups is equal to the pseudovariety Gsol of all finite solvable groups has also the cardinality of the continuum.

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.

If $f:\tilde{\unicode[STIX]{x1D6E4}}\rightarrow \unicode[STIX]{x1D6E4}$ is a covering map between connected graphs, and $H$ is the subgroup of $\unicode[STIX]{x1D70B}_{1}(\unicode[STIX]{x1D6E4},v)$ used to construct the cover, then it is well known that the group of deck transformations of the cover is isomorphic to $N(H)/H$, where $N(H)$ is the normalizer of $H$ in $\unicode[STIX]{x1D70B}_{1}(\unicode[STIX]{x1D6E4},v)$. We show that an entirely analogous result holds for immersions between connected graphs, where the subgroup $H$ is replaced by the closed inverse submonoid of the inverse monoid $L(\unicode[STIX]{x1D6E4},v)$ used to construct the immersion. We observe a relationship between group actions on graphs and deck transformations of graph immersions. We also show that a graph immersion $f:\tilde{\unicode[STIX]{x1D6E4}}\rightarrow \unicode[STIX]{x1D6E4}$ may be extended to a cover $g:\tilde{\unicode[STIX]{x1D6E5}}\rightarrow \unicode[STIX]{x1D6E4}$ in such a way that all deck transformations of $f$ are restrictions of deck transformations of $g$.

In the 1970s, Feldman and Moore classified separably acting von Neumann algebras containing Cartan maximal abelian self-adjoint subalgebras (MASAs) using measured equivalence relations and 2-cocycles on such equivalence relations. In this paper we give a new classification in terms of extensions of inverse semigroups. Our approach is more algebraic in character and less point-based than that of Feldman and Moore. As an application, we give a restatement of the spectral theorem for bimodules in terms of subsets of inverse semigroups. We also show how our viewpoint leads naturally to a description of maximal subdiagonal algebras.

An inverse semigroup $S$ is combinatorially factorizable if $S\,=\,TG$ where $T$ is a combinatorial (i.e., $\mathcal{H}$ is the equality relation) inverse subsemigroup of $S$ and $G$ is a subgroup of $S$. This concept was introduced and studied by Mills, especially in the case when $S$ is cryptic (i.e., $\mathcal{H}$ is a congruence on $S$). Her approach is mainly analytical considering subsemigroups of a cryptic inverse semigroup.

We start with a combinatorial inverse monoid and a factorizable Clifford monoid and from an action of the former on the latter construct the semigroups in the title. As a special case, we consider semigroups that are direct products of a combinatorial inverse monoid and a group.

A semigroup B in which every element is an idempotent can be embedded into such a semigroup B′, where all the local submonoids are isomorphic, and in such a way that B and B′ satisfy the same equational identities. In view of the properties preserved under this embedding, a corresponding embedding theorem is obtained for regular semigroups whose idempotents form a subsemigroup.

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.

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.

In this paper we introduce the notion of normally ordered block-group as a natural extension of the notion of normally ordered inverse semigroup considered previously by the author. We prove that the class NOS of all normally ordered block-groups forms a pseudovariety of semigroups and, by using the Munn representation of a block-group, we deduce the decompositions in Mal'cev products NOS = EIPOI and NOS ∩ A = NPOI, where A, EI and N denote the pseudovarieties of all aperiodic semigroups, all semigroups with just one idempotent and all nilpotent semigroups, respectively, and POI denotes the pseudovariety of semigroups generated by all semigroups of injective order-preserving partial transformations on a finite chain. These relations are obtained after showing the equalities BG = EIEcom = NEcom, where BG and Ecom denote the pseudovarieties of all block-groups and all semigroups with commuting idempotents, respectively.