Related papers: The free $F$-restriction semigroups

Motivated by recent interest to $F$-inverse monoids, on the one hand, and to restriction and birestriction monoids, on the other hand, we initiate the study of $F$-birestriction monoids as algebraic structures in the enriched signature…

We show that the universal $X$-generated $F$-inverse monoid $F(G)$, where $G$ is an $X$-generated group, introduced by Auinger, Szendrei and the first-named author, arises as a quotient inverse monoid of the Margolis-Meakin expansion $M(G,…

Every $F$-inverse monoid can be equipped with the unary operation which maps each element to the maximum element of its $\sigma$-class. In this enriched signature, the class of all $F$-inverse monoids forms a variety of algebraic…

In this paper, we study the topological structure of a universal construction related to quasitopological groups: the free quasitopological group $F_q(X)$ on a space $X$. We show that free quasitopological groups may be constructed directly…

Given a monoid $S$ with $E$ any non-empty subset of its idempotents, we present a novel one-sided version of idempotent completion we call left $E$-completion. In general, the construction yields a one-sided variant of a small category…

Let $K$ be a number field with ring of integers $R$. Given a modulus $\mathfrak{m}$ for $K$ and a group $\Gamma$ of residues modulo $\mathfrak{m}$, we consider the semi-direct product $R\rtimes R_{\mathfrak{m},\Gamma}$ obtained by…

We develop some new topological tools to study maximal subgroups of free idempotent generated semigroups. As an application, we show that the rank 1 component of the free idempotent generated semigroup of the biordered set of a full matrix…

We show that the category of $X$-generated $E$-unitary inverse monoids with greatest group image $G$ is equivalent to the category of $G$-invariant, finitary closure operators on the set of connected subgraphs of the Cayley graph of $G$.…

Building on the previous extensive study of Yang, Gould and the present author, we provide a more precise insight into the group-theoretical ramifications of the word problem for free idempotent generated semigroups over finite biordered…

Given a free group $F_k$ of rank $k\ge 2$ with a fixed set of free generators we associate to any homomorphism $\phi$ from $F_k$ to a group $G$ with a left-invariant semi-norm a generic stretching factor, $\lambda(\phi)$, which is a…

We initiate the study of the expansion $\mathcal{S}(M)$ of a monoid $M$ obtained via the semidirect product of $M$ acting naturally on the left of its power set (regarded as a semilattice under union). We term this the `subset expansion' of…

We initiate the study of expansions of monoids in the class of two-sided restriction monoids and show that generalizations of the Birget-Rhodes prefix group expansion, despite the absence of involution, have rich structure close to that of…

We study varieties of certain ordered $\Sigma$-algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of submonads of the monad of $\Sigma$-coterms. Varieties of…

Given a group $X$ we study the algebraic structure of the compact right-topological semigroup $\lambda(X)$ consisting of maximal linked systems on $X$. This semigroup contains the semigroup $\beta(X)$ of ultrafilters as a closed…

Given a group $X$ we study the algebraic structure of its superextension $\lambda(X)$. This is a right-topological semigroup consisting of all maximal linked systems on $X$ endowed with the operation $$\mathcal A\circ\mathcal B=\{C\subset…

A semigroup (dynamical system) generated by $C^{1+\alpha}$-contracting mappings is considered. We call a such semigroup regular if the maximum $K$ of the conformal dilatations of generators, the maximum $l$ of the norms of the derivatives…

We give a geometric approach to groups defined by automata via the notion of enriched dual of an inverse transducer. Using this geometric correspondence we first provide some finiteness results, then we consider groups generated by the dual…

We show that a large class of languages in the standard finite generating set X = {$x_0, x_1, x_0^{-1}, x_1^{-1}$} cannot be part of an automatic structure for Thompson's Group F. These languages are ones that accept at least one…

In this paper we study the regular semigroups weakly generated by a single element x, that is, with no proper regular subsemigroup containing x. We show there exists a regular semigroup $F_1$ weakly generated by x such that all other…

We present a construction that yields infinite families of non-isomorphic semidirect products $N \rtimes F_m$ sharing a specified profinite completion. Within each family, $m \ge 2$ is constant and $N$ is a fixed group. For $m=2$ we can…