\(\mathcal D\)-compatible semigroup varieties. (Q2497446)

A semigroup variety is \(\mathcal D\)-compatible if for each member of it, Green's relation \(\mathcal D\) is a congruence. The purpose of the paper is to classify all \(\mathcal D\)-compatible semigroup varieties. The set (lattice) of semigroup varieties naturally decomposes into two disjoint subsets: the periodic varieties and the overcommutative varieties (i.e., the varieties containing the variety of all commutative semigroups). For the first case it is shown that each periodic semigroup variety has at most six maximal \(\mathcal D\)-compatible subvarieties (which are explicitly found) and each \(\mathcal D\)-compatible subvariety is contained in a maximal one. Moreover, the periodic varieties that are minimal for not being \(\mathcal D\)-compatible are also found -- in terms of generating members, a complete list of these is also given. These results are shown to have natural analogues in the context of pseudovarieties. In a further section, the overcommutative case is treated. In the main theorem, the overcommutative \(\mathcal D\)-compatible varieties are characterized in several ways (among these is a characterization in terms of forbidden members and in terms of quasi-identities). As a by-product it is shown that a variety is \(\mathcal D\)-compatible if and only if it is \(\mathcal J\)-compatible. Analogous results for monoid varieties are also established. In the final section some results are obtained concerning the problem of characterizing the semigroup varieties for which two of the Green relations coincide.