Subdirect products of free pro-\(p\) and Demushkin groups. (Q2852574)

The paper is inspired by the paper of \textit{M. R. Bridson, J. Howie, C. F. Miller} III and \textit{H. Short} [Ann. Math. (2) 170, No. 3, 1447-1467 (2009; Zbl 1196.20047)], where subdirect products were studied. Here the author studies a subdirect product of Demushkin groups, an important object in pro-\(p\) group theory and Galois theory. Demushkin groups are Poincaré duality pro-\(p\) groups of dimension 2 and so from this point of view are pro-\(p\) analogues of surface groups. A pro-\(p\) group \(G\) is of type \(\text{FP}_m\) if \(H_i(G,\mathbb F_p)\) is finite for all \(i\leq m\).NEWLINENEWLINE The main result of the paper is the classification of subdirect products of type \(\text{FP}_m\) Demushkin groups.NEWLINENEWLINE Theorem A. Let \(S\leq D_1\times\cdots\times D_n\) be a subdirect product of either non-soluble Demushkin or non-cyclic finitely generated free pro-\(p\) groups. Suppose \(S\cap D_i\neq 1\) for all \(1\leq i\leq n\) and \(S\) is finitely presented as a pro-\(p\) group. Let \(2\leq m\leq n\) be a natural number. Then \(S\) is of type \(\text{FP}_m\) if and only if for every canonical projection \(p_{j_1,\ldots,j_m}\colon S\to D_{j_1}\times\cdots\times D_{j_m}\) the image \(p_{j_1,\ldots,j_m}(S)\) has finite index in \(D_{j_1}\times\cdots\times D_{j_m}\).NEWLINENEWLINE Note that the condition \(S\cap D_i\neq 1\) for all \(1\leq i\leq n\) always can be achieved by factoring out \(D_i\) with \(S\cap D_i=1\). As a corollary the author deduces that if \(S\) is of type \(\text{FP}_n\) then \(S\) has finite index in \(D_1\times\cdots\times D_n\).NEWLINENEWLINE Some results on rank gradient are also proved in the paper.