Related papers: Consonant inverse semigroups

We show that the word problem for an amalgam $[S_1,S_2;U,\omega_1,\omega_2]$ of inverse semigroups may be undecidable even if we assume $S_1$ and $S_2$ (and therefore $U$) to have finite $\mathcal{R}$-classes and $\omega_1,\omega_2$ to be…

Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is $injectively$ $\mathcal C$-$closed$ if $X$ is closed in each topological semigroup $Y\in\mathcal C$ containing $X$ as a subsemigroup. Let $\mathsf{T_{\!2}S}$ (resp.…

Let $Q$ be an inverse semigroup. A subsemigroup $S$ of $Q$ is a left I-order in $Q$ and $Q$ is a semigroup of left I-quotients of $S$ if every element in $Q$ can be written as $a^{-1}b$, where $a, b \in S$ and $a^{-1}$ is the inverse of $a$…

It was noticed recently that, given a metric space $(X,d_X)$, the equivalence classes of metrics on the disjoint union of the two copies of $X$ coinciding with $d_X$ on each copy form an inverse semigroup $M(X)$ with respect to…

We study the structure of inverse primitive feebly compact semitopological and topological semigroups. We find conditions when the maximal subgroup of an inverse primitive feebly compact semitopological semigroup $S$ is a closed subset of…

In a group $G$, elements $a$ and $b$ are conjugate if there exists $g\in G$ such that $g^{-1} ag=b$. This conjugacy relation, which plays an important role in group theory, can be extended in a natural way to inverse semigroups: for…

Given any quasi-countable, in particular any countable inverse semigroup $S$, we introduce a way to equip $S$ with a proper and right subinvariant extended metric. This generalizes the notion of proper, right invariant metrics for discrete…

This is an expository paper which provides a quick introduction to Boolean inverse semigroups and their type monoids, with the emphasis on techniques and insights of the theory, and also treats the connection of the type monoid…

A semigroup $X$ is $absolutely$ (resp. $injectively$) $T_1S$-$closed$ if for any (injective) homomorphism $h:X\to Y$ to a $T_1$ topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed in $Y$. We prove that a commutative semigroup…

We study the closures of subgroups, semilattices and different kinds of semigroup extensions in semitopological inverse semigroups with continuous inversion. In particularly we show that a topological group $G$ is $H$-closed in the class of…

Let $S$ be a semigroup, $\Lambda$ a non-empty set and $P$ a mapping of $\Lambda$ into $S$. The set $S\times \Lambda$ together with the operation $\circ _P$ defined by $(s, \lambda)\circ _P(t, \mu )=(sP(\lambda)t, \mu )$ form a semigroup…

The geometry of inverse semigroups is a natural topic of study, motivated both from within semigroup theory and by applications to the theory of non-commutative $C^*$-algebras. We study the relationship between the geometry of an inverse…

In the paper we study inverse semigroups $\mathscr{B}(G)$, $\mathscr{B}^+(G)$, $\bar{\mathscr{B}}(G)$ and $\bar{\mathscr{B}}\,^+(G)$ which are generated by partial monotone injective translations of a positive cone of a linearly ordered…

From any poset isomorphic to the poset of gaps of a numerical semigroup $S$ with the order induced by $S$, one can recover $S$. As an application, we prove that two different numerical semigroups cannot have isomorphic posets (with respect…

In this paper, we apply the theory of inverse semigroups to the $C^{*}$-algebra $U[\mathbb{Z}]$ considered in \cite{Cuntz}. We show that the $C^{*}$-algebra $U[\mathbb{Z}]$ is generated by an inverse semigroup of partial isometries. We…

In this paper we provide an overview of the class of inverse semigroups $S$ such that every congruence on $S$ relates at least one idempotent to a non-idempotent; such inverse semigroups are called $E$-disjunctive. This overview includes…

By a "Boolean inverse semigroup" we mean an inverse semigroup whose semilattice of idempotents is a Boolean algebra. We study representations of a given inverse semigroup S in a Boolean inverse semigroup which are "tight" in a certain well…

Motivated by a problem on the dynamics of compositions of plane hyperbolic isometries, we prove several fundamental results on semigroups of isometries, thought of as real M\"obius transformations. We define a semigroup $S$ of M\"obius…

Relying on the notions of submodular function and partial metric, we introduce normed inverse semigroups as a generalization of normed groups and sup-semilattices equipped with an upper valuation. We define the property of skew-convexity…

For a semigroup $S$, the covering number of $S$ with respect to semigroups, $\sigma_s(S)$, is the minimum number of proper subsemigroups of $S$ whose union is $S$. This article investigates covering numbers of semigroups and analogously…