On Malcev products of normal cryptogroups. (Q2258330)

The article considers sub(quasi)varieties of the variety of normal cryptogroups (completely regular semigroups \(T\) such that Green's relation \(\mathcal H\) on \(T\) is a congruence and the quotient semigroup \(T/\mathcal H\) satisfies the identity \(axya=ayxa\)) generated by the varieties of semilattices \(\mathcal S\), groups \(\mathcal G\) and rectangular bands \(\mathcal{RB}\). The obtained distributive lattice of (quasi)varieties is also generated by the varieties \(\mathcal{NB}\) (normal bands), \(\mathcal{SG}\) (Clifford semigroups) and \(\mathcal{CS}\) (completely simple semigroups). For any classes \(\mathcal A\) and \(\mathcal B\) of semigroups, and a semigroup \(T\), a congruence \(\rho\) on \(T\) is called a \(\mathcal B\)-\textit{congruence} if \(T/\rho\in\mathcal B\), and is \textit{over} \(\mathcal A\) if each idempotent \(\rho\)-class is in \(\mathcal A\). The \textit{Malcev product} of \(\mathcal A\) and \(\mathcal B\) is the class \(\mathcal A\circ\mathcal B=\{T\mid T\) has a \(\mathcal B\)-congruence over \(\mathcal A\}\). The complete list of all quasivarieties of normal cryptogroups which can be obtained by performing Malcev product of \(\{\mathcal S,\mathcal G,\mathcal{RB}\}\) with words of length of most equal to 3 is found.