UNIVERSAL DEFORMATION RINGS, ENDO-TRIVIAL MODULES, AND
SEMIDIHEDRAL AND GENERALIZED QUATERNION 2-GROUPS

arXiv:1612.03703v2 [] 26 May 2017

FRAUKE M. BLEHER, TED CHINBURG, AND ROBERTO C. SOTO
Abstract. Let k be a field of characteristic p > 0, and let W be a complete discrete valuation ring of
characteristic 0 that has k as its residue field. Suppose G is a finite group and Gab,p is its maximal abelian
p-quotient group. We prove that every endo-trivial kG-module V has a universal deformation ring that is
isomorphic to the group ring W Gab,p . In particular, this gives a positive answer to a question raised by
Bleher and Chinburg for all endo-trivial modules. Moreover, we show that the universal deformation of V
over W Gab,p is uniquely determined by any lift of V over W . In the case when p = 2 and G = D is a
2-group that is either semidihedral or generalized quaternion, we give an explicit description of the universal
deformation of every indecomposable endo-trivial kD-module V .

1. Introduction
Let k be a field of positive characteristic p, let G be a finite group, and let V be a finitely generated
kG-module. It is a classical problem to analyze when V can be lifted to a module for G over a complete
discrete valuation ring W of characteristic 0 that has k as its residue field. For example, Green showed
in [20] that if all 2-extensions of V by itself are trivial, then V can always be lifted over W . When G is
a p-group, Alperin showed in [2] that every endo-trivial kG-module can be lifted to an endo-trivial W Gmodule. In [26], Alperin’s argument was generalized to endo-trivial modules for arbitrary finite groups under
the assumption that k is algebraically closed. Using a simple base change argument, one can in fact drop
the assumption that k is algebraically closed (see Lemma 3.1). The question of whether V can be lifted
over W can be reformulated in terms of the versal deformation ring R(G, V ) of V by asking whether there
is a W -algebra homomorphism R(G, V ) → W . It is then a natural problem to determine the full versal
deformation ring R(G, V ) and the corresponding versal deformation. In this paper, we do this for all endotrivial kG-modules V . In the case when k has characteristic 2 and G = D is either a semidihedral or a
generalized quaternion 2-group, we moreover give an explicit description of the versal deformation of every
indecomposable endo-trivial kD-module.
Recall that for arbitrary p and G, a finitely generated kG-module V is called endo-trivial if the kG-module
Homk (V, V ) ∼
= V ∗ ⊗k V is isomorphic to a direct sum of the trivial simple kG-module k and a projective
kG-module. Endo-trivial modules play an important role in the modular representation theory of finite
groups. They arise in the context of derived equivalences and stable equivalences of block algebras, and also
as building blocks for the more general endo-permutation modules (see e.g. [17, 31]). In [14, 13], Carlson and
Thévenaz classified all endo-trivial kG-modules when G is a p-group. The classification of the endo-trivial
kG-modules for arbitrary finite groups is still ongoing (see e.g. [11] and its references). Since the stable
endomorphism ring of every endo-trivial kG-module is one-dimensional over k, it follows from [7, Prop. 2.1]
that V has a well-defined universal deformation ring R(G, V ).
The topological ring R(G, V ) is universal with respect to deformations of V over all complete local
commutative Noetherian W -algebras R with residue field k. A deformation of V over such a ring R is
given by the isomorphism class of a finitely generated RG-module M which is free over R, together with a
kG-module isomorphism k ⊗R M → V (see Section 2 for more details).
2000 Mathematics Subject Classification. Primary 20C20; Secondary 20C15, 16G10.
Key words and phrases. Universal deformation rings, endo-trivial modules, stable endomorphism rings, semidihedral 2groups, generalized quaternion 2-groups.
The first author was supported in part by NSF FRG Grant No. DMS-1360621.
The second author was supported in part by NSF FRG Grant No. DMS-1360767, NSF FRG Grant No. DMS-1265290, NSF
SaTC grant No. CNS-1513671 and Simons Foundation Grant No. 338379.
1

In number theory, the main motivation for studying universal deformation rings for finite groups is to
provide evidence for and counter-examples to various possible conjectures concerning ring theoretic properties
of universal deformation rings for profinite Galois groups. The idea is that universal deformation rings for
finite groups can be more easily described using deep results from modular representation theory due to
Brauer, Erdmann [19], Linckelmann [21, 22], and others. Moreover, the results in [18] show that if Γ is a
profinite group and V is a finite dimensional k-vector space with a continuous Γ-action which has a universal
deformation ring, then R(Γ, V ) is the inverse limit of the universal deformation rings R(G, V ) when G
ranges over all finite discrete quotient groups of Γ through which the Γ-action on V factors. Thus to answer
questions about the ring structure of R(Γ, V ), it is natural to first consider the case when Γ = G is finite.
The following is our first main result.
Theorem 1.1. Let V be a finitely generated endo-trivial kG-module. Let V1 be a non-projective indecomposable direct summand of V , which is unique up to isomorphism.
(i) The universal deformation ring R(G, V ) is isomorphic to the group algebra W Gab,p where Gab,p is
the maximal abelian p-quotient group of G.
(ii) If VW is a lift of V over W , then the isomorphism class of VW ⊗W W Gab,p , with diagonal G-action,
is the universal deformation of V over W Gab,p .
(iii) Suppose D is a defect group of the block of kG to which V1 belongs. Then R(G, V ) is a subquotient
ring of the group ring W D, giving a positive answer to [7, Question 1.1] for endo-trivial modules.
In [9, 27], Broué and Puig introduced and studied so-called nilpotent blocks. Using [27], we obtain the
following result as an easy consequence of Theorem 1.1, where we assume as in [27] that k is algebraically
closed.
Corollary 1.2. Suppose k is algebraically closed, and B is a nilpotent block of kG. Suppose V is a finitely
generated B-module whose stable endomorphism ring is isomorphic to k. Then the universal deformation
ring R(G, V ) is isomorphic to W Gab,p .
The main tools in the proof of Theorem 1.1 are the results in [2, 26] about lifting endo-trivial kG-modules
to endo-trivial W G-modules, together with the result [4, Lemma 2.2.2] that shows that stable equivalences
of Morita type over W preserve universal deformation rings.
Alperin’s proof in [2], and its extended version in [26], of the existence of a lift of a given endo-trivial
kG-module V over W is not constructive. Namely, after reducing to the case when the image of V lies in
SLn (k), endo-triviality of V is used to show that an infinite sequence of lifting obstructions vanishes, leading
to a lift of this image to a subgroup of SLn (W ).
Since an explicit description of the universal deformation in part (ii) of Theorem 1.1 depends on an explicit
description of a lift of V over W , the question then arises how one can construct an explicit lift VW of V over
W without using an infinite sequence of vanishing lifting obstructions. The goal is to provide an explicit
description of the G-action on a particular W -basis of VW . This problem can be compared to constructing
an explicit solution by radicals to a polynomial equation rather than just proving that such a solution exists.
In this paper, we focus on the case when G is a p-group and the group of equivalence classes of endo-trivial
modules T (G) has a non-trivial torsion subgroup. By [14, Thm. 1.1], this means that either G is cyclic of
order at least 3, or p = 2 and G = D is a 2-group that is either semidihedral or generalized quaternion.
The following is a summary of our second main result. For more detailed versions, see Example 3.3 and
Propositions 4.3, 5.2 and 6.2 - 6.4.
Theorem 1.3. Let G be a p-group such that the group of equivalence classes of endo-trivial modules T (G)
has a non-trivial torsion subgroup. Let V be an indecomposable endo-trivial kG-module, and let VW be a lift
of V over W .
To provide an explicit description of the G-action on a particular W -basis of VW , one needs to solve at
most one quadratic equation of the form
(1.1)

b2 + f1 (t) b + f0 (t) = 0

with f0 (t), f1 (t) ∈ Z[t] for an element b in Zp [[t]]. Moreover, if one needs to solve such an equation (1.1)
then p = 2, and finding such a solution is equivalent to taking the square roots of explicitly given elements
2

