-
Semigroup Congruences and Subsemigroups of the Direct Square
Authors:
Callum Barber,
Nik Ruškuc
Abstract:
We investigate semigroups $S$ which have the property that every subsemigroup of $S\times S$ which contains the diagonal $\{ (s,s)\colon s\in S\}$ is necessarily a congruence on $S$. We call such $S$ a DSC semigroup. It is well known that all finite groups are DSC, and easy to see that every DSC semigroup must be simple. Building on this, we show that for broad classes of semigroups -- including p…
▽ More
We investigate semigroups $S$ which have the property that every subsemigroup of $S\times S$ which contains the diagonal $\{ (s,s)\colon s\in S\}$ is necessarily a congruence on $S$. We call such $S$ a DSC semigroup. It is well known that all finite groups are DSC, and easy to see that every DSC semigroup must be simple. Building on this, we show that for broad classes of semigroups -- including periodic, stable, inverse and several well-known types of simple semigroups -- the only DSC members are groups. However, it turns out that there exist non-group DSC semigroups, which we obtain utilising a construction introduced by Byleen for the purpose of constructing interesting congruence-free semigroups. Such examples can additionally be regular or bisimple.
△ Less
Submitted 3 April, 2025;
originally announced April 2025.
-
On cycles in monotone grid classes of permutations
Authors:
David Bevan,
Robert Brignall,
Nik Ruškuc
Abstract:
We undertake a detailed investigation into the structure of permutations in monotone grid classes whose row-column graphs do not contain components with more than one cycle. Central to this investigation is a new decomposition, called the $M$-sum, which generalises the well-known notions of direct sum and skew sum, and enables a deeper understanding of the structure of permutations in these grid c…
▽ More
We undertake a detailed investigation into the structure of permutations in monotone grid classes whose row-column graphs do not contain components with more than one cycle. Central to this investigation is a new decomposition, called the $M$-sum, which generalises the well-known notions of direct sum and skew sum, and enables a deeper understanding of the structure of permutations in these grid classes. Permutations which are indecomposable with respect to the $M$-sum play a crucial role in the structure of a grid class and of its subclasses, and this leads us to identify coils, a certain kind of permutation which corresponds to repeatedly traversing a chosen cycle in a particular manner.
Harnessing this analysis, we give a precise characterisation for when a subclass of such a grid class is labelled well quasi-ordered, and we extend this to characterise (unlabelled) well quasi-ordering in certain cases. We prove that a large general family of these grid classes are finitely based, but we also exhibit other examples that are not, thereby disproving a conjecture from 2006 due to Huczynska and Vatter.
△ Less
Submitted 8 October, 2024;
originally announced October 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.
-
A characterisation of semigroups with only countably many subdirect products with $\mathbb{Z}$
Authors:
Ashley Clayton,
Catherine Reilly,
Nik Ruškuc
Abstract:
Let $\mathbb{Z}$ be the additive (semi)group of integers. We prove that for a finite semigroup $S$ the direct product $\mathbb{Z}\times S$ contains only countably many subdirect products (up to isomorphism) if and only if $S$ is regular. As a corollary we show that $\mathbb{Z}\times S$ has only countably many subsemigroups (up to isomorphism) if and only if $S$ is completely regular.
Let $\mathbb{Z}$ be the additive (semi)group of integers. We prove that for a finite semigroup $S$ the direct product $\mathbb{Z}\times S$ contains only countably many subdirect products (up to isomorphism) if and only if $S$ is regular. As a corollary we show that $\mathbb{Z}\times S$ has only countably many subsemigroups (up to isomorphism) if and only if $S$ is completely regular.
△ Less
Submitted 28 April, 2024;
originally announced April 2024.
-
Filtered Boolean powers of finite simple non-abelian Mal'cev algebras
Authors:
Peter Mayr,
Nik Ruškuc
Abstract:
Let $\mathbf{A}$ be a finite simple non-abelian Mal'cev algebra (e.g. a group, loop, ring). We investigate the Boolean power $\mathbf{D}$ of $\mathbf{A}$ by the countable atomless Boolean algebra $\mathbf{B}$ filtered at some idempotents $e_1,\dots,e_n$ of $\mathbf{A}$. When $e_1,\dots,e_n$ are all idempotents of $\mathbf{A}$ we establish two concrete representations of $\mathbf{D}$: as the Fraïss…
▽ More
Let $\mathbf{A}$ be a finite simple non-abelian Mal'cev algebra (e.g. a group, loop, ring). We investigate the Boolean power $\mathbf{D}$ of $\mathbf{A}$ by the countable atomless Boolean algebra $\mathbf{B}$ filtered at some idempotents $e_1,\dots,e_n$ of $\mathbf{A}$. When $e_1,\dots,e_n$ are all idempotents of $\mathbf{A}$ we establish two concrete representations of $\mathbf{D}$: as the Fraïssé limit of the class of finite direct powers of $\mathbf{A}$, and as congruence classes of the countable free algebra in the variety generated by $\mathbf{A}$. Further, for arbitrary $e_1,\dots,e_n$, we show that $\mathbf{D}$ is $ω$-categorical and that its automorphism group has the small index property, strong uncountable cofinality and the Bergman property. As necessary background we establish some general properties of congruences and automorphisms of filtered Boolean powers of $\mathbf{A}$ by any Boolean algebra $\mathbf{B}$, including a semidirect decomposition for their automorphism groups.
△ Less
Submitted 19 September, 2024; v1 submitted 26 April, 2024;
originally announced April 2024.
-
On Finite Presentability of Subsemigroups of the Monogenic Free Inverse Semigroup
Authors:
Yung Won Cho,
Nik Ruskuc
Abstract:
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 an…
▽ More
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.
△ Less
Submitted 1 October, 2024; v1 submitted 8 April, 2024;
originally announced April 2024.
-
Graph products of residually finite monoids are residually finite
Authors:
Jung Won Cho,
Victoria Gould,
Nik Ruškuc,
Dandan Yang
Abstract:
We show that any graph product of residually finite monoids is residually finite. As a special case we obtain that any free product of residually finite monoids is residually finite. The corresponding results for graph products of semigroups follow.
We show that any graph product of residually finite monoids is residually finite. As a special case we obtain that any free product of residually finite monoids is residually finite. The corresponding results for graph products of semigroups follow.
△ Less
Submitted 27 August, 2024; v1 submitted 20 March, 2024;
originally announced March 2024.
-
Congruences of maximum regular subsemigroups of variants of finite full transformation semigroups
Authors:
Igor Dolinka,
James East,
Nik Ruškuc
Abstract:
Let $T_X$ be the full transformation monoid over a finite set $X$, and fix some $a\in T_X$ of rank $r$. The variant $T_X^a$ has underlying set $T_X$, and operation $f\star g=fag$. We study the congruences of the subsemigroup $P=Reg(T_X^a)$ consisting of all regular elements of $T_X^a$, and the lattice $Cong(P)$ of all such congruences. Our main structure theorem ultimately decomposes $Cong(P)$ as…
▽ More
Let $T_X$ be the full transformation monoid over a finite set $X$, and fix some $a\in T_X$ of rank $r$. The variant $T_X^a$ has underlying set $T_X$, and operation $f\star g=fag$. We study the congruences of the subsemigroup $P=Reg(T_X^a)$ consisting of all regular elements of $T_X^a$, and the lattice $Cong(P)$ of all such congruences. Our main structure theorem ultimately decomposes $Cong(P)$ as a specific subdirect product of $Cong(T_r)$ and the full equivalence relation lattices of certain combinatorial systems of subsets and partitions. We use this to give an explicit classification of the congruences themselves, and we also give a formula for the height of the lattice.
△ Less
Submitted 12 August, 2024; v1 submitted 8 March, 2024;
originally announced March 2024.
-
Generators and presentations of inverse subsemigroups of the monogenic free inverse semigroup
Authors:
Jung Won Cho,
Nik Ruskuc
Abstract:
It was proved by Oliveira and Silva (2005) that every finitely generated inverse subsemigroup of the monogenic free inverse semigroup $FI_1$ is finitely presented. The present paper continues this development, and gives generating sets and presentations for general (i.e. not necessarily finitely generated) inverse subsemigroups of $FI_1$. For an inverse semigroup $S$ and an inverse subsemigroup…
▽ More
It was proved by Oliveira and Silva (2005) that every finitely generated inverse subsemigroup of the monogenic free inverse semigroup $FI_1$ is finitely presented. The present paper continues this development, and gives generating sets and presentations for general (i.e. not necessarily finitely generated) inverse subsemigroups of $FI_1$. For an inverse semigroup $S$ and an inverse subsemigroup $T$ of $S$, we say $S$ is finitely generated modulo $T$ if there is a finite set $A$ such that $S = \langle T, A \rangle$. Likewise, we say that $S$ is finitely presented modulo $T $ if $S$ can be defined by a presentation of the form $\text{Inv}\langle X, Y \mid R, Q\rangle$, where $\text{Inv}\langle X\mid R\rangle$ is a presentation for $T$ and $Y$ and $Q$ are finite. We show that every inverse subsemigroup $S$ of $FI_1$ is finitely generated modulo its semilattice of idempotents $E(S)$. By way of contrast, we show that when $S\neq E(S)$, it can never be finitely presented modulo $E(S)$. However, in the process we establish some nice (albeit infinite) presentations for $S$ modulo $E(S)$.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Coherency properties for monoids of transformations and partitions
Authors:
Matthew Brookes,
Victoria Gould,
Nik Ruskuc
Abstract:
A monoid $S$ is right coherent if every finitely generated subact of every finitely presented right $S$-act itself has a finite presentation; it is weakly right coherent if every finitely generated right ideal of $S$ has a finite presentation. We show that full and partial transformation monoids, symmetric inverse monoids and partition monoids over an infinite set are all weakly right coherent, bu…
▽ More
A monoid $S$ is right coherent if every finitely generated subact of every finitely presented right $S$-act itself has a finite presentation; it is weakly right coherent if every finitely generated right ideal of $S$ has a finite presentation. We show that full and partial transformation monoids, symmetric inverse monoids and partition monoids over an infinite set are all weakly right coherent, but that none of them is right coherent. Left coherency and weak left coherency are defined dually, and the corresponding results hold for these properties. In order to prove the non-coherency results, we give a presentation of an inverse semigroup which does not embed into any left or right coherent monoid.
△ Less
Submitted 21 December, 2023;
originally announced December 2023.
-
On the number of subdirect products involving semigroups of integers and natural numbers
Authors:
Ashley Clayton,
Katie Reilly,
Nik Ruskuc
Abstract:
We extend a recent result that for the (additive) semigroup of positive integers $\mathbb{N}$, there are continuum many subdirect products of $\mathbb{N} \times \mathbb{N}$ up to isomorphism. We prove that for $U,V$ each one of $\mathbb{Z}$ (the group of integers), $\mathbb{N}_{0}$ (the monoid of non-negative integers), or $\mathbb{N}$, we prove that $U \times V$ has continuum many (semigroup) sub…
▽ More
We extend a recent result that for the (additive) semigroup of positive integers $\mathbb{N}$, there are continuum many subdirect products of $\mathbb{N} \times \mathbb{N}$ up to isomorphism. We prove that for $U,V$ each one of $\mathbb{Z}$ (the group of integers), $\mathbb{N}_{0}$ (the monoid of non-negative integers), or $\mathbb{N}$, we prove that $U \times V$ has continuum many (semigroup) subdirect products up to isomorphism.
△ Less
Submitted 7 January, 2025; v1 submitted 8 November, 2023;
originally announced November 2023.
-
Heights of one- and two-sided congruence lattices of semigroups
Authors:
M. Brookes,
J. East,
C. Miller,
J. D. Mitchell,
N. Ruskuc
Abstract:
The height of a poset $P$ is the supremum of the cardinalities of chains in $P$. The exact formula for the height of the subgroup lattice of the symmetric group $\mathcal{S}_n$ is known, as is an accurate asymptotic formula for the height of the subsemigroup lattice of the full transformation monoid $\mathcal{T}_n$. Motivated by the related question of determining the heights of the lattices of le…
▽ More
The height of a poset $P$ is the supremum of the cardinalities of chains in $P$. The exact formula for the height of the subgroup lattice of the symmetric group $\mathcal{S}_n$ is known, as is an accurate asymptotic formula for the height of the subsemigroup lattice of the full transformation monoid $\mathcal{T}_n$. Motivated by the related question of determining the heights of the lattices of left- and right congruences of $\mathcal{T}_n$, we develop a general method for computing the heights of lattices of both one- and two-sided congruences for semigroups. We apply this theory to obtain exact height formulae for several monoids of transformations, matrices and partitions, including: the full transformation monoid $\mathcal{T}_n$, the partial transformation monoid $\mathcal{PT}_n$, the symmetric inverse monoid $\mathcal{I}_n$, the monoid of order-preserving transformations $\mathcal{O}_n$, the full matrix monoid $\mathcal{M}(n,q)$, the partition monoid $\mathcal{P}_n$, the Brauer monoid $\mathcal{B}_n$ and the Temperley-Lieb monoid $\mathcal{TL}_n$.
△ Less
Submitted 30 November, 2024; v1 submitted 12 October, 2023;
originally announced October 2023.
-
On the diameter of semigroups of transformations and partitions
Authors:
James East,
Victoria Gould,
Craig Miller,
Thomas Quinn-Gregson,
Nik Ruskuc
Abstract:
For a semigroup $S$ whose universal right congruence is finitely generated (or, equivalently, a semigroup satisfying the homological finiteness property of being type right-$FP_1$), the right diameter of $S$ is a parameter that expresses how `far apart' elements of $S$ can be from each other, in a certain sense. To be more precise, for each finite generating set $U$ for the universal right congrue…
▽ More
For a semigroup $S$ whose universal right congruence is finitely generated (or, equivalently, a semigroup satisfying the homological finiteness property of being type right-$FP_1$), the right diameter of $S$ is a parameter that expresses how `far apart' elements of $S$ can be from each other, in a certain sense. To be more precise, for each finite generating set $U$ for the universal right congruence on $S,$ we have a metric space $(S,d_U)$ where $d_U(a,b)$ is the minimum length of derivations for $(a,b)$ as a consequence of pairs in $U$; the right diameter of $S$ with respect to $U$ is the diameter of this metric space. The right diameter of $S$ is then the minimum of the set of all right diameters with respect to finite generating sets. We investigate whether various natural infinite semigroups of transformations and partitions have a finitely generated universal right/left congruence, and for those that do, we determine their right/left diameter. Among other results, for an arbitrary infinite set $X$ we prove the following. Each of the monoids of all binary relations on $X,$ of all partial transformations on $X,$ and of all full transformations on $X,$ as well as the partition and partial Brauer monoids on $X,$ have right diameter 1 and left diameter 1. The symmetric inverse monoid on $X$ has right diameter 2 and left diameter 2. The monoid of all injective mappings on $X$ has right diameter 4, and its minimal ideal (called the Baer-Levi semigroup on $X$) has right diameter 3, but neither of these two semigroups has a finitely generated universal left congruence. On the other hand, the semigroup of all surjective mappings on $X$ has left diameter 4, and its minimal ideal has left diameter 2, but neither of these semigroups has a finitely generated universal right congruence.
△ Less
Submitted 30 April, 2024; v1 submitted 11 October, 2023;
originally announced October 2023.
-
Decidability of well quasi-order and atomicity for equivalence relations under embedding orderings
Authors:
V. Ironmonger,
N. Ruskuc
Abstract:
We consider the posets of equivalence relations on finite sets under the standard embedding ordering and under the consecutive embedding ordering. In the latter case, the relations are also assumed to have an underlying linear order, which governs consecutive embeddings. For each poset we ask the well quasi-order and atomicity decidability questions: Given finitely many equivalence relations…
▽ More
We consider the posets of equivalence relations on finite sets under the standard embedding ordering and under the consecutive embedding ordering. In the latter case, the relations are also assumed to have an underlying linear order, which governs consecutive embeddings. For each poset we ask the well quasi-order and atomicity decidability questions: Given finitely many equivalence relations $ρ_1,\dots,ρ_k$, is the downward closed set Av$(ρ_1,\dots,ρ_k)$ consisting of all equivalence relations which do not contain any of $ρ_1,\dots,ρ_k$: (a) well-quasi-ordered, meaning that it contains no infinite antichains? and (b) atomic, meaning that it is not a union of two proper downward closed subsets, or, equivalently, that it satisfies the joint embedding property?
△ Less
Submitted 9 February, 2024; v1 submitted 26 January, 2023;
originally announced January 2023.
-
On the number of countable subdirect powers of finite commutative semigroups
Authors:
Ashley Clayton,
Nik Ruskuc
Abstract:
In 1981/82, Hickin \& Plotkin and McKenzie both proved that a finite group has only countably many non-isomorphic subdirect powers if and only if it is abelian. In this paper, we prove that a finite commutative semigroup has only countably many non-isomorphic countable subdirect powers if and only if it is either a finite abelian group or a null semigroup.
In 1981/82, Hickin \& Plotkin and McKenzie both proved that a finite group has only countably many non-isomorphic subdirect powers if and only if it is abelian. In this paper, we prove that a finite commutative semigroup has only countably many non-isomorphic countable subdirect powers if and only if it is either a finite abelian group or a null semigroup.
△ Less
Submitted 31 August, 2022;
originally announced August 2022.
-
On minimal ideals in pseudo-finite semigroups
Authors:
Victoria Gould,
Craig Miller,
Thomas Quinn-Gregson,
Nik Ruskuc
Abstract:
A semigroup $S$ is said to be right pseudo-finite if the universal right congruence can be generated by a finite set $U\subseteq S\times S$, and there is a bound on the length of derivations for an arbitrary pair $(s,t)\in S\times S$ as a consequence of those in $U$. This article explores the existence and nature of a minimal ideal in a right pseudo-finite semigroup. Continuing the theme started i…
▽ More
A semigroup $S$ is said to be right pseudo-finite if the universal right congruence can be generated by a finite set $U\subseteq S\times S$, and there is a bound on the length of derivations for an arbitrary pair $(s,t)\in S\times S$ as a consequence of those in $U$. This article explores the existence and nature of a minimal ideal in a right pseudo-finite semigroup. Continuing the theme started in an earlier work by Dandan et al., we show that in several natural classes of monoids, right pseudo-finiteness implies the existence of a completely simple minimal ideal. This is the case for orthodox monoids, completely regular monoids and right reversible monoids, which include all commutative monoids. We also show that certain other conditions imply the existence of a minimal ideal, which need not be completely simple; notably, this is the case for semigroups in which one of the Green's pre-orders $\leq_{\mathcal{L}}$ or $\leq_{\mathcal{J}}$ is left compatible with multiplication. Finally, we establish a number of examples of pseudo-finite monoids without a minimal ideal. We develop an explicit construction that yields such examples with additional desired properties, for instance, regularity or $\mathcal{J}$-triviality.
△ Less
Submitted 11 November, 2022; v1 submitted 21 April, 2022;
originally announced April 2022.
-
On the number of countable subdirect powers of unary algebras
Authors:
Nik Ruskuc,
Bill de Witt
Abstract:
A finite unary algebra $(A,F)$ has only countably many countable subdirect powers if and only if every operation $f\in F$ is either a permutation or a constant mapping.
A finite unary algebra $(A,F)$ has only countably many countable subdirect powers if and only if every operation $f\in F$ is either a permutation or a constant mapping.
△ Less
Submitted 10 July, 2023; v1 submitted 16 June, 2021;
originally announced June 2021.
-
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.
-
On separability properties in direct products of semigroups
Authors:
Gerard O'Reilly,
Martyn Quick,
Nik Ruskuc
Abstract:
We investigate four finiteness conditions related to residual finiteness: complete separability, strong subsemigroup separability, weak subsemigroup separability and monogenic subsemigroup separability. For each of these properties we examine under which conditions the property is preserved under direct products. We also consider if any of the properties are inherited by the factors in a direct pr…
▽ More
We investigate four finiteness conditions related to residual finiteness: complete separability, strong subsemigroup separability, weak subsemigroup separability and monogenic subsemigroup separability. For each of these properties we examine under which conditions the property is preserved under direct products. We also consider if any of the properties are inherited by the factors in a direct product. We give necessary and sufficient conditions for finite semigroups to preserve the properties of strong subsemigroup separability and monogenic subsemigroup separability in a direct product.
△ Less
Submitted 11 May, 2021; v1 submitted 22 February, 2021;
originally announced February 2021.
-
Properties of congruences of twisted partition monoids and their lattices
Authors:
James East,
Nik Ruskuc
Abstract:
We build on the recent characterisation of congruences on the infinite twisted partition monoids $\mathcal{P}_{n}^Φ$ and their finite $d$-twisted homomorphic images $\mathcal{P}_{n,d}^Φ$, and investigate their algebraic and order-theoretic properties. We prove that each congruence of $\mathcal{P}_{n}^Φ$ is (finitely) generated by at most $\lceil\frac{5n}2\rceil$ pairs, and we characterise the prin…
▽ More
We build on the recent characterisation of congruences on the infinite twisted partition monoids $\mathcal{P}_{n}^Φ$ and their finite $d$-twisted homomorphic images $\mathcal{P}_{n,d}^Φ$, and investigate their algebraic and order-theoretic properties. We prove that each congruence of $\mathcal{P}_{n}^Φ$ is (finitely) generated by at most $\lceil\frac{5n}2\rceil$ pairs, and we characterise the principal ones. We also prove that the congruence lattice $\textsf{Cong}(\mathcal{P}_{n}^Φ)$ is not modular (or distributive); it has no infinite ascending chains, but it does have infinite descending chains and infinite antichains. By way of contrast, the lattice $\textsf{Cong}(\mathcal{P}_{n,d}^Φ)$ is modular but still not distributive for $d>0$, while $\textsf{Cong}(\mathcal{P}_{n,0}^Φ)$ is distributive. We also calculate the number of congruences of $\mathcal{P}_{n,d}^Φ$, showing that the array $\big(|\textsf{Cong}(\mathcal{P}_{n,d}^Φ)|\big)_{n,d\geq 0}$ has a rational generating function, and that for a fixed $n$ or $d$, $|\textsf{Cong}(\mathcal{P}_{n,d}^Φ)|$ is a polynomial in $d$ or $n\geq 4$, respectively.
△ Less
Submitted 8 November, 2021; v1 submitted 19 October, 2020;
originally announced October 2020.
-
Classification of congruences of twisted partition monoids
Authors:
James East,
Nik Ruskuc
Abstract:
The twisted partition monoid $\mathcal{P}_n^Φ$ is an infinite monoid obtained from the classical finite partition monoid $\mathcal{P}_n$ by taking into account the number of floating components when multiplying partitions. The main result of this paper is a complete description of the congruences on $\mathcal{P}_n^Φ$. The succinct encoding of a congruence, which we call a C-pair, consists of a seq…
▽ More
The twisted partition monoid $\mathcal{P}_n^Φ$ is an infinite monoid obtained from the classical finite partition monoid $\mathcal{P}_n$ by taking into account the number of floating components when multiplying partitions. The main result of this paper is a complete description of the congruences on $\mathcal{P}_n^Φ$. The succinct encoding of a congruence, which we call a C-pair, consists of a sequence of $n+1$ congruences on the additive monoid $\mathbb{N}$ of natural numbers and a certain $(n+1)\times\mathbb{N}$ matrix. We also give a description of the inclusion ordering of congruences in terms of a lexicographic-like ordering on C-pairs. This is then used to classify congruences on the finite $d$-twisted partition monoids $\mathcal{P}_{n,d}^Φ$, which are obtained by factoring out from $\mathcal{P}_n^Φ$ the ideal of all partitions with more than $d$ floating components. Further applications of our results, elucidating the structure and properties of the congruence lattices of the ($d$-)twisted partition monoids, will be the subject of a future article.
△ Less
Submitted 26 October, 2021; v1 submitted 9 October, 2020;
originally announced October 2020.
-
On separability finiteness conditions in semigroups
Authors:
Craig Miller,
Gerard O'Reilly,
Martyn Quick,
Nik Ruskuc
Abstract:
Taking residual finiteness as a starting point, we consider three related finiteness properties: weak subsemigroup separability, strong subsemigroup separability and complete separability. We investigate whether each of these properties is inherited by Schützenberger groups. The main result of this paper states that for a finitely generated commutative semigroup $S$, these three separability condi…
▽ More
Taking residual finiteness as a starting point, we consider three related finiteness properties: weak subsemigroup separability, strong subsemigroup separability and complete separability. We investigate whether each of these properties is inherited by Schützenberger groups. The main result of this paper states that for a finitely generated commutative semigroup $S$, these three separability conditions coincide and are equivalent to every $\mathcal{H}$-class of $S$ being finite. We also provide examples to show that these properties in general differ for commutative semigroups and finitely generated semigroups. For a semigroup with finitely many $\mathcal{H}$-classes, we investigate whether it has one of these properties if and only if all its Schützenberger groups have the property.
△ Less
Submitted 18 May, 2021; v1 submitted 15 June, 2020;
originally announced June 2020.
-
Atomicity and well quasi-order for consecutive orderings on words and permutations
Authors:
Matthew McDevitt,
Nik Ruskuc
Abstract:
Algorithmic decidability is established for two order-theoretic properties of downward closed subsets defined by finitely many obstructions in two infinite posets. The properties under consideration are: (a) being atomic, i.e. not being decomposable as a union of two downward closed proper subsets, or, equivalently, satisfying the joint embedding property; and (b) being well quasi-ordered. The two…
▽ More
Algorithmic decidability is established for two order-theoretic properties of downward closed subsets defined by finitely many obstructions in two infinite posets. The properties under consideration are: (a) being atomic, i.e. not being decomposable as a union of two downward closed proper subsets, or, equivalently, satisfying the joint embedding property; and (b) being well quasi-ordered. The two posets are: (1) words over a finite alphabet under the consecutive subword ordering; and (2) finite permutations under the consecutive subpermutation ordering. Underpinning the four results are characterisations of atomicity and well quasi-order for the subpath ordering on paths of a finite directed graph.
△ Less
Submitted 22 December, 2020; v1 submitted 24 March, 2020;
originally announced March 2020.
-
Congruence lattices of ideals in categories and (partial) semigroups
Authors:
James East,
Nik Ruskuc
Abstract:
This paper presents a unified framework for determining the congruences on a number of monoids and categories of transformations, diagrams, matrices and braids, and on all their ideals. The key theoretical advances present an iterative process of stacking certain normal subgroup lattices on top of each other to successively build congruence lattices of a chain of ideals. This is applied to several…
▽ More
This paper presents a unified framework for determining the congruences on a number of monoids and categories of transformations, diagrams, matrices and braids, and on all their ideals. The key theoretical advances present an iterative process of stacking certain normal subgroup lattices on top of each other to successively build congruence lattices of a chain of ideals. This is applied to several specific categories of: transformations; order/orientation preserving/reversing transformations; partitions; planar/annular partitions; Brauer, Temperley--Lieb and Jones partitions; linear and projective linear transformations; and partial braids. Special considerations are needed for certain small ideals, and technically more intricate theoretical underpinnings for the linear and partial braid categories.
△ Less
Submitted 25 May, 2020; v1 submitted 7 January, 2020;
originally announced January 2020.
-
Bounded homomorphisms and finitely generated fiber products of lattices
Authors:
William DeMeo,
Peter Mayr,
Nik Ruskuc
Abstract:
We investigate when fiber products of lattices are finitely generated and obtain a new characterization of bounded lattice homomorphisms onto lattices satisfying a property we call Dean's condition (D) which arises from Dean's solution to the word problem for finitely presented lattices. In particular, all finitely presented lattices and those satisfying Whitman's condition satisfy (D). For lattic…
▽ More
We investigate when fiber products of lattices are finitely generated and obtain a new characterization of bounded lattice homomorphisms onto lattices satisfying a property we call Dean's condition (D) which arises from Dean's solution to the word problem for finitely presented lattices. In particular, all finitely presented lattices and those satisfying Whitman's condition satisfy (D). For lattice epimorphisms $g\colon A\to D$, $h\colon B\to D$, where $A$, $B$ are finitely generated and $D$ satisfies (D), we show the following: If $g$ and $h$ are bounded, then their fiber product (pullback) $C=\{(a,b)\in A\times B\ |\ g(a)=h(b)\}$ is finitely generated. While the converse is not true in general, it does hold when $A$ and $B$ are free. As a consequence we obtain an (exponential time) algorithm to decide boundedness for finitely presented lattices and their finitely generated sublattices satisfying (D). This generalizes an unpublished result of Freese and Nation.
△ Less
Submitted 26 November, 2019; v1 submitted 18 July, 2019;
originally announced July 2019.
-
Coherency and constructions for monoids
Authors:
Yang Dandan,
Victoria Gould,
Miklos Hartmann,
Nik Ruskuc,
Rida-E Zenab
Abstract:
A monoid $S$ is right coherent if every finitely generated subact of every finitely presented right $S$-act is finitely presented. This is a finiteness condition, and we investigate whether or not it is preserved under some standard algebraic and semigroup theoretic constructions: subsemigroups, homomorphic images, direct products, Rees matrix semigroups, including Brandt semigroups, and Bruck--Re…
▽ More
A monoid $S$ is right coherent if every finitely generated subact of every finitely presented right $S$-act is finitely presented. This is a finiteness condition, and we investigate whether or not it is preserved under some standard algebraic and semigroup theoretic constructions: subsemigroups, homomorphic images, direct products, Rees matrix semigroups, including Brandt semigroups, and Bruck--Reilly extensions. We also investigate the relationship with the property of being weakly right noetherian, which requires all right ideals of $S$ to be finitely generated.
△ Less
Submitted 14 September, 2020; v1 submitted 13 June, 2019;
originally announced June 2019.
-
Right noetherian semigroups
Authors:
Craig Miller,
Nik Ruskuc
Abstract:
A semigroup $S$ is right noetherian if every right congruence on $S$ is finitely generated. In this paper we present some fundamental properties of right noetherian semigroups, discuss how semigroups relate to their substructures with regard to the property of being right noetherian, and investigate whether this property is preserved under various semigroup constructions.
A semigroup $S$ is right noetherian if every right congruence on $S$ is finitely generated. In this paper we present some fundamental properties of right noetherian semigroups, discuss how semigroups relate to their substructures with regard to the property of being right noetherian, and investigate whether this property is preserved under various semigroup constructions.
△ Less
Submitted 6 September, 2019; v1 submitted 20 November, 2018;
originally announced November 2018.
-
Congruences on infinite partition and partial Brauer monoids
Authors:
James East,
Nik Ruskuc
Abstract:
We give a complete description of the congruences on the partition monoid $P_X$ and the partial Brauer monoid $PB_X$, where $X$ is an arbitrary infinite set, and also of the lattices formed by all such congruences. Our results complement those from a recent article of East, Mitchell, Ruskuc and Torpey, which deals with the finite case. As a consequence of our classification result, we show that th…
▽ More
We give a complete description of the congruences on the partition monoid $P_X$ and the partial Brauer monoid $PB_X$, where $X$ is an arbitrary infinite set, and also of the lattices formed by all such congruences. Our results complement those from a recent article of East, Mitchell, Ruskuc and Torpey, which deals with the finite case. As a consequence of our classification result, we show that the congruence lattices of $P_X$ and $PB_X$ are isomorphic to each other, and are distributive and well quasi-ordered. We also calculate the smallest number of pairs of partitions required to generate any congruence; when this number is infinite, it depends on the cofinality of certain limit cardinals.
△ Less
Submitted 10 May, 2021; v1 submitted 19 September, 2018;
originally announced September 2018.
-
Solvable quotients of subdirect products of perfect groups are nilpotent
Authors:
Keith Kearnes,
Peter Mayr,
Nik Ruškuc
Abstract:
We prove the statement in the title and exhibit examples of quotients of arbitrary nilpotency class. This answers a question by D. F. Holt.
We prove the statement in the title and exhibit examples of quotients of arbitrary nilpotency class. This answers a question by D. F. Holt.
△ Less
Submitted 24 September, 2020; v1 submitted 9 April, 2018;
originally announced April 2018.
-
On the number of subsemigroups of direct products involving the free monogenic semigroup
Authors:
Ashley Clayton,
Nik Ruskuc
Abstract:
The direct product $\mathbb{N}\times\mathbb{N}$ of two free monogenic semigroups contains uncountably many pairwise non-isomorphic subdirect products. Furthermore, the following hold for $\mathbb{N}\times S$, where $S$ is a finite semigroup. It contains only countably many pairwise non-isomorphic subsemigroups if and only if $S$ is a union of groups. And it contains only countably many pairwise no…
▽ More
The direct product $\mathbb{N}\times\mathbb{N}$ of two free monogenic semigroups contains uncountably many pairwise non-isomorphic subdirect products. Furthermore, the following hold for $\mathbb{N}\times S$, where $S$ is a finite semigroup. It contains only countably many pairwise non-isomorphic subsemigroups if and only if $S$ is a union of groups. And it contains only countably many pairwise non-isomorphic subdirect products if and only if every element of $S$ has a relative left- or right identity element.
△ Less
Submitted 2 November, 2018; v1 submitted 21 March, 2018;
originally announced March 2018.
-
Generating subdirect products
Authors:
Peter Mayr,
Nik Ruskuc
Abstract:
We study conditions under which subdirect products of various types of algebraic structures are finitely generated or finitely presented. In the case of two factors, we prove general results for arbitrary congruence permutable varieties, which generalise previously known results for groups, and which apply to modules, rings, $K$-algebras and loops. For instance, if $C$ is a fiber product of $A$ an…
▽ More
We study conditions under which subdirect products of various types of algebraic structures are finitely generated or finitely presented. In the case of two factors, we prove general results for arbitrary congruence permutable varieties, which generalise previously known results for groups, and which apply to modules, rings, $K$-algebras and loops. For instance, if $C$ is a fiber product of $A$ and $B$ over a common quotient $D$, and if $A$, $B$ and $D$ are finitely presented, then $C$ is finitely generated. For subdirect products of more than two factors we establish a general connection with projections on pairs of factors and higher commutators. More detailed results are provided for groups, loops, rings and $K$-algebras. In particular, let $C$ be a subdirect product of $K$-algebras $A_1,\dots,A_n$ for a Noetherian ring $K$ such that the projection of $C$ onto any $A_i\times A_j$ has finite co-rank in $A_i\times A_j$. Then $C$ is finitely generated (resp. finitely presented) if and only if all $A_i$ are finitely generated (resp. finitely presented). Finally, examples of semigroups and lattices are provided which indicate further complications as one ventures beyond congruence permutable varieties.
△ Less
Submitted 17 March, 2019; v1 submitted 26 February, 2018;
originally announced February 2018.
-
An introduction to presentations of monoid acts: quotients and subacts
Authors:
Craig Miller,
Nik Ruskuc
Abstract:
The purpose of this paper is to introduce the theory of presentations of monoids acts. We aim to construct `nice' general presentations for various act constructions pertaining to subacts and Rees quotients. More precisely, given an $M$-act $A$ and a subact $B$ of $A$, on the one hand we construct presentations for $B$ and the Rees quotient $A/B$ using a presentation for $A$, and on the other hand…
▽ More
The purpose of this paper is to introduce the theory of presentations of monoids acts. We aim to construct `nice' general presentations for various act constructions pertaining to subacts and Rees quotients. More precisely, given an $M$-act $A$ and a subact $B$ of $A$, on the one hand we construct presentations for $B$ and the Rees quotient $A/B$ using a presentation for $A$, and on the other hand we derive a presentation for $A$ from presentations for $B$ and $A/B$. We also construct a general presentation for the union of two subacts. From our general presentations, we deduce a number of finite presentability results. Finally, we consider the case where a subact $B$ has finite complement in an $M$-act $A$. We show that if $M$ is a finitely generated monoid and $B$ is finitely presented, then $A$ is finitely presented. We also show that if $M$ belongs to a wide class of monoids, including all finitely presented monoids, then the converse also holds.
△ Less
Submitted 20 May, 2018; v1 submitted 26 September, 2017;
originally announced September 2017.
-
Presentations for subrings and subalgebras of finite co-rank
Authors:
Peter Mayr,
Nik Ruskuc
Abstract:
Let $K$ be a commutative Noetherian ring with identity, let $A$ be a $K$-algebra, and let $B$ be a subalgebra of $A$ such that $A/B$ is finitely generated as a $K$-module. The main result of the paper is that $A$ is finitely presented (resp. finitely generated) if and only if $B$ is finitely presented (resp. finitely generated). As corollaries we obtain: a subring of finite index in a finitely pre…
▽ More
Let $K$ be a commutative Noetherian ring with identity, let $A$ be a $K$-algebra, and let $B$ be a subalgebra of $A$ such that $A/B$ is finitely generated as a $K$-module. The main result of the paper is that $A$ is finitely presented (resp. finitely generated) if and only if $B$ is finitely presented (resp. finitely generated). As corollaries we obtain: a subring of finite index in a finitely presented ring is finitely presented; a subalgebra of finite co-dimension in a finitely presented algebra over a field is finitely presented (already shown by Voden in 2009). We also discuss the role of the Noetherian assumption on $K$, and show that for finite generation it can be replaced by a weaker condition that the module $A/B$ be finitely presented. Finally, we demonstrate that the results do not readily extend to non-associative algebras, by exhibiting an ideal of co-dimension $1$ of the free Lie algebra of rank 2 which is not finitely generated as a Lie algebra.
△ Less
Submitted 20 February, 2019; v1 submitted 13 September, 2017;
originally announced September 2017.
-
Congruence lattices of finite diagram monoids
Authors:
James East,
James D. Mitchell,
Nik Ruskuc,
Michael Torpey
Abstract:
We give a complete description of the congruence lattices of the following finite diagram monoids: the partition monoid, the planar partition monoid, the Brauer monoid, the Jones monoid (also known as the Temperley-Lieb monoid), the Motzkin monoid, and the partial Brauer monoid. All the congruences under discussion arise as special instances of a new construction, involving an ideal I, a retractio…
▽ More
We give a complete description of the congruence lattices of the following finite diagram monoids: the partition monoid, the planar partition monoid, the Brauer monoid, the Jones monoid (also known as the Temperley-Lieb monoid), the Motzkin monoid, and the partial Brauer monoid. All the congruences under discussion arise as special instances of a new construction, involving an ideal I, a retraction I->M onto the minimal ideal, a congruence on M, and a normal subgroup of a maximal subgroup outside I.
△ Less
Submitted 18 May, 2018; v1 submitted 31 August, 2017;
originally announced September 2017.
-
On well quasi-order of graph classes under homomorphic image orderings
Authors:
N. Ruskuc,
Sophie Huczynska
Abstract:
In this paper we consider the question of well quasi-order for classes defined by a single obstruction within the classes of all graphs, digraphs and tournaments, under the homomorphic image ordering (in both its standard and strong forms). The homomorphic image ordering was introduced by the authors in a previous paper and corresponds to the existence of a surjective homomorphism between two stru…
▽ More
In this paper we consider the question of well quasi-order for classes defined by a single obstruction within the classes of all graphs, digraphs and tournaments, under the homomorphic image ordering (in both its standard and strong forms). The homomorphic image ordering was introduced by the authors in a previous paper and corresponds to the existence of a surjective homomorphism between two structures. We obtain complete characterizations in all cases except for graphs under the strong ordering, where some open questions remain.
△ Less
Submitted 16 March, 2017; v1 submitted 3 November, 2016;
originally announced November 2016.
-
Finiteness properties of direct products of algebraic structures
Authors:
Peter Mayr,
Nik Ruskuc
Abstract:
We consider the preservation of properties of being finitely generated, being finitely presented and being residually finite under direct products in the context of different types of algebraic structures. The structures considered include Mal'cev algebras (including groups, rings and other classical algebras, as well as loops), idempotent algebras (including lattices), semigroups, and algebras in…
▽ More
We consider the preservation of properties of being finitely generated, being finitely presented and being residually finite under direct products in the context of different types of algebraic structures. The structures considered include Mal'cev algebras (including groups, rings and other classical algebras, as well as loops), idempotent algebras (including lattices), semigroups, and algebras in congruence modular varieties. We aim to identify as broad classes as possible in which the 'expected' preservation results (AxB satisfies property P if and only if A and B satisfy P) hold, and to exhibit ways in which they may fail outside those classes.
△ Less
Submitted 24 September, 2017; v1 submitted 18 April, 2016;
originally announced April 2016.
-
On the star-height of factor counting languages and their relationship to Rees zero-matrix semigroups
Authors:
Tom Bourne,
Nik Ruskuc
Abstract:
Given a word $w$ over a finite alphabet, we consider, in three special cases, the generalised star-height of the languages in which $w$ occurs as a contiguous subword (factor) an exact number of times and of the languages in which $w$ occurs as a contiguous subword modulo a fixed number, and prove that in each case it is at most one. We use these combinatorial results to show that any language rec…
▽ More
Given a word $w$ over a finite alphabet, we consider, in three special cases, the generalised star-height of the languages in which $w$ occurs as a contiguous subword (factor) an exact number of times and of the languages in which $w$ occurs as a contiguous subword modulo a fixed number, and prove that in each case it is at most one. We use these combinatorial results to show that any language recognised by a Rees (zero-)matrix semigroup over an abelian group is of generalised star-height at most one.
△ Less
Submitted 27 September, 2016; v1 submitted 20 March, 2016;
originally announced March 2016.
-
Finite presentability and isomorphism of Cayley graphs of monoids
Authors:
J. Awang,
M. Pfeiffer,
N. Ruskuc
Abstract:
Two finitely generated monoids are constructed, one finitely presented the other not, whose (directed, unlabelled) Cayley graphs are isomorphic.
Two finitely generated monoids are constructed, one finitely presented the other not, whose (directed, unlabelled) Cayley graphs are isomorphic.
△ Less
Submitted 15 October, 2016; v1 submitted 26 February, 2016;
originally announced February 2016.
-
Rationality for subclasses of 321-avoiding permutations
Authors:
Michael H. Albert,
Robert Brignall,
Nik Ruškuc,
Vincent Vatter
Abstract:
We prove that every proper subclass of the 321-avoiding permutations that is defined either by only finitely many additional restrictions or is well quasi-ordered has a rational generating function. To do so we show that any such class is in bijective correspondence with a regular language. The proof makes significant use of formal languages and of a host of encodings, including a new mapping call…
▽ More
We prove that every proper subclass of the 321-avoiding permutations that is defined either by only finitely many additional restrictions or is well quasi-ordered has a rational generating function. To do so we show that any such class is in bijective correspondence with a regular language. The proof makes significant use of formal languages and of a host of encodings, including a new mapping called the panel encoding that maps languages over the infinite alphabet of positive integers avoiding certain subwords to languages over finite alphabets.
△ Less
Submitted 1 January, 2019; v1 submitted 1 February, 2016;
originally announced February 2016.
-
Free monoids are coherent
Authors:
Victoria Gould,
Miklos Hartmann,
Nik Ruskuc
Abstract:
A monoid $S$ is said to be right coherent if every finitely generated subact of every finitely presented right $S$-act is finitely presented. Left coherency is defined dually and $S$ is coherent if it is both right and left coherent. These notions are analogous to those for a ring $R$ (where, of course, $S$-acts are replaced by $R$-modules). Choo, Lam and Luft have shown that free rings are cohere…
▽ More
A monoid $S$ is said to be right coherent if every finitely generated subact of every finitely presented right $S$-act is finitely presented. Left coherency is defined dually and $S$ is coherent if it is both right and left coherent. These notions are analogous to those for a ring $R$ (where, of course, $S$-acts are replaced by $R$-modules). Choo, Lam and Luft have shown that free rings are coherent. In this note we prove that, correspondingly, any free monoid is coherent, thus answering a question posed by the first author in 1992.
△ Less
Submitted 28 January, 2015; v1 submitted 23 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.
-
Ends of Semigroups
Authors:
S. Craik,
R. Gray,
V. Kilibarda,
J. D. Mitchell,
N. Ruskuc
Abstract:
We define the notion of the partial order of ends of the Cayley graph of a semigroup. We prove that the structure of the ends of a semigroup is invariant under change of finite generating set and at the same time is inherited by subsemigroups and extensions of finite Rees index. We prove an analogue of Hopf's Theorem, stating that a group has 1, 2 or infinitely many ends, for left cancellative sem…
▽ More
We define the notion of the partial order of ends of the Cayley graph of a semigroup. We prove that the structure of the ends of a semigroup is invariant under change of finite generating set and at the same time is inherited by subsemigroups and extensions of finite Rees index. We prove an analogue of Hopf's Theorem, stating that a group has 1, 2 or infinitely many ends, for left cancellative semigroups and that the cardinality of the set of ends is invariant in subsemigroups and extension of finite Green index in left cancellative semigroups.
△ Less
Submitted 3 September, 2014;
originally announced September 2014.
-
A classification of disjoint unions of two or three copies of the free monogenic semigroup
Authors:
N. Abu-Ghazalh,
J. D. Mitchell,
Y. Péresse,
N. Ruškuc
Abstract:
We prove that, up to isomorphism and anti-isomorphism, there are only two semigroups which are the union of two copies of the free monogenic semigroup. Similarly, there are only nine semigroups which are the union of three copies of the free monogenic semigroup. We provide finite presentations for each of these semigroups.
We prove that, up to isomorphism and anti-isomorphism, there are only two semigroups which are the union of two copies of the free monogenic semigroup. Similarly, there are only nine semigroups which are the union of three copies of the free monogenic semigroup. We provide finite presentations for each of these semigroups.
△ Less
Submitted 3 June, 2014; v1 submitted 19 December, 2013;
originally announced December 2013.
-
On hopfian cofinite subsemigroups
Authors:
Victor Maltcev,
N. Ruskuc
Abstract:
If a finitely generated semigroup S has a hopfian (meaning: every surjective endomorphism is an automorphism) cofinite subsemigroup T then S is hopfian too. This no longer holds if S is not finitely generated. There exists a finitely generated hopfian semigroup S with a non-hopfian subsemigroup T such that S\T has size 1.
If a finitely generated semigroup S has a hopfian (meaning: every surjective endomorphism is an automorphism) cofinite subsemigroup T then S is hopfian too. This no longer holds if S is not finitely generated. There exists a finitely generated hopfian semigroup S with a non-hopfian subsemigroup T such that S\T has size 1.
△ Less
Submitted 26 July, 2013;
originally announced July 2013.
-
Unary FA-presentable binary relations: transitivity and classification results
Authors:
Alan J. Cain,
Nik Ruškuc
Abstract:
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. A particular focus of research has been the classification of those structures of some species that admit FA-presentations. Whilst some successes have been obtained, this appears to be a difficult problem in ge…
▽ More
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. A particular focus of research has been the classification of those structures of some species that admit FA-presentations. Whilst some successes have been obtained, this appears to be a difficult problem in general. A restricted problem, also of significant interest, is to ask this question for unary FA-presentations: that is, FA-presentations over a one-letter alphabet. This paper studies unary FA-presentable binary relations.
It is proven that transitive closure of a unary FA-presentable binary relation is itself unary FA-presentable. Characterizations are then given of unary FA-presentable binary relations, quasi-orders, partial orders, tournaments, directed trees and forests, undirected trees and forests, and the orbit structures of unary FA-presentable partial and complete mappings, injections, surjections, and bijections.
△ Less
Submitted 1 March, 2013;
originally announced March 2013.
-
Every group is a maximal subgroup of the free idempotent generated semigroup over a band
Authors:
Igor Dolinka,
Nik Ruškuc
Abstract:
Given an arbitrary group $G$ we construct a semigroup of idempotents (band) $B_G$ with the property that the free idempotent generated semigroup over $B_G$ has a maximal subgroup isomorphic to $G$. If $G$ is finitely presented then $B_G$ is finite. This answers several questions from recent papers in the area.
Given an arbitrary group $G$ we construct a semigroup of idempotents (band) $B_G$ with the property that the free idempotent generated semigroup over $B_G$ has a maximal subgroup isomorphic to $G$. If $G$ is finitely presented then $B_G$ is finite. This answers several questions from recent papers in the area.
△ Less
Submitted 12 January, 2013; v1 submitted 7 January, 2013;
originally announced January 2013.
-
Subalgebras of FA-presentable algebras
Authors:
Alan J. Cain,
Nik Ruškuc
Abstract:
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. This paper studies FA-presentable algebras. First, an example is given to show that the class of finitely generated FA-presentable algebras is not closed under forming finitely generated subalgebras, even withi…
▽ More
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. This paper studies FA-presentable algebras. First, an example is given to show that the class of finitely generated FA-presentable algebras is not closed under forming finitely generated subalgebras, even within the class of algebras with only unary operations. However, it is proven that a finitely generated subalgebra of an FA-presentable algebra with a single unary operation is itself FA-presentable. Furthermore, it is proven that the class of unary FA-presentable algebras is closed under forming finitely generated subalgebras, and that the membership problem for such subalgebras is decidable.
△ Less
Submitted 24 June, 2012;
originally announced June 2012.
-
Deciding Word Problems of Semigroups using Finite State Automata
Authors:
Max Neunhöffer,
Markus Pfeiffer,
Nik Ruskuc
Abstract:
We explore a natural class of semigroups that have word problem decidable by finite state automata. Among the main results are invariance of this property under change of generators, invariance under basic algebraic constructions and algebraic properties of these semigroups.
We explore a natural class of semigroups that have word problem decidable by finite state automata. Among the main results are invariance of this property under change of generators, invariance under basic algebraic constructions and algebraic properties of these semigroups.
△ Less
Submitted 16 October, 2019; v1 submitted 8 June, 2012;
originally announced June 2012.
-
On disjoint unions of finitely many copies of the free monogenic semigroup
Authors:
N. Abu-Ghazalh,
Nik Ruskuc
Abstract:
Every semigroup which is a finite disjoint union of copies of the free monogenic semigroup (natural numbers under addition) is finitely presented and residually finite.
Every semigroup which is a finite disjoint union of copies of the free monogenic semigroup (natural numbers under addition) is finitely presented and residually finite.
△ Less
Submitted 4 January, 2013; v1 submitted 28 May, 2012;
originally announced May 2012.
-
Ideals and finiteness conditions for subsemigroups
Authors:
R. Gray,
V. Maltcev,
J. D. Mitchell,
N. Ruskuc
Abstract:
In this paper we consider a number of finiteness conditions for semigroups related to their ideal structure, and ask whether such conditions are preserved by sub- or supersemigroups with finite Rees or Green index. Specific properties under consideration include stability, D=J and minimal conditions on ideals.
In this paper we consider a number of finiteness conditions for semigroups related to their ideal structure, and ask whether such conditions are preserved by sub- or supersemigroups with finite Rees or Green index. Specific properties under consideration include stability, D=J and minimal conditions on ideals.
△ Less
Submitted 25 January, 2013; v1 submitted 30 April, 2012;
originally announced April 2012.
