The projective dimension of profinite modules for pro-p groups

Abstract

The homology groups introduced by A. Brumer can be used to establish a criterion ensuring that a profinite ${\mathbb{F}}_p[[G]]$-module of a pro-$p$ group $G$ has projective dimension $d<\infty$ (cf. Thm. A). This criterion yields a new characterization of free pro-$p$ groups (cf. Cor. B). Applied to a semi-direct factor $G\to {\mathbb{Z}}_p\to G$ isomorphic to ${\mathbb{Z}}_p$ which defines a non-trivial end in the sense of A.A. Korenev one concludes that the closure of the normal closure of the image of $\sigma$ is a free pro-$p$ subgroup (cf. Thm. C). From this result we will deduce a structure theorem (cf. Thm. D) for finitely generated pro-$p$ groups with infinitely many ends.

Cited by in corpus (1)

• Cohomology of absolute Galois groups