The torsion-free rank of homology in towers of soluble pro-\(p\) groups (Q2627996)

For discrete groups, one cannot detect finite presentability using homological conditions, but for pro-$p$ groups one can: $G$ is finitely presented if and only if the homology groups $H_1(G,\mathbb Z_p)$ and $H_2(G,\mathbb Z_p)$ are finitely generated. Moreover, the number of elements required to generate $G$ as a topological group is $d(G) := \dim_{F_p}H_1(G, F_p)$. The authors show that for every finitely presented pro-$p$ nilpotent-by-abelian-by-finite group $G$ there is an upper bound on $\dim_{\mathbb Q_p}(H_1(M,\mathbb Z_p)\otimes_{\mathbb \mathbb Z_p} \mathbb Q_p)$ as $M$ runs through all pro-$p$ subgroups of finite index in $G$. \par \textit{J. S. Wilson} [Invent. Math. 105, No. 1, 177--183 (1991; Zbl 0738.20035)] proved that the Golod-Shafarevich inequality holds for soluble pro-$p$ groups. Using this, he proved that for every finitely presented soluble pro-$p$ group $G$ there is a constant $k>0$ such that for any pro-$p$ subgroup $U$ of finite index in $G,$ the inequality $d(U) \le k[G : U]^{1/2}$ holds. He also proved that every normal pro-$p$ subgroup with quotient $\mathbb Z_p$ is finitely generated. The authors generalize this result as follows: Let $G$ be a finitely presented soluble pro-$p$ group. Then $\sup_{G/H\simeq \mathbb Z_p}d(H)< \infty$.