in certain cyclotomic extensions of Q2 . The isomorphism class of VW ⊗W W Gab,p , with diagonal G-action,
provides then an explicit universal deformation of V over W Gab,p .
The main ingredient in the proof of Theorem 1.3 is the explicit description of the indecomposable endotrivial kG-modules V , up to isomorphism. If G is cyclic, this is given in [17, Cor. 8.8]. If p = 2 and G = D
is either a semidihedral or a generalized quaternion 2-group, we use the description of the indecomposable
endo-trivial kD-modules provided by Carlson and Thévenaz in [12]. If G is cyclic, respectively if G = Q8
is a quaternion group of order 8 and k does not contain a primitive cube root of unity, it follows that all
indecomposable endo-trivial kG-modules lie in the syzygy orbit of the trivial simple kG-module. In all other
cases, there is a second syzygy orbit of a cyclic endo-trivial kD-module L of k-dimension 2d−1 − 1. The
restriction of L to a maximal cyclic subgroup X = hxi of D is isomorphic to S = kX/(k · TrX ), where TrX is
the sum of the elements in X. Let S = W X/(W · TrX ), and let σx denote the W -linear automorphism of S
given by multiplication by x. Since D is generated by x and any element y that does not lie in X, finding a
lift of L over W is equivalent to constructing a W -linear automorphism σy of S such that σx and σy satisfy
the relations of x and y in D and such that σy reduces to the action of y on S modulo the maximal ideal of
W . If D is semidihedral, respectively if D = Q8 and k contains a primitive cube root of unity, we are able to
provide directly an explicit description of σy . On the other hand, if D is generalized quaternion of order at
least 16, then we need to find a solution b ∈ Z2 [[t]] of a quadratic equation of the form (1.1) to construct an
automorphism σy . The quadratic equation results from the fact that y has order 4 and satisfies the relation
yxy −1 = x−1 but that the automorphism of S resulting from inverting the elements of X has only order 2.
The group algebras kD are examples of blocks of tame representation type, which were studied in great
detail by Erdmann in [19]. In addition to providing all possible quivers and relations for these tame block
algebras, she also described their stable Auslander-Reiten quivers. It is a natural problem to determine the
location of the isomorphism classes of indecomposable endo-trivial modules in these stable Auslander-Reiten
quivers. In this paper, we do this for kD. We show that the indecomposable endo-trivial kD-modules lie in
four Ω2 -orbits that are either at the ends of two non-periodic components of type D∞ if D is semidihedral or
at the ends of four 2-tubes if D is generalized quaternion (see Lemmas 7.1.3 and 7.2.3). The main ingredient
in the proof is a slight variation of results in [8] and [16] to obtain an explicit isomorphism between kD and
a k-algebra ΛD of the form kha, bi/ID such that the socle scalars match the descriptions in [19, Thm. III.1
and Sect. III.13]. We also give precise descriptions of the ΛD -modules corresponding to indecomposable
endo-trivial kD-modules (see Lemmas 7.1.2 and 7.2.2). In particular, this provides a different approach to
endo-trivial kD-modules.
The paper is organized as follows: In Section 2, we give a brief introduction to deformation rings and
deformations. In particular, we show in Remark 2.3 how to use an explicit lift of a finitely generated kGmodule V over W to construct an explicit lift of any (co-)syzygy Ωi (V ) over W . In Section 3, we show in
Lemma 3.1 that we can lift any endo-trivial kG-module V over W , without any additional assumptions on k.
Moreover, we prove Theorem 1.1 and Corollary 1.2, and we discuss the case of cyclic p-groups in Example 3.3.
In Sections 4, 5 and 6, we prove Theorem 1.3 by giving an explicit description of the universal deformation
of every indecomposable endo-trivial kD-modules V when p = 2 and D is a semidihedral or generalized
quaternion 2-group; see Propositions 4.3, 5.2 and 6.2 - 6.4. Finally, in Section 7, we determine the location
of the isomorphism classes of the indecomposable endo-trivial kD-modules in the stable Auslander-Reiten
quiver of kD; see Lemmas 7.1.3 and 7.2.3.
Part of this paper constitutes the Ph.D. thesis of the third author under the supervision of the first author
[30].
Unless stated otherwise, our modules are finitely generated left modules. On the other hand, when R and
S are associative rings with 1 then an R-S-bimodule M is both a left R-module and a right S-module such
that for all r ∈ R, s ∈ S and m ∈ M one has r(ms) = (rm)s. Our maps are written on the left such that
the map composition f ◦ g means f after g.
Acknowledgements. We would like to thank the referee of an earlier version of this paper for very helpful
comments which improved the results of this paper.
3

2. Preliminaries
In this section, we give a brief introduction to versal and universal deformation rings and deformations.
For more background material, we refer the reader to [25] and [18].
Let k be a field of positive characterstic p, and let W be a complete discrete valuation ring of characteristic
0 that has k as its residue field. If k is a perfect field, one often chooses W to be the ring of infinite Witt
vectors over k. Let Cˆ be the category of all complete local commutative Noetherian W -algebras R with
unique maximal ideal mR and fixed residue map πR : R → k = R/mR . The morphisms in Cˆ are continuous
W -algebra homomorphisms which induce the identity map on k.
Suppose G is a finite group and V is a finitely generated kG-module. A lift of V over an object R in Cˆ
is a pair (M, φ) where M is a finitely generated RG-module that is free over R, and φ : k ⊗R M → V is an
isomorphism of kG-modules. Two lifts (M, φ) and (M ′ , φ′ ) of V over R are said to be isomorphic if there
is an RG-module isomorphism f : M → M ′ with φ = φ′ ◦ (k ⊗ f ). The isomorphism class [M, φ] of a lift
(M, φ) of V over R is called a deformation of V over R, and the set of all such deformations is denoted by
Def G (V, R). The deformation functor
F̂V : Cˆ → Sets
is a covariant functor which sends an object R in Cˆ to Def G (V, R) and a morphism α : R → R′ in Cˆ to
the map Def G (V, R) → Def G (V, R′ ) defined by [M, φ] 7→ [R′ ⊗R,α M, φα ], where φα = φ after identifying
k ⊗R′ (R′ ⊗R,α M ) with k ⊗R M .
Suppose there exists an object R(G, V ) in Cˆ and a deformation [U (G, V ), φU ] of V over R(G, V ) with
the following property: For each R in Cˆ and for each lift (M, φ) of V over R there exists a morphism
α : R(G, V ) → R in Cˆ such that F̂V (α)([U (G, V ), φU ]) = [M, φ], and moreover α is unique if R is the ring
of dual numbers k[ǫ]. Then R(G, V ) is called the versal deformation ring of V and [U (G, V ), φU ] is called
the versal deformation of V . If the morphism α is unique for all R and all lifts (M, φ) of V over R, then
R(G, V ) is called the universal deformation ring of V and [U (G, V ), φU ] is called the universal deformation
of V . In other words, R(G, V ) is universal if and only if R(G, V ) represents the functor F̂V in the sense that
F̂V is naturally isomorphic to the Hom functor HomĈ (R(G, V ), −).
By [25], every finitely generated kG-module V has a versal deformation ring. By a result of Faltings (see
[18, Prop. 7.1]), V has a universal deformation ring if EndkG (V ) = k.

Proposition 2.1. ([7, Prop. 2.1], [6, Rem. 2.1]) Suppose V is a finitely generated kG-module whose stable
endomorphism ring EndkG (V ) is isomorphic to k. Then V has a universal deformation ring R(G, V ).
Moreover, if R is in Cˆ and (M, φ) and (M ′ , φ′ ) are lifts of V over R such that M and M ′ are isomorphic
as RG-modules then [M, φ] = [M ′ , φ′ ].
In particular, this means that if the stable endomorphism ring of V is isomorphic to k, then we do not
ˆ as defined above, and so-called
need to distinguish between deformations [M, φ] of V over an object R in C,
weak deformations [M ] of V over R (i.e., isomorphism classes of RG-modules M with k ⊗R M ∼
= V , without
specifying a particular kG-module isomorphism φ : k ⊗R M → V ).
Moreover, we have the following result, where Ω denotes the syzygy functor (also called Heller operator,
see, for example, [1, §20]).
Lemma 2.2. [7, Cors. 2.5 and 2.8] Let V be a finitely generated kG-module with EndkG (V ) ∼
= k.
∼
(i) Then EndkG (Ω(V )) = k, and R(G, V ) and R(G, Ω(V )) are isomorphic.
(ii) There is a non-projective indecomposable kG-module V1 (unique up to isomorphism) such that
EndkG (V1 ) ∼
= k, V is isomorphic to V1 ⊕ Q for some projective kG-module Q, and R(G, V ) and
R(G, V1 ) are isomorphic.

One of our goals is to explicitly construct certain lifts. The following remark shows how to construct an
explicit lift of an arbitrary (co-)syzygy of a finitely generated kG-module V over W provided one knows an
explicit lift of V over W .
Remark 2.3. Let V be a finitely generated kG-module, and suppose we know an explicit lift VW of V over
W , with corresponding kG-module isomorphism φV : k ⊗W VW → V .
4

By [15, Props. (6.5) and (6.7)], a projective kG-module can always be lifted over W . Let π : P → V
(resp. ι : V → E) be a projective cover (resp. injective hull) of V as a kG-module. Since kG is self-injective,
it follows that E is a projective kG-module. Let PW (resp. EW ) be a lift of P (resp. E) over W , with
corresponding kG-module isomorphism φP : k ⊗W PW → P (resp. φE : k ⊗W EW → E). In particular, EW
is a projective W G-module.
Since PW is a projective W G-module, there exists a W G-module homomorphism πW : PW → VW such
that φV ◦ (k ⊗W πW ) ◦ φ−1
P = π. By Nakayama’s Lemma, it follows that πW is surjective. Since Ker(πW )
is a free W -module, it follows that Ker(πW ) is a lift of Ω(V ) = Ker(π) over W . We use the notation
ΩW G (VW ) = Ker(πW ).
We can use a similar argument as in the proof of [7, Prop. 2.4] to find an explicit lift of Ω−1 (V ) = Coker(ι).
Namely, we have a short exact sequence
(2.1)
Ext1W G (VW , mW EW )

0 → mW EW → EW → E → 0

and we have
= 0. This implies that there there exists a W G-module homomorphism
ιW : VW → EW such that φE ◦ (k ⊗W ιW ) ◦ φ−1
V = ι. Since ι is injective and since VW and EW are free
over W , it follows by Nakayama’s Lemma that ιW is also injective. Thus we have a commutative diagram
of W G-modules
/ Coker(ιW )
/0
/ VW ιW / EW
0

0


/V

ι


/ Ω−1 (V )


/E

/0

