The interval \([\mathbf B_{2}, \mathbf{NB}_{2}]\) in the lattice of Rees-Sushkevich varieties (Q1001461)

The author denotes the variety generated by the 5-element combinatorial Brandt semigroup (the 2-element left zero semigroup, the 2-element right zero semigroup) by \(\mathbf B_{2}\) (respectively \(\mathbf{LZ}\), \(\mathbf{RZ}\)), and the lattice join of the three varieties is denoted by \(\mathbf{NB}_{2}\). He shows that the interval \([\mathbf B_{2}, \mathbf{NB}_{2}]\) of the lattice of semigroup varieties consists of 4 elements: \(\mathbf B_{2}\) , \(\mathbf B_{2}\vee\mathbf{LZ}\), \(\mathbf B_{2}\vee\mathbf{RZ}\), and \(\mathbf{NB}_{2}\). In the course of the proof, the author provides new transparent solutions to the word problems for these 4 varieties and describes their identity bases. Earlier, a solution to the word problem for \(\mathbf B_{2}\) was found by [\textit{G. Mashevitskij}, ``Identities in Brandt semigroups'' (Russian), in: Semigroup varieties and semigroups of endomorphisms, Collect. sci. Works, Leningrad 1979, 126--137 (1979; Zbl 0506.20026)] and solutions for the other three varieties were obtained by \textit{S. Seif} and \textit{Cs. Szabo} [Semigroup Forum 72, No. 2, 207--222 (2006; Zbl 1089.68046)]. The identity basis for \(\mathbf B_{2}\) presented in Theorem~5.4 was first discovered by \textit{A. N. Trakhtman} [Issled. Sovrem. Algebre, Mat. Zap. 12, No.~3, 147--149 (1981; Zbl 0493.20038)], but the author's analysis reveals a gap in Trakhtman's proof.