A variety of groups (Q4670299)

The main result of the paper under review is the following: Theorem 1.5. For any positive integers \(k\) and \(n\) there exists \(t\) depending only on \(k\) and \(n\) such that the class of all groups \(G\) satisfying the identity \(w_t^n\equiv 1\) and having \(\gamma_k(G)\) locally finite is a variety, where the symbol \(w_j\) denotes a word that is the product of \(j\) commutators of the form \([x_1,x_2,\dots,x_k]\), all of whose entries are independent; and \(\gamma_k(G)\) denotes the \(k\)-th term of the lower central series of \(G\). As a corollary of Theorem 5.1, the author proves the following: Corollary 1.6. Let \(k\) and \(n\) be positive integers, and let \(t\) be as in Theorem 1.5. Assume that \(G\) is a residually finite group satisfying the identity \(w_t^n\equiv 1\). Then \(\gamma_k(G)\) is locally finite.