Related papers: Forbidden configurations for coherency
We give a topological proof that a free inverse monoid on one or more generators is neither of type left-$FP_2$ nor right-$FP_2$. This strengthens a classical result of Schein that such monoids are not finitely presented as monoids.
Monoids generated by elements of order two appear in numerous places in the literature. For example, Coxeter reflection groups in geometry, Kuratowski monoids in topology, various monoids generated by regular operations in language theory…
We prove that every finite semigroup embeds in a finitely presented congruence-free monoid, and pose some questions around the Boone-Higman Conjecture.
We give the sufficient condition when every left-continuous (right-continuous) Hausdorff topology on a semigroup $S$ is discrete. We construct a submonoid $\mathscr{C}_{+}(a,b)$ (resp., $\mathscr{C}_{-}(a,b)$) of the bicyclic monoid which…
We describe the local structure of an irreducible algebraic monoid $M$ at an idempotent element $e$. When $e$ is minimal, we show that $M$ is an induced variety over the kernel $MeM$ (a homogeneous space) with fibre the two-sided stabilizer…
A commutative cancellative monoid is atomic if every non-invertible element factors into irreducibles (also called atoms), while an integral domain is atomic if its multiplicative monoid is atomic. Back in the eighties, Gilmer posed the…
Various partial orders related to the structures of dual canonical monoids are investigated. It is shown that the nilpotent variety of a dual canonical monoid is equidimensional; its dimension is found. It is shown in type A that certain…
A recent paper studied an inverse submonoid $M_n$ of the rook monoid, by representing the nonzero elements of $M_n$ via certain triplets belonging to $\mathbb{Z}^3$. In this short note, we allow the triplets to belong to $\mathbb{R}^3$. We…
Let $M$ be a cancellative and commutative monoid (written additively). The monoid $M$ is atomic if every non-invertible element can be written as a sum of irreducible elements (often called atoms in the literature). Weaker versions of…
We establish a new sufficient condition under which a monoid is non-finitely based and apply this condition to show that the 9-element monoid $L_4^1$ is non-finitely based. The monoid $L_4^1$ was the only unsolved case in the finite basis…
In this paper we develop an ideal structure theory for the class of left reductive regular semigroups and apply it to several subclasses of popular interest. In these classes we observe that the right ideal structure of the semigroup is…
The problem of embedding an ample semigroup in an inverse semigroup as a (2, 1, 1)-type subalgebra is known to be undecidable. In this article, we investigate the problem for certain classes of ample semigroups. We also give examples of…
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}$,…
We study algebraic structure of the $\lambda$-polycyclic monoid $P_{\lambda}$ and its topologizations. We show that the $\lambda$-polycyclic monoid for an infinite cardinal $\lambda\geqslant 2$ has similar algebraic properties so has the…
Order versus disorder in the structure of materials plays a key role in the theoretical prediction of their properties. However, this structural description appears to be ineffective for new families of materials such as high entropy alloys…
The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, i.e. monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor…
This work studies the proof theory of left (right) skew monoidal closed categories and skew monoidal bi-closed categories from the perspective of non-associative Lambek calculus. Skew monoidal closed categories represent a relaxed version…
We establish a direct connection between inhomogeneous XX spin chains (or free fermion systems with nearest-neighbors hopping) and certain QES models on the line giving rise to a family of weakly orthogonal polynomials. We classify all such…
We develop the theory of fragile words by introducing the concept of eraser morphism and extending the concept to more general contexts such as (free) inverse monoids. We characterize the image of the eraser morphism in the free group case,…
Interpolation theory for complex polynomials is well understood. In the non-commutative quaternionic setting, the polynomials can be evaluated "on the left" and "on the right". If the interpolation problem involves interpolation conditions…