arXiv:1612.03485v3 [] 17 Jan 2018

Morita equivalence classes of blocks with elementary
abelian defect groups of order 16 ∗
Charles W. Eaton†
17th January 2018

Abstract
We classify the Morita equivalence classes of blocks with elementary abelian
defect groups of order 16 with respect to a complete discrete valuation ring with
algebraically closed residue field of characteristic two. As a consequence, blocks
with this defect group are derived equivalent to their Brauer correspondent in
the normalizer of a defect group and so satisfy Broué’s Conjecture.
Keywords: Donovan’s conjecture; Morita equivalence; finite groups; block
theory.

1

Introduction

Throughout let k be an algebraically closed field of prime characteristic ℓ and let O be
a discrete valuation ring with residue field k and field of fractions K of characteristic
zero. We assume that K is large enough for the groups under consideration. We
consider blocks B of OG with defect group D, for finite groups G.
Our purpose is the description of the Morita and derived equivalence classes of
(module categories for) blocks of finite groups with a given defect group. It is already
known by [13] that Donovan’s conjecture holds for elementary abelian 2-groups, that
is, for each n ∈ N there are only finitely many Morita equivalence classes of blocks
with defect group (C2 )n , and so in theory Morita equivalence classes of such blocks
could be classified for any given n. Here we consider the case n = 4 and achieve
a complete classification. The main tool is the description given in [13] of the 2blocks with abelian defect groups of the quasisimple groups. The number of irreducible
ordinary and Brauer characters of blocks with defect group (C2 )4 has already been
determined in [27] and [13]. Our work continues [12] in which a classification is given
for blocks with elementary abelian defect groups of order 8. The Morita equivalence
classes of block with Klein four defect groups are known by [16] and [30]. Other ℓ-groups
where there are classifications are: cyclic ℓ-groups, where the Morita equivalence classes
can be characterised in terms of Brauer trees (in work by many, for which see [31]);
∗

This research was supported by the EPSRC (grant no. EP/M015548/1).
School of Mathematics, University of Manchester, Manchester, M13 9PL, United Kingdom. Email:
charles.eaton@manchester.ac.uk
†

1

abelian 2-groups of 2-rank at most three (see [13], [15] and [44]); dihedral, semidihedral
and generalized quaternion 2-groups except where the block has two simple modules
in the case that the defect group is generalized quaternion (see [17], and note that this
classification is only known with respect to k); nonmetacylic minimal nonabelian 2r
s
groups hx, y : x2 = y 2 = [x, y]2 = [x, [x, y]] = [y, [x, y]] = 1i, where r ≥ s ≥ 1, by [39]
and [14]; 2-groups which are a direct product of cyclic factors all of different orders,
whose automorphism groups are themselves 2-groups so the block must be nilpotent
and so Morita equivalent to OD by [6] and [35]; the remaining metacyclic 2-groups
not listed above, which force the block to be nilpotent by [8]. Finally, principal blocks
with defect group C3 × C3 are classified (even up to Puig equivalence) in [21].
A significant challenge arises in our situation which does not arise for defect groups
of order 8 in that we must address Morita equivalences in the case of a normal subgroup
of index 3 where there are infinitely many possibilities for N but the Morita equivalence
class of the block of N is fixed. We do so by following Külshammer’s analysis in [25]
of possible crossed products in detail.
Before stating the main theorem, we recall the definition of a subpair and of the
inertial quotient of B.
A B-subpair is a pair (Q, bQ ) where Q is a p-subgroup of G and bQ is a block of
OQCG (Q) with Brauer correspondent B. When D is a defect group for B, the Bsubpairs (D, bD ) are G-conjugate. Write NG (D, bD ) for the stabilizer in NG (D) of bD .
Then the inertial quotient of B is E = NG (D, bD )/DCG (D), an ℓ′ -group unique up
to isomorphism. To simplify further definitions, suppose that D is abelian. We say
(Q, bQ ) ≤ (R, bR ) for subpairs (Q, bQ ) and (R, bR ) if Q ≤ R and (bR )CG (Q) = bQ . If
x ∈ D and bx is a block of CG (x) we say that the Brauer element (x, bx ) ∈ (D, bD ) if
(bD )CG (x) = bx .
Note that if D is abelian, then B is nilpotent precisely when the inertial quotient
is trivial.
The possible inertial quotients for a block with defect group D are given in [27],
and these are: 1 (corresponding to nilpotent blocks); C3 with action as in A4 × (C2 )2 ;
C3 consisting of 5th powers of a Singer cycle for F16 (with only one fixed point in its
action on D); C5 consisting of 3rd powers of a Singer cycle; C7 coming from a Singer
cycle for F8 ; C3 × C3 ; C7 ⋊ C3 coming from a Singer cycle and a field automorphism of
F8 ; C15 coming from a Singer cycle of F16 . Each inertial quotient apart from C3 × C3
has trivial Schur multiplier, and in this case it is C3 .
We say that a block with defect group (C2 )4 is of type E if it has inertial quotient
E where there is only one possible faithful action on (C2 )4 , and in the case that the
inertial quotient is C3 , we say it has type (C3 )1 when the action is as in A4 × (C2 )2 and
type (C3 )2 when there is only one fixed point.
Theorem 1.1 Let B be a block of OG with elementary abelian defect group D of
order 16, where G is a finite group. Then B is Morita equivalent to precisely one of
the following:
1+2
(a) a non-principal block of (C2 )4 ⋊ 31+2
acts trivially, and
+ , where the centre of 3+
we note that the two non-principal blocks are Morita equivalent;
(b) the principal block of precisely one of the following:
(i) D;
2

(ii) (C2 )2 × A4 ;
(iii) (C2 )2 × A5 ;
(iv) D ⋊ C3 of type (C3 )2 ;
(v) D ⋊ C5 ;
(vi) C2 × ((C2 )3 ⋊ C7 );
(vii) C2 × SL2 (8) (type C7 );
(viii) A4 × A4 ;
(ix) A4 × A5 (type C3 × C3 );
(x) A5 × A5 (type C3 × C3 );
(xi) D ⋊ C15 ;
(xii) SL2 (16) (type C15 );
(xiii) C2 × ((C2 )3 ⋊ (C7 ⋊ C3 ));
(xiv) C2 × J1 (type C7 ⋊ C3 );
(xv) C2 × Aut(SL2 (8)) (type C7 ⋊ C3 ).
If B is a principal block, then it is Morita equivalent to one of the examples in case
(b), i.e., the blocks in case (a) cannot be Morita equivalent to a principal block of any
finite group.
Blocks are derived equivalent if and only if they have the same inertial quotient and
number of simple modules.
Remarks 1.2 (i) It will be clear from the proof of Theorem 1.1 that blocks with defect
group (C2 )4 cannot be Morita equivalent to a block with non-isomorphic defect group.
The same can be said of the inertial quotient, as the number of irreducible characters
and number of simple modules together determine the inertial quotient.
(ii) Non-nilpotent blocks with defect group (C2 )4 and just one simple module are
studied in [29]. The structure of the centre of such a block is described there, and
hopefully in the future there will be a classification-free proof that all such blocks are
Morita equivalent to the blocks in part (a) of Theorem 1.1.
Corollary 1.3 Broue’s abelian defect group conjecture holds for blocks with defect
group (C2 )4 , that is, if B is a block of OG with such a defect group D, then B is
derived equivalent to its Brauer correspondent in ONG (D).
Remark 1.4 We cannot say at present whether the blocks are splendid equivalent as we
cannot say anything about the sources of the bimodules giving the Morita equivalences
in Theorem 1.1.
The paper is structured as follows. In Section 2 we give many of the miscellaneous
preliminary results necessary for the proof of Theorem 1.1. In Section 3 we cover some
background on Picard groups and calculate the subgroup of trivial source bimodules
in the special cases required for the analysis of possible crossed products, which we
perform in Section 4. In Section 5 we prove Theorem 1.1.

