On transfinite nilpotence of the Vogel-Levine localization (Q254062)

The \textit{Vogel-Levine localization} of a group \(G\) is a group \(L(G)\) endowed with a homomorphism \(l : G\to L(G)\) such that \(L(G)\) is local and for any local group \(\Gamma\) and a homomorphism \(f : G\to \Gamma\) there is a unique homomorphism \(p : L(G)\to \Gamma\) such that \(p\circ l=f\). \textit{J. P. Levine} [Contemp. Math. 109, 99--105 (1990; Zbl 0755.20007)] asked the following: \textit{If \(G\) is finitely generated, is \(L(G)\) transfinitely nilpotent}? The author answers this question in the negative by constructing a very elegant example of a finitely generated group \(G\) such that its Vogel-Levine localization \(L(G)\) is not transfinitely nilpotent.