On Bousfield's problem for solvable groups of finite Prüfer rank (Q1703231)

Let \(G\) be a group and \(R\) be one of the rings \(\mathbb{Z}\), \(\mathbb{Z}/p\) or \(\mathbb{Q}\), where \(p\) is a prime number, and let \(\hat{G}_R\) denote the \(R\)-completion of \(G\). Given a space \(X\), let \(X_{R}\) denote its \(R\)-homological localization. The \(HR\)-localization of \(G\) is defined as a group with a homomorphism \(G\to G_{HR}\) that induces an isomorphism on \(H_{1}(-;R)\), an epimorphism on \(H_{2}(-;R)\) and it is universal with these properties. There is a natural homomorphism \(G_{HR}\to \hat{G}_{R}\). A group is called \(HR\)-good if this is an isomorphism, otherwise it is called \(HR\)-bad. The author addresses the question when does this map induce an epimorphism \(H_{2}(G,K)\to H_{2}(\hat{G}_{R};K)\), where \((R,K)\) is one of the following pairs \((\mathbb{Z}/p,\mathbb{Z}/p), (\mathbb{Z},\mathbb{Z}/p)\) or \((\mathbb{Q},\mathbb{Q})\). The author answers this afirmativelly for the case of finitely generated solvable groups of finite Prüfer rank. In a more general setup, let \(C\) denote the infinite cyclic group and \(M\) be a finitely generated \(C\)-module. \(M\) is tame if the torsion subgroup of \(M\) is finite, \(M\otimes\mathbb{Q}\) is finite dimensional and there exists a generator \(t\in C\) such that the characteristic polynomial of \(t\otimes\mathbb{Q}\) is integral. The author proves the following: Theorem. Let \(M\) be a tame \(C\)-module and let \(G\) denote the group \(M\rtimes C\). Then the map \(H_{n}(G,K)\to H_{n}(\hat{G}_{R};K)\) is an epimorphism for all \(n\).