Commutator relations and identities in lattice-ordered groups (Q582311)

The following main results are proved. Theorem A. (i) Any representable lattice-ordered group in which the commutator of any pair of generators commutes with every generator is nilpotent class 2. (ii) There is a metabelian lattice-ordered group G generated by two elements a, b such that \([a,b,a]=[a,b,b]=1\) but G is not n-Engel for any n. Theorem B. Let \(\{w_ r(x,y):\) \(1\leq r\leq R\}\) be any finite set of elements of the free lattice-ordered group on two generators x and y. There is an \(\ell\)-metabelian lattice-ordered group G generated by a and b such that \([w_ r(a,b),w_ s(a,b)]\) belong to the center of G for all \(r,s\in \{1,...,R\}\), yet G satisfies no Engel condition. Proposition C. There is a 2-generator metabelian subgroup G of Aut(\({\mathbb{Q}},\leq)\) such that the sublattice subgroup \(G^*\) of Aut(\({\mathbb{Q}},\leq)\) generated by G generates the variety of all lattice- ordered groups. In particular, \(G^*\) is unsolvable even as a group. Theorem D. The free lattice-ordered group over any m generator torsion- free nilpotent class-2 group is \(\ell\)-solvable of length at most \(\binom{m}{2}+1.\) In concluding remarks some interesting unsolved problems are formulated.