Finiteness conditions on subgroups of profinite \(p\)-Poincaré duality groups. (Q2655766): Difference between revisions

The paper under review deals with some sufficient conditions that ensure that a closed normal subgroup \(N\) of a profinite \(p\)-Poincaré duality group \(G\) is again a profinite \(p\)-Poincaré duality group. The notion of a profinite \(p\)-Poincaré duality group has been introduced by J.~Tate. The results, which typically require the finiteness of all \(H_i(V,F)\), where \(F\) is the field with \(p\) elements, \(V\) runs over all open subgroups of \(N\), and \(i\) is at most half the dimension of \(G\), can be considered as profinite analogues of results of \textit{J.~A.~Hillman} and \textit{D.~H.~Kochloukova} for discrete groups [Math. Z. 256, No. 1, 45-56 (2007; Zbl 1118.57020)]. Among the many interesting consequences, it is shown if the pro-\(p\) \(p\)-Poincaré duality group \(G\) of dimension \(3\) has an infinite Abelianization \(G/G'\), then either \(G\) is soluble, or contains a free non-procyclic pro-\(p\) subgroup.