Commutators in residually finite groups (Q1849692)

The main results of the paper are the following. Theorem 4.2. Let \(X\) denote the class of all groups \(G\) such that \([G,G]\) is locally finite and \(G\) satisfies the identity \(([x_1,x_2][x_3,x_4])^n\equiv 1\) for some \(n\) that has no divisors of the form \(p^2q^2\), where \(p,q\) are distinct primes. Then \(X\) is a variety. Theorem 1.3. Let \(n\) be a positive integer that is not divisible by \(p^2q^2\), where \(p,q\) are distinct primes. Let \(G\) be a residually finite group satisfying the identity \(([x_1,x_2][x_3,x_4])^n\equiv 1\). Then \([G,G]\) is locally finite.