arXiv:1604.03857v1 [] 13 Apr 2016

THE TORSION-FREE RANK OF HOMOLOGY IN TOWERS OF
SOLUBLE PRO-p GROUPS
MARTIN R. BRIDSON AND DESSISLAVA H. KOCHLOUKOVA
Abstract. We show that for every finitely presented pro-p nilpotent-by-abelianby-finite group G there is an upper bound on dimQp (H1 (M, Zp ) ⊗Zp Qp ), as
M runs through all pro-p subgroups of finite index in G.

1. Introduction
In [4] we examined how betti numbers behave in towers of finitely presented
soluble groups and proved that if G is finitely presented and nilpotent-by-abelianby-finite, then there is an upper bound on dimQ H1 (M, Q), as M runs through all
subgroups of finite index in G. In this paper we shall prove the corresponding result
for pro-p groups.
By definition, a pro-p group G is finitely presented if G ∼
= F/R, where F is a
finitely generated free pro-p group and R is a pro-p subgroup of F generated (as a
topological group) by the union of finitely many conjugacy classes in F . For discrete
groups, one cannot detect finite presentability using homological conditions, but for
pro-p groups one can: G is finitely presented if and only if the homology groups
H1 (G, Zp ) and H2 (G, Zp ) are finitely generated. Moreover, the number of elements
required to generate G as a topological group is d(G) := dimFp H1 (G, Fp ).
In [12] John Wilson proved that the Golod-Shafarevich inequality holds for soluble pro-p groups. Using this, he proved [12, Corollary A,(i)] that for every finitely
presented soluble pro-p group G there is a constant k > 0 such that for any pro-p
subgroup U of finite index in G, the inequality d(U ) ≤ k[G : U ]1/2 holds. He also
proved that every normal pro-p subgroup with quotient Zp is finitely generated
[12, Corollary A, (ii)]. Note how this contrasts with the discrete case: there are
many finitely presented solvable groups N ⋊ Z with N not finitely generated. (In
the positive direction, Bieri, Neumann and Strebel [3, Thm. D] proved that if G is
finitely presented and soluble group with rk (G/G′ ) ≥ 2, then there exists a normal
finitely generated subgroup N such that G/N ∼
= Z.)
Our first result generalizes [12, Cor. A,(ii)].
Proposition A. Let G be a finitely presented soluble pro-p group. Then
sup

G/H ∼
=Zp

d(H) < ∞.

The following result forms the technical heart of this paper. It is proved using
methods from commutative algebra. It will enable us to retain the finiteness in
homology given by Proposition A as we extend scalars. We remind the reader that
Date: Oxford, 11 April 2016.
2000 Mathematics Subject Classification. Primary 20J05 Secondary 20E18 .
Key words and phrases. pro-p group, virtual first betti number.
1

2

MARTIN R. BRIDSON AND DESSISLAVA H. KOCHLOUKOVA

for a pro-p group G which is the inverse limit of its finite p-group quotients G/U ,
homology is defined in terms of modules over the completed group algebra Zp [[G]],
which is the inverse limit of the rings Zp [G/U ]. Note that Zp [[G]] is a local ring
whose unique maximal ideal is the kernel of the natural morphism Zp [[G]] ։ Fp .
The torsion-free rank of an abelian pro-p group B is
rk B := dimQp B⊗Zp Qp .
Proposition B. Let Q be a free abelian pro-p group of finite rank and let A be a
finitely generated pro-p Zp [[Q]]-module. Let B be the set of pro-p subgroups H ⊳ Q
with Q/H ∼
= Zp . If supH∈B dimFp (A⊗Zp [[H]] Fp ) < ∞, then
sup rk (A⊗Zp [[Qps ]] Zp ) < ∞.
s≥1

To prove the following theorem, we will reduce to the metabelian case and then
apply Proposition B.
Theorem C. Let G be a finitely generated pro-p group that is nilpotent-by-(torsionfree abelian). If supG/H ∼
=Zp d(H) < ∞, then
sup rk H1 (M, Zp ) < ∞,

M∈A

where A is the set of all pro-p subgroups of finite index in G.
By combining Theorem C with Proposition A and using the fact that a subgroup
of finite index in a finitely presented group is finitely presented, we obtain the result
stated in the abstract.
Corollary D. For every finitely presented pro-p nilpotent-by-abelian-by-finite group
G, there is an upper bound on rk H1 (M, Zp ), as M runs through all pro-p subgroups
of finite index in G.
We separated Theorem C from Corollary D because, as we shall explain in Section
6, there are interesting examples of metabelian pro-p groups, arising in the work
of Jeremy King [8], that are not finitely presented but still satisfy the conclusion
of Proposition A. In Section 6 we shall also describe examples which show that
Theorem C can fail when one changes the field of coefficients from Qp to Fp .
The analogue of Corollary D in the setting of discrete groups is this: if G is
finitely presented and nilpotent-by-abelian-by-finite, then there is an upper bound
on dimQ H1 (M, Q), where M runs through all subgroups of finite index in G. This
was our main result in [4]. It was proved independently by Andrei Jaikin Zapirain
[6] in the metabelian case under the weaker hypothesis dimQ H0 (Q, H2 (N, Q)) < ∞.
Acknowledgements: We thank Andrei Jaikin Zapirain for a suggestion that
allowed us to remove an unnecessary hypothesis from an earlier version of Theorem
C and we thank the referee for the helpful comments that improved the paper.
The work of the first author was supported by grants from the EPSRC and by a
Wolfson Merit Award from the Royal Society; the work of the second author was
supported by “bolsa de produtividade em pesquisa”, CNPq, Brazil: we thank all
of these organizations.

