Related papers: A new example of a limit variety of monoids
A variety of algebras is called limit if it is non-finitely based but all its proper subvarieties are finitely based. We present a new pair of limit varieties of monoids and show that together with the five limit varieties of monoids…
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…
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…
A limit variety is a variety that is minimal with respect to being non-finitely based. Since the turn of the millennium, much attention has been given to the classification of limit varieties of aperiodic monoids. Seven explicit examples…
A limit variety is a variety that is minimal with respect to being non-finitely based. We present a new limit variety of aperiodic monoid. We also show that if there exists any other limit variety of aperiodic monoids, then it is contained…
A variety is finitely universal if its lattice of subvarieties contains an isomorphic copy of every finite lattice. Examples of finitely universal varieties of semigroups have been available since the early 1970s, but it is unknown if there…
Jackson and Lee proved that certain six-element monoid generates a hereditarily finitely based variety $\mathbb E^1$ whose lattice of subvarieties contains an infinite ascending chain. We identify syntactic monoids which generate finitely…
A variety of universal algebras is called a chain variety if its subvariety lattice is a chain. Non-group chain varieties of semigroups were completely classified by Sukhanov in 1982. Here we completely determine non-group chain varieties…
We show that limit varieties of monoids recently discovered by Gusev, Zhang and Luo and their subvarieties are generated by monoids of the form $M_\tau(W)$ for certain congruences $\tau$ on the free monoid. The construction $M_\tau(W)$ is a…
Finite monoids that generate monoid varieties with uncountably many subvarieties seem rare, and surprisingly, no finite monoid is known to generate a monoid variety with countably infinitely many subvarieties. In the present article, it is…
This is a survey on the finite basis problem for varieties of algebraic systems. Our exposition is in two directions: (i) We give numerous examples of varieties which are not finitely based. (ii) We give examples of important varieties with…
A variety is finitely universal if its lattice of subvarieties contains an isomorphic copy of every finite lattice. We show that the 6-element Brandt monoid generates a finitely universal variety of monoids and, by the previous results, it…
An algebra that generates a variety with uncountably many subvarieties is said to be of type $2^{\aleph_0}$. We show that the Rees quotient monoid $M(aabb)$ of order ten is of type $2^{\aleph_0}$, thereby affirmatively answering a recent…
A variety of algebras is called Cross if it is finitely based, finitely generated, and has finitely many subvarieties. In present article, we classify all Cross varieties of aperiodic monoids with commuting idempotents.
Classes of algebraic structures that are defined by equational laws are called varieties or equational classes. A variety is finitely generated if it is defined by the laws that hold in some fixed finite algebra. We show that every…
A variety is a category of ordered (finitary) algebras presented by inequations between terms. We characterize categories enriched over the category of posets which are equivalent to a variety. This is quite analogous to Lawvere's classical…
The present paper is a continuation of \cite{jrz} and is devoted to the study of limit varieties of additively idempotent semirings. A limit variety is a nonfinitely based variety whose proper subvarieties are all finitely based. We present…
We consider some special type extensions of an arbitrary Lie algebra, which we call universal extensions. We show that these extensions are in one-to-one correspondence with finite dimensional associative commutative algebras. We also…
Over an arbitrary field of positive characteristic we construct an example of a locally finite variety of Lie algebras which does not have a finite basis of its polynomial identities. As a consequence we construct varieties of Lie algebras…
We study the monodromies and the limit mixed Hodge structures of families of complete intersection varieties over a punctured disk in the complex plane. For this purpose, we express their motivic nearby fibers in terms of the geometric data…