with exact rows, and Coker(ιW ) is a free W -module. Therefore, Coker(ιW ) is a lift of Ω−1 (V ) = Coker(ι)
−1
over W . We use the notation ΩW
G (VW ) = Coker(ιW ).
3. Endo-trivial modules
Assume the notation from the previous section. Suppose V is a finitely generated kG-module. We say
V is endo-trivial if its k-endomorphism ring Endk (V ) is, as a kG-module, stably isomorphic to the trivial
kG-module k. In other words, Endk (V ) is isomorphic to a direct sum of k and a projective kG-module.
Note that every endo-trivial kG-module satisfies EndkG (V ) ∼
= k. If G is a p-group then it follows from
[10] that the endo-trivial kG-modules coincide with the kG-modules V with EndkG (V ) ∼
= k. However, for
arbitrary finite groups, the set of isomorphism classes of kG-modules whose stable endomorphism rings are
isomorphic to k usually properly contains the isomorphism classes of endo-trivial kG-modules.
In this section, we prove Theorem 1.1. One of the main ingredients in the proof is that endo-trivial kGmodules have lifts over W . In the case when G is a p-group, this was proved by Alperin in [2] without any
additional assumptions on k. For arbitrary finite groups G, Alperin’s argument was generalized to arbitrary
finite groups in [26]. However, the proof assumed that k is algebraically closed and the fraction field F of
W is a splitting field of G (see [26, Sect. 2]). We first show how to use a simple base change argument to
drop these assumptions on k and W .
Lemma 3.1. Let k be an arbitrary field of positive characteristic p, and let W be a complete discrete
valuation ring of characteristic 0 that has k as its residue field. If V is an endo-trivial kG-module then V
can be lifted to an endo-trivial W G-module VW .
Proof. We first note that [26, Lemma 2.1] and [26, Prop. 2.4] are true for an arbitrary field k of characteristic
p. Moreover, if N is a W G-module that is free over W such that N/mW N is a projective kG-module, then
it follows, for example from [29, Sect. 14.2], that N is a projective W G-module without any additional
assumptions on k.
Write the order of G as pd m, where p does not divide m. Let n = dimk V and let ρ : G → GLn (k) be a
representation of V . By [26, Lemma 2.1], n is relatively prime to p.
Suppose first that k contains all (nm)-th roots of unity. Then the arguments in the proof of [26, Thm.
1.3] show that V can be lifted to an endo-trivial W G-module VW .
Suppose next that k is an arbitrary field of characteristic p. Let ζ be a primitive (nm)-th root of unity
in a fixed separable closure of k. Define k ′ = k(ζ) and W ′ = W [ζ]. Note that since nm is relatively prime
5

to p, W ′ is unramified over W . In particular, if ̟ is a uniformizer for W then ̟ is also a uniformizer for
W ′ . Let ρ′ : G → GLn (k ′ ) be the representation of G over k ′ obtained by composing ρ with the inclusion
GLn (k) ֒→ GLn (k ′ ). Define Gρ (resp. Gρ′ ) to be the image of ρ (resp. ρ′ ). Our goal is to lift Gρ to a subgroup
of GLn (W ), by knowing that we can lift Gρ′ to a subgroup of GLn (W ′ ). Let ℓ ≥ 1. Suppose we have lifted
Gρ to a subgroup Gρ,ℓ of GLn (W/̟ℓ W ) such that the injection GLn (W/̟ℓ W ) → GLn (W ′ /̟ℓ W ′ ) provides
a subgroup Gρ′ ,ℓ of GLn (W ′ /̟ℓ W ′ ) lifting Gρ′ . The obstruction to lifting Gρ,ℓ to GLn (W/̟ℓ+1 W ) is a
ℓ
class c in H2 (G, ̟̟ℓ+1WW ⊗k Ad(ρ)), where Ad(ρ) is the adjoint representation associated to ρ. On the other
hand, the obstruction to lifting Gρ′ ,ℓ to GLn (W ′ /̟ℓ+1 W ′ ) is the class c′ in
̟ℓ W ′
̟ℓ W
′
′
2
′ Ad(ρ )) = k ⊗k H (G,
⊗
⊗k Ad(ρ))
k
̟ℓ+1 W ′
̟ℓ+1 W
which is obtained from c by base changing from k to k ′ . (Note that we use here that W ′ is unramified
over W .) Since by the arguments in the proof of [26, Thm. 1.3], the class c′ vanishes, this means that
c must vanish as well, leading to a lift of Gρ to a subgroup Gρ,ℓ+1 of GLn (W/̟ℓ+1 W ) such that the
injection GLn (W/̟ℓ+1 W ) → GLn (W ′ /̟ℓ+1 W ′ ) provides a subgroup Gρ′ ,ℓ+1 of GLn (W ′ /̟ℓ+1 W ′ ) lifting

