Varieties of \(\ell\)-groups with the identity \([x^ p,y^ p]=e\) have finite bases (Q796560)

Let p be a prime. Let us denote by \({\mathcal L}_ p\) the variety of lattice ordered groups defined by the identity \([x^ p,y^ p]=e\). This paper contains the following two main results: 1) All proper subvarieties of the variety \({\mathcal L}_ p\) are constructively described. 2) It is proved that each subvariety of \({\mathcal L}_ p\) possesses a finite basis of identities.