On the lattice of sub-pseudovarieties of DA. (Q711615)

Let \(\mathbf{SL}\), \(\mathbf{LZ}\), \(\mathbf{RZ}\), \(\mathbf B\), \(\mathbf{DA}\), and \(\mathbf K\), \(\mathbf D\) denote the pseudovarieties of finite semigroups consisting, respectively, of all semilattices, all left/right-zero semigroups, all bands, all semigroups in which all regular elements are idempotents, and all semigroups in which idempotents are left/right zeros. The paper brings new insight into the lattice of subpseudovarieties of \(\mathbf{DA}\) by describing a hierarchy of decidable subpseudovarieties. It builds on earlier work of \textit{N. R. Reilly} and \textit{S. Zhang} [Bull.\ Aust.\ Math.\ Soc.\ 55, No.\ 2, 207-218 (1997; Zbl 0881.20027)], who showed that the correspondence \(\mathbf V\mapsto\mathbf V\cap\mathbf B\) is a complete lattice homomorphism, and of \textit{P. Trotter} and \textit{P. Weil} [Algebra Univers.\ 37, No.\ 4, 491-526 (1997; Zbl 0906.20036)], who independently proved that the restriction of that mapping to the lattice of subpseudovarieties of \(\mathbf{DA}\) is a complete lattice homomorphism and described, by means of finite bases of pseudoidentities, for each band pseudovariety \(\mathbf Y\), the largest subpseudovariety \(\mathbf Y^\uparrow\) of \(\mathbf{DA}\) such that \(\mathbf Y^\uparrow\cap\mathbf B=\mathbf Y\). In the present paper, it is shown that the nontrivial monoidal meet irreducible pseudovarieties of the form \(\mathbf Y^\uparrow\) can be obtained from \(\mathbf{SL}\) by alternately applying the operators \(\mathbf K\circm-\) and \(\mathbf D\circm-\), where \(\circm\) denotes the Mal'cev product of pseudovarieties. This result has a natural interpretation in terms of varieties of languages.