The main result of the paper proves that the monoid of all 2 x 2 tropical matrices satisfies a non-trivial semigroup identity, unlike the case of matrices over infinite fields. We exploit a strong connection between the monoid of all 2 x 2 tropical matrices and the bicyclic monoid to show that a variant of Adian's identity for the bicyclic monoid holds in our case.We use generic matrices of tropical polynomials to prove our result.
In 2010, Izhakian & Margolis proved that the bicyclic monoid admits a representation as a semigroup of upper triangular tropical matrices. We extend this result by classifying all one-relation monoids which admit such representations. We also classify, with two exceptions, all one-relation monoids which admit representations as semigroups of tropical matrices.
We exhibit a faithful representation of the plactic monoid of every finite rank as a monoid of upper triangular matrices over the tropical semiring. This answers a question first posed by Izhakian and subsequently studied by several authors. A consequence is a proof of a conjecture of Kubat and Okniński that every plactic monoid of finite rank satisfies a non-trivial semigroup identity. In the converse direction, we show that every identity satisfied by the plactic monoid of rank $n$ is satisfied by the monoid of $n \times n$ upper triangular tropical matrices. In particular this implies that …
We exhibit a faithful representation of the stylic monoid of every finite rank as a monoid of upper unitriangular matrices over the tropical semiring. Thus, we show that the stylic monoid of finite rank $n$ generates the pseudovariety $\boldsymbol{\mathcal{J}}_n$, which corresponds to the class of all piecewise testable languages of height $n$, in the framework of Eilenberg's correspondence. From this, we obtain the equational theory of the stylic monoids of finite rank, show that they are finitely based if and only if $n \leq 3$, and that their identity checking problem is decidable in linear…
This article studies the properties of word-hyperbolic semigroups and monoids, i.e. those having context-free multiplication tables with respect to a regular combing, as defined by Duncan & Gilman. In particular, the preservation of word-hyperbolicity under taking free products is considered. Under mild conditions on the semigroups involved, satisfied e.g. by monoids or regular semigroups, we prove that the semigroup free product of two word-hyperbolic semigroups is again word-hyperbolic. Analogously, with a mild condition on the uniqueness of representation for the identity element, satisfied…
This paper uses the combinatorics of Young tableaux to prove the plactic monoid of infinite rank does not satisfy a non-trivial identity, by showing that the plactic monoid of rank $n$ cannot satisfy a non-trivial identity of length less than or equal to $n$. A new identity is then proven to hold for the monoid of $n \times n$ upper-triangular tropical matrices. Finally, a straightforward embedding is exhibited of the plactic monoid of rank $3$ into the direct product of two copies of the monoid of $3\times 3$ upper-triangular tropical matrices, giving a new proof that the plactic monoid of ra…
For each positive $n$, let $u_n = v_n$ denote the identity obtained from the Adjan identity $(xy) (yx) (xy) (xy) (yx) = (xy) (yx) (yx) (xy) (yx)$ by substituting $(xy) \rightarrow (x_1 x_2 \dots x_n)$ and $(yx) \rightarrow (x_n \dots x_2 x_1)$. We show that every monoid which satisfies $u_n = v_n$ for each positive $n$ and generates the variety containing the bicyclic monoid is nonfinitely based. This implies that the monoid of 2 by 2 upper triangular tropical matrices over the tropical semiring is nonfinitely based.
In this paper we characterize the monoid congruences of commutative semigroups by the help of the notion of the separator of subsets of semigroups. We show that every monoid congruence of a commutative semigroup S can be constructed by the help of subsets A of S whose separator is not empty.
A subset A of a semigroup S is called a medial subset of S if xaby is in A if and only if xbay is in A for every elements x, y, a, b of S. In the paper we show how we can construct the commutative monoid congruences of a semigroup S by the help of medial subsets of S.
We develop an effective and natural approach to interpret any semigroup admitting a special language of greedy normal forms as an automaton semigroup,namely the semigroup generated by a Mealy automaton encoding the behaviour of such a language of greedy normal forms under one-sided multiplication.The framework embraces many of the well-known classes of (automatic) semigroups: finite monoids, free semigroups, free commutative monoids, trace or divisibility monoids, braid or Artin-Tits or Krammer or Garside monoids, Baumslag-Solitar semigroups, etc.Like plactic monoids or Chinese monoids, some n…
We show that the 42-element monoid of all partial order preserving and extensive injections on the 4-element chain is not contained in any variety generated by a finitely based finite $\mathcal{R}$-trivial semigroup. This provides unified proofs for several known facts and leads to a bunch of new results on the Finite Basis Problem for finite $\mathcal{R}$- and $\mathcal{J}$-trivial semigroups.
On the semigroup of injective monoid endomorphisms of the monoid $\boldsymbol{B}_ω^{\mathscr{F}^3}$ with a three element family $\mathscr{F}^3$ of inductive nonempty subsets of $ω$
On the semigroup of monoid endomorphisms of the semigroup $\boldsymbol{B}_ω^{\mathscr{F}}$ with a two-element family $\mathscr{F}$ of inductive nonempty subsets of $ω$
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 …
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 sh…
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 $…
In 2010, Everitt and Fountain introduced the concept of reflection monoids. The Boolean reflection monoids form a family of reflection monoids (symmetric inverse semigroups are Boolean reflection monoids of type $A$). In this paper, we give a family of presentations of Boolean reflection monoids and show how these presentations are compatible with quiver mutations of orientations of Dynkin diagrams with frozen vertices. Our results recover the presentations of Boolean reflection monoids given by Everitt and Fountain and the presentations of symmetric inverse semigroups given by Popova respecti…
We study groupoids and semigroup C*-algebras arising from graphs of monoids, in the setting of right LCM monoids. First, we establish a general criterion when a graph of monoids gives rise to a submonoid of the fundamental group which is right LCM. Moreover, we carry out a detailed analysis of structural properties of semigroup C*-algebras arising from graphs of monoids, including closed invariant subspaces and topological freeness of the groupoids as well as ideal structure, nuclearity and K-theory of the semigroup C*-algebras. As an application, we construct families of pairwise non-conjugat…
We study the language-theoretic aspects of the word problem, in the sense of Duncan & Gilman, of free products of semigroups and monoids. First, we provide algebraic tools for studying classes of languages known as super-AFLs, which generalise e.g. the context-free or the indexed languages. When $\mathcal{C}$ is a super-AFL closed under reversal, we prove that the semigroup (monoid) free product of two semigroups (resp. monoids) with word problem in $\mathcal{C}$ also has word problem in $\mathcal{C}$. This recovers and generalises a recent result by Brough, Cain & Pfeiffer that the class of c…
We curry the elementary arithmetic operations of addition and multiplication to give monotone injections on N, and describe & study the inverse monoids that arise from also considering their generalised inverses. This leads to well-known classic inverse monoids, as well as a novel inverse monoid (the 'arithmetic inverse monoid' A) that generalises these in a natural number-theoretic manner. Based on this, we interpret classic inverse semigroup theoretic concepts arithmetically, and vice versa. Composition and normal forms within A are based on the Chinese remainder theorem, and a minimal gener…
On the semigroup of injective monoid endomor\-phisms of the monoid $\boldsymbol{B}_ω^{\mathscr{F}}$ with the two-elements family $\mathscr{F}$ of inductive nonempty subsets of $ω$
We investigate semigroup topologies on the full transformation monoid T(X) of an infinite set X. We show that the standard pointwise topology is the weakest Hausdorff semigroup topology on T(X), show that the pointwise topology is the unique Hausdorff semigroup topology on T(X) that induces the pointwise topology on the group of all permutations of X, and construct |X| distinct Hausdorff semigroup topologies on T(X). In the case where X is countable, we prove that the pointwise topology is the only Polish semigroup topology on T(X). We also show that every separable semigroup topology on T(X) …
Let $M$ be a cancellative monoid. It is known~\cite{Ta54} that if $M$ is left amenable then the monoid ring $K[M]$ satisfies Ore condition, that is, there exist nontrivial common right multiples for the elements of this ring. In~\cite{Don10} Donnelly shows that a partial converse to this statement is true. Namely, if the monoid $\mathbb Z^{+}[M]$ of all elements of $\mathbb Z[M]$ with positive coefficients has nonzero common right multiples, then $M$ is left amenable. He asks whether the converse is true for this particular statement. We show that the converse is false even for the case of gro…
For a semigroup $S$, the covering number of $S$ with respect to semigroups, $σ_s(S)$, is the minimum number of proper subsemigroups of $S$ whose union is $S$. This article investigates covering numbers of semigroups and analogously defined covering numbers of inverse semigroups and monoids. Our three main theorems give a complete description of the covering number of finite semigroups, finite inverse semigroups, and monoids (modulo groups and infinite semigroups). For a finite semigroup that is neither monogenic nor a group, its covering number is two. For all $n\geq 2$, there exists an invers…
We study algebraic structure of the $λ$-polycyclic monoid $P_λ$ and its topologizations. We show that the $λ$-polycyclic monoid for an infinite cardinal $λ\geqslant 2$ has similar algebraic properties so has the polycyclic monoid $P_n$ with finitely many $n\geqslant 2$ generators. In particular we prove that for every infinite cardinal $λ$ the polycyclic monoid $P_λ$ is a congruence-free combinatorial $0$-bisimple $0$-$E$-unitary inverse semigroup. Also we show that every non-zero element $x$ is an isolated point in $(P_λ,τ)$ for every Hausdorff topology $τ$ on $P_λ$, such that $(P_λ,τ)$ is a …
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.
For an element a in a semigroup S the local subsemigroup of S with respect to a is the subsemigroup aSa of S and the variant of S with respect to a is a semigroup with underlying set S with a sandwich operation xy = xay for all x, y in S. In this paper we discuss the structures of local subsemigroups of full transformation semigroups and symmetric inverse monoids. It is also shown that the set of all local subsemigroups of finite symmetric inverse monoids and the set of all variants of all finite symmetric inverse monoids are same upto isomorphism.
