Varieties of lattice-ordered groups in which prime powers commute (Q1079588)

The authors describe all those varieties (equationally defined classes) of lattice-ordered groups which are contained in the variety \({\mathcal L}_ p\) defined by \(x^ py^ p=y^ px^ p\), where p is any prime number. These varieties constitute an infinite tower \({\mathcal E}\subseteq {\mathcal A}\subseteq {\mathcal S}_ p\subseteq {\mathcal S}_{p^ 2}\subseteq...\subseteq {\mathcal L}_ p\), where \({\mathcal E}\) is the trivial variety, \({\mathcal A}\) is the abelian variety, and \({\mathcal S}_ p\) the Scrimger variety. An explicit construction of the subdirectly irreducible members of each variety is given, and for each of the varieties, a single defining equation is given. The variety \({\mathcal S}_{p^ n}\) is generated by an \(\ell\)-group called a \(p^ n\)-dent which is a generalization of the Scrimger \(\ell\)-group which generates \({\mathcal S}_ p\). Many of the results in this paper were also proved earlier by \textit{S. A. Gurchenkov} [Algebra Logika 23, 27-47 (1984; Zbl 0544.06013)] using somewhat different techniques. In particular, Gurchenkov proved the crucial result, not proved in the present paper, that every member of \({\mathcal L}_ p\) is metabelian.