The set of all cancellable elements of the lattice of semigroup varieties has recently been shown to be countably infinite. But the description of all cancellable elements of the lattice $\mathbb{MON}$ of monoid varieties remains unknown. This problem is addressed in the present article. The first example of a monoid variety with modular but non-distributive subvariety lattice is first exhibited. Then a necessary condition of the modularity of an element in $\mathbb{MON}$ is established. These results play a crucial role in the complete description of all cancellable elements of the lattice $\mathbb{MON}$. It turns out that there are precisely five such elements.
We completely determine all commutative semigroup varieties that are cancellable elements of the lattice SEM of all semigroup varieties. In particular, we prove that, for commutative varieties, the properties of being cancellable and modular elements of SEM are equivalent.
We completely determine all semigroup varieties satisfiyng a permutational identity of length 3 that are cancellable elements of the lattice of all semigroup varieties. Using this result, we provide a series of new examples of semigroup varieties that are a modular but not cancellable elements of this lattice.
We completely determine all commutative epigroup varieties that are cancellable elements of the lattice EPI of all epigroup varieties. In particular, we verify that a commutative epigroup variety is a cancellable element of the lattice EPI if and only if it is a modular element of this lattice.
We completely determine all semigroup varieties satysfiyng a permutational identity of length 3 that are modular elements of the lattice of all semigroup varieties. Using this result, we provide an example of a semigroup variety that is a modular but not cancellable element of this lattice.
We completely determine all semigroup [epigroup] varieties that are cancellable elements of the lattice of all semigroup [respectively epigroup] varieties.
We completely determine all cancellable elements in the lattice OC of overcommutative semigroup varieties. In particular, we prove that an overcommutative semigroup variety is a cancellable element of the lattice OC if and only if it is a neutral element of this lattice
We survey results concerning special elements of nine types (modular, lower-modular, upper-modular, cancellable, distributive, codistributive, standard, costandard and neutral elements) in the lattice of all semigroup varieties and certain its sublattices, mainly in the lattices of all commutative varieties and of all overcommutative ones. Several open questions are formulated. The work is regularly updated and modified as new results and/or articles appear.
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 shown that there are, nevertheless, many finite monoids that generate monoid varieties with continuum many subvarieties; these include any finite inherently non-finitely based monoid and any monoid for which $xyxy$ is an isoterm. It follows that the join of two Cross monoid varieties can have a continuum cardinality subvariety lattice that violates the ascen…
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 previously discovered by Jackson, Zhang and Luo and the first-named author, there are exactly seven limit varieties of J-trivial monoids.
We completely determine all varieties of monoids on whose free objects all fully invariant congruences or all fully invariant congruences contained in the least semilattice congruence permute. Along the way, we find several new monoid varieties with the distributive subvariety lattice (only a few examples of varieties with such a property are known so far).
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 commuting idempotents.
Let M be a commutative monoid. We provide an explicit first-order formular that defines the variety generated by M in the lattice of commutative semigroup varieties.
We completely classify all standard elements in the lattice of all monoid varieties. In particular, we prove that an element of this lattice is standard if and only if it is neutral.
We survey results devoted to the lattice of varieties of monoids. Along with known results, some unpublished results are given with proofs. A number of open questions and problems are also formulated.
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_τ(W)$ for certain congruences $τ$ on the free monoid. The construction $M_τ(W)$ is a generalization of widely used Dilworth-Perkins construction. Using this construction, we find explicit generators for Gusev limit varieties and give a short reproof to the fact that Zhang-Luo limit variety is non-finitely based.
The sets of all neutral, distributive and lower-modular elements of the lattice of semigroup varieties are finite, countably infinite and uncountably infinite, respectively. In 2018, we established that there are precisely three neutral elements of the lattice of monoid varieties. In the present work, it is shown that the neutrality, distributivity and lower-modularity coincide in the lattice of monoid varieties. Thus, there are precisely three distributive and lower-modular elements of this lattice.
We completely classify all neutral or costandard elements in the lattice $\mathbb{MON}$ of all monoid varieties. Further, we prove that an arbitrary upper-modular element of $\mathbb{MON}$ except the variety of all monoids is either a completely regular or a commutative variety. Finally, we verify that all commutative varieties of monoids are codistributive elements of $\mathbb{MON}$. Thus, the problems of describing codistributive or upper-modular elements of $\mathbb{MON}$ are completely reduced to the completely regular case.
Characterization of Cross varieties of $J$-trivial monoids
Institute of Natural Sciences and Mathematics, Ural Federal University（乌拉尔联邦大学自然科学与数学研究所）；Department of Mathematics, Nova Southeastern University（新南佛罗里达大学数学系）；School of Mathematics and Statistics, Lanzhou University（兰州大学数学与统计学院）
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 of monoids as algebras of tyoe (2,0).
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 exists a finitely universal variety of monoids. The main objective of the present article is to exhibit the first examples of finitely universal varieties of monoids. The finite universality of these varieties is established by showing that the lattice of equivalence relations on every sufficiently large finite set is anti-isomorphic to some subinterval of …
In this work we consider monoids as algebras with an associative binary operation and the nullary operation that fixes the identity element. We found an example of two varieties of monoids with finite subvariety lattices such that their join covers one of them and has a continuum cardinality subvariety lattice that violates the ascending chain condition and the descending chain condition.
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 exists a limit subvariety of aperiodic monoids that is different from Marcel Jackson's limit varieties. In this paper, we introduce a new limit variety of aperiodic monoids.
The algebraic variety defined by the idempotents of an incidence monoid is investigated. Its irreducible components are determined. The intersection with an antichain submonoid is shown to be the union of these irreducible components. The antichain monoids of bipartite posets are shown to be orthodox semigroups. The Green's relations are explicitly determined, and applications to conjugacy problems are described. In particular, it is shown that two elements in the antichain monoid are primarily conjugate in the monoid if and only if they belong to the same $\mathcal{J}$-class and their multipl…
Structure monoids and groups are algebraic invariants of equational varieties. We show how to construct presentations of these objects from coherent categorifications of equational varieties, generalising several results of Dehornoy. We subsequently realise the higher Thompson groups $F_{n,1}$ and the Higman-Thompson groups $G_{n,1}$ as structure groups. We go on to obtain presentations of these groups via coherent categorifications of the varieties of higher-order associativity and of higher-order associativity and commutativity, respectively. These categorifications generalise Mac Lane's pen…
We study the cohomology of Deligne-Lusztig varieties with aim the construction of actions of Hecke algebras on such cohomologies, as predicted by the conjectures of Broué, Malle and Michel ultimately aimed at providing an explicit version of the abelian defect conjecture. We develop the theory for varieties associated to elements of the braid monoid and partial compactifications of them. We are able to compute the cohomology of varieties associated to (possibly twisted) rank 2 groups and powers of the longest element $w\_0$ (some indeterminacies remain for $G\_2$). We use this to construct Hec…
