Abstract:
We prove that every variety of $m$-groups is a torsion class; find basis of identities for a product variety of $m$-groups; and show that the product of every finitely based variety of $m$-groups and a variety of Abelian $m$-groups is a finitely based variety.
Keywords:lattice-ordered group, $m$-group, basis of identities, variety, torsion class of $m$-groups.