3

2

Preliminary results

Let G be a finite group, N ✁ G and let b be a G-stable block of ON. The normal
subgroup G[b] of G is defined to be the group of elements of G acting as inner automorphisms on b ⊗O k. We first collect some results concerning G[b] that will be used
when considering automorphism groups of simple groups.
Proposition 2.1 Let G be a finite group and B a block of OG with defect group D.
Let N ✁ G with D ≤ N and suppose that B covers a G-stable block b of ON. Let B ′
be a block of OG[b] covered by B. Then
(i) b is source algebra equivalent to B ′ , and in particular has isomorphic inertial
quotient;
(ii) B is the unique block of OG covering B ′ .
Proof. Part (i) is [20, 2.2], noting that a source algebra equivalence over k implies
one over O by [35, 7.8]. Part (ii) follows from [11, 3.5].
✷
The following is a distillation of those results in [26] which are relevant here.
Proposition 2.2 ([26]) Let G be a finite group and N ✁ G. Let B be a block of
OG with defect group D covering a G-stable nilpotent block b of ON with defect group
D ∩ N. Then there is a finite group L and M ✁ L such that (i) M ∼
= D ∩ N, (ii)
∼
∼
L/M = G/N, (iii) there is a subgroup DL of L with DL = D and DL ∩ M ∼
= D ∩ N,
and (iv) there is a central extension L̃ of L by an ℓ′ -group, and a block B̃ of OL̃ which
is Morita equivalent to B and has defect group D̃ ∼
= D.
= DL ∼
If B is the principal block, then B̃ is the principal block.
Proof. Guidance on the extraction of these results form [26] is given in [12, 2.2].
It remains to prove the claim regarding the principal block. Note that if B is the
principal block, then b is also principal and so N has a normal ℓ-complement. Then
✷
Oℓ′ (N) lies in the kernel of B and the corresponding B̃ is the principal block.
Recall that a block of a finite group G is quasiprimitive if every block of every
normal subgroup that it covers is G-stable under conjugation.
Corollary 2.3 Let G be a finite group and N ✁ G with N 6≤ Z(G)Oℓ (G). Let B be
a quasiprimitive block of OG with defect group D covering a nilpotent block b of ON.
Then there is a finite group H with [H : Oℓ′ (Z(H))] < [G : Oℓ′ (Z(G))] and a block BH
with defect group DH ∼
= D such that BH is Morita equivalent to B.
Proof. Let b′ be the block of OZ(G)N covered by B and covering b. Then b′ must
also be nilpotent, and we may assume that Z(G) ≤ N. Applying Proposition 2.2, we
may take H = L̃ and BH = B̃. Note that [L̃ : Oℓ′ (Z(L̃))] ≤ |L| = [G : N]|D ∩ N| <
✷
[G : Oℓ′ (Z(G))].
Proposition 2.4 ([41]) Let B be an ℓ-block of OG for a finite group G and let Z ≤
Oℓ (Z(G)). Let B̄ be the unique block of O(G/Z) corresponding to B. Then B is
nilpotent if and only if B̄ is nilpotent.
4

Proof. The result in [41] is stated over k, but it follows over O immediately.

✷

Recall that a block B of OG is nilpotent covered if there is a finite group H with
G ✁ H and a nilpotent block of OH covering B. Let D be a defect group for B and
let b be the Brauer correspondent of B in ONG (D). Following [37] B is inertial if it
is basic Morita equivalent to b, that is, if there is a Morita equivalence induced by a
bimodule with endopermutation source.
Proposition 2.5 ([37], [45]) Let G and N be finite groups and N ✁ G. Let b be a
block of ON covered by a block B of OG.
(i) If B is inertial, then b is inertial.
(ii) If b is nilpotent covered, then b is inertial.
(iii) If ℓ 6 |[G : N] and b is inertial, then B is inertial.
Proof. (i) is [37, 3.13], (ii) is [37, 4.3] and (iii) is the main theorem of [45].

✷

We will make frequent use of the classification of Morita equivalence classes of
blocks with Klein four defect groups throughout this paper without further reference:
Proposition 2.6 ([16], [30], [7]) Let B be a block of OG for a finite group G. If B
has Klein four defect group D, then it is source algebra equivalent to the principal block
of one of OD, OA4 and OA5 .
We extract the results of [13] necessary for this paper:
Proposition 2.7 ([13]) Let B be a block of OG for a quasisimple group G with elementary abelian defect group D of order dividing 16. Then one or more of the following
occurs:
(i) G ∼
= SL2 (16), J1 or 2 G2 (q), where q = 32m+1 for some m ∈ N, and B is the
principal block;
(ii) G ∼
= Co3 and B is the unique non-principal 2-block of defect 3;
(ii) G is of type Dn (q) or E7 (q) for some q of odd prime power order, O2 (G) = 1
and B is Morita equivalent to a block C of a OL where L = L0 × L1 ≤ G such that L0
is abelian and the block of OL1 covered by C has Klein four defect groups;
(iii) |O2(G)| = 4 and D/O2(G) is a Klein four group;
(iv) B is nilpotent covered.
Proof. This follows from Proposition 5.3 and Theorem 6.1 of [13].

✷

One obstacle in classifying Morita equivalence classes over O rather than k is that
the results of [22] only apply over k. However in our situation we are lucky to be able
to apply some work of Watanabe on perfect isometries to obtain the same result over
O in certain crucial cases. For the benefit of the reader we state the relevant result
of [42] here. First we need some more notation.
Let B be a block of OG, where G is a finite group. Write LK (G, B) for the group of
generalized characters of B with respect to K. Let χ be a generalized character of B.
Fix a maximal B-subpair (D, bD ). Let λ be a generalized character of a defect group
D of B such that whenever (x, bx ) ∈ (D, bD ) and z ∈ G such that (x, bx )z ∈ (D, bD ),
5