THE TORSION-FREE RANK OF HOMOLOGY IN TOWERS OF SOLUBLE PRO-p GROUPS 3

2. Preliminaries
2.1. Generating sets. For a pro-p group G with a subset X denote by hXi the
pro-p subgroup generated by X i.e. the smallest pro-p subgroup of G that contains
X. If G = hXi we say that X is a generating set for G.
2.2. Completed tensor products. Let R be a profinite ring, V1 a profinite right
b R V2
R-module and V2 a profinite left R-module. The profinite tensor product V1 ⊗
can be defined either by a universal property or as an inverse limit of finite abstract
tensor products [11]. In the case when at least one of V1 and V2 is finitely presented
b R V2 ∼
as a profinite R-module, there is a natural isomorphism V1 ⊗
= V1 ⊗R V2 (see
[1, Cor. 2.4]). Thus, whenever possible (e.g. Proposition B and Theorem C) we use
b to emphasize the need for completed tensor products
the notation ⊗, reserving ⊗
when we do not know whether either of the profinite modules is finitely presented.
In this paper, the only profinite modules we consider are pro-p modules over pro-p
rings.
2.3. Noetherian completed group algebras. Let Q be a finitely generated prop abelian group. Q ∼
=
= Q0 ⊕ K, where K is a finite abelian p-group and Q0 ∼
n
Zp is free-abelian pro-p. Note that Zp [[Q0 ]] ∼
= Zp [[t1 , . . . , tn ]] is the power series
ring in n commuting variables, where under the identification, Q0 is generated
by {1 + t1 , . . . , 1 + tn }. In particular, Zp [[Q0 ]] is abstractly Noetherian. Moroever,
since Zp [[Q]] is finitely generated as an abstract Zp [[Q0 ]]-module, it too is abstractly
Noetherian.
According to [13, Lemma 7.2.2], for every pro-p group G, every pro-p Zp [[G]]module V that is topologically generated by a finite set X is generated as an abstract
Zp [[G]]-module by the same set X. In this sense, the topology of V is hidden in
the topology of the ring Zp [[G]] that acts on V .
Thus we see that for a finitely generated abelian pro-p group Q, the ring Zp [[Q]] is
Noetherian in both the abstract and pro-p sense. In fact, every abstract ideal (topology ignored) of Zp [[Q]] is finitely generated (as an abstract Zp [[Q]]-submodule),
moreover it is closed ([13, Lemma 7.2.2]), and therefore is a finitely generated pro-p
Zp [[Q]]-submodule of Zp [[Q]]. Thus when we work with ideals in Zp [[Q]], we do not
need to specify that they are closed, because this condition is automatic. This freedom to ignore the topology allows us to apply the methods of commutative algebra
for Noetherian rings, exploiting in particular the fact that above every proper ideal
of Zp [[Q]] there are only finitely many minimal prime ideals.
2.4. Primary decomposition in Noetherian rings. We recall some basic ideas
from commutative algebra; see [5, Chapter 3] or [2]. Let R be a commutative
Noetherian ring with unit and M a finitely generated R-module. An associate
prime of M is a prime ideal P of R such that R/P arises as an R-submodule of
M (i.e. P = annR (m) for some m ∈ M ). The set of associated primes of M
is finite and is denote by Ass(M ). All of the minimal primes among the prime
ideals containing annR (M ) are associated primes of M . An R-module W is call
P -primary if Ass(W ) = {P }. In this case P acts nilpotently on W .
For any R-submodule V of M there is a primary decomposition V = V1 ∩ V2 ∩
. . . ∩ Vs , where for each Vi we have that M/Vi is Pi -primary and the prime ideals Pi
are pairwise distinct (although one can be included in another). The prime ideals

4

MARTIN R. BRIDSON AND DESSISLAVA H. KOCHLOUKOVA

P1 , . . . , Ps are the associated primes of M/V . The component Vi is unique if Pi is
minimal (with respect to inclusion) among the associated primes Ass(M/V ).
We will apply the primary decomposition for R = Zp [[Q]], Q = Znp and M a
finitely generated pro-p R-module. As explained in the previous subsection, we are
free to ignore the topological structure of M and view it as an abstract R-module.
All abstract R-submodules of M are finitely generated as abstract R-submodules
and are automatically pro-p R-submodules.
3. Proof of Proposition A
We have G = H ⋊ H0 , where H0 = hqi ∼
= Zp . As we noted in the introduction,
Wilson [12, Corollary A, (ii)] proved that H is finitely generated. On other hand,
using that H/H ′ H p is a finite Fp [[H0 ]]-module and Fp [[H0 ]] is a principal ideal
domain, we get a decomposition
H/H ′ H p ∼
= (Fp [[H0 ]]/I1 ) ⊕ . . . ⊕ (Fp [[H0 ]]/Is ),

where H ′ is the pro-p subgroup of H generated by commutators, H p is the pro-p
subgroup of H generated by all the set {hp | h ∈ H}, every Fp [[H0 ]]/Ij is finite,
and the isomorphism is of Fp [[H0 ]]-modules. There is an isomorphism of modules
Fp [[H0 ]]/Ij ∼
= Fp [[t]]/(tij ),
with q acting as multiplication by t + 1. (Here we have used the fact that every
ideal of Fp [[H0 ]] is of the form (ti ).) Let
m = max{i1 , . . . , is } ≥ 1.