Gρ′ . Taking the limit as ℓ → ∞ of these lifts completes the proof of Lemma 3.1.
H2 (G,

Using Lemma 3.1 together with [4, Lemma 2.2.2], we can now prove Theorem 1.1.
Proof of Theorem 1.1. By Lemma 3.1, V can be lifted to an endo-trivial W G-module VW . Define M =
VW ⊗W W G. Then M is a W G-W G-bimodule, where the G-action on the left is diagonal and the G-action on
the right is on the W G-factor. Hence M is projective (in fact, free) both as a left and as a right W G-module.
Define N = HomW (M, W ). Then
M ⊗W G N ∼
= WG ⊕ P
N ⊗W G M ∼
= WG ⊕ Q

where P and Q are projective W G-W G-bimodules, and both of these isomorphisms are isomorphisms of
W G-W G-bimodules. In particular, M and N define a stable autoequivalence of Morita type of the W stable category W G-mod, which is the quotient category of the category W G-mod of finitely generated
W G-modules by the subcategory of relatively W -projective modules (see, e.g., [23] for more details). If
V0 = k is the trivial simple kG-module then
(k ⊗W M ) ⊗kG V0 ∼
= (k ⊗W VW ) ⊗k (kG ⊗kG V0 )
∼
= V.
= V ⊗k V0 ∼

Hence it follows by [4, Lemma 2.2.2] that R(G, V ) ∼
= R(G, V0 ). By [25, Sect. 1.4], R(G, V0 ) is isomorphic to
W Gab,p and the universal deformation of V0 is given by the isomorphism class of U (G, V0 ) = W Gab,p as an
R(G, V0 )G-module on which g ∈ G acts as multiplication by its image g ∈ Gab,p . The proof of [4, Lemma
2.2.2] shows that the isomorphism class of the universal deformation of V is given by the isomorphism class
of
(M ⊗W R(G, V0 )) ⊗R(G,V )G U (G, V0 ) ∼
= (VW ⊗W R(G, V0 )G) ⊗R(G,V )G U (G, V0 )
0

0

∼
= VW ⊗W U (G, V0 )
∼
= VW ⊗W W Gab,p

where g ∈ G acts diagonally as multiplication by g on VW and as multiplication by its image g on W Gab,p .
This proves parts (i) and (ii) of Theorem 1.1.
For part (iii) of Theorem 1.1, let V1 be a non-projective indecomposable direct summand of V . Then V1 is
unique up to isomorphism, and V is the direct sum of V1 and a projective kG-module. In particular, we have
R(G, V ) ∼
= R(G, V1 ). Since the k-dimension of V1 is not divisible by p, it follows by [15, Thm. (19.26)] that
the vertices of V1 are Sylow p-subgroups of G. Therefore, D must also be a Sylow p-subgroup. Since Gab,p
is a subquotient group of a Sylow p-subgroup of G, it follows that R(G, V ) is isomorphic to a subquotient
ring of W D.

We now turn to nilpotent blocks, and the proof of Corollary 1.2. The following remark recalls the most
important definitions and results for nilpotent blocks.
6

Remark 3.2. As in [27], we assume that k is algebraically closed. Let D be a finite p-group, let G be a
finite group and let B be a nilpotent block of kG that has D as a defect group. By [9], this means that
whenever (D1 , e1 ) is a B-Brauer pair then the quotient NG (D1 , e1 )/CG (D1 ) is a p-group. In other words,
for all subgroups D1 of D and for all block idempotents e1 of kCG (D1 ) associated with B, the quotient of
the stabilizer NG (D1 , e1 ) of e1 in NG (D1 ) by the centralizer CG (D1 ) is a p-group. In [27], Puig rephrased
this definition using the theory of local pointed groups.
Let B̂ be the block of W G corresponding to B. Then B̂ is also nilpotent, and by [27, §1.4], B̂ is Morita
equivalent to W D. In [28, Thm. 8.2], Puig showed that the converse is also true in a very strong way.
Namely, if B̂ ′ is another block over W such that there is a stable equivalence of Morita type between B̂ and
B̂ ′ , then B̂ ′ is also nilpotent. Hence Corollary 1.2 can be applied in particular if there is only known to be
a stable equivalence of Morita type between B̂ and W D.
Proof of Corollary 1.2. Let D be a defect group of B, so that B is a nilpotent block of kG. By Remark 3.2,
this means that the corresponding block B̂ of W G is also nilpotent and Morita equivalent to W D. Suppose V
is a finitely generated B-module, and V ′ is the kD-module corresponding to V under this Morita equivalence.
Then the stable endomorphism ring of V is isomorphic to k if and only if the stable endomorphism ring of
V ′ is isomorphic to k. Moreover, it follows for example from [3, Prop. 2.5] that R(G, V ) ∼
= R(D, V ′ ). By
ab,p
∼
Theorem 1.1 and [5, Thm. 1.1], this implies that R(G, V ) = W G
.

The second goal of this paper is to give an explicit description of the universal deformations of all endotrivial kG-modules V in the case when G is a p-group and the group of equivalence classes of endo-trivial
modules T (G) has a non-trivial torsion subgroup. By [14, Thm. 1.1], this means that either G is cyclic of
order at least 3, or p = 2 and G = D is a semidihedral or generalized quaternion 2-group. We first treat the
case of cyclic p-groups in the following example (the other cases will be done in Sections 4 - 6).
Example 3.3. Let G = hσi be a cyclic p-group of order pd ≥ 3. By [17, Cor. 8.8], the indecomposable
endo-trivial kG-modules are isomorphic to Ωn (k) for some positive integer n. Since Ω2 (k) ∼
= k, the only
indecomposable endo-trivial kG-modules are, up to isomorphism, given by the trivial simple kG-module
V0 = k and its first syzygy V1 = Ω(V0 ). Note that the stable Auslander-Reiten quiver of kG is a finite
one-tube with pd − 1 vertices and that V0 and V1 lie at the two ends of this one-tube.
By [25, Sect. 1.4], it follows that R(G, V0 ) is isomorphic to W G and the universal deformation of V0 is
given by the isomorphism class of U (G, V0 ) = W G which is viewed as an R(G, V0 )G-module on which σ acts
as multiplication by σ. On the other hand, if V1 = Ω(V0 ), we can use Remark 2.3 to construct a lift of V1
over W . More explicitly, a lift of V1 over W is given by the augmentation ideal U1 of W G. In particular,
U1 = W G(1 − σ). By Theorem 1.1, R(G, V1 ) ∼
= W G and the universal deformation of V1 is given by the
isomorphism class of
U (G, V1 ) = U1 ⊗W W G = W G(1 − σ) ⊗W W G
on which σ acts diagonally. In particular, a representation of U (G, V1 ) is given by
ρU(G,V1 ) :

G −→ GLpd −1 (W G)

0 0 ···
 σ 0 ···


..
..
.
.
σ 7→ 
 0
 . .
..
 ..
σ
0 ···
0

0
0
..
.
0
σ

−σ
−σ
..
.






.


−σ 
−σ

4. The semi-dihedral 2-groups and their endo-trivial modules
Fix an integer d ≥ 4, and let SD be a semidihedral group of order 2d with the following presentation
(4.1)

d−1

SD = hx, y | x2

d−2

= y 2 = 1, yxy −1 = x2
7

−1

i.

d−2

Then SD = hyx, yi where yx has order 4 and y has order 2. Define z = x2
central element of SD, which is also the unique involution of SD. Define

to be the unique non-trivial

SD = SDab,2 = hyx, yi = {1, x, y, yx}

(4.2)

where for g ∈ SD, g denotes its image in SD.
Let k be a field of characteristic 2 and let W be a complete discrete valuation ring of characteristic 0 that
has k as its residue field.
We first describe the endo-trivial kSD-modules using [12, Sect. 7].
Remark 4.1. Define
d−3

H = hx2

(4.3)

, yxi and E = hy, zi.

Then E is the only elementary abelian subgroup of rank 2 of SD up to conjugacy, and H represents the
unique conjugacy class of quaternion subgroups of order 8 of SD. Let T (SD) denote the group of equivalence
classes of endo-trivial kSD-modules. Consider the restriction map
∼ Z × Z/4.
ΞSD : T (SD) → T (E) × T (H) =
By the proof of [12, Thm. 7.1], ΞSD is injective and the image of ΞSD is generated by (ΩE , ΩH ) and
(−ΩE , ΩH ). Define
(4.4)

Y = k SD/hyi

and

L = rad(Y )

where SD/hyi denotes the set of distinct left cosets of hyi in SD and Y is the corresponding permutation
module for SD over k. It follows from [12, Sect. 7] that
(4.5)
ResSD L ∼
= Ω−1 (k) ⊕ (free).
= Ω1 (k) ⊕ (free) and ResSD L ∼
H

H

E

E

Hence T (SD) is isomorphic to Z ⊕ Z/2, and it is generated by [Ω1SD (k)] and [Ω1SD (L)]. Since [Ω1SD (L)] has
order 2, it follows that each element of T (SD) is of the form [ΩiSD (k)] or [ΩiSD (L)] for some i ∈ Z.

The following remark gives a different description of the kSD-module L in (4.4) to highlight the similarity
between the endo-trivial modules for the semidihedral 2-groups and the generalized quaternion 2-groups (see
Remark 6.1).
Remark 4.2. For all i ∈ Z, define bi ∈ L to be the element bi = xi hyi − xi−1 hyi. Then {b1 , . . . , b2d−1 −1 } is a
k-basis for L, and we have the relations
(4.6)

b2d−1 = −

2d−1
X−1

bj

and bi = bi+2d−1

for all i.

j=1

P2d−1 −1 j
Let X = hxi be the unique cyclic subgroup of SD of order 2d−1 , let TrX = j=0
x be the trace element
of X, and let S be the ring kX/(k · TrX ). For all i ∈ Z, define ci ∈ S to be the image of xi−1 in S. Then
{c1 , . . . , c2d−1 −1 } is a k-basis for S, and the ci satisfy the same relations as the bi in (4.6). Thus, there is a
kX-module isomorphism
f:

L → S,

f (bi ) = ci

for 1 ≤ i ≤ 2d−1 − 1.

Using the action of y on L, we can then use f to define a compatible action of y on S as follows:
i(2d−2 −1)

(4.7)

y · ci

X

=

cj .

j=(i−1)(2d−2 −1)+1

Let S = W X/(W · TrX ), and let σx denote the W -linear automorphism of S given by multiplication by
x. Finding a lift of L over W is then equivalent to constructing a W -linear automorphism σy of S such
that σx and σy satisfy the relations of x and y in D and such that σy reduces (modulo the maximal ideal
of W ) to the action of y on S given by (4.7). Let LW be the kernel of the W SD-module homomorphism
πW : W SD/hyi → W , defined by πW (xi hyi) = 1W for all 0 ≤ i ≤ 2d−1 − 1. Then LW defines a lift of L over
W , and we can lift the k-basis {b1 , . . . , b2d−1 −1 } of L to a corresponding W -basis {b̂1 , . . . , b̂2d−1 −1 } of LW
that satisfies the same relations as in (4.6). This means that we can also lift the k-basis {c1 , . . . , c2d−1 −1 }
8

of S to a corresponding W -basis {ĉ1 , . . . , ĉ2d−1 −1 } of S and define σy (ĉi ) =

that S defines a lift of the kSD-module S over W .

Pi(2d−2 −1)

ĉ
j=(i−1)(2d−2 −1)+1 j

to obtain

By Theorem 1.1, we know that the universal deformation ring of every endo-trivial kSD-module is isomorphic to W SD where SD is as in (4.2). The following result gives an explicit description of the universal
deformation of every endo-trivial kSD-module V . Since projective kSD-modules can always be lifted over
W (see, for example, [15, Props. (6.5) and (6.7)]), we can concentrate on the indecomposable endo-trivial
kSD-modules. Using Remark 4.1, the following result is a consequence of Theorem 1.1 and Remark 2.3.
Proposition 4.3. Let R = W SD. If V0 = k is the trivial simple kSD-module, let V0,W = W with trivial
SD-action. If V1 = L is as in (4.4), let V1,W = Ker(πW ) where πW : W SD/hyi → W is the W SD-module
homomorphism defined by πW (xa hyi) = 1W for all 0 ≤ a ≤ 2d−1 − 1.
Let i ∈ Z and j ∈ {0, 1}. Then ΩiW SD (Vj,W ), as defined in Remark 2.3, is a lift of ΩiSD (Vj ) over
W . Moreover, the universal deformation of ΩiSD (Vj ) is given by the isomorphism class of the R SD-module
U (SD, ΩiSD (Vj )) = ΩiW SD (Vj,W ) ⊗W R on which x (resp. y) acts diagonally as multiplication by x ⊗ x (resp.
y ⊗ y).
5. The quaternion group of order 8 and its endo-trivial modules
Suppose Q8 is a quaternion group of order 8 with the following presentation
(5.1)

Q8 = hx, y | x4 = 1, x2 = y 2 = (yx)2 i.

Then Q8 = hyx, yi where yx and y both have order 4. Define
(5.2)

Q8 = Q8ab,2 = hyx, yi = {1, x, y, yx}

where for g ∈ Q8 , g denotes its image in Q8 .
Let k be a field of characteristic 2 and let W be a complete discrete valuation ring of characteristic 0 that
has k as its residue field.
We first describe the endo-trivial kQ8 -modules using [12, Thm. 6.3].
Remark 5.1. Let T (Q8 ) denote the group of equivalence classes of endo-trivial kQ8 -modules.
(a) If k does not contain a primitive cube root of unity, then T (Q8 ) is a cyclic group of order 4 that is
generated by [Ω1Q8 (k)].
(b) If k contains a primitive cube root ω of unity, then T (Q8 ) is isomorphic to Z/4 ⊕ Z/2. More precisely,
let L be the 3-dimensional kQ8 -module with a representation ρL : Q8 → GL3 (k) given by




1 0 0
1 0 0
(5.3)
ρL (x) =  1 1 0  ,
ρL (y) =  ω 1 0  .
0 1 1
0 ω2 1

Then T (Q8 ) is generated by [Ω1Q8 (k)] and [Ω1Q8 (L)], and [Ω1Q8 (L)] has order 2. In particular, each
element of T (Q8 ) is of the form [ΩiQ8 (k)] or [ΩiQ8 (L)] for some i ∈ {0, 1, 2, 3}.

The description of L in Remark 5.1(b) shows that the restriction of L to the maximal cyclic subgroup
X = hxi of Q8 is isomorphic to S = kX/(k · TrX ), where TrX is the sum of the elements in X. Using this
isomorphism, we can then explicitly find the k-linear automorphism of S corresponding to the action of y on
L. This defines a kQ8 -module structure on S such that S is isomorphic to L as a kQ8 -module. As in Remark
4.2, this highlights the similarity between the endo-trivial modules for Q8 , when k contains a primitive cube
root of unity, and the generalized quaternion groups of higher 2-power order (see Remark 6.1).
By Theorem 1.1, we know that the universal deformation ring of every endo-trivial kQ8 -module is isomorphic to W Q8 where Q8 is as in (6.2). We now give an explicit description of the universal deformation
of every endo-trivial kQ8 -module V . As in Section 4, we can concentrate on the indecomposable endo-trivial
kQ8 -modules.
Proposition 5.2. Let R = W Q8 . If V0 = k is the trivial simple kQ8 -module, let V0,W = W with trivial
Q8 -action.
9

(i) If k contains a primitive cube root of unity ω, let ω̂ be a primitive cube root of unity in W , and let
V1 = L be as in (5.3). Then the representation ρL,W : Q8 → GL3 (W ) given by




1
0 0
1
0
0
(5.4)
ρL,W (x) =  1 −1 2  ,
ρL,W (y) =  −ω̂ −1 −2ω̂ 
0 −1 1
0 ω̂ 2
1

defines a W Q8 -module V1,W = LW that is a lift of L = V1 over W .
(ii) Let i ∈ {0, 1, 2, 3} and let j ∈ {0, 1} (resp. j = 0) if k contains (resp. does not contain) a primitive
cube root of unity ω. Then ΩiW Q8 (Vj,W ), as defined in Remark 2.3, is a lift of ΩiQ8 (Vj ) over W .
Moreover, the universal deformation of ΩiQ8 (Vj ) is given by the isomorphism class of the R Q8 -module
U (Q8 , ΩiQ8 (Vj )) = ΩiW Q8 (Vj,W ) ⊗W R on which x (resp. y) acts diagonally as multiplication by x ⊗ x
(resp. y ⊗ y).

Proof. Since the reduction modulo mW of the matrices given in (5.4) gives the matrices given in (5.3) and
since they satisfy the relations of x and y in Q8 , it follows that V1,W = LW defines a lift of L = V1 over W .
Part (ii) of Proposition 5.2 follows now from Theorem 1.1 and Remark 2.3.

6. The generalized quaternion 2-groups and their endo-trivial modules
Fix an integer d ≥ 4, and let GQ be a generalized quaternion group of order 2d with the following
presentation
d−1

d−2

GQ = hx, y | x2

(6.1)

= 1, x2

= y 2 , yxy −1 = x−1 i.
d−2

Then GQ = hyx, yi where yx and y both have order 4. Define z = x2
element of GQ, which is also the unique involution of GQ. Define

to be the unique non-trivial central

GQ = GQab,2 = hyx, yi = {1, x, y, yx}

(6.2)

where for g ∈ GQ, g denotes its image in GQ.
Let k be a field of characteristic 2 and let W be a complete discrete valuation ring of characteristic 0
that has k as its residue field. Let F2 be the prime subfield of k with two elements, and let Z2 be the 2-adic
integers such that Z2 ⊆ W .
The following remark summarizes the description of the endo-trivial kGQ-modules from [12, Sect. 6].
Remark 6.1. Let T (GQ) denote the group of equivalence classes of endo-trivial kGQ-modules. Then T (GQ)
is isomorphic to Z/4 ⊕ Z/2. More precisely, the group T (GQ) is constructed as follows.
P2d−1 −1 j
(a) Let X = hxi be the unique cyclic subgroup of GQ of order 2d−1 , let TrX = j=0
x be the trace
element of X, and let S be the ring kX/(k · TrX ). Let ∗ denote the involution of S that is induced
by inversion on X. In the proof of [12, Lemma 6.4] an element γ ∈ F2 X is found that satisfies
d−2

γ γ ∗ = x2

(6.3)

mod (F2 · TrX ) .

Moreover, it is shown that every element γ ∈ F2 X satisfying (6.3) defines a kGQ-module structure
on S = kX/(k · TrX ). Namely, the action of y on s ∈ S is given by y · s = γ s∗ . Since S ∼
= Ω1hxi (k) as
kX-module, this means that any such kGQ-module is an endo-trivial kGQ-module of k-dimension
2d−1 − 1.
∼ 1
(b) Let L be an endo-trivial kGQ-module of k-dimension 2d−1 − 1 such that ResGQ
hxi L = Ωhxi (k). There
are two conjugacy classes of quaternion subgroups of GQ of order 8, represented by
d−3

H = hyx, x2

(6.4)

Consider the restriction map

i

d−3

and H ′ = hy, x2

i.

ΞGQ : T (GQ) → T (H) × T (H ′ ) ∼
= Z/4 × Z/4.

(6.5)

By the proof of [12, Thm. 6.5], ΞGQ is injective and the image of ΞGQ is generated by (ΩH , ΩH ′ )
and (ΩH , −ΩH ′ ). Moreover, ΞGQ ([L]) = ±(ΩH , −ΩH ′ ). In other words, there exist ǫL ∈ {±1} such
that
GQ
ǫ
−ǫ
ResGQ L ∼
= Ω L (k) ⊕ (free) and Res ′ L ∼
= Ω ′ L (k) ⊕ (free).
H

H

H

10

H

Hence T (GQ) is generated by [Ω1GQ (k)] and [Ω1GQ (L)], and [Ω1GQ (L)] has order 2. In particular, each
element of T (GQ) is of the form [ΩiGQ (k)] or [ΩiGQ (L)] for some i ∈ {0, 1, 2, 3}.
By Theorem 1.1, we know that the universal deformation ring of every endo-trivial kGQ-module is isomorphic to W GQ where GQ is as in (6.2). We now give an explicit description of the universal deformation
of every endo-trivial kGQ-module V . As in Sections 4 and 5, we can concentrate on the indecomposable
endo-trivial kGQ-modules.
We first construct an explicit lift over W of any endo-trivial kGQ-module of k-dimension 2d−1 − 1 as
defined in Remark 6.1(a). The crucial step is to lift any element γ ∈ F2 X satisfying (6.3) to a corresponding
element β ∈ Z2 X. We need two propositions.
Proposition 6.2. For j ≥ 0, define pj ∈ Z[t] inductively by p0 = 2, p1 = t and the recurrence relation
(6.6)
Let τ =
(6.7)

P2d−2 −1
j=0

pj+1 = tpj − pj−1

for j ≥ 1.

pj and let a = 1 + 2d−4 t. Then the equation
b2 + tab + a2 = 1 − τ

has a solution b in Z2 [[t]]. Moreover, the discriminant ∆(t) of (6.7) is a polynomial in Z[t] such that
∆(t) = t2 ((1 − t)2 − 8) if d = 4, and if d ≥ 5 then ∆(t) = t2 (1 + 4 m(t)) for some polynomial m(t) ∈ Z[t]
whose constant coefficient is divisible by 2.
Proof. Consider the recurrence relation for pj in (6.6). The associated quadratic equation
Y 2 − tY + 1 = 0

(6.8)

in the variable Y has two solutions y1 , y2 which are integral units over the ring Z2 [[t]]. Note that y10 + y20 =
2 = p0 and y11 + y21 = t = p1 . Since y1 and y2 are roots of (6.8), it follows that the recurrence relation (6.6)
holds for y1j + y2j , which implies that
pj = y1j + y2j

(6.9)

for all j ≥ 0. Using that (1 − y1 )(1 − y2 ) = 2 − t and that y1 , y2 satisfy (6.8), we rewrite τ as
τ

=

2d−2
X−1
j=0

=

d−2

d−2

−1
− 1 y22
y12
+
y1 − 1
y2 − 1

P d−3

2
2d−3
(ty1 )a (−1)a + (y1 − 1)
a=1
a

(y1j + y2j ) =

(y2 − 1)

P d−3
2
a=1

2d−3
a



(ty2 )a (−1)a

2−t
t g(t)
=
2−t
for some g(t) ∈ Z2 [[t]]. Since τ ∈ Z2 [[t]] and Z2 [[t]] is a unique factorization domain, there exists h(t) ∈ Z2 [[t]]
such that g(t) = (2 − t) h(t). Let A = Z2 [[t]][y1 , y2 ]. Using that y1 , y2 satisfy (6.8), we have t2 y12 ≡ −t2
mod t3 A and t2 y22 ≡ −t2 mod t3 A. Hence we obtain the congruence relation
!
!
2  d−3 
2  d−3 
X
X
2
2
(ty2 )a (−1)a
t(2 − t)h(t) ≡ (y2 − 1)
(ty1 )a (−1)a + (y1 − 1)
a
a
a=1
a=1

 d−3  

 d−3  
2
2
d−3
2
d−3
≡ (y2 − 1) 2 (−ty1 ) −
t + (y1 − 1) 2 (−ty2 ) −
t2
2
2
 d−3 
d−3
2 2
(−(y2 − 1) − (y1 − 1))
≡ t2
((y2 − 1)(−y1 ) + (y1 − 1)(−y2 )) + t
2
 d−3 
2
(2 − t)
≡ t 2d−3 (−2 + t) + t2
2

 d−3 
2
≡ t (2 − t) −2d−3 + t
mod t3 A.
2
11

This implies
(6.10)


 d−3 
2
d−3
τ ≡ t −2
+t
2

mod t3 Z2 [[t]] .

Setting a = 1 + 2d−4 t in the quadratic equation (6.7) gives the discriminant
(6.11)

∆(t)

= t2 (1 + 2d−4 t)2 − 4((1 + 2d−4 t)2 − (1 − τ ))

= t2 (1 + 2d−4 t)2 − 4(22d−8 t2 + 2d−3 t + τ )

which is a polynomial in Z[t], since pj , j ≥ 0, and hence also τ , are polynomials in Z[t].
If d ≥ 5 then we obtain from (6.10) the congruence relation


 d−3 
2
∆(t) ≡ t2 − 4 2d−3 t + 22d−8 t2 + t −2d−3 + t
2

d−3
2d−8
d−4
2
2
−1
mod 4t3 Z2 [[t]] .
+2
≡ t 1−4 2
P3
If d = 4 then τ = j=0 pj = t3 + t2 − 2t and
∆(t)

=

=
=

t2 (1 + 2t + t2 ) − 4(t2 + 2t + t3 + t2 − 2t)
t2 ((1 − t)2 − 8)

2
2
t (1 − t) 1 −

8
(1 − t)2



in Z2 [[t]] .

In other words, for all d ≥ 4, there exists a polynomial f (t) ∈ Z2 [t] and a power series m(t) in the maximal
ideal (2, t) Z2 [[t]] such that
∆(t) = f (t)2 (1 + 4 m(t)) .

(6.12)

Note that if d ≥ 5 then m(t) is actually a polynomial in Z[t] whose constant coefficient is divisible by 2.
Using the binomial series

∞ 
X
1/2 j
1/2
(6.13)
(1 + T )
=1+
T
j
j=1
 j
for T = 4 m(t) and noticing that 1/2
j 4 is an element in 2 Z2 for all j ≥ 1, it follows that there exists a
power series δ(t) ∈ Z2 [[t]] satisfying
(1 + 2 δ(t))2 = 1 + 4 m(t) .
Hence, if d ≥ 5 then
(6.14)

b = −2d−5 t2 + t δ(t)

(resp. b = −t − 2d−5 t2 − t δ(t))

and if d = 4 then
(6.15)

b = −t2 + t(1 − t) δ(t)

(resp. b = −t − t(1 − t) δ(t))

are power series in Z2 [[t]] satisfying (6.7).



P2d−1 −1 j
Proposition 6.3. Let X = hxi, let TrX = j=0
x , and let S2 = Z2 X/(Z2 · TrX ). Let ∗ denote the
involution of S2 that is induced by inversion on X, and let S2+ be the subring of S2 that is invariant under
∗.
The map
(6.16)

π:

Z2 [[t]] → S2+

given by

π(t) = x + x−1

defines a surjective Z2 -algebra homomorphism. The kernel of π is the ideal of Z2 [[t]] generated by the
distinguished polynomial Φ(t) ∈ Z[t] that is the product of the irreducible monic polynomials qj (t) in Z[t] of
the numbers ζ2j + ζ2−1
when ζ2j is a root of unity of order 2j and j = 1, . . . , d − 1.
j
If τ, a ∈ Z[t] and b ∈ Z2 [[t]] are as in Proposition 6.2 then β = π(a) + x π(b) satisfies
(6.17)

d−2

ββ ∗ = x2
12

in S2 . Moreover, finding π(b) explicitly as an element of S2+ is equivalent to finding an explicit square root
of π(∆(t)) inside S2+ ⊂ S2 , where ∆(t) is the discriminant of (6.7). The latter is equivalent to taking square
roots of explicitly given elements inside the image of S2 under the injective Z2 -algebra homomorphism
S2 → Q 2 ⊗ Z 2 S2 =

ιS2 :

(6.18)

which sends x in S2 to the tuple (ζ2j )d−1
j=1 .

d−1
Y

Q2 (ζ2j )

j=1

Proof. Let J = h∗i be the group of order two generated by the involution ∗. Then J acts on Z2 X and we
have an exact sequence of J-modules
0 → Z2 · TrX → Z2 X → S2 → 0

in which J acts trivially on Z2 · TrX . Taking J-cohomology and using that H1 (J, Z2 · TrX ) = 0 since J acts
trivially on Z2 · TrX ∼
= Z2 and Z2 is torsion free, we obtain that (Z2 X)J → S2J = S2+ is surjective. Note that
J
(Z2 X) is a free Z2 -module generated by
d−2

2
{xj + x−j }j=1

−1

d−2

∪ {1, x2

}.

Let π : Z2 [t] → S2+ be the Z2 -algebra homomorphism given by π(t) = x + x−1 . The recurrence relation (6.6)
gives immediately that π(pj ) = xj + x−j for all j ≥ 0. Moreover, the definition of τ in Proposition 6.2 shows
that
d−2

π(1 − τ ) = x2

(6.19)

in S2+ . Define Φ(t) ∈ Z[t] to be the product of the irreducible monic polynomials qj (t) over Z of the numbers
ζ2j + ζ2−1
when ζ2j is a root of unity of order 2j and j = 1, . . . , d − 1. Since S2 can be identified with the
j
image of the injective Z2 -algebra homomorphism ιS2 from (6.18), it follows that π(Φ(t)) = 0. Using that
q1 (t) = t + 2, q2 (t) = t and qj+1 (t) = qj (t2 − 2) if j ≥ 2, we see that Φ(t) is a distinguished polynomial of
degree 2d−2 . This implies that π induces a well-defined surjective Z2 -algebra homomorphism π : Z2 [[t]] → S2+
such that the kernel of π contains the ideal of Z2 [[t]] generated by Φ(t). Since Z2 [[t]]/(Φ(t)) is a free Z2 module of rank 2d−2 and the rank of Q2 ⊗Z2 S2+ is also 2d−2 , it follows that Φ(t) generates the kernel of
π.
Letting a = 1 + 2d−4 t, it follows from Proposition 6.2 that the equation
b2 + tab + a2 = 1 − τ

has a solution b in Z2 [[t]]. Applying the homomorphism π from (6.16) to a and b we obtain an element
β = π(a) + x π(b)
∗

−1

in S2 . Since β = π(a) + x

π(b), we have
ββ ∗

=

π(a)2 + π(a)π(b)(x + x−1 ) + π(b)2

=

π(b2 + tab + a2 ) .

Using (6.19), it follows that β is an element of S2 satisfying the relation (6.17).
For the last statement of Proposition 6.3, we use the injective Z2 -algebra homomorphism ιS2 from (6.18).
By Proposition 6.2, ∆(t) = t2 ((1 − t)2 − 8) if d = 4, and if d ≥ 5 then ∆(t) = t2 (1 + 4 m(t)) for some
polynomial m(t) ∈ Z[t] whose constant coefficient is divisible by 2.
If d = 4 then the inverse of π(1 − t) = 1 − x − x−1 in S2 is given by
1
u1 = (−1 − 2x − x2 + x3 + 2x4 + x5 − x6 − 2x7 ) .
3
This means that

for d = 4.
π(∆(t)) = (x + x−1 )2 (1 − x − x−1 )2 1 − 8 u21
Therefore, for all d ≥ 4,
π(∆(t)) = s2 (1 + 4r)
for explicitly given elements r, s ∈ S2 , where r is in the Jacobson radical of√S2 . Let (1 + 4r)j be the image
of 1 + 4r in Q2 (ζ2j ) under the injection ιS2 in (6.18). Then we can take 1 + 4r ∈ S2 to be the unique
13

element whose component in Q2 (ζ2j ) is the square root of (1 + 4r)j which is congruent to 1 modulo 2 mj
when mj = Z2 [ζ2j ](1 − ζ2j ) is the maximal ideal of the ring of integers Z2 [ζ2j ].

Proposition 6.4. Let R = W GQ. Let β ∈ S2 be as in Proposition 6.3, let γ be the reduction of β modulo 2,
and let L = kX/(k · TrX ) be the corresponding kGQ-module as in Remark 6.1(a). Then L is an endo-trivial
kGQ-module as in Remark 6.1(b).
If V0 = k is the trivial simple kGQ-module, let V0,W = W with trivial GQ-action. If V1 = L, let
V1,W = W X/(W · TrX ) be the W GQ-module on which y acts as
y · v1 = β v1∗

(6.20)

for all v1 ∈ V1,W .

Let i ∈ {0, 1, 2, 3} and let j ∈ {0, 1}. Then ΩiW GQ (Vj,W ), as defined in Remark 2.3, is a lift of ΩiGQ (Vj ) over
W . Moreover, the universal deformation of ΩiGQ (Vj ) is given by the isomorphism class of the RGQ-module
U (GQ, ΩiGQ (Vj )) = ΩiW GQ (Vj,W ) ⊗W R on which x (resp. y) acts diagonally as multiplication by x ⊗ x (resp.
y ⊗ y).
Proof. The first statement follows from Remark 6.1 and Proposition 6.3. To check that (6.20) defines a
W GQ-module structure on V1,W , we follow the corresponding argument in the proof of [12, Lemma 6.4].
The remaining statements of Proposition 6.4 now follow from Theorem 1.1 and Remark 2.3.

7. Location of the endo-trivial modules in the stable Auslander-Reiten quiver of kD
Let k be a field of characteristic 2, and let D be either SD or GQ. In this section, we determine the
location of the isomorphism classes of all indecomposable endo-trivial kD-modules in the stable AuslanderReiten quiver of kD. To do so, we first use a slight variation of results in [8] and [16] to obtain an explicit
isomorphism between kD and a k-algebra ΛD of the form kha, bi/ID such that the socle scalars match the
descriptions in [19, Thm. III.1 and Sect. III.13]. Then we identify the ΛD -modules that correspond to
indecomposable endo-trivial kD-modules. In particular, this provides a different approach to describing the
indecomposable endo-trivial kD-modules, using quivers and relations.
7.1. Location of the endo-trivial modules in the stable Auslander-Reiten quiver of kSD. Let
d ≥ 4 be a fixed integer, and let SD be the semidihedral group of order 2d given by (4.1). In [8, Sect.
3], Bondarenko and Drozd stated an explicit isomorphism between kSD/soc(kSD) and a certain quotient
algebra of kha, bi. The next lemma is a slight variation of their result to obtain an explicit isomorphism
for kSD itself. In particular, we obtain precise socle scalars. We provide a proof for the convenience of the
reader.
Lemma 7.1.1. Let ΛSD = kha, bi/ISD , where


d−2
d−2
d−2
d−2
d−2
(7.1)
ISD = (ab)2
− (ba)2 , a2 − b(ab)2 −1 − (ab)2 , b2 , (ab)2 a .

Define the following elements in the radical of kSD:
−1

(7.2)

ra

= (z + yx) + (x + x

(7.3)

rb

= 1+y.

)+

2d−4
X−1 
i=1


x4i+1 + x−(4i+1) (1 + zy) ,

Then the map
(7.4)

fSD : ΛSD → kSD

defined by fSD (a) = ra , fSD (b) = rb

induces a k-algebra isomorphism between ΛSD and kSD.
Proof. Define
u=z+

2d−2
X−1
i=0
14

x2i .

The elements ra and (u rb ) are the same elements that were given in [8, Sect. 3] to provide an explicit
isomorphism between


d−2
(7.5)
ΛSD = ΛSD /soc(ΛSD ) ∼
= kha, bi/ a2 − b(ab)2 −1 , a3 , b2

and kSD/soc(kSD). Note that u lies in the center of kSD and u2 = 1. Since in all the relations for ΛSD
(and ΛSD ), b occurs an even number of times, the factor u does not play a role. Since
d−2

(z + yx) + (x + x−1 ) = (1 + yx) + x−1 (1 + x)2 + (1 + x)2
and since, for i ≥ 1,



2
x4i+1 + x−(4i+1) (1 + zy) = x−(4i+1) 1 + x4i+1 (1 + zy)

lies in rad3 (kSD), we obtain
(7.6)

ra

(1 + yx) + (x + x−1 ) mod rad3 (kSD)

≡

1 + yx mod rad2 (kSD)

≡

A straightforward calculation shows that
ra2

=

2d−2
X−1

x2i (1 + y).

i=0

d−1

Using (7.6) and rad2
(7.7)
We have

+1

(kSD) = 0, it follows that

2d−2 −1
d−2
rb (ra rb )2 −1 = (1 + y) (1 + yx + x + x−1 )(1 + y)
.
(1 + y)(1 + yx + x + x−1 )(1 + y) = (x−1 + xz)(1 + y),

and hence, inductively, for all i ≥ 1,

i
(7.8)
(1 + y) (1 + yx + x + x−1 )(1 + y) = (x−1 + xz)i (1 + y).

d−2
Notice that for all 0 ≤ i ≤ 2d−2 − 1, the binomial coefficient 2 i −1 is an odd integer. Hence,
−1

(x

2d−2 −1

+ xz)

2

2d−2 −1

= xz (1 + x z)

=

2d−2
X−1

x2i+1 .

i=0

Therefore, we obtain
2d−2 −1

rb (ra rb )

=

2d−2
X−1

x2i+1 (1 + y).

i=0

A straightforward calculation now shows that
2d−2

(ra rb )

=

2d−1
X−1

d−2

xi (1 + y) = (rb ra )2

,

i=0

d−2

d−2

d−2

and hence ra2 = rb (ra rb )2 −1 + (ra rb )2 . Since rb2 = 0 = (ra rb )2 ra , the map fSD from (7.4) defines a
k-algebra homomorphism. Since ΛSD and kSD are Artinian local k-algebras with residue field k and since
the images of ra and rb generate rad(kSD)/rad2 (kSD) by (7.3) and (7.6), we see that fSD is surjective. Since
the k-dimensions of ΛSD and kSD are both 2d , it follows that fSD is a k-algebra isomorphism.

The following lemma realizes the kSD-modules Y and L from Remark 4.1 as ΛSD -modules. Since all
indecomposable endo-trivial kSD-modules are in the Ω-orbit of either L or of the trivial simple kSD-module
k, this provides descriptions of all ΛSD -modules corresponding to indecomposable endo-trivial kSD-modules.
15

Lemma 7.1.2. Write Λ = ΛSD , and let fSD : Λ → kSD be the k-algebra isomorphism from Lemma 7.1.1.
Define the following Λ-modules:
(7.9)

YΛ = Λb and La = Λab.
2 ∼
∼
∼
Then YΛ = Λ/Λb and La = Λa/Λa = Λ/Λa. Moreover, YΛ and La are uniserial Λ-modules of length 2d−1
and 2d−1 − 1, respectively. If Y and L are the kSD-modules from (4.4), then Y corresponds under fSD to
YΛ and L corresponds to La .
Proof. We first prove the statements about the Λ-modules YΛ and La . Because b2 = 0, it follows that Λb is a
uniserial Λ-module and that rad(Λb) = Λab. In other words, La = rad(YΛ ), and hence La is also a uniserial
Λ-module. Considering the surjective Λ-module homomorphism Λ → Λb, which sends 1 in Λ to b, we see
that Λb lies in the kernel. Comparing k-dimensions, it follows that Λ/Λb ∼
= Λb. Therefore,
La ∼
= rad(Λ/Λb) = rad(Λ)/Λb = (Λa + Λb)/Λb ∼
= Λa/ (Λa ∩ Λb) = Λa/Λa2 .

Considering the surjective Λ-module homomorphism Λ → Λab, which sends 1 in Λ to ab, we see that Λa lies
in the kernel since a2 b = 0 in Λ. Comparing k-dimensions, it follows that Λ/Λa ∼
= Λab.
To realize the kSD-modules Y and L as Λ-modules, we use that
Y = k SD/hyi ∼
= kSD(1 + y)
and that there is a short exact sequence of kSD-modules
0 → kSD(1 + y) → kSD → k SD/hyi → 0 .

Since fSD (b) = 1+y by Lemma 7.1.1, this implies that Y corresponds under fSD to the Λ-module Λ/Λb ∼
= Λb,

i.e. to YΛ . Since L = rad(Y ), this implies that L corresponds to La .
To identify the components of the stable Auslander-Reiten quiver of kSD to which the indecomposable
endo-trivial kSD-modules belong, we use that the stable Auslander-Reiten quiver of ΛSD is the same as the
Auslander-Reiten quiver of ΛSD = ΛSD /soc(ΛSD ) in (7.5). Using the results from [19, Sects. II.9.5 and II.10]
together with Lemma 7.1.2, we obtain the following result.
Lemma 7.1.3. Let Θ be the component of the stable Auslander-Reiten quiver of kSD containing [Ω1SD (k)].
Then Θ is a non-periodic component of type ZD∞ such that [L] belongs to Θ. Moreover, both [Ω−1
SD (k)] and
[L] each have exactly one predecessor in Θ, given in both cases by [rad(kSD)/soc(kSD)]. In other words,
all isomorphism classes of indecomposable endo-trivial kSD-modules lie in the two components Θ and Ω(Θ),
and they lie in four Ω2 -orbits of vertices at the ends of these components.
7.2. Location of the endo-trivial modules in the stable Auslander-Reiten quiver of kGQ. Let
d ≥ 3 be a fixed integer. Let GQ be the quaternion group of order 8 given by (5.1) when d = 3, and let
GQ be the generalized quaternion group of order 2d given by (6.1) when d ≥ 4. In [16, Sect. 1], Dade gave
an explicit isomorphism between kGQ and a certain quotient algebra of kha, bi, which in particular provides
precise socle scalars. Note that if d = 3 then Dade needed to assume that k contains a primitive cube root of
unity for his isomorphism to work. Using Dade’s explicit isomorphisms together with ideas from [19, III.10],
we obtain the following lemma, which provides precise socle scalars that match the descriptions in [19, Thm.
III.1 and Sect. III.13].
Lemma 7.2.1. Let ΛGQ = kha, bi/IGQ , where

d−2
d−2
d−2
d−2
(7.10)
IGQ =
(ab)2
− (ba)2 , a2 − b(ab)2 −1 − δ (ab)2 ,

d−2
d−2
d−2
b2 − a(ba)2 −1 − δ (ab)2 , (ab)2 a
and

0 if d = 3
δ =
.
1 if d ≥ 4

If d = 3, assume k contains a primitive cube root of unity ω, and define the following elements in the radical
of kGQ:
(7.11)

ra

=

(1 + x) + ω (1 + yx) + ω 2 (1 + y),

(7.12)

rb

=

(1 + x) + ω 2 (1 + yx) + ω (1 + y).
16

If d ≥ 4, define the following elements in the radical of kGQ:
(7.13)

r

=

d−1

(yx + y)2

−3

+

d−3
X

d−2

(yx + y)2

−2i

,

i=1

(7.14)
(7.15)

ra

=

rb

=

(1 + yx + r) + [(1 + yx + r)(1 + y + r)]
(1 + y + r) + [(1 + yx + r)(1 + y + r)]

2d−2 −1

2d−2 −1

,
.

Then the map
(7.16)

fGQ : ΛGQ → kGQ

defined by fGQ (a) = ra , fGQ (b) = rb

induces a k-algebra isomorphism between ΛGQ and kGQ.
The following lemma realizes the kGQ-modules in the Ω-orbit of L from Remarks 5.1(b) and 6.1 as
ΛGQ -modules. Since all indecomposable endo-trivial kGQ-modules are in the Ω-orbit of either L or of the
trivial simple kGQ-module k, this provides descriptions of all ΛGQ -modules corresponding to indecomposable
endo-trivial kGQ-modules.
Lemma 7.2.2. Write Λ = ΛGQ , and let fGQ : Λ → kGQ be the k-algebra isomorphism from Lemma
7.2.1, where we assume that k contains a primitive cube root of unity ω when d = 3. Define the following
Λ-modules:
(7.17)

La = Λab

and

Lb = Λba.

∼ Λ/Λb and they are both uniserial Λ-modules of length 2d−1 − 1 whose stable
Then La ∼
= Λ/Λa and Lb =
endomorphism rings are isomorphic to k. The Ω-orbit of La is as follows:
∼ Λa ∼
(7.18)
Ω1Λ (La ) =
= Λ/Λba; Ω2Λ (La ) ∼
= Lb ; Ω3Λ (La ) ∼
= Λb ∼
= Λ/Λab; Ω4Λ (La ) ∼
= La .
Moreover, La and Lb lie at the end of a 2-tube in the stable Auslander-Reiten quiver of Λ. The endo-trivial
kGQ-module L from Remarks 5.1(b) and 6.1 corresponds under fGQ to either La or Lb , and the Ω-orbit of
L corresponds to the Ω-orbit of La .
Proof. We first prove the statements about the Λ-modules La and Lb . Because of the symmetry of the
relations in Λ = ΛGQ in a and b, it suffices to consider La = Λab. Since a2 b = 0 in Λ, it follows that Λab is a
uniserial Λ-module of length 2d−1 − 1. Considering the surjective Λ-module homomorphism Λ → Λab, which
sends 1 in Λ to ab, we see that Λa lies in the kernel. Comparing k-dimensions, it follows that Λ/Λa ∼
= Λab.
On the other hand, considering the surjective Λ-module homomorphism Λ → Λa, which sends 1 in Λ to a,
we see that Λba lies in the kernel since ba2 = 0 in Λ. Comparing k-dimensions, it follows that Λ/Λba ∼
= Λa.
This proves in particular (7.18).
Because of the Λ-module structure of La = Λab, we see that its endomorphism ring EndΛ (La ) has kdimension 2d−2 , with a k-basis given by the endomorphisms ga,i : La → La , with ga,i (ab) = (ab)i , for
1 ≤ i ≤ 2d−2 . Since ga,1 is the identity map and ga,i factors through Λ for 2 ≤ i ≤ 2d−2 , it follows that the
stable endomorphism ring EndΛ (La ) is isomorphic to k.
By (7.18), La and Lb lie in a 2-tube of the stable Auslander-Reiten quiver of Λ. Note that
Ext1 (La , Lb ) ∼
= Hom (Λa, Λba) ∼
= k.
= Hom (Ω1 (La ), Lb ) ∼
Λ

Λ

Λ

Λ

This can be seen by noticing that a k-basis of HomΛ (Λa, Λba) is given by the homomorphisms gab,i : Λa →
d−2
Λba, with gab,i (a) = a(ba)i , for 1 ≤ i ≤ 2d−2 − 1, together with gab,0 : Λa → Λba, with gab,0 (a) = (ba)2 .
d−2
Since gab,0 does not factor through a projective Λ-module and gab,i factors through Λ for 1 ≤ i ≤ 2
− 1, it
follows that Ext1Λ (La , Lb ) ∼
k.
One
non-zero
extension
of
L
by
L
is
given
by
the
indecomposable
Λ-module
=
a
b

2
Λ/(Λba + Λa ) ⊕ (Λ/Λb)
Mab =
.
k (a + (Λba + Λa2 ), (ba)2d−2 −1 + Λb)
Therefore, there must exist an almost split sequence of the form
0 → Lb → Mab → La → 0.

Since Mab is indecomposable, it follows that La and Lb lie at the end of a 2-tube.
17

To realize the endo-trivial kGQ-module L as a Λ-module, we use (7.18) and that we know the k-dimensions
of the indecomposable endo-trivial kGQ-modules by Remarks 5.1(b) and 6.1. Namely, the k-dimensions of
the kGQ-modules in the Ω-orbit of the trivial kGQ-module k are
dimk (k) = 1;

dimk Ω1GQ (k) = 2d − 1;

dimk Ω2GQ (k) = 2d + 1;

dimk Ω3GQ (k) = 2d − 1.

On the other hand, the k-dimensions of the Λ-modules in the Ω-orbit of La are by (7.18)
dimk (La ) = 2d−1 − 1 = dimk Ω2Λ (La );

dimk Ω1Λ (La ) = 2d−1 + 1 = dimk Ω3Λ (La ).

Therefore, L corresponds under fGQ to either La and Lb , and hence the Ω-orbit of L corresponds to the
Ω-orbit of La .

Finally, we identify the components of the stable Auslander-Reiten quiver of kGQ to which the indecomposable endo-trivial kGQ-modules belong. Using Remark 5.1(a), [19, Lemma IV.1.10] and Lemma 7.2.2, we
obtain the following result.
Lemma 7.2.3. If d = 3 and k does not contain a primitive cube root of unity, then the 4 isomorphism
classes of indecomposable endo-trivial kGQ-modules lie at the ends of two 2-tubes of the stable AuslanderReiten quiver of kGQ, given by
{[k], [Ω2GQ (k)]};

1
{[Ω−1
GQ (k)], [ΩGQ (k)]}.

Otherwise, there are 8 isomorphism classes of indecomposable endo-trivial kGQ-modules, and they lie at
the ends of four 2-tubes of the stable Auslander-Reiten quiver of kGQ, given by
{[k], [Ω2GQ (k)]};

−1
{[ΩGQ
(k)], [Ω1GQ (k)]};

{[L], [Ω2GQ (L)]};

1
{[Ω−1
GQ (L)], [ΩGQ (L)]}.

References
[1] J. L. Alperin, Local representation theory. Modular representations as an introduction to the local representation theory
of finite groups. Cambridge Studies in Advanced Mathematics, vol. 11, Cambridge University Press, Cambridge, 1986.
[2] J. L. Alperin, Lifting endo-trivial modules. J. Group Theory 4 (2001), 1–2.
[3] F. M. Bleher, Universal deformation rings and Klein four defect groups. Trans. Amer. Math. Soc. 354 (2002), 3893–3906.
[4] F. M. Bleher, Universal deformation rings and dihedral defect groups. Trans. Amer. Math. Soc. 361 (2009), 3661–3705.
[5] F. M. Bleher, Universal deformation rings for dihedral 2-groups. J. London Math Soc. 79, (2009), 225–237.
[6] F. M. Bleher, Universal deformation rings and generalized quaternion defect groups. Adv. Math. 225 (2010), 1499–1522.
[7] F. M. Bleher and T. Chinburg, Universal deformation rings and cyclic blocks. Math. Ann. 318 (2000), 805–836.
[8] V. M. Bondarenko and Y. A. Drozd, The representation type of finite groups. Zap. Naučn. Sem. LOMI 71 (1977), 24–41,
translation in J. Soviet Math. 20 (1982) 2515–2528.
[9] M. Broué and L. Puig, A Frobenius theorem for blocks. Invent. Math. 56 (1980), 117–128.
[10] J. F. Carlson, A characterization of endotrivial modules over p-groups. Manuscripta Math. 97 (1998), 303–307.
[11] J. F. Carlson, N. Mazza and D. K. Nakano, Endotrivial modules for finite groups of Lie type A in nondefining characteristic.
Math. Z. 282 (2016), no. 1-2, 1–24.
[12] J. F. Carlson and J. Thévenaz, Torsion endo-trivial modules. Algebr. Represent. Theory 3 (2000), 303–335.
[13] J. F. Carlson and J. Thévenaz, The classification of endo-trivial modules. Invent. Math. 158 (2004), 389–411.
[14] J. F. Carlson and J. Thévenaz, The classification of torsion endo-trivial modules. Ann. of Math. (2) 162 (2005), 823–883.
[15] C. W. Curtis and I. Reiner, Methods of representation theory. Vol. I. With applications to finite groups and orders. John
Wiley & Sons, Inc., New York, 1981.
[16] E. Dade, Une extension de la théorie de Hall et Higman. J. Algebra 20 (1972), 570–609.
[17] E. Dade, Endo-permutation modules over p-groups. I; II. Ann. of Math. 107 (1978), 459–494; 108 (1978), 317–346.
[18] B. de Smit and H. W. Lenstra, Explicit construction of universal deformation rings. In: Modular Forms and Fermat’s Last
Theorem (Boston, MA, 1995), Springer-Verlag, Berlin-Heidelberg-New York, 1997, pp. 313–326.
[19] K. Erdmann, Blocks of Tame Representation Type and Related Algebras. Lecture Notes in Mathematics, vol. 1428,
Springer-Verlag, Berlin-Heidelberg-New York, 1990.
[20] J. A. Green, A lifting theorem for modular representations. Proc. Roy. Soc. London. Ser. A 252 (1959), 135–142.
[21] M. Linckelmann, A derived equivalence for blocks with dihedral defect groups. J. Algebra 164 (1994), 244–255.
[22] M. Linckelmann, The source algebras of blocks with a Klein four defect group. J. Algebra 167 (1994), 821–854.
[23] M. Linckelmann, Stable equivalences of Morita type for self-injective algebras and p-groups. Math. Z. 223 (1996), 87–100.
[24] M. Linckelmann, On stable equivalences of Morita type. Derived equivalences for group rings, 221–232, Lecture Notes in
Math., 1685, Springer, Berlin, 1998.
[25] B. Mazur, Deforming Galois representations. In: Galois groups over Q (Berkeley, CA, 1987), Springer-Verlag, BerlinHeidelberg-New York, 1989, pp. 385–437.
[26] C. Lassueur, G. Malle and E. Schulte, Simple endotrivial modules for quasi-simple groups. J. reine angew. Math. 712
(2016), 141–174.
18

[27] L. Puig, Nilpotent blocks and their source algebras. Invent. Math. 93 (1988), 77–116.
[28] L. Puig, On the local structure of Morita and Rickard equivalences between Brauer blocks. Progress in Mathematics, 178.
Birkhäuser Verlag, Basel, 1999.
[29] J. P. Serre, Linear representations of finite groups. Graduate Texts in Mathematics, vol. 42, Springer-Verlag, BerlinHeidelberg-New York, 1977.
[30] R. C. Soto, Universal deformation rings and semidihedral 2-groups. Dissertation, University of Iowa, 2015.
[31] J. Thévenaz, G-algebras and modular representation theory. Oxford University Press, Oxford, 1995.
F.B.: Department of Mathematics, University of Iowa, 14 MacLean Hall, Iowa City, IA 52242-1419, U.S.A.
E-mail address: frauke-bleher@uiowa.edu
T.C.: Department of Mathematics, University of Pennsylvania, Philadelphia, PA 19104, U.S.A.
E-mail address: ted@math.upenn.edu
R.S.: Department of Mathematics, College of Natural Sciences & Mathematics, California State University,
Fullerton, Fullerton, CA 92834-6850, U.S.A.
E-mail address: rcsoto@fullerton.edu

19

