-
Computing congruences of finite inverse semigroups
Authors:
Luna Elliott,
Alex Levine,
James D. Mitchell
Abstract:
In this paper we present an algorithm for computing a congruence on an inverse semigroup from a collection of generating pairs. This algorithm uses a myriad of techniques from computational group theory, automata, and the theory of inverse semigroups. An initial implementation of this algorithm outperforms existing implementations by several orders of magnitude.
In this paper we present an algorithm for computing a congruence on an inverse semigroup from a collection of generating pairs. This algorithm uses a myriad of techniques from computational group theory, automata, and the theory of inverse semigroups. An initial implementation of this algorithm outperforms existing implementations by several orders of magnitude.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Classifying the Polish semigroup topologies on the symmetric inverse monoid
Authors:
Serhii Bardyla,
Luna Elliott,
James Mitchell,
Yann Péresse
Abstract:
We classify all Polish semigroup topologies on the symmetric inverse monoid on the natural numbers. This result answers a question of Elliott et al. There are countably infinitely many such topologies. Under containment, these Polish semigroup topologies form a join-semilattice with infinite descending chains, no infinite ascending chains, and arbitrarily large finite anti-chains. Also, we show th…
▽ More
We classify all Polish semigroup topologies on the symmetric inverse monoid on the natural numbers. This result answers a question of Elliott et al. There are countably infinitely many such topologies. Under containment, these Polish semigroup topologies form a join-semilattice with infinite descending chains, no infinite ascending chains, and arbitrarily large finite anti-chains. Also, we show that the monoid endowed with any second countable T_1 semigroup topology is homeomorphic to the Baire space.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
E-disjunctive inverse semigroups
Authors:
Luna Elliott,
Alex Levine,
James Mitchell
Abstract:
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 the study of the inverse semigroup theoretic structure of $E$-disjunctive semigroups; a large number of natural examples; some asymptotic results establishing the…
▽ More
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 the study of the inverse semigroup theoretic structure of $E$-disjunctive semigroups; a large number of natural examples; some asymptotic results establishing the rarity of such inverse semigroups; and a general structure theorem for all inverse semigroups where the building blocks are $E$-disjunctive.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Finite Presentability of Brin-Higman-Thompson Monoids via Free Jónsson-Tarski Algebras
Authors:
Bill de Witt,
Luke Elliott
Abstract:
We show that the total monoids totnM_{k,1} introduced by Birget(and their multi-rooted generalisations), which extend the Brin-Higman-Thompson groups, can be realised as the endomorphism monoids of higher dimensional Jónnson-Tarski algebras. We use this representation to show that they are finitely presented.
We show that the total monoids totnM_{k,1} introduced by Birget(and their multi-rooted generalisations), which extend the Brin-Higman-Thompson groups, can be realised as the endomorphism monoids of higher dimensional Jónnson-Tarski algebras. We use this representation to show that they are finitely presented.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
Counting monogenic monoids and inverse monoids
Authors:
L. Elliott,
A. Levine,
J. D. Mitchell
Abstract:
In this short note, we show that the number of monogenic submonoids of the full transformation monoid of degree $n$ for $n > 0$, equals the sum of the number of cyclic subgroups of the symmetric groups on $1$ to $n$ points. We also prove an analogous statement for monogenic subsemigroups of the finite full transformation monoids, as well as monogenic inverse submonoids and subsemigroups of the fin…
▽ More
In this short note, we show that the number of monogenic submonoids of the full transformation monoid of degree $n$ for $n > 0$, equals the sum of the number of cyclic subgroups of the symmetric groups on $1$ to $n$ points. We also prove an analogous statement for monogenic subsemigroups of the finite full transformation monoids, as well as monogenic inverse submonoids and subsemigroups of the finite symmetric inverse monoids.
△ Less
Submitted 12 May, 2023; v1 submitted 22 March, 2023;
originally announced March 2023.
-
Topological embeddings into transformation monoids
Authors:
S. Bardyla,
L. Elliott,
J. D. Mitchell,
Y. Peresse
Abstract:
In this paper we consider the questions of which topological semigroups embed topologically into the full transformation monoid $\mathbb{N} ^ \mathbb{N}$ or the symmetric inverse monoid $I_{\mathbb{N}}$ with their respective canonical Polish semigroup topologies. We characterise those topological semigroups that embed topologically into $\mathbb{N} ^ \mathbb{N}$ and belong to any of the following…
▽ More
In this paper we consider the questions of which topological semigroups embed topologically into the full transformation monoid $\mathbb{N} ^ \mathbb{N}$ or the symmetric inverse monoid $I_{\mathbb{N}}$ with their respective canonical Polish semigroup topologies. We characterise those topological semigroups that embed topologically into $\mathbb{N} ^ \mathbb{N}$ and belong to any of the following classes: commutative semigroups; compact semigroups; groups; and certain Clifford semigroups. We prove analogous characterisations for topological inverse semigroups and $I_{\mathbb{N}}$. We construct several examples of countable Polish topological semigroups that do not embed into $\mathbb{N} ^ \mathbb{N}$, which answer, in the negative, a recent open problem of Elliott et al. Additionally, we obtain two sufficient conditions for a topological Clifford semigroup to be metrizable, and prove that inversion is automatically continuous in every Clifford subsemigroup of $\mathbb{N}^\mathbb{N}$. The former complements recent works of Banakh et al.
△ Less
Submitted 30 November, 2023; v1 submitted 17 February, 2023;
originally announced February 2023.
-
Polish topologies on endomorphism monoids of relational structures
Authors:
L. Elliott,
J. Jonušas,
J. D. Mitchell,
Y. Péresse,
M. Pinsker
Abstract:
In this paper we present general techniques for characterising minimal and maximal semigroup topologies on the endomorphism monoid $\operatorname{End}(\mathbb{A})$ of a countable relational structure $\mathbb{A}$. As applications, we show that the endomorphism monoids of several well-known relational structures, including the random graph, the random directed graph, and the random partial order, p…
▽ More
In this paper we present general techniques for characterising minimal and maximal semigroup topologies on the endomorphism monoid $\operatorname{End}(\mathbb{A})$ of a countable relational structure $\mathbb{A}$. As applications, we show that the endomorphism monoids of several well-known relational structures, including the random graph, the random directed graph, and the random partial order, possess a unique Polish semigroup topology. In every case this unique topology is the subspace topology induced by the usual topology on the Baire space $\mathbb{N} ^ \mathbb{N}$. We also show that many of these structures have the property that every homomorphism from their endomorphism monoid to a second countable topological semigroup is continuous; referred to as automatic continuity. Many of the results about endomorphism monoids are extended to clones of polymorphisms on the same structures.
△ Less
Submitted 22 March, 2022;
originally announced March 2022.
-
A short proof of Rubin's theorem
Authors:
James Belk,
Luke Elliott,
Francesco Matucci
Abstract:
In a remarkable theorem, M. Rubin proved that if a group $G$ acts in a locally dense way on a locally compact Hausdorff space $X$ without isolated points, then the space $X$ and the action of $G$ on $X$ are unique up to $G$-equivariant homeomorphism. Here we give a short, self-contained proof of Rubin's theorem, using equivalence classes of ultrafilters on a poset to reconstruct the points of the…
▽ More
In a remarkable theorem, M. Rubin proved that if a group $G$ acts in a locally dense way on a locally compact Hausdorff space $X$ without isolated points, then the space $X$ and the action of $G$ on $X$ are unique up to $G$-equivariant homeomorphism. Here we give a short, self-contained proof of Rubin's theorem, using equivalence classes of ultrafilters on a poset to reconstruct the points of the space $X$.
△ Less
Submitted 22 February, 2023; v1 submitted 11 March, 2022;
originally announced March 2022.
-
Unindexed subshifts of finite type and their connection to automorphisms of Thompson's groups
Authors:
Luke Elliott
Abstract:
For a finite digraph $D$, we define the corresponding subshift of finite type $(X_D, σ_D)$ to be the dynamical system where $X_D$ is the set of all bi-infinite walks through $D$ and $σ_D$ is the shift operator. Two digraphs $D_1$ and $D_2$ are called shift equivalent if there is $m\geq 1$ such that $(X_{D_1}, σ_{D_1}^n)$ and $(X_{D_2}, σ_{D_2}^n)$ are topologically conjugate for all $n\geq m$. The…
▽ More
For a finite digraph $D$, we define the corresponding subshift of finite type $(X_D, σ_D)$ to be the dynamical system where $X_D$ is the set of all bi-infinite walks through $D$ and $σ_D$ is the shift operator. Two digraphs $D_1$ and $D_2$ are called shift equivalent if there is $m\geq 1$ such that $(X_{D_1}, σ_{D_1}^n)$ and $(X_{D_2}, σ_{D_2}^n)$ are topologically conjugate for all $n\geq m$. They are called strong shift equivalent if this holds for $m=1$.
In this paper we introduce a new category which generalises the category of subshifts of finite type and topological conjugacy. Our category gives two new notions of equivalence for digraphs which we call UDAF equivalence and weak UDAF equivalence. UDAF equivalence is a coarser analogue of strong shift equivalence and weak UDAF equivalence is a coarser analogue of shift equivalence. Both UDAF and weak UDAF equivalence still separate the n-leaf roses for all $n\geq 2$ (the 1-vertex n-edge digraphs). However, UDAF equivalence does not imply shift equivalence, in particular it equates the 2-leaf rose with the golden mean shift.
We also show that our category relates to the automorphism groups of the "V-type" groups of Higman, Thompson and Brin. In particular for all $n\geq 2$ the groups $Out(G_{n, n-1})$ and $Out(nV)$ can be seen as automorphism groups of specific objects in our category.
We explain a few equivalent ways of viewing UDAF equivalence, and give an example of how they can be used to show that Ashley's 8 vertex digraph is UDAF equivalent to the 2-leaf rose.
△ Less
Submitted 16 March, 2022; v1 submitted 26 December, 2021;
originally announced December 2021.
-
A Description of Aut(dVn) and Out(dVn) Using Transducers
Authors:
Luke Elliott
Abstract:
The groups $dV_n$ are an infinite family of groups, first introduced by C. Martínez-Pérez, F. Matucci and B. E. A. Nucinkis, which includes both the Higman-Thompson groups $V_n(=1V_n)$ and the Brin-Thompson groups $nV(=nV_2)$. A description of the groups $\operatorname{Aut}(G_{n, r})$ (including the groups $G_{n,1}=V_n$) has previously been given by C. Bleak, P. Cameron, Y. Maissel, A. Navas, and…
▽ More
The groups $dV_n$ are an infinite family of groups, first introduced by C. Martínez-Pérez, F. Matucci and B. E. A. Nucinkis, which includes both the Higman-Thompson groups $V_n(=1V_n)$ and the Brin-Thompson groups $nV(=nV_2)$. A description of the groups $\operatorname{Aut}(G_{n, r})$ (including the groups $G_{n,1}=V_n$) has previously been given by C. Bleak, P. Cameron, Y. Maissel, A. Navas, and F. Olukoya. Their description uses the transducer representations of homeomorphisms of Cantor space introduced a paper of R. I. Grigorchuk, V. V. Nekrashevich, and V. I. Sushchanskii, together with a theorem of M. Rubin. We generalise the transducers of the latter paper and make use of these transducers to give a description of $\operatorname{Aut}(dV_n)$ which extends the description of $\operatorname{Aut}(1V_n)$ given in the former paper. We make use of this description to show that $\operatorname{Out}(dV_2) \cong \operatorname{Out}(V_2)\wr S_d$, and more generally give a natural embedding of $\operatorname{Out}(dV_n)$ into $\operatorname{Out}(G_{n, n-1})\wr S_d$.
△ Less
Submitted 26 July, 2021; v1 submitted 11 September, 2020;
originally announced September 2020.
-
Sufficient conditions for a group of homeomorphisms of the Cantor set to be two-generated
Authors:
Collin Bleak,
Luke Elliott,
James Hyde
Abstract:
Let $\mathfrak{C}$ be some Cantor space. We study groups of homeomorphisms of $\mathfrak{C}$ which are vigorous, or, which are flawless, where we introduce both of these terms here.
We say a group $G\leq \operatorname{Homeo}(\mathfrak{C})$ is $vigorous$ if for any clopen set $A$ and proper clopen subsets $B$ and $C$ of $A$ there is $γ\in G$ in the pointwise-stabiliser of…
▽ More
Let $\mathfrak{C}$ be some Cantor space. We study groups of homeomorphisms of $\mathfrak{C}$ which are vigorous, or, which are flawless, where we introduce both of these terms here.
We say a group $G\leq \operatorname{Homeo}(\mathfrak{C})$ is $vigorous$ if for any clopen set $A$ and proper clopen subsets $B$ and $C$ of $A$ there is $γ\in G$ in the pointwise-stabiliser of $\mathfrak{C}\backslash A$ with $Bγ\subseteq C$. Being vigorous is similar in impact to some of the conditions proposed by Epstein in his proof that certain groups of homeomorphisms of spaces have simple commutator subgroups (and/or related conditions, as proposed in some of the work of Matui or of Ling).
A non-trivial group $G\leq \operatorname{Homeo}(\mathfrak{C})$ is $flawless$ if for all $k$ and $w$ a non-trivial freely reduced product expression on $k$ variables (including inverse symbols), a particular subgroup $w(G)_\circ$ of the verbal subgroup $w(G)$ is the whole group. It is true, for instance, that flawless groups are both perfect and lawless.
We show: 1) simple vigorous groups are either two-generated by torsion elements, or not finitely generated, 2) vigorous groups are simple if and only if they are flawless, and, 3) the class of vigorous simple subgroups of $\operatorname{Homeo}(\mathfrak{C})$ is fairly broad (it contains many well known groups such as the commutator subgroups of the Higman-Thompson groups $G_{n,r}$, the Brin-Thompson groups $nV$, Röver's group $V(Γ)$, and others of Nekrashevych's `simple groups of dynamical origin', and, the class is closed under various natural constructions).
△ Less
Submitted 31 July, 2023; v1 submitted 11 August, 2020;
originally announced August 2020.
-
Automatic continuity, unique Polish topologies, and Zariski topologies on monoids and clones
Authors:
L. Elliott,
J. Jonušas,
Z. Mesyan,
J. D. Mitchell,
M. Morayne,
Y. Péresse
Abstract:
In this paper we explore the extent to which the algebraic structure of a monoid $M$ determines the topologies on $M$ that are compatible with its multiplication. Specifically we study the notions of automatic continuity; minimal Hausdorff or Polish semigroup topologies; and we formulate a notion of the Zariski topology for monoids.
If $M$ is a topological monoid such that every homomorphism fro…
▽ More
In this paper we explore the extent to which the algebraic structure of a monoid $M$ determines the topologies on $M$ that are compatible with its multiplication. Specifically we study the notions of automatic continuity; minimal Hausdorff or Polish semigroup topologies; and we formulate a notion of the Zariski topology for monoids.
If $M$ is a topological monoid such that every homomorphism from $M$ to a second countable topological monoid $N$ is continuous, then we say that $M$ has \emph{automatic continuity}. We show that many well-known monoids have automatic continuity with respect to a natural semigroup topology, namely: the full transformation monoid $\mathbb{N}^\mathbb{N}$; the full binary relation monoid $B_{\mathbb{N}}$; the partial transformation monoid $P_{\mathbb{N}}$; the symmetric inverse monoid $I_{\mathbb{N}}$; the monoid Inj$(\mathbb{N})$ consisting of the injective functions on $\mathbb{N}$; and the monoid $C(2^{\mathbb{N}})$ of continuous functions on the Cantor set.
We show that the pointwise topology on $\mathbb{N}^\mathbb{N}$, and its analogue on $P_{\mathbb{N}}$, are the unique Polish semigroup topologies on these monoids. The compact-open topology is the unique Polish semigroup topology on $C(2^\mathbb{N})$ and $C([0, 1]^\mathbb{N})$. There are at least 3 Polish semigroup topologies on $I_{\mathbb{N}}$, but a unique Polish inverse semigroup topology. There are no Polish semigroup topologies $B_{\mathbb{N}}$ nor on the partitions monoids. At the other extreme, Inj$(\mathbb{N})$ and the monoid Surj$(\mathbb{N})$ of all surjective functions on $\mathbb{N}$ each have infinitely many distinct Polish semigroup topologies. We prove that the Zariski topologies on $\mathbb{N}^\mathbb{N}$, $P_{\mathbb{N}}$, and Inj$(\mathbb{N})$ coincide with the pointwise topology; and we characterise the Zariski topology on $B_{\mathbb{N}}$. In Section 7: clones.
△ Less
Submitted 15 August, 2023; v1 submitted 15 December, 2019;
originally announced December 2019.