Related papers: Small monoids generating varieties with uncountabl…

We give a minimal system of 476 generators (resp. 510 generators) for the algebra of SL(2,C)-covariant polynomials on binary forms of degree 9 (resp. degree 10). These results were only known as conjectures so far. The computations rely on…

Green and Schroll give an easy criterion for a monomial algebra $A$ to be quasi-hereditary with respect to some partial order $\leq_A$. A natural follow-up question is under which conditions a monomial quasi-hereditary algebra $(A, \leq_A)$…

We study a monoid associated to complex semisimple Lie algebras, called the quantic monoid. Its monoid ring is shown to be isomorphic to a degenerate quantized enveloping algebra. Moreover, we provide normal forms and a straightening…

Let $G$ be a finite group. A finite unordered sequence $S = g_1 \boldsymbol{\cdot} \ldots \boldsymbol{\cdot} g_{\ell}$ of terms from $G$, where repetition is allowed, is a product-one sequence if its terms can be ordered such that their…

A subresiduated lattice ordered commutative monoid (or srl-monoid for short) is a pair $(\textbf{A},Q)$ where $\textbf{A}=(A,\wedge,\vee,\cdot,e)$ is an algebra of type $(2,2,2,0)$ such that $(A,\wedge,\vee)$ is a lattice, $(A,\cdot,e)$ is…

We prove that every finitely generated soluble group which is not virtually abelian has a subgroup of one of a small number of types.

We study algebraic subvarieties of strata of differentials in genus zero satisfying algebraic relations among periods. The main results are Ax-Schanuel and Andr\'e-Oort-type theorems in genus zero. As a consequence, one obtains several…

In this paper we initiate the study of $\aleph_0$-categorical semigroups, where a countable semigroup $S$ is $\aleph_0$-categorical if, for any natural number $n$, the action of its group of automorphisms Aut $S$ on $S^n$ has only finitely…

Let $\A$ be a finitely generated semigroup with 0. An $\A$-module over $\fun$ (also called an $\A$--set), is a pointed set $(M,*)$ together with an action of $\A$. We define and study the Hall algebra $\H_{\A}$ of the category $\C_{\A}$ of…

Let $G$ be a finite abelian group written multiplicatively, with $\hat{G} = G\sqcup \{0\}$ the pointed abelian group formed by adjoining an absorbing element $0$. There is an associated finitary, proto-abelian category…

We determine whether each known generating set of arbitrary oriented Reidemeister moves is minimal. We then provide a complete classification of minimal generating sets that include a coherent Reidemeister move of type II. We also classify…

It is well-known that every regular language admits a unique minimal deterministic acceptor. Establishing an analogous result for non-deterministic acceptors is significantly more difficult, but nonetheless of great practical importance. To…

A differential category is an additive symmetric monoidal category, that is, a symmetric monoidal category enriched over commutative monoids, with an algebra modality, axiomatizing smooth functions, and a deriving transformation on this…

Let $U_q'(\mathfrak{g})$ be an arbitrary quantum affine algebra of either untwisted or twisted type, and let $\mathscr{C}_{\mathfrak{g}}^0$ be its Hernandez-Leclerc category. We denote by $\mathsf{B}$ the braid group determined by the…

Eilenberg's variety theorem, a centerpiece of algebraic automata theory, establishes a bijective correspondence between varieties of languages and pseudovarieties of monoids. In the present paper this result is generalized to an abstract…

A limit variety is a variety that is minimal with respect to being non-finitely based. The two limit varieties of Marcel Jackson are the only known examples of limit varieties of aperiodic monoids. Our previous work had shown that there…

Fix a countable nonstandard model $\mathcal M$ of Peano Arithmetic. Even with some rather severe restrictions placed on the types of minimal cofinal extensions $\mathcal N \succ \mathcal M$ that are allowed, we still find that there are…

In this article, we consider the monoid of all monotone and order-decreasing partial transformations denoted as $\mathcal{DORP}_{n}$ on an $n$ ordered chain $[n]=\{1, \ldots,n\}$, its two-sided ideal $I(n,p)= \{\rho \in \mathcal{DORP}_{n} :…

A finitely based, finitely generated variety with finitely many subvarieties is a Cross variety. In the present article, it is shown that a variety of $J$-trivial monoids is Cross if and only if it excludes as subvarieties a certain list of…

Subalgebras of upper triangular matrix algebras have played a fundamental role in the classification of minimal varieties of polynomial growth. Such classification has become a source of study in recent years since it leads to the more…