Solvable covers of the Boolean variety of unital \(\ell \)-groups (Q987183)

GMV-algebras, also known as pseudo MV-algebras or \(\Psi\)MV-algebras, were introduced by Georgescu and Iorgulescu, and, independently, by Rachůnek, as a noncommutative generalization of MV-algebras -- the algebras of infinite-valued Łukasiewicz logic. GMV-algebras are categorically equivalent to unital lattice-ordered groups (unital \(\ell\)-groups for short). The connecting functor was introduced by \textit{A. Dvurečenskij} in [J. Aust. Math. Soc. 72, No. 3, 427--445 (2002; Zbl 1027.06014)]. This functor extends the categorical equivalence \(\Gamma\) between abelian unital lattice-ordered groups and MV-algebras, introduced in the present reviewer's article [J. Funct. Anal. 65, 15--63 (1986; Zbl 0597.46059)]. One can thus speak of ``varieties'' of unital \(\ell\)-groups, despite the Archimedean property of the order-unit in an \(\ell\)-group is not even definable in first-order logic. In the paper under review the authors give a characterization of all varieties of solvable unital \(\ell\)-groups which cover the minimal nontrivial variety of Boolean unital \(\ell\)-groups, corresponding to the subvariety of GMV-algebras consisting of Boolean algebras. Their work parallels the Gurchenkov-Reilly-Darnel work on varieties of solvable \(\ell\)-groups covering the abelian variety.