By [12, Cor. B], there is a constant k such that for every pro-p subgroup U of finite
index in G we have
d(U ) ≤ k[G : U ]1/2 .

(3.1)
We apply this to

j

U = hH, q p i, where pj > m ≥ pj−1 ≥ 1,

noting that since U is a split extension of H by the pro-p subgroup generated by
j
qp ,
(3.2)
U/U ′ U p ∼
Fp ) ⊕ Fp ,
= (H/H ′ H p ⊗
pj
Fp [[hq

i]]

j

j

where the second summand Fp is generated by the image of q p . The action of q p
j
on Fp [[t]]/(tij ) is given by multiplication with the image of (1 + t)p which, since
j
j
we are in characteristic p, is 1 + tp . Since pj ≥ m ≥ ij we see that (1 + t)p acts
as the identity. Thus
(H/H ′ H p ) ⊗
Fp ∼
= H/H ′ H p ,
pj
Fp [[hq

i]]

and by (3.2) we have
d(U ) = d((H/H ′ H p ) ⊗Fp [[hqpj i]] Fp ) + 1 = dim(H/H ′ H p ) + 1 = i1 + . . . + is + 1.
Combining this with (3.1) we get
thus

i1 + . . . + is + 1 ≤ kpj/2 ,
(i1 + . . . + is )2 < k 2 pj = k 2 ppj−1 ≤ k 2 pm ≤ k 2 p(i1 + . . . + is ),

THE TORSION-FREE RANK OF HOMOLOGY IN TOWERS OF SOLUBLE PRO-p GROUPS 5

and
i1 + . . . + is < k 2 p.
Therefore,
d(H) = i1 + . . . + is < k 2 p.

4. Proof of Proposition B
Throughout this section we write R for the completed group algebra Zp [[Q]].
This is a local ring whose unique maximal ideal is the kernel P of the natural
morphism Zp [[Q]] ։ Fp .
We are given a free abelian pro-p group of finite rank Q and a finitely generated
R-module A, which we know to be Noetherian. We assume that as H < Q ranges
over the normal pro-p subgroups with Q/H ∼
= Zp , dimFp (A⊗Zp [[H]] Fp ) remains
bounded, and from this we must deduce that rk (A⊗Zp [[Qps ]] Zp ) remains bounded
as the positive integer s increases. Roughly speaking, the idea of the proof is to
reduce to the case of a cyclic module (with prime annihilator), and we do this by
examining the primary decomposition. The key gain in finiteness comes in Lemma
4.2, from Noetherian properties of R and A, and from Lazard’s bound [10] on the
order of finite subgroups in GLd (Zp ).
Consider the R-submodule Am = AΩm in A, where m is a power of p and Ωm
is the augmentation ideal ker(Zp [[Qm ]] → Zp ). Let
Am = Nm,1 ∩ Nm,2 ∩ . . . ∩ Nm,j

be a primary decomposition of Am in A. Then

Ass(A/Nm,i ) = {Pm,i },

where Pm,i is a prime ideal in R, and

Ass(A/Am ) = {Pm,1 , . . . , Pm,j }.

Note that, by the definition of an associate prime ideal, R/Pm,i embeds in A/Am ,
hence Pm,i contains Jm = annR (A/Am ). Thus
(4.1)

Qm − 1 ⊂ Jm = annR (A/Am ) ⊆ Pm,i .

Now, Zp [[Q/Qm ]] = Zp [Q/Qm ] has Krull dimension 1, so either Pm,i is the unique
maximal ideal P ⊳ R or else Pm,i is a minimal among the prime ideals containing
Jm and there is no prime ideal P0 lying strictly between Pm,i and P . Furthermore,
by [5, Thm. 3.1], every ideal in R that is minimal among the prime ideals containing
Jm is an associated prime ideal of A/Am .
The following lemma is used to limit the possibilities for the domain R/Pm,i .
Recall that B is the set of pro-p subgroups H ⊳ Q with Q/H ∼
= Zp .
Lemma 4.1. For each Pm,i there exists H0 ∈ B such that H0 − 1 ⊆ Pm,i .
Proof. Let Fm,i be the abstract field of fractions of the (abstract) domain R/Pm,i .
The lemma is equivalent to the assertion that the image of Q in Fm,i is a cyclic
group. Note that we already know that the image of Q in Fm,i is finite.
We consider two cases. First suppose that Fm,i has characteristic 0. Then the
subfield in Fm,i generated by Q and the image of Q is inside the spliting field Km,i
(over Q) of the polynomial xs −1, where s is the exponent of the image of Q in Fm,i .
By the uniqueness of the splitting field (up to isomophism), Km,i is isomorphic to

6

MARTIN R. BRIDSON AND DESSISLAVA H. KOCHLOUKOVA

the subfield of C generated by Q and a primitive s-th root of unity. In particular
the image of Q in Fm,i is cyclic, as claimed.
Suppose now that Fm,i has positive characteristic. Since the elements of Zp rpZp
are invertible in Zp , the characteristic of Fm,i is p. By (4.1) Fm,i is a finite field,
∗
hence Fm,i
is a cyclic group of order coprime to p. It follows that the image of Q
in Fm,i is trivial and Fm,i = Fp , so Pm,i = P and the lemma holds.

Lemma 4.2. Let Xm = {Pm,1 , . . . , Pm,j } and define X = ∪m≥1 Xm . Then X is
finite.
Proof. Consider Pm,i 6= P . Write Wm,i = A/Nm,i and note that by [5, Prop. 3.9]
sm,i
= 0.
Pm,i acts nilpotently on Wm,i i.e. there is some sm,i ∈ N such that Wm,i Pm,i
We claim that
annR (Vm,i ) = Pm,i where Vm,i = Wm,i /Wm,i Pm,i .

√
To see this, note that for any ideal S ⊳ R that strictly contains Pm,i , the radical S
is the intersection of the minimal elements
in the set of prime ideals containing
√
√ z S.
We are in Krull dimension one, so S = P . Since R is Noetherian, we have S ⊆
S for some z ∈ N, and therefore S has finite index in R (as an abelian subgroup).
Thus, if annR (Vm,i ) were to contain Pm,i as a proper ideal, then annR (Vm,i ) has
finite index in R, forcing Vm,i and Wm,i to be finite. But this would mean that the
domain R/Pm,i was finite, hence a field. Since P is the unique maximal ideal in R,
this would imply Pm,i = P , contrary to hypothesis.
By Lemma 4.1, there is H0 ∈ B such that H0 − 1 ⊆ Pm,i . Then H0 acts trivially
on Vm,i and so Vm,i ∼
= Vm,i ⊗Zp [[H0 ]] Zp , which is a quotient of A⊗Zp [[H0 ]] Zp . By
assumption
sup dimFp (A⊗Zp [[H]] Fp ) < ∞.
H∈B

Recall that the minimal number of generators of a pro-p group B is
d(B) = dimFp B/B ′ B p .
Since Pm,i is an associated prime for Vm,i we deduce that R/Pm,i embeds in Vm,i ,
so
d(R/Pm,i ) ≤ d(Vm,i ) = d(Vm,i ⊗Zp [[H0 ]] Zp ) ≤ d(A⊗Zp [[H0 ]] Zp ) = dimFp (A⊗Zp [[H0 ]] Fp ).

At this stage we have established the following weak form of the conclusion |X| < ∞
that we seek:
δ := sup d(R/Pm,i ) ≤ sup dimFp (A⊗Zp [[H]] Fp ) < ∞.
Pm,i ∈X

H∈B

As before, we write Fm,i for the abstract field of fractions of the domain R/Pm,i .
(Remember that R = Zp [[Q]].) Let Qm,i be the image of Q in R/Pm,i . From
Lemma 4.1 we know that Qm,i is finite cyclic, of p-power order.
If the characteristic of Fm,i was positive, it would be p. But then, as in the
proof of Lemma 4.1, we would get Pm,i = P , a contradiction. Therefore, Fm,i
d(j)
has characteristic 0, in which case R/Pm,i ∼
= Zp for some d(j) ≤ δ, and Qm,i
occurs as a finite cyclic subgroup of GLδ (Zp ). This is a virtually pro-p analytic,
and therefore it has finite virtual cohomological dimension [10]. (We refer to [14]
for background on pro-p analytic groups.) It follows that there is an upper bound
on the finite subgroups of GLd (Zp ), yielding an integer r (a power of p) such that
the order of each Qm,i always divides r.

THE TORSION-FREE RANK OF HOMOLOGY IN TOWERS OF SOLUBLE PRO-p GROUPS 7

We have proved
(Qr − 1) ⊆ Pm,i

for all

Pm,i ∈ X,

and the lemma now follows from the observation that in R = Zp [[Q]] there are only
finitely many prime ideals above (Qr − 1); equivalently, there are only finitely many
minimal prime ideals in the local ring Zp [[Q]]/(Qr − 1) ∼
= Zp [Q/Qr ]. To see that
r
this is the case, note that since Zp [Q/Q ] is finitely generated as a Zp -module, its
Krull dimension equals that of Zp , which is 1. Thus any prime ideal in Zp [Q/Qr ]
that is not minimal is the unique maximal prime ideal. And there are only finitely
many minimal prime ideals.

Lemma 4.3. For each p-power m, define Jm = annR (A/Am ) and Bm = Jm ⊗Zp Qp .
Then, there is a p-power m0 ≥ 1 such that Bm = Bm0 for all m ≥ m0 .
Proof. Note that if m1 ≥ m2 are powers of p, then A/Am2 is a quotient of A/Am1 ,
hence Jm1 ⊆ Jm2 . We claim that
(4.2)

Xm2 \ {P } ⊆ Xm1 \ {P },

where P is the unique maximal ideal of Zp [[Q]]. Indeed by the paragraph after
(4.1) any minimal prime ideal Pm2 ,i above Jm2 such that Pm2 ,i 6= P belongs to
Xm2 and any element of Xm2 \ {P } is of this type. Thus there is no prime ideal of
Zp [[Q]] that contains Jm1 and is strictly contained in Pm2 ,i (otherwise there would
be a nested sequence of three primes ideals above Jm1 , which would contradict the
paragraph after (4.1) with m = m1 ). Thus Pm2 ,i is a minimal prime above Jm1 , so
Pm2 ,i ∈ Xm1 and (4.2) holds.
By Lemma 4.2 X = ∪m Xm is a finite set of primes. This together with (4.2)
implies the existence of m0 , a power of p, such that
(4.3)

Xm0 \ {P } = Xm \ {P } for m ≥ m0 a power of p.

If m ≥ m0 is a power of p and X 6= {P }, then
p
p
Jm = ∩I∈Xm I = ∩I∈Xm \{P } I = ∩I∈Xm0 \{P } I = ∩I∈Xm0 I = Jm0
(4.4)
√
because, as we noted earlier, that for any ideal S ⊳ R, the radical S is the
intersection of the minimal elements in the set of prime ideals containing S. Note
that in the case X = {P } we have Xm = Xm0 = X, so
p
p
(4.5)
Jm = ∩I∈Xm I = ∩I∈Xm0 I = Jm0 for m ≥ m0 a power of p.

With equalities (4.4) and (4.5) in hand, the proof of Claim 2 in [4, Thm 3.1]
applies verbatim after replacing Q with Qp and Z with Zp . We repeat the argument
for the convenience of the reader. It suffices to show that Bm = Bmp for m ≥ m0 .
Fix q ∈ Q and write y for its image in R ⊗Zp Qp . Then y m − 1 ∈ Bm and by (4.4)
there is a positive integer s such that (y m − 1)s ∈ Bmp . The greatest common
divisor of xmp − 1 and (xm − 1)s in the polynomial ring Qp [x] is xm − 1, because
xmp − 1 has no repeated roots in a field of charateristic 0. Therefore, y m − 1 ∈ Bmp ,
by Bezout’s lemma, and hence Bm = Bmp .

Proof of Proposition B. We fix a finite set of generators a1 , . . . , as for A as an Rmodule. Then A/Am is generated as an R/Jm -module by the images of a1 , . . . , as
and we have an epimorphism of R/Jm -modules (R/Jm )s → A/Am inducing an
epimorphism of finite dimensional Qp -modules
(R/Jm )s ⊗Zp Qp → (A/Am ) ⊗Zp Qp .

8

MARTIN R. BRIDSON AND DESSISLAVA H. KOCHLOUKOVA

Thus
dimQp (A/Am ) ⊗Zp Qp ≤ s dimQp ((R/Jm ) ⊗Zp Qp ).
By Lemma 4.3, for p-powers m ≥ m0 the canonical projection R/Jmp → R/Jm
induces an isomorphism (R/Jmp ) ⊗Zp Qp → (R/Jm ) ⊗Zp Qp , so
dimQp ((R/Jm ) ⊗Zp Qp ) = dimQp ((R/Jm0 ) ⊗Zp Qp ).

Thus for C = {pi | i ≥ 1} we have

sup dimQp ((A/Am ) ⊗Zp Qp ) ≤ s. dimQp ((R/Jm0 ) ⊗Zp Qp ) < ∞.

m∈C

And, by definition, A/Am = A ⊗Zp [[Qm ]] Zp .



5. Proof of Theorem C
We shall see that in the metabelian case, Theorem C can be deduced from
Proposition B by means of straightforward calculations in homological algebra.
The following proposition reduces the general case to the metabelian case. For
a pro-p group H let {γi (H)}i≥1 be the lower central series of H. By definition
γ1 (H) = H, γi+1 (H) is the closed subgroup of H generated by [γi (H), H].
Proposition 5.1. Let N ֌ G ։ Q be a short exact sequence of pro-p groups,
where N is nilpotent, Q is abelian and G is finitely generated. Let Gn be a pro-p
subgroup of finite index in G and let Gn be the image of Gn in the metabelian group
G/N ′ . Then
H1 (Gn , Zp )⊗Zp Qp ∼
= H1 (Gn , Zp )⊗Zp Qp .
Proof. We write Qn = Gn N/N for the image of Gn in G/N . Set V = N/N ′ and
Vn = (Gn ∩ N )N ′ /N ′ . Let Vn,i be the image of Gn ∩ γi (N ) in γi (N )/γi+1 (N ). Note
that Vn,i ∼
= Gn ∩ γi (N )/Gn ∩ γi+1 (N ) and the filtration {Gn ∩ γi (N )}i≥1 of Gn ∩ N
has quotients Vn,i .
Let Wn,i denote the image of Gn ∩ γi (N ) in H1 (Gn , Zp ). Then, for i ≥ 2, we
have that Wn,i /Wn,i+1 is an image of Vn,i /γi (N ∩ Gn ), where γi (N ∩ Gn ) is the
image of γi (N ∩ Gn ) in γi (N )/γi+1 (N ).
In this paragraph all completed tensor products are over Zp . We think of
b i V via the map that sends g1 N ′ ⊗
b . . . . . . ⊗g
b i N ′ to
γi (N )/γi+1 (N ) as a quotient of ⊗
[g1 , . . . , gi ]γi+1 (N ), where the commutator is left-normed. Thus we get
(γi (N )/γi+1 (N ))/γi (N ∩ Gn )

b i V /⊗
b i Vn , where ⊗
b i Vn is the image of ⊗
b i Vn in ⊗
b i V . Since Vn
as an image of ⊗
b i V /⊗
b i Vn has finite expohas finite index in V , by induction on i we see that ⊗
nent as an abelian group, hence (γi (N )/γi+1 (N ))/γi (N ∩ Gn ) and its abelian subgroup Vn,i /γi (N ∩ Gn ) have finite exponent as abelian groups for i ≥ 2. Then
(Vn,i /γi (N ∩ Gn )) ⊗Zp Qp = 0, hence (Wn,i /Wn,i+1 ) ⊗Zp Qp = 0 for i ≥ 2. Then
Wn,2 ⊗Zp Qp = 0, so the image of Gn ∩γ2 (N ) in H1 (Gn , Zp )⊗Zp Qp is trivial. And for
the image Gn of Gn in G/N ′ we have H1 (Gn , Zp ) ⊗Zp Qp ∼
= H1 (Gn , Zp ) ⊗Zp Qp . 
Lemma 5.2. Let N ֌ G ։ Q be a short exact sequence of pro-p groups with G
finitely generated. Then
(i) d(G) ≤ dimFp H0 (Q, H1 (N, Fp )) + dimFp H1 (Q, Fp ) ≤ d(G) + dimFp H2 (Q, Fp );

(ii) dimQp H1 (G, Zp )⊗ Qp ≤ dimQp H0 (Q, H1 (N, Zp ))⊗ Qp + dimQp H1 (Q, Zp )⊗ Qp ,

THE TORSION-FREE RANK OF HOMOLOGY IN TOWERS OF SOLUBLE PRO-p GROUPS 9

where all tensor products are over Zp .
Proof. Recall that for any finitely generated pro-p group, d(G) = dim H1 (G, Fp ).
Part (i) follows immediately from the following exact sequence (which is part of the
5-term exact sequence in homology)
H2 (Q, Fp ) → H0 (Q, H1 (N, Fp )) → H1 (G, Fp ) → H1 (Q, Fp ) → 0.
Part (ii) follows from the exact sequence (which is also part of a 5-term exact
sequence) H0 (Q, H1 (N, Zp )) → H1 (G, Zp ) → H1 (Q, Zp ) → 0.

Proof of Theorem C. We start with a short exact sequence of pro-p groups
M ֌ G ։ G/M with M nilpotent and G/M torsion-free and abelian. Since G/G′
is a finitely generated abelian pro-p group, it is the direct sum of a finite p-group
T and a free pro-p abelian group Znp . Let N be the full pre-image of T in G. Since
G/M is torsion-free abelian, N ⊆ M ; in particular N is nilpotent. Thus we have a
short exact sequence of pro-p groups N ֌ G ։ Znp . And by construction, N ⊂ H
for every normal H < G with G/H ∼
= Zp .
Let A = N/N ′ . If we write H for the image of H < G in G = G/N ′ , then
d(H) ≤ d(H), hence supG/H ∼
=Zp d(H) < ∞. This bound tells us that our hypothesis
on G is preserved if we replace G by G/N ′ , and Proposition 5.1 assures us that if
we can prove the theorem for G = G/N ′ , then the result will follow for G. Thus
we assume henceforth that A = N and G = G.
By applying Lemma 5.2(i) to the short exact sequence A ֌ H ։ H/A ∼
= Zpn−1
we get


n−1
sup dimFp (A⊗Zp [[H]] Fp ) ≤ sup [d(H) +
− n + 1] < ∞,
2
G/H ∼
G/H ∼
=Z p
= Zp
since H0 (H, H1 (A, Fp )) = A⊗Zp [[H]] Fp and dim H1 (H/A, Fp ) = n − 1, and the binomial coefficient is the dimension of H2 (H/A, Fp ), which (as with discrete groups)
is the exterior square of the abelian group (H/A)/p(H/A) ∼
= Fpn−1 .
From Proposition B we deduce that
(5.1)

sup rk (A⊗Zp [[Qpi ]] Zp ) < ∞.
i≥1

Let Gm be a pro-p subgroup of finite index in G and consider the following exact
sequence1
Z [[Gm /A∩Gm ]]

Tor1 p

(A/A ∩ Gm , Zp ) → (A ∩ Gm )⊗Zp [[Gm /A∩Gm ]] Zp →

A⊗Zp [[Gm /A∩Gm ]] Zp → (A/A ∩ Gm )⊗Zp [[Gm /A∩Gm ]] Zp → 0.

Because A/A ∩ Gm is finite, the first and last groups in this sequence are torsion,
so
rk ((A ∩ Gm )⊗Zp [[Gm /A∩Gm ]] Zp ) = rk (A⊗Zp [[Gm /A∩Gm ]] Zp ).

Then, by applying Lemma 5.2(ii) to A ∩ Gm ֌ Gm ։ Gm /(A ∩ Gm ), we get
dimQp (H1 (Gm , Zp ) ⊗Zp Qp ) ≤ n + rk ((A ∩ Gm )⊗Zp [[Gm /A∩Gm ]] Zp )
= n + rk (A⊗Zp [[Gm /A∩Gm ]] Zp ),

1The use of ⊗ rather than ⊗
ˆ is permitted because the trivial module Zp is finitely presented
over Zp [[G]] for every finitely generated pro-p group G.

10

MARTIN R. BRIDSON AND DESSISLAVA H. KOCHLOUKOVA

where n is the rank of Gm /(A ∩ Gm ), which has finite index in Q = G/A. Finally,
taking a p-power s such that Qs ⊆ Gm /(A ∩ Gm ) ⊆ Q, we have
rk (A⊗Zp [[Gm /A∩Gm ]] Zp ) ≤ rk (A⊗Zp [[Qs ]] Zp )
and hence
dimQp (H1 (Gm , Zp ) ⊗Zp Qp ) ≤ n + rk (A⊗Zp [[Qs ]] Zp ).
Then (5.1) completes the proof.


6. Examples

In this section we shall present two examples to show that Theorem C fails if
the coefficient field Qp is replaced by Fp . We shall then explain an example due to
Jeremy King [9] which shows that Theorem C is of interest beyond the setting of
finitely presented groups.
As we noted in the introduction, finite presentability for pro-p groups is essentially a homological condition. More precisely, a pro-p group G is finitely presented
if and only if is of type FP2 . In the pro-p setting, a group G is defined to be of type
FPm if, as a trivial Zp [[G]]-module, Zp has a projective resolution with the modules
finitely generated in dimensions ≤ m. Since Zp [[G]] is a local ring, it is easy to see
that G is of type FPm if and only if the pro-p homology groups Hi (G, Fp ) are finite
for i ≤ m.
In [8] King showed that if N is a normal pro-p subgroup of G, with G/N of
finite rank (in which case Zp [[G/N ]] is left and right Noetherian), then G is of type
FPm if and only if Hi (N, Zp ) is finitely generated as a pro-p Zp [[G/N ]]-module for
i ≤ m, where the action of G/N is induced by conjugation. In particular, if G is
a finitely generated metabelian pro-p group, i.e. there is a short exact sequence of
pro-p groups A → G → Q with A and Q abelian, then G will be finitely presented
b A is finitely generated as a Zp [[Q]]-module, where Q
if and only if H2 (A, Zp ) ∼
= A∧
b A.
acts diagonally on the completed exterior square A∧
This criterion for finitely presentability of metabelian pro-p groups plays a crucial
role in our examples: it is hidden in our appeals to King’s papers [7], [9].
6.1. The first example: switching to Fp when p is odd. Suppose p > 2 and
consider the pro-p group G = A ⋊ Q where A = Fp [[t]] and Q = hx, yi = Zp × Zp ,
with x acting as multiplication by 1 + t while y acts as multiplication by 1 + 2t. By
i
i
[9, Thm. A], G is finitely presented. And since (1 + τ )p = 1 + τ p in characteristic
p, we have
i
i
i
A ⊗Fp [[Qpi ]] Fp ∼
= Fp [[t]]/((1 + t)p − 1, (1 + 2t)p − 1) = Fp [[t]]/(tp ).

Hence
i

sup dimFp (H1 (M, Zp ) ⊗Zp Fp ) ≥ sup dimFp (H1 (A ⋊ Qp , Zp ) ⊗Zp Fp ) =
i≥1

M∈A

2 + sup dimFp (A ⊗Fp [[Qpi ]] Fp ) = 2 + sup pi = ∞,
i≥1

i≥1

where A is the set of all pro-p subgroups of finite index in G.

THE TORSION-FREE RANK OF HOMOLOGY IN TOWERS OF SOLUBLE PRO-p GROUPS11

6.2. The second example: switching to Fp when p = 2. Consider the pro-2
group G = A ⋊ Q, where A = F2 [[t]] and Q = hx, yi = Z2 × Z2 , with x acting as
multiplication by 1 + t while y acts as multiplication by 1 + t + t2 . Again, G is
finitely presented by [9, Thm. B] and
i
i
i
A ⊗F2 [[Q2i ]] F2 ∼
= F2 [[t]]/((1 + t)2 − 1, (1 + t + t2 )2 − 1) = F2 [t]]/(t2 ).

