-
Membership problems in braid groups and Artin groups
Authors:
Robert D. Gray,
Carl-Fredrik Nyberg-Brodda
Abstract:
We study several natural decision problems in braid groups and Artin groups. We classify the Artin groups with decidable submonoid membership problem in terms of the non-existence of certain forbidden induced subgraphs of the defining graph. Furthermore, we also classify the Artin groups for which the following problems are decidable: the rational subset membership problem, semigroup intersection…
▽ More
We study several natural decision problems in braid groups and Artin groups. We classify the Artin groups with decidable submonoid membership problem in terms of the non-existence of certain forbidden induced subgraphs of the defining graph. Furthermore, we also classify the Artin groups for which the following problems are decidable: the rational subset membership problem, semigroup intersection problem, and the fixed-target submonoid membership problem. In the case of braid groups our results show that the submonoid membership problem, and each and every one of these problems, is decidable in the braid group $\mathbf{B}_n$ if and only if $n \leq 3$, which answers an open problem of Potapov (2013). Our results also generalize and extend results of Lohrey & Steinberg (2008) who classified right-angled Artin groups with decidable submonoid (and rational subset) membership problem.
△ Less
Submitted 20 September, 2024; v1 submitted 17 September, 2024;
originally announced September 2024.
-
Projection algebras and free projection- and idempotent-generated regular $*$-semigroups
Authors:
James East,
Robert D. Gray,
P. A. Azeef Muhammed,
Nik Ruškuc
Abstract:
The purpose of this paper is to introduce a new family of semigroups - the free projection-generated regular $*$-semigroups - and initiate their systematic study. Such a semigroup $PG(P)$ is constructed from a projection algebra $P$, using the recent groupoid approach to regular $*$-semigroups. The assignment $P\mapsto PG(P)$ is a left adjoint to the forgetful functor that maps a regular $*$-semig…
▽ More
The purpose of this paper is to introduce a new family of semigroups - the free projection-generated regular $*$-semigroups - and initiate their systematic study. Such a semigroup $PG(P)$ is constructed from a projection algebra $P$, using the recent groupoid approach to regular $*$-semigroups. The assignment $P\mapsto PG(P)$ is a left adjoint to the forgetful functor that maps a regular $*$-semigroup $S$ to its projection algebra $P(S)$. In fact, the category of projection algebras is coreflective in the category of regular $*$-semigroups. The algebra $P(S)$ uniquely determines the biordered structure of the idempotents $E(S)$, up to isomorphism, and this leads to a category equivalence between projection algebras and regular $*$-biordered sets. As a consequence, $PG(P)$ can be viewed as a quotient of the classical free idempotent-generated (regular) semigroups $IG(E)$ and $RIG(E)$, where $E=E(PG(P))$; this is witnessed by a number of presentations in terms of generators and defining relations. The semigroup $PG(P)$ can also be interpreted topologically, through a natural link to the fundamental groupoid of a simplicial complex explicitly constructed from $P$. The theory is then illustrated on a number of examples. In one direction, the free construction applied to the projection algebras of adjacency semigroups yields a new family of graph-based path semigroups. In another, it turns out that, remarkably, the Temperley-Lieb monoid $TL_n$ is the free regular $*$-semigroup over its own projection algebra $P(TL_n)$.
△ Less
Submitted 10 April, 2025; v1 submitted 13 June, 2024;
originally announced June 2024.
-
Subgroups of $E$-unitary and $R_1$-injective special inverse monoids
Authors:
Robert D. Gray,
Mark Kambites
Abstract:
We continue the study of the structure of general subgroups (in particular maximal subgroups, also known as group $\mathcal{H}$-classes) of special inverse monoids. Recent research of the authors has established that these can be quite wild, but in this paper we show that if we restrict to special inverse monoids which are $E$-unitary (or have a weaker property we call $\mathcal{R}_1$-injectivity)…
▽ More
We continue the study of the structure of general subgroups (in particular maximal subgroups, also known as group $\mathcal{H}$-classes) of special inverse monoids. Recent research of the authors has established that these can be quite wild, but in this paper we show that if we restrict to special inverse monoids which are $E$-unitary (or have a weaker property we call $\mathcal{R}_1$-injectivity), the maximal subgroups are strongly governed by the group of units. In particular, every maximal subgroup has a finite index subgroup which embeds in the group of units. We give a construction to show that every finite group can arise as a maximal subgroup in an $\mathcal{R}_1$-injective special inverse monoid with trivial group of units. It remains open whether every combination of a group $G$ and finite index subgroup $H$ can arise as maximal subgroup and group of units.
△ Less
Submitted 7 June, 2024; v1 submitted 30 June, 2023;
originally announced June 2023.
-
Membership problems for positive one-relator groups and one-relation monoids
Authors:
Islam Foniqi,
Robert D. Gray,
Carl-Fredrik Nyberg-Brodda
Abstract:
Motivated by approaches to the word problem for one-relation monoids arising from work of Adian and Oganesian (1987), Guba (1997), and Ivanov, Margolis and Meakin (2001), we study the submonoid and rational subset membership problems in one-relation monoids and in positive one-relator groups. We give the first known examples of positive one-relator groups with undecidable submonoid membership prob…
▽ More
Motivated by approaches to the word problem for one-relation monoids arising from work of Adian and Oganesian (1987), Guba (1997), and Ivanov, Margolis and Meakin (2001), we study the submonoid and rational subset membership problems in one-relation monoids and in positive one-relator groups. We give the first known examples of positive one-relator groups with undecidable submonoid membership problem, and apply this to give the first known examples of one-relation monoids with undecidable submonoid membership problem. We construct several infinite families of one-relation monoids with undecidable submonoid membership problem, including examples that are defined by relations of the form $w=1$ but which are not groups, and examples defined by relations of the form $u=v$ where both of $u$ and $v$ are non-empty. As a consequence we obtain a classification of the right-angled Artin groups that can arise as subgroups of one-relation monoids. We also give examples of monoids with a single defining relation of the form $aUb = a$, and examples of the form $aUb=aVa$, with undecidable rational subset membership problem. We give a one-relator group defined by a freely reduced word of the form $uv^{-1}$ with $u, v$ positive words, in which the prefix membership problem is undecidable. Finally, we prove the existence of a special two-relator inverse monoid with undecidable word problem, and in which both the relators are positive words. As a corollary, we also find a positive two-relator group with undecidable prefix membership problem. In proving these results, we introduce new methods for proving undecidability of the rational subset membership problem in monoids and groups, including by finding suitable embeddings of certain trace monoids.
△ Less
Submitted 12 July, 2024; v1 submitted 24 May, 2023;
originally announced May 2023.
-
Prefix monoids of groups and right units of special inverse monoids
Authors:
Igor Dolinka,
Robert D. Gray
Abstract:
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…
▽ More
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, while 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 show that not all right cancellative recursively presented monoids belong to this class.
△ Less
Submitted 1 September, 2023; v1 submitted 17 April, 2023;
originally announced April 2023.
-
Maximal subgroups of finitely presented special inverse monoids
Authors:
Robert D. Gray,
Mark Kambites
Abstract:
We study the maximal subgroups (also known as group $\mathcal{H}$-classes) of finitely presented special inverse monoids. We show that the maximal subgroups which can arise in such monoids are exactly the recursively presented groups, and moreover every such maximal subgroup can also arise in the $E$-unitary case. We also prove that the possible groups of units are exactly the finitely generated r…
▽ More
We study the maximal subgroups (also known as group $\mathcal{H}$-classes) of finitely presented special inverse monoids. We show that the maximal subgroups which can arise in such monoids are exactly the recursively presented groups, and moreover every such maximal subgroup can also arise in the $E$-unitary case. We also prove that the possible groups of units are exactly the finitely generated recursively presented groups; this improves upon a result of, and answers a question of, the first author and Ruškuc. These results give the first significant insight into the maximal subgroups of such monoids beyond the group of units, and the results together demonstrate that it is possible for the subgroup structure to have a complexity which significantly exceeds that of the group of units. We also observe that a finitely presented special inverse monoid (even an $E$-unitary one) may have infinitely many pairwise non-isomorphic maximal subgroups.
△ Less
Submitted 26 April, 2024; v1 submitted 8 December, 2022;
originally announced December 2022.
-
On groups of units of special and one-relator inverse monoids
Authors:
Robert D. Gray,
Nik Ruskuc
Abstract:
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…
▽ More
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.
△ Less
Submitted 9 October, 2023; v1 submitted 4 March, 2021;
originally announced March 2021.
-
Ehresmann theory and partition monoids
Authors:
James East,
Robert D. Gray
Abstract:
This article concerns Ehresmann structures in the partition monoid $P_X$. Since $P_X$ contains the symmetric and dual symmetric inverse monoids on the same base set $X$, it naturally contains the semilattices of idempotents of both submonoids. We show that one of these semilattices leads to an Ehresmann structure on $P_X$ while the other does not. We explore some consequences of this (structural/c…
▽ More
This article concerns Ehresmann structures in the partition monoid $P_X$. Since $P_X$ contains the symmetric and dual symmetric inverse monoids on the same base set $X$, it naturally contains the semilattices of idempotents of both submonoids. We show that one of these semilattices leads to an Ehresmann structure on $P_X$ while the other does not. We explore some consequences of this (structural/combinatorial and representation theoretic), and in particular characterise the largest left-, right- and two-sided restriction submonoids. The new results are contrasted with known results concerning relation monoids, and a number of interesting dualities arise, stemming from the traditional philosophies of inverse semigroups as models of partial symmetries (Vagner and Preston) or block symmetries (FitzGerald and Leech): "surjections between subsets" for relations become "injections between quotients" for partitions. We also consider some related diagram monoids, including rook partition monoids, and state several open problems.
△ Less
Submitted 1 April, 2021; v1 submitted 1 November, 2020;
originally announced November 2020.
-
Free inverse monoids are not $FP_2$
Authors:
Robert D. Gray,
Benjamin Steinberg
Abstract:
We give a topological proof that a free inverse monoid on one or more generators is neither of type left-$FP_2$ nor right-$FP_2$. This strengthens a classical result of Schein that such monoids are not finitely presented as monoids.
We give a topological proof that a free inverse monoid on one or more generators is neither of type left-$FP_2$ nor right-$FP_2$. This strengthens a classical result of Schein that such monoids are not finitely presented as monoids.
△ Less
Submitted 18 February, 2020;
originally announced February 2020.
-
Algorithmic properties of inverse monoids with hyperbolic and tree-like Schützenberger graphs
Authors:
Robert D. Gray,
Pedro V. Silva,
Nóra Szakács
Abstract:
We prove that the class of finitely presented inverse monoids whose Schützenberger graphs are quasi-isometric to trees has a uniformly solvable word problem, furthermore, the languages of their Schützenberger automata are context-free. On the other hand, we show that there is a finitely presented inverse monoid with hyperbolic Schützenberger graphs and an unsolvable word problem.
We prove that the class of finitely presented inverse monoids whose Schützenberger graphs are quasi-isometric to trees has a uniformly solvable word problem, furthermore, the languages of their Schützenberger automata are context-free. On the other hand, we show that there is a finitely presented inverse monoid with hyperbolic Schützenberger graphs and an unsolvable word problem.
△ Less
Submitted 17 November, 2022; v1 submitted 2 December, 2019;
originally announced December 2019.
-
New results on the prefix membership problem for one-relator groups
Authors:
Igor Dolinka,
Robert D. Gray
Abstract:
In this paper we prove several results regarding decidability of the membership problem for certain submonoids in amalgamated free products and HNN extensions of groups. These general results are then applied to solve the prefix membership problem for a number of classes of one-relator groups which are low in the Magnus-Moldavanskiĭ hierarchy. Since the prefix membership problem for one-relator gr…
▽ More
In this paper we prove several results regarding decidability of the membership problem for certain submonoids in amalgamated free products and HNN extensions of groups. These general results are then applied to solve the prefix membership problem for a number of classes of one-relator groups which are low in the Magnus-Moldavanskiĭ hierarchy. Since the prefix membership problem for one-relator groups is intimately related to the word problem for one-relator special inverse monoids in the $E$-unitary case (as discovered in 2001 by Ivanov, Margolis and Meakin), these results yield solutions of the word problem for several new classes of one-relator special inverse monoids. In establishing these results, we introduce a new theory of conservative factorisations of words which provides a link between the prefix membership problem of a one-relator group and the group of units of the corresponding one-relator special inverse monoid. Finally, we exhibit the first example of a one-relator group, defined by a reduced relator word, that has an undecidable prefix membership problem.
△ Less
Submitted 2 November, 2020; v1 submitted 15 November, 2019;
originally announced November 2019.
-
A Lyndon's identity theorem for one-relator monoids
Authors:
Robert D. Gray,
Benjamin Steinberg
Abstract:
For every one-relator monoid $M = \langle A \mid u=v \rangle$ with $u, v \in A^*$ we construct a contractible $M$-CW complex and use it to build a projective resolution of the trivial module which is finitely generated in all dimensions. This proves that all one-relator monoids are of type ${\rm FP}_\infty$, answering positively a problem posed by Kobayashi in 2000. We also apply our results to cl…
▽ More
For every one-relator monoid $M = \langle A \mid u=v \rangle$ with $u, v \in A^*$ we construct a contractible $M$-CW complex and use it to build a projective resolution of the trivial module which is finitely generated in all dimensions. This proves that all one-relator monoids are of type ${\rm FP}_\infty$, answering positively a problem posed by Kobayashi in 2000. We also apply our results to classify the one-relator monoids of cohomological dimension at most $2$, and to describe the relation module, in the sense of Ivanov, of a torsion-free one-relator monoid presentation as an explicitly given principal left ideal of the monoid ring. In addition, we prove the topological analogues of these results by showing that all one-relator monoids satisfy the topological finiteness property ${\rm F}_\infty$, and classifying the one-relator moniods with geometric dimension at most $2$. These results give a natural monoid analogue of Lyndon's Identity Theorem for one-relator groups.
△ Less
Submitted 22 October, 2019;
originally announced October 2019.
-
On equations and first-order theory of one-relator monoids
Authors:
Albert Garreta,
Robert D. Gray
Abstract:
We investigate systems of equations and the first-order theory of one-relator monoids. We describe a family $\mathcal{F}$ of one-relator monoids of the form $\langle A\mid w=1\rangle$ where for each monoid $M$ in $\mathcal{F}$, the longstanding open problem of decidability of word equations with length constraints reduces to the Diophantine problem (i.e.\ decidability of systems of equations) in…
▽ More
We investigate systems of equations and the first-order theory of one-relator monoids. We describe a family $\mathcal{F}$ of one-relator monoids of the form $\langle A\mid w=1\rangle$ where for each monoid $M$ in $\mathcal{F}$, the longstanding open problem of decidability of word equations with length constraints reduces to the Diophantine problem (i.e.\ decidability of systems of equations) in $M$. We achieve this result by finding an interpretation in $M$ of a free monoid, using only systems of equations together with length relations. It follows that each monoid in $\mathcal{F}$ has undecidable positive AE-theory, hence in particular it has undecidable first-order theory. The family $\mathcal{F}$ includes many one-relator monoids with torsion $\langle A\mid w^n = 1\rangle$ ($n>1$). In contrast, all one-relator groups with torsion are hyperbolic, and all hyperbolic groups are known to have decidable Diophantine problem. We further describe a different class of one-relator monoids with decidable Diophantine problem.
△ Less
Submitted 14 April, 2021; v1 submitted 31 July, 2019;
originally announced August 2019.
-
Undecidability of the word problem for one-relator inverse monoids via right-angled Artin subgroups of one-relator groups
Authors:
Robert D. Gray
Abstract:
We prove the following results: (1) There is a one-relator inverse monoid $\mathrm{Inv}\langle A\:|\:w=1 \rangle$ with undecidable word problem; and (2) There are one-relator groups with undecidable submonoid membership problem. The first of these results answers a problem originally posed by Margolis, Meakin and Stephen in 1987.
We prove the following results: (1) There is a one-relator inverse monoid $\mathrm{Inv}\langle A\:|\:w=1 \rangle$ with undecidable word problem; and (2) There are one-relator groups with undecidable submonoid membership problem. The first of these results answers a problem originally posed by Margolis, Meakin and Stephen in 1987.
△ Less
Submitted 18 March, 2019; v1 submitted 11 February, 2019;
originally announced February 2019.
-
Topological finiteness properties of monoids. Part 2: special monoids, one-relator monoids, amalgamated free products, and HNN extensions
Authors:
Robert D. Gray,
Benjamin Steinberg
Abstract:
We show how topological methods developed in a previous article can be applied to prove new results about topological and homological finiteness properties of monoids. A monoid presentation is called special if the right-hand side of each relation is equal to $1$. We prove results which relate the finiteness properties of a monoid defined by a special presentation with those of its group of units.…
▽ More
We show how topological methods developed in a previous article can be applied to prove new results about topological and homological finiteness properties of monoids. A monoid presentation is called special if the right-hand side of each relation is equal to $1$. We prove results which relate the finiteness properties of a monoid defined by a special presentation with those of its group of units. Specifically we show that the monoid inherits the finiteness properties $F_n$ and $FP_n$ from its group of units. We also obtain results which relate the geometric and cohomological dimensions of such a monoid to those of its group of units. We apply these results to prove a Lyndon's Identity Theorem for one-relator monoids of the form $\langle A \mid r=1 \rangle$. In particular we show that all such monoids are of type $F_{\infty}$ (and $FP_{\infty}$), and that when $r$ is not a proper power, then the monoid has geometric and cohomological dimension at most $2$. The first of these results resolves an important case of a question of Kobayashi from 2000 on homological finiteness properties of one-relator monoids. We also show how our topological approach can be used to prove results about the closure properties of various homological and topological finiteness properties for amalgamated free products and HNN-extensions of monoids. To prove these results we introduce new methods for constructing equivariant classifying spaces for monoids, as well as developing a Bass-Serre theory for free constructions of monoids.
△ Less
Submitted 26 April, 2024; v1 submitted 9 May, 2018;
originally announced May 2018.
-
Permutation monoids and MB-homogeneity for graphs and relational structures
Authors:
Thomas D. H. Coleman,
David M. Evans,
Robert D. Gray
Abstract:
In this paper, we investigate the connection between infinite permutation monoids and bimorphism monoids of first-order structures. Taking our lead from the study of automorphism groups of structures as infinite permutation groups and the more recent developments in the field of homomorphism-homogeneous structures, we establish a series of results that underline this connection. Of particular inte…
▽ More
In this paper, we investigate the connection between infinite permutation monoids and bimorphism monoids of first-order structures. Taking our lead from the study of automorphism groups of structures as infinite permutation groups and the more recent developments in the field of homomorphism-homogeneous structures, we establish a series of results that underline this connection. Of particular interest is the idea of MB-homogeneity; a relational structure $\mathcal{M}$ is MB-homogeneous if every monomorphism between finite substructures of $\mathcal{M}$ extends to a bimorphism of $\mathcal{M}$. The results in question include a characterisation of closed permutation monoids, a Fraïssé-like theorem for MB-homogeneous structures, and the construction of $2^{\aleph_0}$ pairwise non-isomorphic countable MB-homogeneous graphs. We prove that any finite group arises as the automorphism group of some MB-homogeneous graph and use this to construct oligomorphic permutation monoids with any given finite group of units. We also consider MB-homogeneity for various well-known examples of homogeneous structures and in particular give a complete classification of countable homogeneous undirected graphs that are also MB-homogeneous.
△ Less
Submitted 11 February, 2019; v1 submitted 12 February, 2018;
originally announced February 2018.
-
Topological finiteness properties of monoids. Part 1: Foundations
Authors:
Robert D. Gray,
Benjamin Steinberg
Abstract:
We initiate the study of higher dimensional topological finiteness properties of monoids. This is done by developing the theory of monoids acting on CW complexes. For this we establish the foundations of $M$-equivariant homotopy theory where $M$ is a discrete monoid. For projective $M$-CW complexes we prove several fundamental results such as the homotopy extension and lifting property, which we u…
▽ More
We initiate the study of higher dimensional topological finiteness properties of monoids. This is done by developing the theory of monoids acting on CW complexes. For this we establish the foundations of $M$-equivariant homotopy theory where $M$ is a discrete monoid. For projective $M$-CW complexes we prove several fundamental results such as the homotopy extension and lifting property, which we use to prove the $M$-equivariant Whitehead theorems. We define a left equivariant classifying space as a contractible projective $M$-CW complex. We prove that such a space is unique up to $M$-homotopy equivalence and give a canonical model for such a space via the nerve of the right Cayley graph category of the monoid. The topological finiteness conditions left-$\mathrm{F}_n$ and left geometric dimension are then defined for monoids in terms of existence of a left equivariant classifying space satisfying appropriate finiteness properties. We also introduce the bilateral notion of $M$-equivariant classifying space, proving uniqueness and giving a canonical model via the nerve of the two-sided Cayley graph category, and we define the associated finiteness properties bi-$\mathrm{F}_n$ and geometric dimension. We explore the connections between all of the these topological finiteness properties and several well-studied homological finiteness properties of monoids which are important in the theory of string rewriting systems, including $\mathrm{FP}_n$, cohomological dimension, and Hochschild cohomological dimension. We also develop the corresponding theory of $M$-equivariant collapsing schemes (that is, $M$-equivariant discrete Morse theory), and among other things apply it to give topological proofs of results of Anick, Squier and Kobayashi that monoids which admit presentations by complete rewriting systems are left-, right- and bi-$\mathrm{FP}_\infty$.
△ Less
Submitted 14 June, 2017;
originally announced June 2017.
-
On cogrowth, amenability and the spectral radius of a random walk on a semigroup
Authors:
Robert D. Gray,
Mark Kambites
Abstract:
We introduce two natural notions of cogrowth for finitely generated semigroups --- one local and one global --- and study their relationship with amenability and random walks. We establish the minimal and maximal possible values for cogrowth rates, and show that non-monogenic free semigroups are exactly characterised by minimal global cogrowth. We consider the relationship with cogrowth for groups…
▽ More
We introduce two natural notions of cogrowth for finitely generated semigroups --- one local and one global --- and study their relationship with amenability and random walks. We establish the minimal and maximal possible values for cogrowth rates, and show that non-monogenic free semigroups are exactly characterised by minimal global cogrowth. We consider the relationship with cogrowth for groups and with amenability of semigroups. We also study the relationship with random walks on finitely generated semigroups, and in particular the spectral radius of the associated Markov operators (when defined) on $\ell_2$-spaces. We show that either of maximal global cogrowth or the weak Følner condition suffices for its spectral radius to be at least $1$, since left amenability implies the weak Følner condition, this represents a generalisation to semigroups of one implication of Kesten's Theorem for groups. By combining with known results about amenability, we are able to establish a number of new sufficient conditions for (left or right) amenability in broad classes of semigroups. In particular, maximal local cogrowth left implies amenability in any left reversible semigroup, while maximal global cogrowth (which is a much weaker property) suffices for left amenability in an extremely broad class of semigroups encompassing all inverse semigroups, left reversible left cancellative semigroups and left reversible regular semigroups.
△ Less
Submitted 5 June, 2017;
originally announced June 2017.
-
Universal locally finite maximally homogeneous semigroups and inverse semigroups
Authors:
Igor Dolinka,
Robert D. Gray
Abstract:
In 1959, P. Hall introduced the locally finite group $\mathcal{U}$, today known as Hall's universal group. This group is countable, universal, simple, and any two finite isomorphic subgroups are conjugate in $\mathcal{U}$. It can be explicitly described as a direct limit of finite symmetric groups. It is homogeneous in the model-theoretic sense since it is the Fraisse limit of the class of all fin…
▽ More
In 1959, P. Hall introduced the locally finite group $\mathcal{U}$, today known as Hall's universal group. This group is countable, universal, simple, and any two finite isomorphic subgroups are conjugate in $\mathcal{U}$. It can be explicitly described as a direct limit of finite symmetric groups. It is homogeneous in the model-theoretic sense since it is the Fraisse limit of the class of all finite groups. Since its introduction Hall's group, and several natural generalisations, have been widely studied. In this article we use a generalisation of Fraisse theory to construct a countable, universal, locally finite semigroup $\mathcal{T}$, that arises as a direct limit of finite full transformation semigroups, and has the highest possible degree of homogeneity. We prove that it is unique up to isomorphism among semigroups satisfying these properties. We prove an analogous result for inverse semigroups, constructing a maximally homogeneous universal locally finite inverse semigroup $\mathcal{I}$ which is a direct limit of finite symmetric inverse semigroups (semigroups of partial bijections). The semigroups $\mathcal{T}$ and $\mathcal{I}$ are the natural counterparts of Hall's universal group for semigroups and inverse semigroups, respectively. While these semigroups are not homogeneous, they still exhibit a great deal of symmetry. We study the structural features of these semigroups and locate several well-known homogeneous structures within them, such as the countable generic semilattice, the countable random bipartite graph, and Hall's group itself.
△ Less
Submitted 22 November, 2017; v1 submitted 3 April, 2017;
originally announced April 2017.
-
Motzkin monoids and partial Brauer monoids
Authors:
Igor Dolinka,
James East,
Robert D. Gray
Abstract:
We study the partial Brauer monoid and its planar submonoid, the Motzkin monoid. We conduct a thorough investigation of the structure of both monoids, providing information on normal forms, Green's relations, regularity, ideals, idempotent generation, minimal (idempotent) generating sets, and so on. We obtain necessary and sufficient conditions under which the ideals of these monoids are idempoten…
▽ More
We study the partial Brauer monoid and its planar submonoid, the Motzkin monoid. We conduct a thorough investigation of the structure of both monoids, providing information on normal forms, Green's relations, regularity, ideals, idempotent generation, minimal (idempotent) generating sets, and so on. We obtain necessary and sufficient conditions under which the ideals of these monoids are idempotent-generated. We find formulae for the rank (smallest size of a generating set) of each ideal, and for the idempotent rank (smallest size of an idempotent generating set) of the idempotent-generated subsemigroup of each ideal; in particular, when an ideal is idempotent-generated, the rank and idempotent rank are equal. Along the way, we obtain a number of results of independent interest, and we demonstrate the utility of the semigroup theoretic approach by applying our results to obtain new proofs of important representation theoretic results concerning the corresponding diagram algebras, the partial (or rook) Brauer algebra and Motzkin algebra.
△ Less
Submitted 12 September, 2016; v1 submitted 7 December, 2015;
originally announced December 2015.
-
Amenability and geometry of semigroups
Authors:
Robert D. Gray,
Mark Kambites
Abstract:
We study the connection between amenability, Følner conditions and the geometry of finitely generated semigroups. Using results of Klawe, we show that within an extremely broad class of semigroups (encompassing all groups, left cancellative semigroups, finite semigroups, compact topological semigroups, inverse semigroups, regular semigroups, commutative semigroups and semigroups with a left, right…
▽ More
We study the connection between amenability, Følner conditions and the geometry of finitely generated semigroups. Using results of Klawe, we show that within an extremely broad class of semigroups (encompassing all groups, left cancellative semigroups, finite semigroups, compact topological semigroups, inverse semigroups, regular semigroups, commutative semigroups and semigroups with a left, right or two-sided zero element), left amenability coincides with the strong Følner condition. Within the same class, we show that a finitely generated semigroup of subexponential growth is left amenable if and only if it is left reversible. We show that the (weak) Følner condition is a left quasi-isometry invariant of finitely generated semigroups, and hence that left amenability is a left quasi-isometry invariant of left cancellative semigroups. We also give a new characterisation of the strong Følner condition, in terms of the existence of weak Følner sets satisfying a local injectivity condition on the relevant translation action of the semigroup.
△ Less
Submitted 22 May, 2015;
originally announced May 2015.
-
Crystal monoids \& crystal bases: rewriting systems and biautomatic structures for plactic monoids of types $A_{n}$, $B_{n}$, $C_{n}$, $D_{n}$, and $G_2$
Authors:
Alan J. Cain,
Robert D. Gray,
António Malheiro
Abstract:
The vertices of any (combinatorial) Kashiwara crystal graph carry a natural monoid structure given by identifying words labelling vertices that appear in the same position of isomorphic components of the crystal. Working on a purely combinatorial and monoid-theoretical level, we prove some foundational results for these crystal monoids, including the observation that they have decidable word probl…
▽ More
The vertices of any (combinatorial) Kashiwara crystal graph carry a natural monoid structure given by identifying words labelling vertices that appear in the same position of isomorphic components of the crystal. Working on a purely combinatorial and monoid-theoretical level, we prove some foundational results for these crystal monoids, including the observation that they have decidable word problem when their weight monoid is a finite rank free abelian group. The problem of constructing finite complete rewriting systems, and biautomatic structures, for crystal monoids is then investigated. In the case of Kashiwara crystals of types $A_n$, $B_n$, $C_n$, $D_n$, and $G_2$ (corresponding to the $q$-analogues of the Lie algebras of these types) these monoids are precisely the generalised plactic monoids investigated in work of Lecouvey. We construct presentations via finite complete rewriting systems for all of these types using a unified proof strategy that depends on Kashiwara's crystal bases and analogies of Young tableaux, and on Lecouvey's presentations for these monoids. As corollaries, we deduce that plactic monoids of these types have finite derivation type and satisfy the homological finiteness properties left and right $\mathrm{FP}_\infty$. These rewriting systems are then applied to show that plactic monoids of these types are biautomatic and thus have word problem soluble in quadratic time.
△ Less
Submitted 11 February, 2019; v1 submitted 22 December, 2014;
originally announced December 2014.
-
On regularity and the word problem for free idempotent generated semigroups
Authors:
Igor Dolinka,
Robert D. Gray,
Nik Ruškuc
Abstract:
The category of all idempotent generated semigroups with a prescribed structure $\mathcal{E}$ of their idempotents $E$ (called the biordered set) has an initial object called the free idempotent generated semigroup over $\mathcal{E}$, defined by a presentation over alphabet $E$, and denoted by $\mathsf{IG}(\mathcal{E})$. Recently, much effort has been put into investigating the structure of semigr…
▽ More
The category of all idempotent generated semigroups with a prescribed structure $\mathcal{E}$ of their idempotents $E$ (called the biordered set) has an initial object called the free idempotent generated semigroup over $\mathcal{E}$, defined by a presentation over alphabet $E$, and denoted by $\mathsf{IG}(\mathcal{E})$. Recently, much effort has been put into investigating the structure of semigroups of the form $\mathsf{IG}(\mathcal{E})$, especially regarding their maximal subgroups. In this paper we take these investigations in a new direction by considering the word problem for $\mathsf{IG}(\mathcal{E})$. We prove two principal results, one positive and one negative. We show that, for a finite biordered set $\mathcal{E}$, it is decidable whether a given word $w \in E^*$ represents a regular element; if in addition one assumes that all maximal subgroups of $\mathsf{IG}(\mathcal{E})$ have decidable word problems, then the word problem in $\mathsf{IG}(\mathcal{E})$ restricted to regular words is decidable. On the other hand, we exhibit a biorder $\mathcal{E}$ arising from a finite idempotent semigroup $S$, such that the word problem for $\mathsf{IG}(\mathcal{E})$ is undecidable, even though all the maximal subgroups have decidable word problems. This is achieved by relating the word problem of $\mathsf{IG}(\mathcal{E})$ to the subgroup membership problem in finitely presented groups.
△ Less
Submitted 8 November, 2016; v1 submitted 16 December, 2014;
originally announced December 2014.
-
Automorphism groups of countable algebraically closed graphs and endomorphisms of the random graph
Authors:
Igor Dolinka,
Robert D. Gray,
Jillian D. McPhee,
James D. Mitchell,
Martyn Quick
Abstract:
We establish links between countable algebraically closed graphs and the endomorphisms of the countable universal graph $R$. As a consequence we show that, for any countable graph $Γ$, there are uncountably many maximal subgroups of the endomorphism monoid of $R$ isomorphic to the automorphism group of $Γ$. Further structural information about End $R$ is established including that Aut $Γ$ arises i…
▽ More
We establish links between countable algebraically closed graphs and the endomorphisms of the countable universal graph $R$. As a consequence we show that, for any countable graph $Γ$, there are uncountably many maximal subgroups of the endomorphism monoid of $R$ isomorphic to the automorphism group of $Γ$. Further structural information about End $R$ is established including that Aut $Γ$ arises in uncountably many ways as a Schützenberger group. Similar results are proved for the countable universal directed graph and the countable universal bipartite graph.
△ Less
Submitted 11 November, 2015; v1 submitted 18 August, 2014;
originally announced August 2014.
-
Countable locally 2-arc-transitive bipartite graphs
Authors:
Robert D. Gray,
John K. Truss
Abstract:
We present an order-theoretic approach to the study of countably infinite locally 2-arc-transitive bipartite graphs. Our approach is motivated by techniques developed by Warren and others during the study of cycle-free partial orders. We give several new families of previously unknown countably infinite locally-2-arc-transitive graphs, each family containing continuum many members. These examples…
▽ More
We present an order-theoretic approach to the study of countably infinite locally 2-arc-transitive bipartite graphs. Our approach is motivated by techniques developed by Warren and others during the study of cycle-free partial orders. We give several new families of previously unknown countably infinite locally-2-arc-transitive graphs, each family containing continuum many members. These examples are obtained by gluing together copies of incidence graphs of semilinear spaces, satisfying a certain symmetry property, in a tree-like way. In one case we show how the classification problem for that family relates to the problem of determining a certain family of highly arc-transitive digraphs. Numerous illustrative examples are given.
△ Less
Submitted 6 June, 2014; v1 submitted 12 January, 2014;
originally announced January 2014.
-
Rewriting systems and biautomatic structures for Chinese, hypoplactic, and sylvester monoids
Authors:
Alan J. Cain,
Robert D. Gray,
António Malheiro
Abstract:
This paper studies complete rewriting systems and biautomaticity for three interesting classes of finite-rank homogeneous monoids: Chinese monoids, hypoplactic monoids, and sylvester monoids. For Chinese monoids, we first give new presentations via finite complete rewriting systems, using more lucid constructions and proofs than those given independently by Chen & Qui and Güzel Karpuz; we then con…
▽ More
This paper studies complete rewriting systems and biautomaticity for three interesting classes of finite-rank homogeneous monoids: Chinese monoids, hypoplactic monoids, and sylvester monoids. For Chinese monoids, we first give new presentations via finite complete rewriting systems, using more lucid constructions and proofs than those given independently by Chen & Qui and Güzel Karpuz; we then construct biautomatic structures. For hypoplactic monoids, we construct finite complete rewriting systems and biautomatic structures. For sylvester monoids, which are not finitely presented, we prove that the standard presentation is an infinite complete rewriting system, and construct biautomatic structures. Consequently, the monoid algebras corresponding to monoids of these classes are automaton algebras in the sense of Ufnarovskij.
△ Less
Submitted 8 January, 2015; v1 submitted 24 October, 2013;
originally announced October 2013.
-
The minimal number of generators of a finite semigroup
Authors:
Robert D. Gray
Abstract:
The rank of a finite semigroup is the smallest number of elements required to generate the semigroup. A formula is given for the rank of an arbitrary (non necessarily regular) Rees matrix semigroup over a group. The formula is expressed in terms of the dimensions of the structure matrix, and the relative rank of a certain subset of the structure group obtained from subgroups generated by entries i…
▽ More
The rank of a finite semigroup is the smallest number of elements required to generate the semigroup. A formula is given for the rank of an arbitrary (non necessarily regular) Rees matrix semigroup over a group. The formula is expressed in terms of the dimensions of the structure matrix, and the relative rank of a certain subset of the structure group obtained from subgroups generated by entries in the structure matrix, which is assumed to be in Graham normal form. This formula is then applied to answer questions about minimal generating sets of certain natural families of transformation semigroups. In particular, the problem of determining the maximum rank of a subsemigroup of the full transformation monoid (and of the symmetric inverse semigroup) is considered.
△ Less
Submitted 31 July, 2013;
originally announced July 2013.
-
Finite Gröbner--Shirshov bases for Plactic algebras and biautomatic structures for Plactic monoids
Authors:
Alan J. Cain,
Robert D. Gray,
António Malheiro
Abstract:
This paper shows that every Plactic algebra of finite rank admits a finite Gröbner--Shirshov basis. The result is proved by using the combinatorial properties of Young tableaux to construct a finite complete rewriting system for the corresponding Plactic monoid, which also yields the corollaries that Plactic monoids of finite rank have finite derivation type and satisfy the homological finiteness…
▽ More
This paper shows that every Plactic algebra of finite rank admits a finite Gröbner--Shirshov basis. The result is proved by using the combinatorial properties of Young tableaux to construct a finite complete rewriting system for the corresponding Plactic monoid, which also yields the corollaries that Plactic monoids of finite rank have finite derivation type and satisfy the homological finiteness properties left and right $FP_\infty$. Also, answering a question of Zelmanov, we apply this rewriting system and other techniques to show that Plactic monoids of finite rank are biautomatic.
△ Less
Submitted 22 October, 2014; v1 submitted 22 May, 2012;
originally announced May 2012.
-
Quasi-isometry and finite presentations of left cancellative monoids
Authors:
Robert D. Gray,
Mark Kambites
Abstract:
We show that being finitely presentable and being finitely presentable with solvable word problem are quasi-isometry invariants of finitely generated left cancellative monoids. Our main tool is an elementary, but useful, geometric characterisation of finite presentability for left cancellative monoids. We also give examples to show that this characterisation does not extend to monoids in general,…
▽ More
We show that being finitely presentable and being finitely presentable with solvable word problem are quasi-isometry invariants of finitely generated left cancellative monoids. Our main tool is an elementary, but useful, geometric characterisation of finite presentability for left cancellative monoids. We also give examples to show that this characterisation does not extend to monoids in general, and indeed that properties such as solvable word problem are not isometry invariants for general monoids.
△ Less
Submitted 11 April, 2012;
originally announced April 2012.