we have λ(x) = λ(xz ). Define λ ∗ χ as in [5], another generalized character of B. In the
following, if λ is a generalized character of a factor group of D, then we are implicitly
considering its inflation to D.
Proposition 2.8 (Lemma 3 of [42]) Let B be a block of a finite group G covering
a G-stable block b of N ✁ G. Suppose that B has an abelian defect group D and there
is Q ≤ D such that D = Q × (D ∩ N) and G = N ⋊ Q. Let bD be a block of CG (D)
with Brauer correspondent B, and write B ′ = (bD )CG (Q) . If there is a perfect isometry
I : LK (CG (Q), B ′ ) → LK (G, B) satisfying I(λ ∗ ζ) = λ ∗ I(ζ) for all λ ∈ Irr(Q) and
ζ ∈ Irr(B ′ ), then B ∼
= OQ ⊗O b as O-algebras.
Proposition 2.9 Let G be a finite group and let B be a block of OG with elementary
abelian defect group D of order 16 and cyclic inertial quotient. Suppose N ✂ G with
G = ND. If B covers a non-nilpotent G-stable block b of ON, then there is an
elementary abelian 2-group Q ≤ D with G = N ⋊ Q such that B is Morita equivalent
to a block C of O(N × Q) with defect group (D ∩ N) × Q ∼
= D.
Proof. Let bD be a block of CG (D) with Brauer correspondent B, and write
E = NG (D, bD )/CG (D) as described in the introduction. We may suppose G 6= N, so
|E| ≤ 7. By [40, Theorem 15] we have l(B) = |E|.
Following [43], we may write D = D1 × D2 where D1 = CD (NG (D, bD )) and D2 =
[NG (D, bD ), D]. We have D ⋊ E = D1 × (D2 ⋊ E). Since D2 ≤ N, E is cyclic and D
is elementary abelian, we may choose Q to be a direct factor of D1 .
By the main theorem of [43] there is a perfect isometry
I : LK (NG (D, bD ), bNG (D,bD ) ) → LK (G, B)
such that I(λ ∗ ζ) = λ ∗ I(ζ) for all λ ∈ Irr(D1 ) and ζ ∈ LK (NG (D, bD ), bNG (D,bD ) ). We
have NG (D, bD ) ≤ CG (D1 ) ≤ CG (Q). Let B ′ = (bD )CG (Q) . Now B ′ also has inertial
quotient E and we may apply the same argument to obtain a perfect isometry
J : LK (NG (D, bD ), bNG (D,bD ) ) → LK (CG (Q), B ′ )
such that J(λ ∗ ζ) = λ ∗ J(ζ) for all λ ∈ Irr(D1 ) and ζ ∈ LK (NG (D, bD ), bNG (D,bD ) ). We
may then apply Proposition 2.8 to I ◦ J −1 and the result follows.
✷
In the above note that if b is Morita equivalent to a block c of OM for some finite
group M, then C is Morita equivalent to the block c ⊗ OQ of O(M × Q).
Lemma 2.10 Let G be a finite group and N ✁G with G/N of odd order (and solvable).
Let B be a block of OG covering a G-stable block b of ON with defect group D ∼
= (C2 )4 .
Suppose that B covers no nilpotent block of any normal subgroup M ✁ G with N ≤ M.
If b is of type C3 × C3 or (C3 )1 , then B is also of one of these two types.
Proof. It suffices to consider the case that [G : N] is an odd prime, say w. Note
that B and b share the defect group D.
Suppose CG (D) = CN (D). Then the inertial quotient of B contains that of b with
index dividing w. Since C3 × C3 is maximal amongst subgroups of odd order of GL4 (2)
6

and is the only subgroup containing C3 as a normal subgroup the result follows in this
case.
Suppose CG (D) 6= CN (D). Let (D, bD ) be a b-subpair and let (D, BD ) be a
B-subpair with BD covering bD . If CG (D) 6≤ NG (D, bD ), then BD covers w conjugates of bD and BD is the unique block of CG (D) covering bD , so NG (D, BD ) =
CG (D)NG (D, bD ). Hence NG (D, BD )/CG (D) ∼
= NN (D, bD )/CN (D) and we are done in
this case. If CG (D) ≤ NG (D, bD ), then NG (D, BD ) ≤ NG (D, bD ) as bD is the unique
block of CN (D) covered by BD . Now [NG (D, BD ) : CG (D)] divides [NN (D, bD ) :
CN (D)] and we are done.
✷

3

Automorphisms of some blocks and basic algebras

In this section we compute some subgroups of the Picard groups for basic algebras of
the principal 2-blocks of A4 × C2 × C2 , A5 × C2 × C2 , A4 × A4 , A5 × A5 and A4 × A5 .
To do so we may make use of [4], where the Picard groups of the blocks with Klein
four defect groups are calculated. We are grateful to the authors of [4] for allowing us
to see an early draft.
We briefly introduce the notation that we need.
Let N be a finite group and b be a block of ON with abelian defect group D. Let
F be the fusion system for b on D, defined using a maximal B-subpair (D, bD ). Write
E = NN (D, bD )/DCN (D), the inertial quotient. Aut(D, F ) denotes the subgroup of
Aut(D) of automorphisms stabilizing F . Write Out(D, F ) = Aut(D, F )/ AutF (D).
Recall that a source idempotent for b is a primitive idempotent i of bD (for fixed
points of b under conjugation by elements of D) such that BrD (i) 6= 0. Now let A = ibi
be a source algebra for b, so A is a D-algebra and we may consider the fixed points AD
under the action of D. Write AutD (A) for the group of algebra automorphisms of A
fixing each element of the image of D in A, and OutD (A) for the quotient of AutD (A)
by the subgroup of automorphisms given by conjugation by elements of (AD )× . As
observed in [4], by [36, 14.9] OutD (A) is isomorphic to a subgroup of Hom(E, k × ).
The Picard group Pic(b) of b consists of isomorphism classes b-b-bimodules which
induce Morita self-equivalences of b. For b-b-bimodules M and N, the group multiplication is given by M ⊗b N. Write T (b) for the subset of Pic(b) consisting of bimodules
with trivial source. It is shown in [4] that T (b) forms a subgroup of Pic(b). By [4, 1.1]
there is an exact sequence
Ψ

1 → OutD (A) → T (b) → Out(D, F )
(where the final map is not always a surjection). Writing kb for b ⊗O k, there is a group
homomorphism ζ : Pic(b) → Pic(kb) given by tensoring with k. Since trivial source
Pic(b)
modules over k lift uniquely to O, ResT (b) (ζ) is injective. As in [4] elements of OutD (b)
correspond to trivial source direct summands of ONi ⊗OD iON as b-b-bimodules inPic(b)
ducing Morita equivalences. Since ResT (b) (ζ) is injective and trivial source kb-kbbimodules giving Morita self-equivalences of kb lift uniquely to b-b-bimodules giving
7

