A NOTE ON THE MITTAG–LEFFLER CONDITION FOR
BREDON-MODULES

arXiv:1611.00567v1 [math.GR] 2 Nov 2016

MARTIN G. FLUCH, GIOVANNI GANDINI, AND BRITA NUCINKIS
Abstract. In this note we show the Bredon-analogue of a result by Emmanouil and Talelli, which gives a criterion when the homological and cohomological dimensions of a countable group G agree. We also present some
applications to groups of Bredon-homological dimension 1.

1. introduction
It is a well-known fact that for a countable group, the homological dimension and
the cohomological dimension over a non-zero commutative ring R differ by at most
one, and that in general the homological dimension is always less than or equal to
the cohomological dimension, see, for example [Bie81, Theorem 4.6]. Emmanouil
and Talelli [ET12, Theorem 2.1] give a criterion for a group of finite integral homological dimension to have both quantities equal. The main ingredient for this result
is the following:
Theorem 1.1. [ET12, Theorem 1.3] Let R be a countable ring and M be a countably
generated flat left R-module. Then the following conditions are equivalent:
(i) M is projective.
(ii) Ext1R pM, Rq “ 0.
(iii) Ext1R pM, Rq is a countable group.
In this paper we will verify a generalisation of this theorem to the setting of Bredoncohomology. Here the group G is replaced with the orbit category OF G, whose
objects are the transitive G-sets G{H with H P F and whose morphisms are Gmaps. The category OF G-Mod of right Bredon modules is the functor category
whose objects are contravariant functors M : OF G Ñ Ab from the orbit category
to the category Ab of abelian groups. As a functor category it is, for example, an
abelian category which satisfies the same Grothendieck Axioms as the category Ab,
and which has enough projective and enough injective objects. Hence there is a
natural setting to do homological algebra. In the next section we briefly introduce
those notions from Bredon-cohomology needed here. We refer the reader to [Lüc89,
MV03] and also to the PhD thesis of the first author [Flu11] for more detail. We
prove:
Theorem A. Let G be a countable group, F a family of subgroups of G of finite
conjugacy type and let F be a complete set of representatives of the conjugacy
classes of the elements of F. If n :“ hdF G is finite, then the following statements
are equivalent:
Date: March 2, 2018.
2010 Mathematics Subject Classification. Primary 20F65, 18G60.
1

2

MARTIN G. FLUCH, GIOVANNI GANDINI, AND BRITA NUCINKIS

(i) cdF G “ n
´
¯
ś
Zr´, G{HsG “ 0
(ii) HFn`1 G;
´ HPF
¯
ś
Zr´, G{HsG is countable.
(iii) HFn`1 G;
HPF

Note that for F “ t1u this is [ET12, Theorem 2.1].
The main ingredients needed in the proof are the facts that a flat contravariant OF Gmodule is a colimit of finitely generated free OF G-modules [Nuc04, Theorem 3.2],
and that certain limits of duals of free OF G-modules satisfy the Mittag–Leffler
condition for Bredon-modules. This is defined analogously to the case of modules
over a commutative ring, and we shall give precise definitions and properties in
Section 3.
We will apply Theorem A to groups of Bredon-homological dimension 1. It is a
well-known conjecture, attributed to R. Bieri, that a finitely generated group of
integral homological dimension 1 is free. In [BK15] Bridson and Kropholler remark
that a naive generalisation to rational homological dimension is not true as the case
of the lamplighter group shows. In Section 5 we ask a related question for Bredon
homology, where we replace the condition that the group is finitely generated by
the property Bredon-FP1 . We shall answer the question in some specific situations.
Finally, we apply Theorem 1.1 to the rational cohomology of the group and will
show a virtual version of [ET12, Proposition 3.2].
Acknowledgements. The authors would like to thank the referee for many helpful
comments and for spotting an error in an earlier version. The first author gratefully
acknowledges the support through the SFB 701 in Bielefeld. The second author
acknowledges the support by the Danish National Research Foundation (DNFS)
through the Centre for Symmetry and Deformation.
2. Preliminaries on Bredon cohomology
Let G be a group and let F be a family of subgroups closed under taking subgroups
and under conjugation. OF G denotes the category with elements the transitive
G-sets with stabilisers in F and morphisms, morF px, y, q given by the set of G-maps
between them. We now form the free abelian group on the set of morphisms, which
is denoted as follows:
Z morF px, yq “ Zrx, ysF .
Let R denote a commutative ring with 1. The category of covariant OF G-modules,
denoted ModR -OF G, is now defined to be the category of covariant additive functors from OF G to the category of left R-modules. Analogously we define the category of contravariant OF G-modules, denoted OF G-ModR . If the variance is clear
from the context, or a statement is valid for either category, we simply talk of
OF G-modules.
The category of OF G-modules inherits all of Grothendieck’s axioms for an abelian
category that are satisfied by the category of R-modules. Short exact sequences
are evaluated point-wise, so are limits and colimits. We have the usual categorical
tensor-product: let M P ModR -OF G and N P OF G-ModR , then the tensor product
is denoted by
M bF N.

BREDON (CO)HOMOLOGICAL DIMENSION

3

We can form contravariant and covariant OF G-modules Rr´, ysF and Rrx, ´sF respectively:
Rr´, ysFpxq “ R bZ Zrx, ysF
and
Rrx, ´sF pyq “ R bZ Zrx, ysF .
2.1. Free OF G-modules. We have the usual notion of free, projective and flat
modules. In particular, the modules Rr´, ysF and Rrx, ´sF are free, and any free
is a direct sum of modules of this form. For detail the reader is referred to [Lüc89]
for the general set-up, and to [Flu11] and [Nuc04] for this specific case.
Cohomology and Homology functors Ext˚F pM, N q and TorF
˚ pM, N q are now defined
in the usual manner. We say a free OF G-module F is finitely generated, or countably generated, if there is a G-finite, respectively G-countable G-set ∆ with finite
stabilisers, such that F – Zr´, ∆sF . For detail see [Lüc89, KMPN09]. We say an
OF G-module is finitely generated, countably generated if there is a finitely generated, respectively countably generated free module mapping onto it.
2.2. Categories of finite type. We say the category OF G is of finite type, if there
are finitely many objects X “ tx1 , . . . , xn u such that for every object y P OF G there
exists xi P X such that morOF G py, xi q ‰ 0. We say OF G is of finite isomorphism
type if there are finitely many objects X “ tx1 , . . . , xn u and for each y P OF G there
is an isomorphism ϕ P morOF G py, xi q for some xi P X. This is equivalent to saying
that OF G is of finite conjugacy type, i.e. that there are finitely many conjugacy
classes of subgroups in F.
Remark 2.1. For F “ Ffin the family of finite subgroups, finite type and finite
isomorphism type are the same and are equivalent to saying that the group is of
type Bredon-FP0 , i.e. that the group has finitely many conjugacy classes of finite
subgroups.
For F “ Fvc the family of virtually cyclic subgroups, on the other hand, BredonFP0 is equivalent to being of finite type [KMPN11, Lemma 2.3], and it was shown
in [GW13] that an elementary amenable group of type Bredon-FP0 is necessarily
virtually cyclic. Finite isomorphism type, on the other hand, is a much stronger
condition. For example, the famous of construction Higmann–Neumann–Neumann
[Rob96, 6.4.6], is a group of finite type; in fact OF G has an initial object, but one
can construct examples where the group is not of finite isomorphism type, see also
[KMPN11, Remark 2.1].
2.3. Dualising OF G-modules. To generalise the usual notion of a dual module
over a ring to this setting one needs to observe that OF G-modules can be described
as modules over rings over several objects in the sense of [Str95].
We replace the ring R by a bi-functor
ROF G : OF Gopp b OF G Ñ R-Mod,
given by ROF Gpx, yq “ Rrx, ysF . In [Str95] this functor is denoted HOF G .
Definition 2.2. The dual module M ˚ of a contravariant OF G-module M is defined
as
M ˚ :“ HomOF G pM, ROF Gq,

4

MARTIN G. FLUCH, GIOVANNI GANDINI, AND BRITA NUCINKIS

which is a covariant OF G-module. If M is a covariant OF G-module, then its dual
module M ˚ is defined in the same way, which yields a contravariant OF G-module.
In particular this defines additive contravariant functors
p´q˚ : OF G-ModR Ñ ModR -OF G
and
p´q˚ : ModR -OF G Ñ OF G-ModR
which are exact. In particular injective morphisms are mapped to surjective ones
and vice versa.
Observation 2.3. Using Yoneda type arguments analogously to those in [MV03,
Nuc04] it follows directly that for any x P OF G the module dual to M “ Rrx, ´sF
is M ˚ “ Rr´, xsF and that the dual module of M “ Rr´, xsF is M ˚ “ Rrx, ´sF .
Proposition 2.4. Let P be a finitely generated projective covariant OF G-module.
(i) P ˚ is a finitely generated projective contravariant OF G-module.
(ii) For any covariant OF G-module M , there is a natural isomorphism
ϕ : P ˚ bOF G M Ñ HomOF G pP, M q
of abelian groups.
(iii) For any contravariant OF G-module M , there is a natural isomorphism
ϕ1 : M bOF G P Ñ HomOF G pP ˚ , M q .
(iv) There is a natural isomorphism
ϕ2 : P Ñ P ˚˚ .
Proof. The proof of the analogous statement for ordinary cohomology [Bro82, Proposition I.8.3.] works nearly verbatim in the Bredon setting. This was checked for
finitely generated free Bredon-modules in [Nuc04]. The result for projectives follows
from the fact, that for finitely generated projective modules P , there is a finitely
generated free F and a module Q, such that F – P ‘ Q, and F ˚ – P ˚ ‘ Q˚ . 
2.4. Flat OF G-modules. The following result was shown in [Nuc04, Theorem 3.2.]
for F “ Ffin , but the proof works for arbitrary families F.
Proposition 2.5. Let M be a contravariant OF G-module. Then the following are
equivalent:
(i) M is flat.
(ii) M is a colimit of finitely generated free OF G-modules.
3. The Mittag–Leffler Condition
The directed sets we consider in this article are all countable. Hence, when considering limits or colimits of objects tAα uαPD directed by a countable directed set D,
we may assume that we are dealing with a tower
. . . Ñ A4 Ñ A3 Ñ A2 Ñ A1 Ñ A0
or respectively with a co-tower
. . . Ð A4 Ð A3 Ð A2 Ð A1 Ð A0

BREDON (CO)HOMOLOGICAL DIMENSION

5

of objects.
Definition 3.1. [Wei94, Definition 3.5.6.] Let tAα u be a tower of objects in an
abelian category.
(i) The tower of objects is said to satisfy the Mittag–Leffler condition, if for
any k there exists a j ě k such that for any i ě j the image of Ai Ñ Ak
equals the image of Aj Ñ Ak .
(ii) The tower of objects is said to satisfy the strict (or trivial) Mittag–Leffler
condition, if for any k there exists a j ě k such that the map Aj Ñ Ak is
zero.
If the abelian category A is cocomplete and has enough injectives, then one can
define the right derived functors of the lim
ÐÝ-functor. If in addition, the category A
satisfies the Grothendieck Axiom (AB4*) then the following explicit construction of
the right derived functors of lim
ÐÝ works for countable limits, that is limits of towers,
see [Wei94, §3.5.]:
(i) lim0 Aα :“ lim Aα
ÐÝ
ÐÝ
ś
ś
Aα Ñ
Aα is the homomorphism as
(ii) lim1 Aα :“ cokerp∆q where ∆ :
ÐÝ
defined in [Wei94, p. 81]
n
(iii) lim
ÐÝ Aα :“ 0 for n ě 2.
Definition 3.2. Consider the functor category AI where A is an abelian category
and I is a small category. Let tAα u be a tower of objects in AI .
We say that tAα u satisfies the (strict) Mittag–Leffler condition in the weak sense, if
for every i P I the tower tAα piqu of objects in A statisfies the (strict) Mittag–Leffler
condition.
If we want to emphasise that the tower tAα u satisfies the (strict) Mittag–Leffler
condition not just in the weak sense, but as defined in Definition 3.1, then we may
say that the (strict) Mittag–Leffler condition is satisfied in the strong sense.
Observation 3.3. Let tAα u be a tower of objects in AI which satisfies the (strict)
Mittag–Leffler condition in the weak sense. If I has only finitely many isomorphism
classes of objects, then tAα u satisfies the (strict) Mittag–Leffler condition in the
strong sense.
4. Proof of Theorem A
The following, preliminary result is essentially [RG71, p. 16, statement 3.1.3] translated to our setting. Since it needs some additional argument, we include a detailed
proof.
Proposition 4.1. Let P be a contravariant OF G-module. Let
. . . Ð L4 Ð L3 Ð L2 Ð L1 Ð L0
be a co-tower of finitely generated free contravariant OF G-modules such that P “
lim Lα . Then the following statements are equivalent:
ÝÑ
(i) P is projective.
(ii) The tower
. . . Ñ L˚3 Ñ L˚2 Ñ L˚1 Ñ L˚0
satisfies the Mittag–Leffler condition in the strong sense.

6

MARTIN G. FLUCH, GIOVANNI GANDINI, AND BRITA NUCINKIS

Proof. (i) ùñ (ii): Since every projective is a direct summand of a free and by
Proposition 2.5, we can assume that P is free on the OF G-set X. Now fix a k ě 0
and assume that Lk is finitely generated by the OF G-set Yk . Let Xk Ď X be a
OF G-subset big enough so that the image of Lk in P is contained in Pk the free
OF G-module generated by Xk . Note that Pk is a direct summand of P and that
the canonical morphism Lk Ñ P factors through Pk . For each x P Xk there is
an ix ě k such that x P P is in the image of the canonical morphism Lix Ñ P .
Now put i “ maxtix | x P Xk u. Hence, for each j ě i the canonical map Lk Ñ Lj
factors through Pk .
Dualising now yields a surjection P ˚ ։ Pk˚ and the map L˚j Ñ L˚k factors through Pk˚
such that L˚j ։ Pk˚ . Hence
ImpL˚j Ñ L˚k q “ ImpPk˚ Ñ L˚k q
is independent of j and hence the claim follows.
(ii) ùñ (i): Since ´ bOF G M is a right exact functor it follows that the tower
pL˚α bOF G M q of abelian groups satisfies the Mittag–Leffler condition for any left
OF G-module M . The natural isomorphism L˚α bOF G M – HomOF G pLα , M q of
Proposition 2.4 implies, that pHomOF G pLα , M qq is a tower satisfying the Mittag–
Leffler condition as well.
Consider the sequence of natural isomorphisms
HomOF G pP, M q – HomOF G plim Lα , M q – lim HomOF G pLα , M q
ÝÑ
ÐÝ
which in turn yields an isomorphism
1
Ext1OF G pP, M q – lim
ÐÝ HomOF G pLα , M q.

Since pHomOF G pLα , M qq is a tower of abelian groups which satisfies the Mittag–
1
Leffler condition, it follows that lim
ÐÝ1 HomOF G pLα , M q “ 0, see for example [Wei94,
Proposition 3.5.7]. Therefore ExtOF G pP, M q “ 0 and since this is true for arbitrary M it follows that P is projective.

Lemma 4.2. Let pAα q be a tower of OF G-modules, such that Aα pxq is countable
for each α P N and x P OF G. Then the following conditions are equivalent:
(i)
(ii)
(iii)

The tower pAα q satisfies the Mittag–Leffler condition in the weak sense.
1
lim
ÐÝ1 Aα pxq “ 0 for every x P OF G .
lim
ÐÝ Aα pxq is a countable R-module for every x P OF G .

Proof. This was proved in [Gra66] for abelian groups. The result now follows by
applying that result to every x P OF G .

Proposition 4.3. Let OF G be of finite isomorphism type and let M be a countably generated flat contravariant OF G-module. Then, the following conditions are
equivalent:
(i) M is projective.
¯
´
ś
(ii) Ext1OF G M ;
Zr´, xs “ 0.
xPOF G0
´
¯
ś
1
(iii) ExtOF G M ;
Zr´, xs is a countable abelian group.
xPOF G0

BREDON (CO)HOMOLOGICAL DIMENSION

7

Proof. As before we have that (i) ùñ (ii) ùñ (iii). To show (iii) ùñ (i) we
follow the same outline as the proof of [ET12, Theorem 1.3] with some adaptation
to the setting of OF G-modules. Since M is countably generated and flat, it is the
direct limit of finitely generated free modules Lα , for α P D some countable directed
set. By [Wei94, Application 3.5.10], see also the remark before that Application,
and the fact that the Lα are projective, we have
ź
ź
1
Zr´, xsq.
Zr´, xsq – lim
Ext1OF G pM ;
ÐÝ HomOF G pLα ,
xPOF G0

xPOF G0

In particular, lim1 HomOF G pLα ,
ÐÝ
xPO

ś

Zr´, xsq is a countable abelian group and

F G0

hence Lemma 4.2 implies that the inverse system HomOF G pLα , ROF Gq “ L˚α satisfies the Mittag–Leffler condition in the weak sense. But since OF G is of finite
isomorphism type, it satisfies the Mittag–Leffler condition in the strong sense.
Finally apply Proposition 4.1.

Proof of Theorem A. This now follows directly from Proposition 4.3 by an easy
dimension shift.

5. Groups of Bredon-homological dimension 1
In this section we will consider Bredon-cohomology for the family of finite subgroups
only, and we will formulate a Bredon-analogue to Bieri’s conjecture that every
group of homological dimension 1 is locally free, or equivalently, that every finitely
generated group of homological dimension 1 is free. The naive analogue to this
conjecture is to ask whether every finitely generated group of Bredon-homological
dimension 1 is virtually free, but this is not the case as the lamplighter group
shows [BK15]. Hence a rational version of Bieri’s conjecture would need some
further restrictions as well. We propose a somewhat stronger assumption than finite
generation, and suggest that the Bredon-analogue to finite generation is being of
type Bredon-FP1 .
To stay in line with convention, we shall, in this section, denote the Bredon finiteness
conditions by underlining. In particular, we put hdFfin G “ hd G, cdFfin G “ cd G,
and denote by FPn the condition Bredon-FPn for the family F “ Ffin .
We ask the following question and devote the rest of the paragraph to giving some
evidence for a positive answer, see Theorem 5.4.
Question 5.1. Let G be a group of type FP1 and with hd G “ 1. Is G virtually
free?
Note that for torsion-free groups this question is exactly the question posed by
the finite generation version of Bieri’s original conjecture. It immediately follows
from [Dun79] that an infinite virtually free group has hdF G “ 1. Using Bass–
Serre theory and a result by Karras, Pietrowski and Solitar, Dunwoody actually
shows that a finitely generated group has cdQ G “ 1 if and only if G contains a free
subgroup of finite index [Dun79, Corollary 1.2]. Furthermore, see [Dun79, Theorem
1.1], a group G has cdQ G “ 1 if and only if G acts on a tree without inversions
and with finite vertex stabilisers. This, in turn, implies that cdQ G “ 1 if and only
if cd G “ 1.

8

MARTIN G. FLUCH, GIOVANNI GANDINI, AND BRITA NUCINKIS

Also note that Question 5.1 has a positive answer for elementary amenable groups:
they have Hirsch-length 1, hence are locally-finite-by-(virtually torsion-free soluble)
[Weh95, (g)]. Now the FP0 condition implies that there is a bound on the orders of
the finite subgroups. Hence the group is finitely generated and finite-by-virtually
torsion-free soluble of Hirsch-length 1 and thus is virtually infinite cyclic.
Remark 5.2. In the above question one can weaken the hypothesis of FP1 to
only asking for the group to be finitely generated and of type FP0 . There are
examples of finitely generated groups (even V F -groups) that are of type FP0 but
not of type FP1 , see [LN03, Example 4]. These examples are, however, of Bredonhomological dimension at least 2. Hence the question arises whether there are such
examples of Bredon-homological dimension 1.
Lemma 5.3. Let G be a virtually free group. Then the group ring ZG is coherent.
Proof. Since G is virtually free, it has a finite index free subgroup N , whose group
ring ZN is coherent. Now suppose we have a finitely generated G-module M .
Restriction to a finite index subgroup preserves finite generation, hence, as an N module, M is finitely presented. In particular, consider the short exact sequence of
G-modules
0 Ñ K Ñ F Ñ M Ñ 0,
where F is finitely generated free. As an N -module K is finitely generated. Hence,
the induced module K bZN ZG – K b ZrG{N s with the diagonal G-action is a
finitely generated G-module. We also have a G-module epimorphism ZrG{N s ։
Z. Therefore K b ZrG{N s ։ K, and K is finitely generated as a G-module as
required.

Following [ET12, Section 5] we denote by S the class of groups for which the group
ring ZG is a left S-ring; that is to say that every finitely generated flat ZG-module
is projective. We denote by vS the class of all groups containing a finite index
subgroup belonging to S.
Similarly, we define the class S to be the class of groups for which every finitely
generated flat OF G-module is projective.
Theorem 5.4. Let G be a group of type FP1 and of hd G “ 1. Then the following
are equivalent.
(i)
(ii)
(iii)
(iv)

G is virtually free;
G is virtually residually torsion-free nilpotent;
G P vS;
G P S.

Proof. piq ðñ piiq ðñ piiiq follows directly from [ET12, Proposition 5.5].
piq ùñ pivq: By [KMPN09, Lemma 3.1] it follows that for a group of type BredonFPn , the Weyl-group W K “ NG pKq{K is of type FPn for all K P F. Since G is
virtually free, it follows that W K is virtually free as well. Hence by Lemma 5.3
the group rings ZpW Kq are coherent. Now let M be a finitely generated flat OF Gmodule. Hence M pG{Kq is a finitely generated ZpW Kq-module. Since ZpW Kq
is coherent, it follows that M pG{Kq is finitely presented for all K P F. Since G
is, in particular, of type FP0 , [KMPN09, Lemma 3.2] implies that M is a finitely
presented flat OF G-module, and hence is projective [Nuc04, Corollary 3.3].

BREDON (CO)HOMOLOGICAL DIMENSION

9

pivq ùñ piq: Since G is of type FP1 we have a short exact sequence:
ź
0 Ñ M p´q Ñ
PK p´q Ñ Zp´q Ñ 0.
KPF

with F finite and M p´q finitely generated. Since hd G “ 1, M p´q is also flat.
Now pivq implies that M p´q is projective and hence cd G “ 1. This implies that
cdQ G “ 1. Using the fact that G is finitely generated we can now apply [Dun79,
Corollary 1.2] to get the claim.

6. Groups of rational homological dimension 1
In this final section we shall present a straightforward generalisation of [ET12,
Proposition 3.2].
Lemma 6.1. Let G be a finitely generated group and M be a countable QG-module.
Then HQ1 pG, M q is a countable abelian group.
Proof. The proof is completely analogous to that of [ET12, Lemma 3.3].



Theorem 6.2. Let G be a finitely generated group of hdQ G “ 1. Then the following
are equivalent:
(i) G is virtually free.
(ii) G has a non-trivial finitely generated free group as a normal subgroup.
Proof. (i) ùñ (ii): It is a well known fact that if a group is virtually of property P,
where P is a property that is closed under taking finite index subgroups, then there
is a normal subgroup N of finite index possessing this property P.
(ii) ùñ (i): It suffices to show that HQ2 pG, QGq is a countable abelian group. An
easy dimension shift applying Theorem 1.1 together with Duwoody’s result [Dun79]
then yields the claim.
Consider the Lyndon–Hochschild–Serre spectral sequence:
HQp pG{N, HQq pN, QGqq Ñ HQp`q pG, QGq.
Since N is free, we have that H q pN, QGq “ 0 for all q ě 2. We also claim that
HQ0 pN, QGq “ 0: Since N is finitely generated free, it is of type FP8 over Q,
and hence it suffices to show that HQ0 pN, QN q “ 0, which follows from [Geo08,
Proposition 13.2.11.].
This now implies that
HQ2 pG, QGq “ H 1 pG{N, H 1 pN, QGqq.
The result now follows from Lemma 6.1.



References
[Bie81]

[BK15]
[Bro82]
[Dun79]

Robert Bieri. Homological dimension of discrete groups. Queen Mary College Mathematical Notes. Queen Mary College, Department of Pure Mathematics, London, second edition, 1981.
Martin R. Bridson and Peter H. Kropholler. Dimension of elementary amenable groups.
J. Reine Angew. Math., 699:217–243, 2015.
K. S. Brown. Cohomology of groups, volume 87 of Graduate Texts in Mathematics.
Springer-Verlag, New York, 1982.
M. J. Dunwoody. Accessibility and groups of cohomological dimension one. Proc. London Math. Soc. (3), 38(2):193–215, 1979.

10

MARTIN G. FLUCH, GIOVANNI GANDINI, AND BRITA NUCINKIS

[ET12]

I. Emmanouil and O. Talelli. On the equality between homological and cohomological
dimension of groups. J. Reine Angew. Math., 664:55–70, 2012.
[Flu11]
M. Fluch. On Bredon (Co-)Homological Dimensions of Groups. PhD thesis, University
of Southampton, 2011.
[Geo08]
Ross Geoghegan. Topological methods in group theory, volume 243 of Graduate Texts
in Mathematics. Springer, New York, 2008.
[Gra66]
B. I. Gray. Spaces of the same n-type, for all n. Topology, 5:241–243, 1966.
[GW13]
J. R. J. Groves and John S. Wilson. Soluble groups with a finiteness condition arising
from Bredon cohomology. Bull. Lond. Math. Soc., 45(1):89–92, 2013.
[KMPN09] P. H. Kropholler, C. Martı́nez-Pérez, and B. E. A. Nucinkis. Cohomological finiteness
conditions for elementary amenable groups. J. Reine Angew. Math., 637:49–62, 2009.
[KMPN11] D. H. Kochloukova, C. Martı́nez-Pérez, and B. E. A. Nucinkis. Cohomological finiteness conditions in Bredon cohomology. Bull. Lond. Math. Soc., 43(1):124–136, 2011.
[LN03]
Ian J. Leary and Brita E. A. Nucinkis. Some groups of type V F . Invent. Math.,
151(1):135–165, 2003.
[Lüc89]
W. Lück. Transformation groups and algebraic K-theory, volume 1408 of Lecture
Notes in Mathematics. Springer-Verlag, Berlin, 1989. Mathematica Gottingensis.
[MV03]
G. Mislin and A. Valette. Proper group actions and the Baum-Connes conjecture.
Advanced Courses in Mathematics. CRM Barcelona. Birkhäuser Verlag, Basel, 2003.
[Nuc04]
B. E. A. Nucinkis. On dimensions in Bredon homology. Homology Homotopy Appl.,
6(1):33–47 (electronic), 2004.
[RG71]
M. Raynaud and L. Gruson. Critères de platitude et de projectivité. Techniques de
“platification” d’un module. Invent. Math., 13:1–89, 1971.
[Rob96]
Derek J. S. Robinson. A course in the theory of groups, volume 80 of Graduate Texts
in Mathematics. Springer-Verlag, New York, second edition, 1996.
[Str95]
R. Street. Ideals, radicals, and structure of additive categories. Appl. Categ. Structures,
3(2):139–149, 1995.
[Weh95]
B. A. F. Wehrfritz. On elementary amenable groups of finite Hirsch number. J. Austral.
Math. Soc. Ser. A, 58(2):219–221, 1995.
[Wei94]
C. A. Weibel. An introduction to homological algebra, volume 38 of Cambridge Studies
in Advanced Mathematics. Cambridge University Press, Cambridge, 1994.

MATHEMA Software GmbH, Henkestraße 91, 91052 Erlangen, Germany
E-mail address: martin.fluch@gmail.com
Københavns Universitet, Institut for Matematiske Fag, Universitetsparken 5, 2100 København
Ø, Denmark
E-mail address: ggandini@math.ku.dk
Department of Mathematics, Royal Holloway, University of London, Egham, TW20 0EX
E-mail address: Brita.Nucinkis@rhul.ac.uk

