Homological properties of abstract and profinite modules and groups. (Q2378544)

The author [in J. Pure Appl. Algebra 204, No. 3, 536-554 (2006; Zbl 1089.20031), Comment. Math. Helv. 81, No. 4, 931-943 (2006; Zbl 1166.20042)] proved a conjecture due to E. Rapaport Strasser about knot-like groups, i.e., if a knot-like group \(G\) has a finitely generated commutator subgroup \(G'\), then \(G'\) should be free. A knot-like group is a finitely presented of deficiency one group with infinite cyclic Abelianization. A pro-\(p\) version of the Rapaport Strasser Conjecture was suggested and resolved [in op. cit., Zbl 1089.20031], and a profinite version of the same conjecture was proved by \textit{F. Grunewald, A. Jaikin-Zapirain, A. G. S. Pinto, P. A. Zalesski} [in Normal subgroups of profinite groups on non-negative deficiency (preprint)]. In this paper the author generalizes the main results of Grunewald et al. and op. cit. [Zbl 1166.20042] about cohomological dimensions and the homological type \(\text{FP}_m\) of a normal subgroup of a group \(G\) with some finiteness properties (in both discrete and profinite cases) and treats the module versions of the same results.