Hence
i

sup dimF2 (H1 (M, Z2 ) ⊗Z2 F2 ) ≥ sup dimF2 (H1 (A ⋊ Q2 , Z2 ) ⊗Z2 F2 ) =

M∈A

i≥1

2 + sup dimF2 (A ⊗F2 [[Q2i ]] F2 ) = 2 + sup 2i = ∞,
i≥1

i≥1

where A is the set of all pro-2 subgroups of finite index in G.
6.3. King’s example. Let p be an odd prime, let Q = hx, yi = Zp × Zp , let
A = Fp [[Q]]/(x + x−1 + y + y −1 − 4) and, following [7], consider the pro-p group
G = A ⋊ Q. By [7, Prop. 3.4] G is not finitely presented and by [7, Prop. 3.5]
for every normal pro-p subgroup N of G such that G/N ∼
= Zp we have that N is
finitely generated i.e. d(N ) < ∞. Our aim is to show that
sup

G/N ∼
=Zp

d(N ) < ∞.

Theorem C can then be applied to G, even though G is not finitely presented.
To this end, observe first that N = A ⋊ H, where H is a pro-p subgroup of Q
with Q/H ∼
= Zp . According to Lemma 5.2(i), we will be done if we can bound the
dimension of
b Fp [[H]] Fp .
H0 (H, H1 (A, Fp )) = A⊗
Since the relation that defines A is symmetric with respect to x and y, we can
assume that H = hxy −λ i for some λ ∈ Zp . Indeed we have that H = hxi y j i with
i, j ∈ Zp such that the ideal of Zp generated by i and j is the whole ring Zp . Then
i∈
/ pZp or j ∈
/ pZp . Since Zp \ pZp is the set of invertible elements in Zp we can
assume that i or j is invertible; say i is invertible. Then for λ = −ji−1
H = hxi y j i = h(xy ji

−1

)i i = hxy ji i = hxy −λ i.
−1