Morita self-equivalences of b, elements of OutD (A) correspond to trivial source direct
summands of kNi ⊗kD ikN inducing Morita equivalences, where we are identifying i
with its image in kN.
The reason we use T (b) and Pic(b) is that in considering crossed products of blocks
with finite groups we must study the related groups Out(b) and Out(f bf ) where f bf
is a basic algebra for b. There is a well-known embedding Out(b) → Pic(b) which we
describe below. | Pic(b)| (or | Out(b)|) is not known to be finite in general, and the
paper [4] tackles this interesting problem. However, as pointed out to us by Linckelmann, in constructing crossed products arising from blocks of normal subgroups of
finite groups we need only consider automorphisms corresponding to elements of T (b).
We give this argument now.
Let ϕ ∈ Aut(b). Define the b-b-bimodule ϕ b by letting ϕ b = b as sets and defining
a1 · m · a2 = ϕ(a1 )ma2 for a1 , a2 , m ∈ b. By [10, 55.11] inner automorphisms give
isomorphic bimodules and ϕ 7→ ϕ b gives rise to an injection Out(b) → Pic(b). Now
suppose that N ✁ G for G a finite group, and suppose that b is G-stable. Let τ :
G → Aut(ON) be given by conjugation, and also write τ for the map G → Aut(b)
it induces. Let g ∈ G. Now τ (g) b is a direct summand of the permutation ON-ONbimodule τ (g) ON, so has trivial source, and τ (g) b ∈ T (b).
Lemma 3.1 Let G1 and G2 be finite groups, Bj a block of kGj and B = B1 ⊗ B2 a
block of k(G1 × G2 ). Let D be a defect group of B with D = D1 × D2 , where Dj is a
defect group of Bj . Let ij be a source idempotent of Bj . Then, with a slight abuse of
notation, i := i1 i2 is a source idempotent of B and iBi ∼
= i1 B1 i1 ⊗ i2 B2 i2 .
∼
Further OutD (B) = OutD1 (B1 ) × OutD2 (B2 ).
Proof. We have B D = B1D1 ⊗ B2D2 and CG (D) = CG (D1 ) × CG (D2 ), so the first
D
part follows since by [10, 10.37] i is primitive in B D if and only if ij is primitive in Bj j
for each j.
We saw above that elements of OutD (B) correspond to trivial source direct summands of kGi ⊗kD ikG as B-B-bimodules inducing Morita equivalences. Now
kGi ⊗kD ikG ∼
= (kG1 i1 ⊗kD1 i1 kG1 ) ⊗k (kG2 i2 ⊗kD2 i2 kG2 ).
Suppose that M|kGi ⊗kD ikG has trivial source and induces a Morita equivalence.
Since M is indecomposable, by [10, 10.37] M ∼
= M1 ⊗k M2 , where Mj |kGj ij ⊗kDj ij kGj
is an indecomposable Bj -Bj -bimodule. Then each Mj has trivial source. Further,
M ⊗B M ∗ ∼
= B1 ⊗k B2 . Note that M1 ⊗B1 M1∗
= B iff (M1 ⊗B1 M1∗ ) ⊗k (M2 ⊗B2 M2∗ ) ∼
and M2 ⊗B2 M2∗ are indecomposable since B is. Hence M ⊗B M ∗ ∼
= B precisely when
∗ ∼
Mj ⊗Bj Mj = Bj for each j, i.e., when M1 and M2 induce Morita equivalences, and we
are done.
✷
Lemma 3.2 Let Q be a finite 2-group. Let G1 , G2 ∈ {Q, A4 , A5 }. Then the principal
block B of O(G1 × G2 ) is equal to its own source algebra.
Proof. OQ and OA4 are basic algebras, so automatically equal to their own source
algebras. B0 (OA5 ) is its own source algebra by [32, 12.2.10]. The result follows by
Lemma 3.1.
✷
8

Proposition 3.3 Let Q be a finite abelian 2-group. Let G1 , G2 ∈ {Q, A4 , A5 }, bi =
B0 (OGi ) and b = B0 (G1 × G2 ), so b = b1 ⊗ b2 . Then for all M ∈ T (b) there is
ϕ ∈ Aut(b) such that M = ϕ b in T (b) and there is an idempotent f ∈ b with f bf basic
and ϕ(f ) = f .
(i) T (O(A4 × Q)) ∼
= S3 × Aut(Q).
(ii) T (B0 (O(A5 × Q))) ∼
= C2 × Aut(Q).
(iii) T (O(A4 × A4 )) ∼
= S3 ≀ C 2 .
(iv) T (B0 (O(A5 × A4 ))) ∼
= S3 × C 2 .
(v) T (B0 (O(A5 × A5 ))) ∼
= C2 ≀ C2 .
Remark 3.4 (i) In particular T (O(A4 ×C2 ×C2 )) ∼
=
= S3 ×S3 and T (B0 (O(A5 ×C2 ×C2 ))) ∼
C 2 × S3 .
(ii) It follows that ϕ defines an automorphism of f bf .
Proof. Let D be a defect group for b with D = D1 ×D2 where Di is a defect group
of bi . By [4] T (OQ) ∼
= Aut(Q), T (OA4 ) ∼
= S3 is given by permutations of the three
isomorphism classes of simple modules and T (B0 (OA5 )) ∼
= C2 is given by permutation
of the two isomorphism classes of nontrivial modules. Note that T (b1 ) × T (b2 ) ≤ T (b).
If further G1 = G2 , then T (b1 ) ≀ C2 ≤ T (b).
In cases (i) and (ii) Aut(D, F ) ∼
=
= C3 , so Out(D, F ) ∼
= S3 × Aut(Q) and AutF (D) ∼
∼
∼
C2 × Aut(Q). In cases (iii)-(v) Aut(D, F ) = S3 ≀ C2 and AutF (D) = C3 × C3 , so
Out(D, F ) ∼
= C2 ≀ C2 .
By Lemma 3.2 all algebras under consideration are equal to their source algebras
and so by Lemma 3.1 OutD (A) = OutD1 (b1 ) × OutD2 (b2 ). By [4, 1.5] OutDi (bi ) = 1 if
bi ∼
= kQ or B0 (kA5 ) and C3 otherwise.
We have shown that T (b) is as stated in all cases except (iv). However, in this
case S3 × C2 ≤ T (b) and there is an injection of T (b) into C3 ⋊ (C2 ≀ C2 ). This latter
map cannot be surjective, which may be seen by considering centralizers of elements
of order 2. Hence (iv) also holds.
P P nt
Let e be the block idempotent for b. Write e = m
i=1 ft,i where the ft,i are
t=1
∼
primitive idempotents and bft,i = bft,j for each i, j. Let M ∈ T (B). By the above we
may write M = ϕ b where ϕ ∈ Aut(b) is a composition of an automorphism induced
P t by
ft,i
a group automorphism of Q (where appropriate) and a permutation of the ni=1
and this may be P
taken so that for all t ∈ {1, . . . , m} we have ϕ(ft,i ) = ϕ(fu,i ) for some
u. Defining f = m
✷
t=1 ft,1 we have ϕ(f ) = f and we are done.

4

Crossed products

An essential part of a reduction of Donovan’s conjecture to quasisimple groups is
Külshammer’s analysis in [25] of the situation of a normal subgroup containing the
defect groups of a block, which involves the study of crossed products of a basic algebra with an ℓ′ -group. In the general setting he finds finiteness results for the possible
crossed products, but in our situation we are able to precisely describe the possibilities.
Background on crossed products may be found in [25], but we summarize what we
need here. Let X be a finite group and R an O-algebra. A crossed product of R with
9

