Weak commutativity in idempotent semirings. (Q2491187)

Denote by \(\mathbf B\) the variety of all bands, and by \({\mathbf S}\ell\) the subvariety of all semilattices. Let \(\mathbf I\) be the variety of all semirings \((S,+,\cdot)\) such that \((S,+)\) and \((S,\cdot)\) belong to \(\mathbf B\), and \(\mathbf U\) the subvariety of all \(S\in{\mathbf I}\) such that \(xy+yx=yx+xy\) for all \(x,y\in S\). If \(\mathbf V\) is a subvariety of \(\mathbf B\), then \({\mathbf V}^+ \) [\({\mathbf V}^\cdot\)] denotes the subvariety of all \((S,+,\cdot)\in{\mathbf I}\) such that \((S,+)\in{\mathbf V}\) [\((S,\cdot)\in{\mathbf V}\)]. Finally, for any variety \(\mathbf V\), denote by \(L({\mathbf V})\) the lattice of all subvarieties of \(\mathbf V\). It is shown that \((S,+)\) and \((S,\cdot)\) are regular bands for every \(S\in{\mathbf U}\), and \(L({\mathbf U})\) is a 662-element distributive lattice which is a subdirect product of \(L({\mathbf S}\ell^+)\) and \(L({\mathbf S}\ell^\cdot)\). Moreover, \({\mathbf U}={\mathbf S}\ell^+ \vee{\mathbf S}\ell^\cdot\), and every subvariety of \(\mathbf U\) is finitely generated and finitely based.