Then
b Fp [[H]] Fp ∼
A⊗
= Fp [[Q]]/(x+x−1 +y+y −1 −4, xy −λ −1) ∼
= Fp [[hyi]]/(y λ +y −λ +y+y −1−4)

where the last isomorphism sends x to y λ . Since Fp [[hyi]] is the power series ring
Fp [[t]] with y = 1 + t we deduce that
b F [[H]] Fp ∼
A⊗
= Fp [[t]]/(fλ )
p

where

fλ = (1 + t)λ + (1 + t)−λ + (1 + t) + (1 + t)−1 − 4.
We claim that as λ varies, the first non-zero coefficient of fλ appears in degree less
than p, in other words,
(6.1)

sup inf{i | fλ 6∈ ti+1 Fp [[t]]} < p.
λ

With this bound in hand, writing f ∈ zti + ti+1 Fp [[t]] with z ∈ Fp \ {0}, we have
(f ) = (ti ) and
b Fp [[H]] Fp = dimFp Fp [[t]]/(ti ) = i < p.
dimFp A⊗

12

MARTIN R. BRIDSON AND DESSISLAVA H. KOCHLOUKOVA

The rest of the proof is devoted to establishing the bound in (6.1). Given λ ∈ Zp ,
we write
λ = z0 + pλ1 and − λ = a0 + pλ2
where z0 , a0 ∈ {0, 1, . . . , p− 1} and λ1 , λ2 ∈ Zp . As (1 + t)pλj = (1 + tp )λj in Fp [[tp ]],
we have
(1 + t)λ = (1 + t)z0 (1 + t)pλ1 ∈ (1 + t)z0 + tp Fp [[t]]
and