X is an X-graded algebra Λ with identity component Λ1 = R such that each graded
component Λx , where x ∈ X, contains a unit ux . Given a choice of unit ux for each x,
we have maps α : X → Aut(R) given by conjugation by ux and µ : X × X → U(R)
given by αx ◦ αy = ιµ(x,y) ◦ αxy , where U(R) is the group of units of R and ιµ(x,y) is
conjugation by µ(x, y). The pair (α, µ) is called a parameter set of X in R. In [25] an
isomorphism of crossed products respecting the grading is called a weak equivalence.
By the discussion following Proposition 2 of [25] weak isomorphism classes of crossed
products of R with X are in bijection with pairs consisting of an Out(R)-conjugacy class
of homomorphisms X → Out(R) for which the induced element in H 3 (X, U(Z(R)))
vanishes and an element of H 2 (X, U(Z(R))).
Note that α : X → Aut(R) restricts to a map X → Aut(Z(R)), which makes Z(R)
an X-algebra. The k-algebras Z(R)/J(Z(R)) and U(Z(R)/J(Z(R))) also become Xalgebras.
Now suppose that X = hxi is a cyclic ℓ′ -group. Let i ∈ N. Following the strategy
in [25, Section 3], U(Z(R)) ∼
= U(Z(R)/J(Z(R))) × (1 + J(Z(R)) and
H i (X, U(Z(R))) ∼
= H i (X, U(Z(R)/J(Z(R)))) × H i (X, 1 + J(Z(R)))
for each i. We have H i (X, 1+J(Z(R))) = 0 since X is an ℓ′ -group. Now Z(R)/J(Z(R))
is a commutative semisimple k-algebra, which we denote A, and note as above that it
is an X-algebra. Write A = A1 ×· · ·×Ar , where each Ai is a product of simple algebras
constituting an X-orbit. We have H i (X, U(A)) ∼
= H i (X, U(A1 )) × · · · × H i (X, U(Ar )).
We claim each H i (X, U(Aj )) vanishes, for as a kX-module U(Aj ) is induced from the
trivial module of kY for some Y ≤ X, and so by Shapiro’s Lemma H i (X, U(Aj )) ∼
=
H i (Y, k × ) (see [3, 2.8.4]), which vanishes since X is cyclic. We have shown that
H i (X, U(Z(R))) = 0 for each i.
Now suppose that we have a finite group G and N ✁ G with G/N an ℓ′ -group.
Suppose that B is a block of OG covering a G-stable block b of ON. Define X = G/N
with generator x and let gx ∈ x.
Suppose that ϕ ∈ Aut(b) and f is an idempotent of b such that f bf is a basic
algebra for b and ϕ(f ) = f . Then ϕ may also be regarded as an element of Aut(f bf )
and we may consider f Bf as a crossed product of f bf with X via ϕ.
Suppose further that Aut(R) splits over Inn(R), say Aut(R) = Inn(R)⋊H. Then in
order to describe all crossed products of R with X it suffices to consider algebras ha, Ri
where a is a unit and there is h ∈ H such that for all r ∈ R we have ara−1 = h(r).
Since H 2 (X, U(Z(R))) vanishes, we may assume that the map µ is trivial, and we may
identify X with a subgroup of H.
Proposition 4.1 Let G be a finite group and N ✁ G with G/N cyclic of odd prime
order. Let b be a G-stable block of ON with defect group D ∼
= (C2 )4 .
(i) If b is Morita equivalent to O(A4 × C2 × C2 ), then B is Morita equivalent to b,
1+2
OD, O(A4 × A4 ) or a non-principal block of O(C2 )4 ⋊ 31+2
+ , where the centre of 3+
acts trivially.
(ii) If b is Morita equivalent to the principal block of O(A5 × C2 × C2 ), then B is
Morita equivalent to b or the principal block of O(A5 × A4 ).
(iii) If b is Morita equivalent to O(A4 × A4 ), then B is Morita equivalent to b or
O(A4 × C2 × C2 ).
10

(iv) If b is Morita equivalent to the principal block of O(A4 × A5 ), then B is Morita
equivalent to b or the principal block of O(C2 × C2 × A5 ).
(v) If b is Morita equivalent to the principal block of O(A5 × A5 ), then B is Morita
equivalent to b.
Proof. Let B be a block of G covering b. By Proposition 2.1 either B is Morita
equivalent to b, in which case we are done, or B is the unique block of G covering b.
Hence we may assume the latter. Note that B and b share a defect group.
Define X = G/N with generator x and let g ∈ x. As described in the previous
section conjugation τ (g) in b by g gives an element τ (g) b of T (b). By Proposition 3.3 in
all cases (i)-(v) we may choose ϕ ∈ Aut(b) with ϕ Inn(b) = τ (g) Inn(b) (and ϕ b ∼
= τ (g) b)
and an idempotent f of b such that R := f bf is a basic algebra for b and ϕ(f ) = f .
Then ϕ may also be regarded as an element of Aut(f bf ) and we may consider Λ := f Bf
as a crossed product of f bf with X via ϕ. Note that Λ is Morita equivalent to B.
The weak equivalence classes of crossed products of R with X are in 1-1 correspondence with equivalence classes of homomorphisms α : X → Out(R), hence to determine
the possible Morita equivalence classes for B we must determine the equivalence classes
of homomophisms α with image in hϕ Inn(R)i when ϕ is obtained as above from an
element of T (b).
Now if ker(α) = X, then Λ ∼
= OX ⊗ f bf , which contradicts the fact that B is
Morita equivalent to f bf . By Proposition 3.3 T (b) has order divisible only by the
primes 2 and 3 and so we may suppose that |X| = 3 and that ker(α) = 1.
We treat the five cases in turn. In many of the cases we will be making use of
the example P SL3 (7) where there is a block which is Morita equivalent to OA4 and
covered by a nilpotent block of P GL3 (7).
(i) Suppose b is Morita equivalent to O(A4 × C2 × C2 ). By Proposition 3.3 we
have T (b) ∼
= S3 × S3 and so there are three possibilities for α up to equivalence (recall
that α is assumed to be faithful). The three possible Morita equivalence types for
B are given by: O(A4 × A4 ), realised when N is A4 × C2 × C2 ; OD, realised when
G = P GL3 (7)×C2 ×C2 , N = P SL3 (7)×C2 ×C2 ; a non-principal block of O(C2 )4 ⋊31+2
+ ,
where the centre of 31+2
acts
trivially,
achieved
when
N
is
a
maximal
subgroup
of
G.
+
(ii) Suppose b is Morita equivalent to the principal block of O(A5 × C2 × C2 ). We
have T (b) ∼
= C2 × S3 and so there is just one possibility for α up to equivalence, and
this is achieved with G = A5 × A4 .
(iii) Suppose b is Morita equivalent to O(A4 × A4 ). We have T (b) ∼
= S3 ≀ C 2 .
There are two non-trivial possibilities for α up to equivalence. They give rise to an
algebra Morita equivalent to O(A4 × C2 × C2 ), realised with G = A4 × P GL3 (7), and
a non-principal block of O(C2 )4 ⋊ 31+2
+ .
(iv) Suppose b is Morita equivalent to the principal block of O(A4 × A5 ). We have
T (b) ∼
= S3 × C2 and so there is just one possibility for α up to equivalence, and this is
realised with G = P GL3 (7) × A5 .
(v) Suppose b is Morita equivalent to the principal block of O(A5 × A5 ). We have
T (b) ∼
= C2 ≀ C2 and so there are no non-trivial possibilities for α (i.e., this case cannot
occur without contradiction of the assumption that B is the unique block covering b).
✷

11

1+2
Corollary 4.2 Consider G = (C2 )4 ⋊ 31+2
acts trivially. The
+ , where the centre of 3+
2-blocks of OG correspond to the simple modules of Z(31+2
),
and
the
two non-principal
+
blocks are Morita equivalent. Further, these blocks are Morita equivalent to the two
non-principal blocks of O((C2 )4 ⋊ 31+2
− ).

Proof. Let B be any faithful 2-block of G = (C2 )4 ⋊ 31+2
or (C2 )4 ⋊ 31+2
+
− . Then
l(B) = 1. Take a maximal subgroup N of G and a block b of N covered by B. Then
N∼
= ((C2 )4 ⋊ C3 ) × C3 or (C2 )4 ⋊ C9 and b is Morita equivalent to O(C2 × C2 × A4 ).
By Proposition 4.1 there is only one possibility for the Morita equivalence class of B
under the restriction that there is just one simple module.
✷

5

Proof of the main theorem

We first address the case where the defect group is normal.
Lemma 5.1 Let B be a block of OG for a finite group G with normal defect group
D∼
= (C2 )4 . Then B is Morita equivalent to a block as in (a) or (b)(i), (ii), (iv), (v),
(vi), (viii), (xi) or (xiii) in Theorem 1.1.
Proof. This follows from the main result of [24], applying Lemma 4.2 when the
inertial quotient is C3 × C3 .
✷
For a block B, write IBr(B) for the set of irreducible Brauer characters of B and
l(B) = | IBr(B)|.
The following lemma deals for example with the situation SLn (q) ∼
= N ✁ G where
G is an extension by field automorphisms and the block of SLn (q) is nilpotent covered.
Lemma 5.2 Let G be a finite group and N ✁ G such that G/N is solvable. Let B be a
quasiprimitive block of OG with abelian defect group D covering a block b of ON also
with defect group D. If b is nilpotent covered, then B is Morita equivalent to a block of
a finite group with normal defect group. In particular, if D ∼
= (C2 )4 , then B is Morita
equivalent to one of the blocks in (a) or (b)(i), (ii), (iv), (v), (vi), (viii), (xi) or (xiii)
of Theorem 1.1.
Proof. By Proposition 2.5(ii) b is inertial, i.e., basic Morita equivalent to its
Brauer correspondent c in NN (D). Let M be the preimage in G of Oℓ′ (G/N) and BM
the unique block of M covered by B. By Proposition 2.5(iii) BM is inertial. Write
M1 for the preimage in G of Oℓ (G/M) and let BM1 be the unique block of M1 covered
by B. Note that BM and BM1 both have defect group D. Since M1 /M is an ℓ-group
BM1 is the unique block of M1 covering BM . But then by [1, 15.1] M1 = MD, and so
M = M1 . Since G/N is solvable this implies that M = G, and B is inertial. The last
part follows by Lemma 5.1.
✷
We prove Theorem 1.1.
12

Proof. Let B be a block of OG for a finite group G with defect group D ∼
= (C2 )4
with ([G : O2′ (Z(G))], |G|) minimised in the lexicographic ordering such that B is not
Morita equivalent to any of the sixteen blocks listed in the theorem.
Suppose N ✁ G and b is a block of ON covered by B. Write I = IG (b) for the
stabiliser of b under conjugation. Then there is a unique block BI of I covering b
with Brauer correspondent B (the Fong-Reynolds correspondent) and BI is Morita
equivalent to B. Further B and BI share a defect group, hence by minimality I = G.
Applying this to all normal subgroups of G, we have that B is quasiprimitive, that is,
for every N ✁ G each block of ON covered by B is G-stable.
By Corollary 2.3 and minimality, if N ✁ G and B covers a nilpotent block of ON,
then N ≤ Z(G)O2(G). In particular O2′ (G) ≤ Z(G).
Note that O 2 (G)D = G. This holds by [1, 15.1] since any block of O 2 (G) covered
by B is G-stable and B is the unique block of G covering it.
Following [2] write E(G) for the layer of G, that is, the central product of the
subnormal quasisimple subgroups of G (the components). Write F (G) for the Fitting
subgroup, which in our case is F (G) = Z(G)O2(G). Write F ∗ (G) = F (G)E(G) ✁ G,
the generalised Fitting subgroup, and note that CG (F ∗ (G)) ≤ F ∗ (G). Let b∗ be the
unique block of OF ∗ (G) covered by B.
We have E(G) 6= 1, since otherwise F ∗ (G) = F (G) = Z(G)O2 (G) and D ≤
CG (F ∗ (G)) ≤ F ∗ (G), so that D ✁ G, a contradiction by Lemma 5.1. Write E(G) =
L1 ∗ · · · ∗ Lt , where each Li is a component of G (we have shown that t ≥ 1). Now B
covers a block bE of OE(G) with defect group contained in D, and bE covers a block
bi of OLi . Since bE is G-stable, for each i either Li ✁ G or Li is in a G-orbit in which
each corresponding bi is isomorphic (with equal defect). Since B has defect four, it
follows that if t ≥ 3, then B covers a nilpotent block of a normal subgroup generated by
components of G, a contradiction. Hence t ≤ 2, and in particular G/F ∗ (G) is solvable
by the Schreier conjecture.
We have |F ∗ (G) ∩ D| ≥ 4, since otherwise B covers a nilpotent block of F ∗ (G), a
contradiction since F ∗ (G) is not central in G.
In the next part of the proof we will show that G (as a minimal counterexample) has
a proper normal subgroup N containing D such that the unique block b of N covered
by B is of type (C3 )1 or C3 × C3 .
Suppose |F ∗ (G) ∩ D| = 4. Then F ∗ (G) ∩ D is normal in NG (D) and so any
′
non-nilpotent block of O 2 (F ∗ (G)hD g : g ∈ Gi) has type (C3 )1 , (C3 )2 or C3 × C3 .
′
We claim that O 2 (F ∗ (G)hD g : g ∈ Gi) is a proper subgroup of G. For suppose
′
O 2 (F ∗ (G)hD g : g ∈ Gi) = G. Since O 2 (G) = G, then F ∗ (G)hD g : g ∈ Gi = G. Since
G/F ∗ (G) is solvable it follows that O 2 (G) 6= G. Since G = O 2 (G)D, it follows that G
has a normal subgroup H of index 2 containing F ∗ (G) such that G = HD. Hence B
must have type (C3 )1 and we may apply Proposition 2.9 to show that by minimality
′
B is Morita equivalent to a block on the list. Hence O 2 (F ∗ (G)hD g : g ∈ Gi) is a
′
proper subgroup of G as claimed, and we take N = O 2 (F ∗ (G)hD g : g ∈ Gi). As above
O 2 (N) 6= N and N has a normal subgroup of index 2, so that we may rule out the
possibilities that b has type (C3 )2 or C3 × C3 .
Suppose that |F ∗ (G) ∩ D| = 8. It follows from Proposition 2.7 that either b∗ has
inertial quotient C3 or E(G) is isomorphic to one of SL2 (8), 2 G2 (32m+1 ), J1 or Co3 . In
the former case we may take N = F ∗ (G)hD g : g ∈ Gi and it is clear that b must be of
13

type (C3 )1 . Since O 2(G) = G we have N 6= G. On the other hand each of the groups
SL2 (8), 2 G2 (32m+1 ), J1 and Co3 has odd order outer automorphism group, so G has a
direct factor of order 2, contradicting O 2 (G) = G.
Hence we may suppose that D ≤ F ∗ (G). We examine the possibilities for O2 (G).
If |O2(G)| = 16, then O2 (G) = D, a contradiction by Lemma 5.1. If |O2(G)| = 8,
then as E(G) 6= 1, B covers a nilpotent block of E(G), a contradiction. If |O2 (G)| = 4,
then b∗ must be of type (C3 )1 , (C3 )2 or C3 × C3 . However F ∗ (G) would have a normal
subgroup of index 2 and so we may rule out the cases of type (C3 )2 and C3 × C3 . If
F ∗ (G) = G, then B is Morita equivalent to a block in the list, a contradiction. Hence
we may take N = F ∗ (G).
Hence |O2 (G)| = 1 or 2, and O2 (G) ≤ Z(G).
Suppose that t = 1. By Proposition 2.7 one or more of:
(1) b∗ has type (C3 )1 ; or
(2) F ∗ (G) is isomorphic to one of C2 × SL2 (8), C2 × 2 G2 (32m+1 ), C2 × J1 , C2 × Co3
or SL2 (16), as in each of these cases the component must be simple (since the Schur
multiplier is trivial); or
(3) b∗ is nilpotent covered.
In case (1) we may take N = F ∗ (G).
Suppose case (2) occurs. If F ∗ (G) ∼
= C2 × J1 , C2 × Co3 or SL2 (16), then
Out(F ∗ (G)) = 1 and so G = F ∗ (G). By [23] the non-principal block of Co3 with
elementary abelian defect group of order 8 is Morita equivalent to the principal block
of Aut(SL2 (8)) and so in each of these three cases B is Morita equivalent to a block in
the list, a contradiction. If F ∗ (G) ∼
= SL2 (8) or Aut(SL2 (8)), again
= SL2 (8), then G ∼
∗
2
2m+1
∼
a contradiction. If F (G) = C2 × G2 (3
), then G has C2 as a direct factor and
by [12, 3.1] B is Morita equivalent to b∗ . Hence by minimality G ∼
= C2 × 2 G2 (32m+1 ).
By [34, Example 3.3], which in turn uses [28], b∗ is Morita equivalent to the principal
block of C2 ×2 G2 (3) ∼
= C2 × Aut(SL2 (8)), again a contradiction to minimality.
If (3) occurs, then we may apply Lemma 5.2 to obtain a contradiction.
Now suppose that t = 2. Then b1 and b2 both have Klein four defect group and are
non-nilpotent, and b∗ has type C3 × C3 . Hence we may take N = F ∗ (G).
We have shown that there is a normal subgroup N ✁ G containing D and a block
b of N covered by B with type (C3 )1 or C3 × C3 .
Write J = G[b] ✁ G, and let BJ be the unique block of OJ covering b and covered
by B. By Proposition 2.1(i) BJ is source algebra equivalent to b, and so in particular is
also of type (C3 )1 or C3 ×C3 . Hence we may assume (repeatedly applying the argument
if necessary) that G[b] = N. Then by Proposition 2.1(ii) B is the unique block of G
covering b. Hence by [1, 15.1] [G : N] is odd since B and b share a defect group, and
so G/N is solvable (note that it is not strictly necessary to directly use the odd order
theorem here, as in all the cases above N contains F ∗ (G) and G/F ∗ (G) is solvable).
Let M ✁ G with [G : M] is an odd prime. Let BM be the unique block of M covered
by B. By Lemma 2.10 BM has type (C3 )1 or C3 × C3 .
Now by minimality BM is Morita equivalent to a block as in (a), (b)(ii), (b)(iii),
(b)(viii), (b)(ix) or (b)(x) in the statement of the theorem. Suppose that BM is as in
(a). Then BM is inertial as by minimality there is only one possibility for the Morita
equivalence class of BM and of its Brauer correspondent in NM (D). So by Proposition
2.5 B is also inertial and by Lemma 5.1 is Morita equivalent to one of the listed blocks,
14

a contradiction. We now have that BM is Morita equivalent to one of the blocks
considered in Proposition 4.1, which we apply to see that B is one of the blocks listed
in the statement of the theorem.
To see that the blocks in cases (a),(b) (i)-(xv) represent distinct Morita equivalence
classes it suffices to note that the blocks in case (b) have distinct Cartan matrices and
the basic algebras for the blocks in (a) and (b)(i) are not isomorphic.
That the blocks in case (a) cannot be Morita equivalent to a principal block follows from [33, 6.13] that if the principal block has only one simple module, then it is
nilpotent.
Finally, we reference the literature that tells us that representatives of the Morita
equivalence classes with the same inertial quotient and number of simple modules are
derived equivalent. In the cases below splendid derived equivalences are established
between the relevant blocks defined with respect to k. Then by [38, 5.2] there is a
splendid derived equivalence over O.
By [38, §3] the principal blocks of kA4 and kA5 are splendid derived equivalent. It
follows that the blocks in cases (ii) and (iii) are derived equivalent, and that the blocks
in cases (viii), (ix) and (x) are derived equivalent. The principal blocks of kSL2 (16)
and k((C2 )4 ⋊ C15 ) (the normalizer of a Sylow 2-subgroup) are derived equivalent
by [19], and so the blocks in cases (xi) and (xii) are splendid derived equivalent. That
the principal blocks of kJ1 and k((C2 )3 ⋊ (C7 ⋊ C3 )) are derived equivalent follows
from [18], and a published proof may be found in [9, §6.2.3], with the observation that
the blocks are splendid derived equivalent. Hence the blocks in cases (xiii) and (xiv)
are derived equivalent. Finally, the splendid derived equivalence between the blocks in
cases (xiii) and (xv) follows from [34, Remark 3.4] and [9, 4.33].
✷
ACKNOWLEDGEMENTS
I am deeply indebted to Jon Carlson, who wrote and ran MAGMA routines for
calculating outer automorphism groups of the basic algebras defined over k, which
helped me see their final structure and complete an earlier version of this paper. I
also thank Markus Linckelmann for encouraging me to extend my results over k to O
and for helpful discussions. The papers of Watanabe are essential in completing the
classification over O, and I am indebted to Hu Xueqin for directing me to [43] and to
Shigeo Koshitani for showing me [42] and [45]. Finally I thank Cesare Ardito for his
careful reading of the manuscript and for his helpful comments, and Michael Livesey
for some useful discussions.

References
[1] J. L. Alperin, Local Representation Theory, Cambridge Studies in Advanced Mathematics 11, Cambridge university Press (1986).
[2] M. Aschbacher, Finite group theory, Cambridge Studies in Advanced Mathematics
10, Cambridge university Press (1986).
15

[3] D. Benson, Representations and cohomology. I, Cambridge Studies in Advanced
Mathematics 30, Cambridge University Press (1991).
[4] R. Boltje, R. Kessar and M. Linckelmann, On Picard groups of blocks of finite
groups, preprint
[5] M. Broué and L. Puig, Characters and local structure in G-algebras, J. Algebra
63 (1980), 306–317.
[6] M. Broué and L. Puig, A Frobenius theorem for blocks, Invent. Math. 56 (1980),
117–128.
[7] D. A. Craven, C. W. Eaton, R. Kessar and M. Linckelmann, The structure of
blocks with a Klein four defect group, Math. Z. 268 (2011), 441–476.
[8] D. A. Craven and A. Glesser, Fusion systems on small p-groups, Trans. AMS 364
(2012), 5945–5967.
[9] D. A. Craven and R. Rouquier, Perverse equivalences and Broué’s conjecture, Adv.
Math. 248 (2013), 1–58.
[10] C. W. Curtis and I. Reiner, Methods of representation theory with applications to
finite groups and orders, Volumes I and II, John Wiley and Sons (1987).
[11] E. C. Dade, Block extensions, Ill. J. Math. 17 (1973), 198-272.
[12] C. W. Eaton, Morita equivalence classes of 2-blocks of defect three, Proc. AMS
144 (2016), 1961–1970.
[13] C. W. Eaton, R. Kessar, B. Külshammer and B. Sambale, 2-blocks with abelian
defect groups, Adv. Math. 254 (2014), 706-735.
[14] C. W. Eaton, B. Külshammer and B. Sambale, 2-blocks with minimal nonabelian
defect groups, II, J. Group Theory 15 (2012), 311–321.
[15] C. W. Eaton and M. Livesey, Classifying blocks with abelian defect groups of rank
3 for the prime 2, preprint (2017).
[16] K. Erdmann, Blocks whose defect groups are Klein four groups: a correction, J.
Algebra 76 (1982), 505–518.
[17] K. Erdmann, Blocks of tame representation type and related algebras, Lecture
Notes in Mathematics 1428, Springer-Verlag (1990).
[18] H. Gollan and T. Okuyama, Derived equivalences for the smallest Janko group,
preprint (1997).
[19] M. L. Holloway, Derived equivalences for group algebras, Ph.D. thesis, University
of Bristol (2001).

16

[20] R. Kessar, S. Koshitani and M. Linckelmann, Conjectures of Alperin and Broué
for 2-blocks with elementary abelian defect groups of order 8, J. Reine Angew.
Math. 671 (2012), 85–130.
[21] S. Koshitani, Conjectures of Donovan and Puig for principal 3-blocks with abelian
defect groups, Comm. Alg. 31 (2003), 2229-2243; Corrigendum, 32 (2004), 391–
393.
[22] S. Koshitani and B. Külshammer, A splitting theorem for blocks, Osaka J. Math.
33 (1996), 343–346.
[23] S. Koshitani, J. Müller and F. Noeske, Broué’s abelian defect group conjecture
holds for the sporadic simple Conway group Co3 , J. Algebra 358 (2011), 354–380.
[24] B. Külshammer, Crossed products and blocks with normal defect groups, Comm.
Alg. 13 (1985), 147–168.
[25] B. Külshammer, Donovan’s conjecture, crossed products and algebraic group actions, Israel J. Math. 92 (1995), 295–306.
[26] B. Külshammer and L. Puig, Extensions of nilpotent blocks, Invent. Math. 102
(1990), 17–71.
[27] B. Külshammer and B. Sambale, The 2-blocks of defect 4, Representation Theory
17 (2013), 226–236.
[28] P. Landrock and G. Michler, Principal 2-blocks of the simple groups of Ree type,
Trans. Amer. Math. Soc. 260 (1980), 83–111.
[29] P. Landrock and B. Sambale, On centers of blocks with one simple module, J.
Algebra 472 (2017), 339–368.
[30] M. Linckelmann, The source algebras of blocks with a Klein four defect group, J.
Algebra 167 (1994), 821–854.
[31] M. Linckelmann, The isomorphism problem for cyclic blocks and their source algebras, Invent. Math. 125 (1996), 265–283.
[32] M. Linckelmann, The block theory of finite groups I, II, to appear, CUP.
[33] G. Navarro, Characters and blocks of finite groups, London Mathematical Society
Lecture Note Series 250, Cambridge University Press (1998).
[34] T. Okuyama, Some examples of derived equivalent blocks of finite group, preprint
(1997).
[35] L. Puig, Nilpotent blocks and their source algebras, Invent. Math. 93 (1988), 77–
116.
[36] L. Puig, Pointed groups and construction of modules, J. Algebra 116 (1988), 7–
129.
17

[37] L. Puig, Nilpotent extensions of blocks, Math. Z. 269 (2011), 115-136.
[38] J. Rickard, Splendid equivalences: derived categories and permutation modules,
Proc. London Math. Soc. 72 (1996), 331–358.
[39] B. Sambale, 2-blocks with minimal nonabelian defect groups, J. Algebra 337
(2011), 261–284.
[40] B. Sambale, Cartan matrices and Brauer’s k(B)-conjecture IV, J. Math. Soc.
Japan 69 (2017), 735–754.
[41] A. Watanabe, On nilpotent blocks of finite groups, J. Algebra 163 (1994), 128–134.
[42] A. Watanabe, A remark on a splitting theorem for blocks with abelian defect groups,
RIMS Kokyuroku Vol.1140, Edited by H.Sasaki, Research Institute for Mathematical Sciences, Kyoto University (2000) 76–79.
[43] A. Watanabe, On perfect isometries for blocks with abelian defect groups and cyclic
hyperfocal subgroups, Kumamoto J. Math. 18 (2005), 85-92.
[44] C. Wu, K. Zhang and Y. Zhou, Blocks with defect group Z2n × Z2n × Z2m , preprint
(2017).
[45] Y. Zhou, On the p′ -extensions of inertial blocks, Proc. AMS 144 (2016), 41-54.

Charles Eaton
School of Mathematics
University of Manchester
Oxford Road
Manchester
M13 9PL
United Kingdom
charles.eaton@manchester.ac.uk

18

