Homological finiteness properties of pro-\(p\) modules over metabelian pro-\(p\) groups. (English) Zbl 1107.20042
Let \(G\) be a pro-\(p\) group. A pro-\(p\) \(\mathbb{Z}_p[\![G]\!]\)-module \(B\) is called of homological type \(FP_m\) over \(\mathbb{Z}_p[\![G]\!]\) if \(B\) has a \(\mathbb{Z}_p[\![G]\!]\)-projective resolution where all modules in dimensions less or equal to \(m\) are finitely generated. The author characterizes the modules of homological type \(FP_m\) in the case when \(G\) is a topologically finitely generated pro-\(p\) group that is an extension of \(A\) by \(Q\), with \(A\) and \(Q\) Abelian, and \(B\) is a finitely generated pro-\(p\) \(\mathbb{Z}_p[\![Q]\!]\)-module that is viewed as a pro-\(p\) \(\mathbb{Z}_p[\![G]\!]\)-module via the projection \(G\to Q\).
The characterization is given in terms of the invariant introduced by J. D. King [J. Lond. Math. Soc., II. Ser. 60, No. 1, 83-94 (1999; Zbl 0952.20020)]. The case \(B=\mathbb{Z}_p\) is exactly the classification of the metabelian pro-\(p\) groups of type \(FP_m\) suggested by King and proved by Kochloukova.
The characterization is given in terms of the invariant introduced by J. D. King [J. Lond. Math. Soc., II. Ser. 60, No. 1, 83-94 (1999; Zbl 0952.20020)]. The case \(B=\mathbb{Z}_p\) is exactly the classification of the metabelian pro-\(p\) groups of type \(FP_m\) suggested by King and proved by Kochloukova.
Reviewer: Andrea Lucchini (Brescia)
MSC:
20J05 | Homological methods in group theory |
20E18 | Limits, profinite groups |
20C07 | Group rings of infinite groups and their modules (group-theoretic aspects) |
20F16 | Solvable groups, supersolvable groups |
Keywords:
metabelian pro-\(p\) groups; pro-\(p\) modules; homological type \(FP_m\); projective resolutionsCitations:
Zbl 0952.20020References:
[1] | Åberg, H., Bieri-Strebel valuations (of finite rank), Proc. London Math. Soc. (3), 52, 269-304 (1986) · Zbl 0588.20026 |
[2] | Bieri, R.; Groves, J. R.J., Metabelian groups of type \(FP_\infty\) are virtually of type FP, Proc. London Math. Soc. (3), 45, 365-384 (1982) · Zbl 0501.20022 |
[3] | Brumer, A., Pseudocompact algebras, profinite groups a nd class formations, J. Algebra, 4, 442-470 (1966) · Zbl 0146.04702 |
[4] | Cartan, H., Algèbres d’Eilenberg-MacLane, (Séminaire H. Cartan, Ecole Normale Supèrieure. Séminaire H. Cartan, Ecole Normale Supèrieure, Collected Works, vol. 3 (1979), Springer) |
[5] | King, J. D., Homological finiteness conditions for pro-\(p\) groups, Comm. Algebra, 27, 10, 4969-4991 (1999) · Zbl 0939.20026 |
[6] | King, J. D., A geometric invariant for metabelian pro-\(p\) groups, J. London Math. Soc. (2), 60, 1, 83-94 (1999) · Zbl 0952.20020 |
[7] | Kochloukova, D. H., A new characterization of \(m\)-tame groups over finitely generated abelian groups, J. London Math. Soc. (2), 60, 802-816 (1999) · Zbl 1124.20307 |
[8] | Kochloukova, D. H., Metabelian pro-\(p\) groups of type \(FP_m\), J. Group Theory, 3, 4, 419-431 (2000) · Zbl 0968.20019 |
[9] | Kochloukova, D. H., On the homological finiteness properties of some modules over metabelian Lie algebras, Israel J. Math., 129, 221-239 (2002) · Zbl 0998.17021 |
[10] | D.H. Kochloukova, Modules of type \(\mathit{FP}_2\); D.H. Kochloukova, Modules of type \(\mathit{FP}_2\) · Zbl 1138.20044 |
[11] | Kochloukova, D. H.; Zalesskii, P., Invariants for pro-\(p\) groups and normal subgroups with cyclic quotients in some finitely presented pro-\(C\) groups, Monatsh. Math., 144, 285-296 (2005) · Zbl 1075.20012 |
[12] | Ribes, L.; Zalesskii, P., Profinite Groups (2000), Springer: Springer Berlin · Zbl 0949.20017 |
[13] | Rotman, J. J., An Introduction to Homological Algebra (1979), Academic Press: Academic Press New York · Zbl 0441.18018 |
[14] | Wilson, J. S., Profinite Groups (1998), Clarendon Press: Clarendon Press New York · Zbl 0909.20001 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.