Residually finite subgroups of locally nilpotent groups. (Q947509)

Recall that the isolator of a subgroup \(U\) in a group \(G\) is the set of all elements \(x\) with the property \(x^n\in U\) for some natural number \(n\). It was proven in the article [\textit{M. R. Dixon, M. J. Evans} and \textit{H. Smith}, J. Group Theory 9, No. 3, 383-395 (2006; Zbl 1120.20030)] that if a countable group \(G\) is to embed in a simple, locally (soluble-by-finite) group, then \(G\) itself must have a residually finite subgroup \(R\) whose isolator in \(G\) is the whole group \(G\). Developing this topic in the present article, the authors obtain the following interesting result. Theorem. Let \(G\) be a locally nilpotent group with torsion subgroup \(T\), and suppose that the factor-group \(G\) over \(T\) is countable and soluble. Then there is a torsion-free, residually finite subgroup \(J\) of \(G\) such that the isolator of \(J\) in \(G\) is \(G\).