For a monoid $M$, we denote by $\mathbb G(M)$ the group of units, $\mathbb E(M)$ the submonoid generated by the idempotents, and $\mathbb G_L(M)$ and $\mathbb G_R(M)$ the submonoids consisting of all left or right units. Writing $\mathcal M$ for the (monoidal) category of monoids, $\mathbb G$, $\mathbb E$, $\mathbb G_L$ and $\mathbb G_R$ are all (monoidal) functors $\mathcal M\to\mathcal M$. There are other natural functors associated to submonoids generated by combinations of idempotents and one- or two-sided units. The above functors generate a monoid with composition as its operation. We show that this monoid has size $15$, and describe its algebraic structure. We also show how to associate certain lattice invariants to a monoid, and classify the lattices that arise in this fashion. A number of examples are discussed throughout, some of which are essential for the proofs of the main theoretical results.
We study monoids generated by various combinations of idempotents and one- or two-sided units of an infinite partial Brauer monoid. This yields a total of eight such monoids, each with a natural characterisation in terms of relationships between parameters associated to Brauer graphs. We calculate the relative ranks of each monoid modulo any other such monoid it may contain, and then apply these results to determine the Sierpinski rank of each monoid, and ascertain which ones have the semigroup Bergman property. We also make some fundamental observations about idempotents and units in arbitrar…
A variety of algebras is called limit if it is non-finitely based but all its proper subvarieties are finitely based. A monoid is aperiodic if all its subgroups are trivial. We classify all limit varieties of aperiodic monoids with commuting idempotents.
We characterise the elements of the (maximum) idempotent generated subsemigroup of the Kauffman monoid in terms of combinatorial data associated to certain normal forms. We also calculate the smallest size of a generating set and idempotent generating set.
We develop some new topological tools to study maximal subgroups of free idempotent generated semigroups. As an application, we show that the rank 1 component of the free idempotent generated semigroup of the biordered set of a full matrix monoid of n x n matrices, n>2$ over a division ring Q has maximal subgroup isomorphic to the multiplicative subgroup of Q.
Recently, Gray and Ruskuc (arXiv:1101.1833) proved that if e is a rank k idempotent transformation of the set {1,...,n} to itself and k<=n-2, then the maximal subgroup of the free idempotent generated semigroup over the full transformation monoid T_n containing e is isomorphic to the symmetric group S_k. We prove that the same holds when T_n is replaced by PT_n, the full monoid of partial transformations on {1,...,n}.
Let T_n be the full transformation semigroup of all mappings from the set {1,...,n} to itself under composition. Let E = E(T_n) denote the set of idempotents of T_n and let e be an arbitrary idempotent satisfying |im(e)|=r < n-1. We prove that the maximal subgroup of the free idempotent generated semigroup over E containing e is isomorphic to the symmetric group S_r.
We calculate the rank and idempotent rank of the semigroup $E(X,P)$ generated by the idempotents of the semigroup $T(X,P)$, which consists of all transformations of the finite set $X$ preserving a non-uniform partition $P$. We also classify and enumerate the idempotent generating sets of this minimal possible size. This extends results of the first two authors in the uniform case.
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 su…
The algebraic variety defined by the idempotents of an incidence monoid is investigated. Its irreducible components are determined. The intersection with an antichain submonoid is shown to be the union of these irreducible components. The antichain monoids of bipartite posets are shown to be orthodox semigroups. The Green's relations are explicitly determined, and applications to conjugacy problems are described. In particular, it is shown that two elements in the antichain monoid are primarily conjugate in the monoid if and only if they belong to the same $\mathcal{J}$-class and their multipl…
We show that the rank r component of the free idempotent generated semigroup of the biordered set of the full linear monoid of n x n matrices over a division ring Q has maximal subgroup isomorphic to the general linear group GL_r(Q), where n and r are positive integers with r < n/3.
We investigate the structure of the twisted Brauer monoid $\mathcal B_n^τ$, comparing and contrasting it to the structure of the (untwisted) Brauer monoid $\mathcal B_n$. We characterise Green's relations and pre-orders on $\mathcal B_n^τ$, describe the lattice of ideals, and give necessary and sufficient conditions for an ideal to be idempotent-generated. We obtain formulae for the rank (smallest size of a generating set) and (where applicable) the idempotent rank (smallest size of an idempotent generating set) of each principal ideal; in particular, when an ideal is idempotent-generated, its…
We describe a formalism, using groupoids, for the study of rewriting for presentations of inverse monoids, that is based on the Squier complex construction for monoid presentations. We introduce the class of pseudoregular groupoids, an example of which now arises as the fundamental groupoid of our version of the Squier complex. A further key ingredient is the factorisation of the presentation map from a free inverse monoid as the composition of an idempotent pure map and an idempotent separating map. The relation module of a presentation is then defined as the abelianised kernel of this idempo…
We study the ideals of the partition, Brauer, and Jones monoid, establishing various combinatorial results on generating sets and idempotent generating sets via an analysis of their Graham--Houghton graphs. We show that each proper ideal of the partition monoid P_n is an idempotent generated semigroup, and obtain a formula for the minimal number of elements (and the minimal number of idempotent elements) needed to generate these semigroups. In particular, we show that these two numbers, which are called the rank and idempotent rank (respectively) of the semigroup, are equal to each other, and …
We give a characterisation of the idempotents of the partition monoid, and use this to enumerate the idempotents in the finite partition, Brauer and partial Brauer monoids, giving several formulae and recursions for the number of idempotents in each monoid as well as various $\mathscr R$-, $\mathscr L$- and $\mathscr D$-classes. We also apply our results to determine the number of idempotent basis elements in the finite dimensional partition, Brauer and partial Brauer algebras.
With each semigroup one can associate a partial algebra, called the biordered set, which captures important algebraic and geometric features of the structure of idempotents of that semigroup. For a biordered set $\mathcal{E}$, one can construct the free idempotent-generated semigroup over $\mathcal{E}$, $\mathsf{IG}(\mathcal{E})$, which is the free-est semigroup (in a definite categorical sense) whose biorder of idempotents is isomorphic to $\mathcal{E}$. Studies of these intriguing objects have been recently focusing on their particular aspects, such as maximal subgroups, the word problem, et…
Denote by $\mathcal T_n$ and $\mathcal S_n$ the full transformation semigroup and the symmetric group on the set $\{1,\ldots,n\}$, and $\mathcal E_n=\{1\}\cup(\mathcal T_n\setminus \mathcal S_n)$. Let $\mathcal T(X,\mathcal P)$ denote the set of all transformations of the finite set $X$ preserving a uniform partition $\mathcal P$ of $X$ into $m$ subsets of size $n$, where $m,n\geq2$. We enumerate the idempotents of $\mathcal T(X,\mathcal P)$, and describe the subsemigroup $S=\langle E\rangle$ generated by the idempotents $E=E(\mathcal T(X,\mathcal P))$. We show that $S=S_1\cup S_2$, where $S_1…
Maximal subgroups of free projection- and idempotent-generated semigroups with applications to partition monoids
Centre for Research in Mathematics and Data Science, Western Sydney University（西悉尼大学数学与数据科学研究中心）；School of Engineering, Mathematics and Physics, University of East Anglia（东英吉利大学工程、数学与物理学院）；Mathematical Institute, School of Mathematics and Statistics, University of St Andrews（圣安德鲁斯大学数学与统计学院数学研究所）
In this paper we present a new embedding of a semigroup into a semiband (idempotent-generated semigroup) of depth 4 (every element is the product of 4 idempotents) using a semidirect product construction. Our embedding does not assume that S is a monoid (although it assumes a weaker condition), and works also for (non-monoid) regular semigroups. In fact, this semidirect product is particularly useful for regular semigroups since we can defined another embedding for these semigroups into a smaller semiband of depth 2. We shall then compare our construction with other known embeddings, and we sh…
For a monoid $M$ and a subsemigroup $S$ of the full transformation semigroup $T_n$, the wreath product $M\wr S$ is defined to be the semidirect product $M^n\rtimes S$, with the coordinatewise action of $S$ on $M^n$. The full wreath product $M\wr T_n$ is isomorphic to the endomorphism monoid of the free $M$-act on $n$ generators. Here, we are particularly interested in the case that $S=Sing_n$ is the singular part of $T_n$, consisting of all non-invertible transformations. Our main results are presentations for $M\wr Sing_n$ in terms of certain natural generating sets, and we prove these via ge…
The study of the free idempotent generated semigroup $\mathrm{IG}(E)$ over a biordered set $E$ began with the seminal work of Nambooripad in the 1970s and has seen a recent revival with a number of new approaches, both geometric and combinatorial. Here we study $\mathrm{IG}(E)$ in the case $E$ is the biordered set of a wreath product $G\wr \mathcal{T}_n$, where $G$ is a group and $\mathcal{T}_n$ is the full transformation monoid on $n$ elements. This wreath product is isomorphic to the endomorphism monoid of the free $G$-act $F_n(G)$ on $n$ generators, and this provides us with a convenient ap…
Let $m,n\in \mathbb{N}$, and $V$ be a $m$-dimensional vector space over a field $F$ of characteristic $0$. Let $U=F\oplus V$ and $R_n$ be the rook monoid. In this paper, we construct a certain quasi-idempotent in the annihilator of $U^{\otimes n}$ in $FR_n$, which comes from some one-dimensional two-sided ideal of rook monoid algebra. We show that the two-sided ideal generated by this element is indeed the whole annihilator of $U^{\otimes n}$ in $FR_n$.
We show that every finite inverse monoid has an idempotent-separating cover by a finite F-inverse monoid. This provides a positive answer to a conjecture of Henckell and Rhodes.
We define a subsemigroup $S_n$ of the rook monoid $R_n$ and investigate its properties. To do this, we represent the nonzero elements of $S_n$ (which are $n\times n$ matrices) via certain triplets of integers, and develop a closed-form expression representing the product of two elements; these tools facilitate straightforward deductions of a great number of properties. For example, we show that $S_n$ consists solely of idempotents and nilpotents, find the numbers of idempotents and nilpotents, and compute nilpotency indexes. Furthermore, we give a necessary and sufficient condition for the $j$…
We give a thorough structural analysis of the principal one-sided ideals of arbitrary semigroups, and then apply this to full transformation semigroups and symmetric inverse monoids. One-sided ideals of these semigroups naturally occur as semigroups of transformations with restricted range or kernel.
Combining the definition of 0-Hecke monoids with that of Kiselman semigroups, we define what we call Kiselman quotients of 0-Hecke monoids associated with simply laced Dynkin diagrams. We classify these monoids up to isomorphism, determine their idempotents and show that they are $\mathcal{J}$-trivial. For type $A$ we show that Catalan numbers appear as the maximal cardinality of our monoids, in which case the corresponding monoid is isomorphic to the monoid of all order-preserving and order-decreasing total transformations on a finite chain. We construct various representations of these monoi…
A monoid $M$ is called surjunctive if every injective cellular automata with finite alphabet over $M$ is surjective. We show that all finite monoids, all finitely generated commutative monoids, all cancellative commutative monoids, all residually finite monoids, all finitely generated linear monoids, and all cancellative one-sided amenable monoids are surjunctive. We also prove that every limit of marked surjunctive monoids is itself surjunctive. On the other hand, we show that the bicyclic monoid and, more generally, all monoids containing a submonoid isomorphic to the bicyclic monoid are non…
We introduce an algebraic extension $\boldsymbol{B}_ω^{\mathscr{F}}$ of the bicyclic monoid for an arbitrary $ω$-closed family $\mathscr{F}$ subsets of $ω$ which generalizes the bicyclic monoid, the countable semigroup of matrix units and some other combinatorial inverse semigroups. It is proved that $\boldsymbol{B}_ω^{\mathscr{F}}$ is a combinatorial inverse semigroup and Green's relations, the natural partial order on $\boldsymbol{B}_ω^{\mathscr{F}}$, and its set of idempotents are described. We provide criteria of simplicity, $0$-simplicity, bisimplicity, $0$-bisimplicity of the semigroup $…
Consider an algebraic semigroup $S$ and its closed subscheme of idempotents, $E(S)$. When $S$ is commutative, we show that $E(S)$ is finite and reduced; if in addition $S$ is irreducible, then $E(S)$ is contained in a smallest closed irreducible subsemigroup of $S$, and this subsemigroup is an affine toric variety. It follows that $E(S)$ (viewed as a partially ordered set) is the set of faces of a rational polyhedral convex cone. On the other hand, when $S$ is an irreducible algebraic monoid, we show that $E(S)$ is smooth, and its connected components are conjugacy classes of the unit group.
We study the language-theoretic properties of the word problem, in the sense of Duncan & Gilman, of weakly compressible monoids, as defined by Adian & Oganesian. We show that if $\mathcal{C}$ is a reversal-closed super-$\operatorname{AFL}$, as defined by Greibach, then $M$ has word problem in $\mathcal{C}$ if and only if its compressed left monoid $L(M)$ has word problem in $\mathcal{C}$. As a special case, we may take $\mathcal{C}$ to be the class of context-free or indexed languages. As a corollary, we find many new classes of monoids with decidable rational subset membership problem. Finall…
We consider necessary and sufficient conditions for finite generation and finite presentability for fiber products of free semigroups and free monoids. We give a necessary and sufficient condition on finite fiber quotients for a fiber product of two free monoids to be finitely generated, and show that all such fiber products are also finitely presented. By way of contrast, we show that fiber products of free semigroups over finite fiber quotients are never finitely generated. We then consider fiber products of free semigroups over infinite semigroups, and show that for such a fiber product to …
We study the semigroup $\mathscr{I}^{\mathrm{cf}}_λ$ of injective partial cofinite selfmaps of an infinite cardinal $λ$. We show that $\mathscr{I}^{\mathrm{cf}}_λ$ is a bisimple inverse semigroup and each chain of idempotents in $\mathscr{I}^{\mathrm{cf}}_λ$ is contained in a bicyclic subsemigroup of $\mathscr{I}^{\mathrm{cf}}_λ$, we describe the Green relations on $\mathscr{I}^{\mathrm{cf}}_λ$ and we prove that every non-trivial congruence on $\mathscr{I}^{\mathrm{cf}}_λ$ is a group congruence. Also, we describe the structure of the quotient semigroup $\mathscr{I}^{\mathrm{cf}}_λ/σ$, where $σ…
We establish a new sufficient condition under which a monoid is non-finitely based and apply this condition to Lee monoids $L_\ell^1$, obtained by adjoining an identity element to the semigroup generated by two idempotents $a$ and $b$ subjected to the relation $0=abab \cdots$ (length $\ell$). We show that every monoid which generates a variety containing $L_5^1$ and is contained in the variety generated by $L_\ell^1$ for some $\ell \ge 5$ is non-finitely based. We establish this result by analyzing $τ$-terms for $M$ where $τ$ is certain non-trivial congruence on the free semigroup, that is, we…
We study the complexity of computation in finitely generated free left, right and two-sided adequate semigroups and monoids. We present polynomial time (quadratic in the RAM model of computation) algorithms to solve the word problem and compute normal forms in each of these, and hence also to test whether any given identity holds in the classes of left, right and/or two-sided adequate semigroups.