(1 + t)−λ = (1 + t)a0 (1 + t)pλ2 ∈ (1 + t)a0 + tp Fp [[t]].

Note that if z0 > 0 then a0 + z0 = p. In particular, taking λ = z0 = 1 we have
(1 + t)−1 ∈ (1 + t)p−1 + tp Fp [[t]].
In general,
(6.2)

fλ ∈ gλ + tp Fp [[t]],

where gλ = (1 + t)z0 + (1 + t)a0 + (1 + t) + (1 + t)p−1 − 4. To establish (6.1)
we must argue that gλ is a non-zero polynomial. If z0 = 0 then a0 = 0 and
gλ = t + (1 + t)p−1 − 1, which is a non-zero element of Fp [t] because p > 2. If z0 > 0
then
gλ = (1 + t)z0 + (1 + t)p−z0 + (1 + t) + (1 + t)p−1 − 4,
which is again non-zero. This completes the proof.
By calculating with binomial coefficients, one can replace (6.1) by a bound that
is independent of p > 2.
References
[1] Corob Cook, Ged; Bieri-Eckmann Criteria for Profinite Groups, to appear in Israel Journal
of Mathematcs, arXiv 1412.1703v2
[2] Bourbaki, Nicolas; Commutative algebra. Chapters 1 - 7. Elements of Mathematics (Berlin).
Springer-Verlag, Berlin, 1998.
[3] Bieri, Robert; Neumann, Walter D.; Strebel, Ralph; A geometric invariant of discrete groups.
Invent. Math. 90 (1987), no. 3, 451–477.
[4] Bridson M.R.; Kochloukova D.; The virtual first Betti number of soluble groups, Pacific J.
Math., 274 (2015), 497–510.
[5] Eisenbud, D.; Commutative algebra: With a view toward algebraic geometry. Graduate Texts
in Mathematics, 150. Springer-Verlag, New York, 1995.
[6] Jaikin Zapirain, A. Unpublished note
[7] King, Jeremy D.; A geometric invariant for metabelian pro-p groups. J. London Math. Soc.
(2) 60 (1999), no. 1, 83–94.
[8] King, Jeremy D.; Homological finiteness conditions for pro-p groups. Comm. Algebra 27
(1999), no. 10, 4969–4991.
[9] King, Jeremy D.; Embedding theorems for pro-p groups. Math. Proc. Cambridge Philos. Soc.
123 (1998), no. 2, 217–226.
[10] Lazard, M.; Groupes analytiques p-adiques, Publ. Math. IHES, 26 (1965), 389–603.
[11] Ribes, L.; Zalesskii, P. Profinite groups. Second edition. 40. Springer-Verlag, Berlin, 2010
[12] Wilson, John S. Finite presentations of pro-p groups and discrete groups. Invent. Math. 105
(1991), no. 1, 177-183
[13] Wilson, John S. Profinite groups. London Mathematical Society Monographs. New Series,
19. The Clarendon Press, Oxford University Press, New York, 1998
[14] Dixon, J. D.; du Sautoy, M. P. F.; Mann, A.; Segal, D. Analytic pro-p-groups. London
Mathematical Society Lecture Note Series, 157. Cambridge University Press, Cambridge,
2003

THE TORSION-FREE RANK OF HOMOLOGY IN TOWERS OF SOLUBLE PRO-p GROUPS13

Mathematical Institute, Andrews Wiles Building, University of Oxford, Oxford
OX2 6GG, UK
E-mail address: bridson@maths.ox.ax.uk
Department of Mathematics, State University of Campinas (UNICAMP), 13083-859,
Campinas, SP, Brazil
E-mail address: desi@ime.unicamp.br

