Related papers: Lee monoid $L_4^1$ is non-finitely based

The Diophantine problem for a monoid $M$ is the decision problem to decide whether any given system of equations has a solution in $M$. In this note, we give a simple example of a context-free, word-hyperbolic, finitely presented, special…

We prove that there exists a constant $c>0$ such that any finite group having no non-trivial mixed identity of length $\leq c$ is an almost simple group with a simple group of Lie type as its socle. Starting the study of mixed identities…

For a well-posed non-selfadjoint indefinite second-order linear elliptic PDE with general coefficients $\mathbf A, \mathbf b,\gamma$ in $L^\infty$ and symmetric and uniformly positive definite coefficient matrix $\mathbf A$, this paper…

Motivated by a recent result of Robinson showing that simple endotrivial modules essentially come from quasi-simple groups we classify such modules for finite special linear and unitary groups as well as for exceptional groups of Lie type.…

We establish a criterion for a semigroup identity to hold in the monoid of $n \times n$ upper unitriangular matrices with entries in a commutative semiring $S$. This criterion is combinatorial modulo the arithmetic of the multiplicative…

In this paper we derive a necessary condition for finite element method (FEM) convergence in $H^1(\Omega)$ as well as generalize known sufficient conditions. We deal with the piecewise linear conforming FEM on triangular meshes for…

Let K be a number field. For any system of semisimple mod l Galois representations {\phi_l:Gal_K->GL_N(F_l)} arising from \'etale cohomology, there exists a finite normal extension L of K such that if we denote \phi_l(Gal_K) and…

We study the link between stably finiteness and stably projectionless-ness for $C^*$-algebras of solvable Lie groups. We show that these two properties are equivalent if the dimension of the group is not divisible by $4$; otherwise, they…

It is unknown so far, whether the lattice of all varieties of monoids satisfies some non-trivial identity. The objective of this note is to give the negative answer to this question. Namely, we prove that any finite lattice is a homomorphic…

The non-empty finite subsets of a multiplicatively written monoid form a monoid under setwise multiplication. The same holds for finite subsets containing the identity element. Partly due to their unusual arithmetic properties, these…

A monoid is called special if it admits a presentation in which all defining relations are of the form $w = 1$. Every group is special, but not every monoid is special. In this article, we describe the language-theoretic properties of the…

Stable basis algebras were introduced by Fountain and Gould and developed in a series of articles. They form a class of universal algebras, extending that of independence algebras. If a stable basis algebra $\mathbb{B}$ of finite rank…

A restatement of the Algebraic Dichotomy Conjecture, due to Maroti and McKenzie, postulates that if a finite algebra A possesses a weak near-unanimity term, then the corresponding constraint satisfaction problem is tractable. A binary…

Left Ehresmann monoids, and their two-sided counterpart of Ehresmann monoids, were so named by Lawson, who elucidated their connection to the work of Ehresmann in differential geometry. This article is dedicated to building a theory for…

Let $H$ be a multiplicatively written monoid with identity $1_H$ (in particular, a group). We denote by $\mathcal P_{\rm fin,\times}(H)$ the monoid obtained by endowing the collection of all finite subsets of $H$ containing a unit with the…

We solve open problems concerning the Kleene star $L^*$ of a finite set $L$ of words over an alphabet $\Sigma$. The \emph{Frobenius monoid} problem is the question for a given finite set of words $L$, whether the language $L^*$ is cofinite.…

In recent years codes that are not Uniquely Decipherable (UD) are been studied partitioning them in classes that localize the ambiguities of the code. A natural question is how we can extend the notion of maximality to codes that are not…

We prove several results concerning finitely generated submonoids of the free monoid. These results generalize those known for free submonoids. We prove in particular that if $X=Y\circ Z$ is a composition of finite sets of words with $Y$…

We study the generic properties of finitely presented monoids and semigroups. We show that for positive integers a > 1, k and m, the generic a-generator k-relation monoid and semigroup presentation (defined in any of several definite…

A Lucas sequence is a sequence of the general form $v_n = (\phi^n - \bar{\phi}^n)/(\phi-\bar{\phi})$, where $\phi$ and $\bar{\phi}$ are real algebraic integers such that $\phi+\bar{\phi}$ and $\phi\bar{\phi}$ are both rational. Famous…