CONTROL OF FUSION BY ABELIAN SUBGROUPS OF THE
HYPERFOCAL SUBGROUP

arXiv:1611.04403v1 [] 14 Nov 2016

ELLEN HENKE AND JUN LIAO
Abstract. We prove that an isomorphism between saturated fusion systems over the
same finite p-group is detected on the elementary abelian subgroups of the hyperfocal
subgroup if p is odd, and on the abelian subgroups of the hyperfocal subgroup of exponent
at most 4 if p = 2. For odd p, this has implications for mod p group cohomology.

1. Introduction
In 1971, Quillen [18] published two articles relating properties of the mod p cohomology
ring of a group G to the elementary abelian p-subgroups of G. The results hold for any
prime p and any group G which is a compact Lie group (e.g. a finite group). Quillen studied in particular varieties of mod p cohomology rings and proved a stratification theorem
stating that the variety of the mod p cohomology ring of G can be broken up into pieces
corresponding to the G-conjugacy classes of elementary abelian p-subgroups of G.1 Therefore, it is of interest to study conjugacy relations between elementary abelian p-subgroups.
From now on we assume that G is finite and H is a subgroup of G of index prime to
p. For any two subgroups A and B of G, we write HomG (A, B) for the set of group homomorphisms from A to B that are obtained via conjugation by an element of G. As a
consequence of Quillen’s stratification theorem, H controls fusion of elementary abelian
subgroups in G, if the inclusion map from H to G induces an isomorphism between the
varieties of the mod p cohomology rings of H and G. Here we say that the subgroup H
controls fusion of elementary abelian subgroups in G if HomH (A, B) = HomG (A, B) for all
elementary abelian subgroups A and B of H. Similarly we say that H controls p-fusion
in G if HomH (A, B) = HomG (A, B) for all p-subgroups A and B of H. By the Cartan–
Eilenberg stable elements formula [9, XII.10.1], the inclusion map from H to G induces an
isomorphism in mod p group cohomology if H controls fusion in G. Together with Quillen’s
fundamental results, this motivates the study of connections between control of fusion of
elementary abelian subgroups and control of p-fusion.
If H = S is a Sylow p-subgroup of G and p is odd, Quillen [17] proved as a first illustration
of his theory that G is nilpotent if the inclusion map from S to G induces an isomorphism
between the corresponding varieties. We recall that, by a classical theorem of Frobenius, G
is nilpotent if and only if S controls fusion in G. So Quillen showed that S controls fusion
in G if S controls fusion of elementary abelian subgroups. Variations of this theorem were
proved in [12, 7, 10, 13, 8, 2], but all maintaining the hypothesis that H = S is a Sylow
p-subgroup. Only relatively recently, Benson, Grodal and the first author of this paper
2010 Mathematics Subject Classification. Primary 20D20, 20E45, 20J06.
The Second author was supported by the National Natural Science Foundation of China (11401186).
1More precisely, Quillen studied the variety of the commutative subring of H ∗ (G; F ) of elements of even
p
degree. However, his stratification theorem holds similarly for the variety of H ∗ (G; Fp ); see Remark 3.2.
1

proved a result that holds more generally for any subgroup H of index prime to p; see [5].
More precisely, it is shown that H controls fusion in G (and thus the inclusion map from
H to G induces an isomorphism in mod p group cohomology), if the inclusion map induces
an isomorphism between the corresponding varieties, i.e. if H controls fusion of elementary
abelian subgroups of G. This is obtained as a consequence of a theorem that is stated and
proved for saturated fusion systems; see [5, Theorem B]. In this short note, we point out
that actually a slightly stronger version of this theorem holds. We refer the reader to [1,
Part I] for an introduction to fusion systems.
Theorem A (Small exponent abelian subgroups of the hyperfocal subgroup control fusion).
Let G ⊆ F be two saturated fusion systems over the same finite p-group S. Suppose that
HomG (A, B) = HomF (A, B) for all A, B ≤ hyp(F ) with A, B elementary abelian if p is
odd, and abelian of exponent at most 4 if p = 2. Then G = F .
If one replaces hyp(F ) by S, then the above theorem coincides with [5, Theorem B]. We
recall that the hyperfocal subgroup hyp(F ) is the subgroup of S generated by all elements
of the form x−1 ϕ(x) where x ∈ Q and ϕ ∈ O p (AutF (Q)) for some subgroup Q of S. If
F = FS (G) is the fusion system of a finite group G with Sylow p-subgroup S, then Puig’s
hyperfocal subgroup theorem [16, §1.1] states that hyp(F ) = O p (G) ∩ S. In the situation of
Theorem A, Quillen’s example Q8 ≤ Q8 : C3 shows that it is indeed not enough to consider
only elementary abelian subgroups for p = 2.
A fusion system F on S is called nilpotent if F = FS (S). Restricting attention to
subgroups of the hyperfocal subgroup is motivated by a theorem of the second author
of this paper together with Zhang, which characterizes p-nilpotency of a saturated fusion
system F by the fusion on certain subgroups of the hyperfocal subgroup of F ; see [14].
Another motivation comes from work of Ballester-Bolinches, Ezquerro, Su and Wang [2]
showing that, in certain special cases, fusion is detected on the subgroups of the focal
subgroup of F which are cyclic of order p or 4. We show here that in Theorem A and
C of [2], the focal subgroup can actually be replaced by the hyperfocal subgroup. More
precisely, we prove the following theorem which gives in particular a new characterization
of nilpotent fusion systems:
Theorem B. Let F be a saturated fusion system over a finite p-group S, and let G = NF (S)
or G = FS (S). Suppose that HomG (A, B) = HomF (A, B) for all A, B ≤ hyp(F ) which are
cyclic subgroups of order p or 4. Then G = F .
We remark that, in general, it is not the case that the subgroup H controls fusion in G if
it controls fusion on cyclic subgroups of order p for odd p, or on subgroups of order at most
4 for p = 2. This is not even the case if G has a normal Sylow p-subgroup as the following
example shows: Let n be an integer such that n ≥ 2 and p does not divide n. Let S be the
field of order pn , so that S under addition forms in particular an elementary abelian group
of order pn . Note that every non-zero element of S induces a group automorphism of S via
multiplication. Let D be the group of all these automorphisms. Then D is a subgroup of
Aut(S) of order pn − 1 acting freely and transitively on the non-trivial elements of S. Let
σ be the Frobenius automorphism of the field S. Then σ has order n and is also a group
automorphism of S. Moreover, σ normalizes D, as conjugation by σ takes every element of
D to its pth power. Hence, D̂ = D⋊hσi is a group of order (pn −1)n. Since p does not divide
n, it follows that S is a normal Sylow p-subgroup of G := S ⋊ D̂. Moreover, H := S ⋊ D
2

is a subgroup of G of index prime to p. Note also that S = [S, D] = hyp(FS (G)). Let V
n −1
be the set of subgroups of S of order p. Then V has pp−1
elements. As D acts freely and
transitively on the non-trivial elements of S, it follows that D acts also transitively on V,
= p − 1 for every
and that CD (A) = 1 for all A ∈ V. Thus |AutD (A)| = |ND (A)| = |D|
|V|
A ∈ V. As any two elements of V are conjugate under D, it follows |HomD (A, B)| = p − 1
for all A, B ∈ V. Thus, HomH (A, B) = HomD (A, B) is the set Inj(A, B) of injective group
homomorphism from A to B. As HomH (A, B) ⊆ HomG (A, B) ⊆ Inj(A, B), this implies
HomH (A, B) = HomG (A, B) for all A, B ∈ V. So H controls fusion in G of the cyclic
subgroups of order p (and thus for p = 2 also of the cyclic subgroups of order at most 4).
However, as D 6= D̂, the subgroup H does not control fusion in G.
We conclude by stating a version of Theorem A in terms of varieties of cohomology
rings. We continue to assume that G is a finite group and we fix moreover an algebraically
closed field Ω of prime characteristic p. We either set k = Ω or k = Fp . Moreover, set
H ∗ (G) := H ∗ (G, k) and define the variety VG to be the variety Homk (H ∗ (G), Ω) of kalgebra homomorphisms from H ∗ (G) to Ω; see Remark 3.2 for alternative definitions of
VG . Then every k-algebra homomorphism α : H ∗ (G) → H ∗ (H) induces a map of varieties
α∗ : VH → VG by sending any homomorphism β ∈ VH = Homk (H ∗ (H), Ω) to β ◦ α ∈ VG =
Homk (H ∗ (G), Ω). For an arbitrary subgroup H of G, we write resG,H : H ∗ (G) −→ H ∗ (H)
for the map induced by the inclusion map H → G, and hence res∗G,H : VH −→ VG for the
corresponding map of varieties.
If H is a subgroup of G containing a Sylow p-subgroup S of G, then we have the inclusion
maps S ∩ O p (G) ֒→ H ֒→ G which induce the following maps of varieties:
res∗H,S∩O p(G)

res∗G,H

VS∩Op (G) −−−−−−−−→ VH −−−−−−→ VG
So in particular, we can consider the restriction of the map res∗G,H : VH → VG to the
subvariety res∗H,S∩Op (G) VS∩Op (G) of VH . If p is an odd prime and H is a subgroup of G
of index prime to p, then the results in [5] say basically that H controls fusion in G if
res∗G,H : VH → VG is an isomorphism of varieties. Theorem A implies a slightly stronger
statement which is stated in the next theorem. Notice that a subgroup H of G has index
prime to p if and only if H contains a Sylow p-subgroup of G.
Theorem C. Let G be a finite group, let p be an odd prime, and let H be a subgroup
of G containing a Sylow p-subgroup S of G. Suppose the restriction of the map res∗G,H
to res∗H,S∩Op (G) VS∩Op (G) is injective. Then H controls fusion in G and the restriction map
resG,H : H ∗ (G) −→ H ∗ (H) is an isomorphism.
Note that Theorem C says in particular that the map res∗G,H : VH → VG is an isomorphism
of varieties if its restriction to res∗H,S∩Op (G) VS∩Op (G) is injective. One sees easily that the
converse of Theorem C holds as well: If resG,H : H ∗ (G) −→ H ∗ (H) is an isomorphism
then res∗G,H : VH −→ VG is an isomorphism. In particular, the restriction of res∗G,H to
resH,S∩Op (G) VS∩Op (G) is injective.
We remark also that a theorem analogous to Theorem C can be proved for saturated
fusion systems rather than for groups. For more details, we refer the reader to Remark 3.5.
Acknowledgement. The authors would like to thank Dave Benson for his patient explanations regarding group cohomology.
3

2. Proof of Theorem A and Theorem B
The proof of Theorem A is very similar to the proof of Theorem B in [5]. We need the
following variation of [5, Theorem 2.1].
Theorem 2.1. Let P be a finite p-group and let G be a subgroup of Aut(P ) containing the group Inn(P ) of inner automorphism. Then there exists a G-invariant subgroup
D of [P, O p (G)], of exponent p if p is odd and exponent at most 4 if p = 2, such that
[D, P ] ≤ Z(D), and such that every non-trivial p′ -automorphism in G restricts to a nontrivial p′ -automorphism of D. Furthermore, for any such D and any maximal (with respect
to inclusion) abelian subgroup A of D it follows that A E P and CG (A) is a p-group.
Proof. By [5, Theorem 2.1], there exists a characteristic subgroup D1 of P , of exponent p
if p is odd and exponent at most 4 if p = 2, such that [D1 , P ] ≤ Z(D1 ), and such that
every non-trivial p′ -automorphism of P restricts to a non-trivial p′ -automorphism of D1 .
Set D := [D1 , O p (G)]. As D1 is G-invariant and as O p (G) is normal in G, the subgroup D
is G-invariant. In particular, as Inn(P ) ≤ G by assumption, we have [D, P ] ≤ D. Using
[D1 , P ] ≤ Z(D1 ) we obtain thus [D, P ] ≤ [D1 , P ] ∩ D ≤ Z(D1 ) ∩ D ≤ Z(D). If ϕ is a
p′ -automorphism of P with ϕ|D = IdD then [D, ϕ] = 1 and [D1 , ϕ] ≤ [D1 , O p (G)] = D.
Thus, by [11, Theorem 5.3.6], we have [D1 , ϕ] = [D1 , ϕ, ϕ] ≤ [D, ϕ] = 1 and ϕ|D1 = IdD1 .
Because of the way D1 was chosen, this implies that ϕ = IdP . So we have shown that every
non-trivial p′ -automorphism in G restricts to a non-trivial automorphism of D.
For the last part let A be a maximal subgroup of D with respect to inclusion. Then
[A, P ] ≤ Z(D) ≤ A and thus A E P . Furthermore, if B ≤ CG (A) is a p′ -subgroup, then
A×B acts on D. Since A is maximal abelian, it follows CD (A) = A ≤ CD (B). Thompson’s
A × B-lemma [11, Theorem 5.3.4] now says that [D, B] = 1 and so B = 1. Since B was
arbitrary, it follows that CG (A) is a p-group.

We need the following crucial lemma, which is [5, Main Lemma 2.4].
Lemma 2.2. Let G ⊆ F be two saturated fusion systems on the same finite p-group S,
and P ≤ S an F -centric and fully F -normalized subgroup, with AutF (R) = AutG (R) for
every P < R ≤ NS (P ). Suppose that there exists a subgroup Q E P with HomF (Q, S) =
HomG (Q, S). Then AutF (P ) = hAutG (P ), CAutF (P ) (Q)i.
Proof of Theorem A. By Alperin’s fusion theorem [1, Theorem I.3.6], F is generated by
F -automorphisms of fully F -normalized F -centric subgroups. We want to show that
AutF (P ) = AutG (P ) for all P ≤ S. By induction on |S : P |, we can assume that
AutF (R) = AutG (R) for all R ≤ S with |R| > |P |. Furthermore, by Alperin’s fusion
theorem, we can choose P to be fully F -normalized and F -centric. By Theorem 2.1,
we can pick an AutF (P )-invariant subgroup D of [P, O p (AutF (P ))], of exponent p if p
is odd and of exponent at most 4 if p = 2, such that every non-trivial p′ -automorphism
ϕ ∈ AutF (P ) restricts to a non-trivial automorphism of D and, for any maximal (with
respect to inclusion) abelian subgroup A of D, A E P and CAutF (P ) (A) is a p-group. As P
is fully F -normalized, AutS (P ) is a Sylow p-subgroup of AutF (P ), and so if we replace A by
a conjugate of A under AutF (P ), we can arrange that CAutF (P ) (A) ≤ AutS (P ) ≤ AutG (P ).
As D has exponent p if p is odd and exponent at most 4 if p = 2, we have by assumption
HomF (A, S) = HomG (A, S). So by Lemma 2.2 applied with A in place of Q, we obtain
that AutF (P ) = hAutG (P ), CAutF (P ) (A)i = AutG (P ) as wanted.

4

Let P be a set of representatives of the F -conjugacy classes of F -essential subgroups. A
version of the Alperin–Goldschmidt Theorem for fusion systems states that F is generated
by the F -automorphism groups of the elements of P ∪ {S}. Analyzing what is used in the
proof above, one sees that we only need the following condition in Theorem A: For every
P ∈ P ∪ {S} and every abelian subgroup A of the commutator subgroup [P, O p(AutF (P ))]
which is of exponent p or 4, we have HomF (A, S) = HomG (A, S).
The proof of Theorem B is essentially the same as the one of [2, Theorem A] except that
we use Theorem 2.1 instead of [5, Theorem 2.1]. Essentially, Theorem B is a consequence
of the following lemma:
Lemma 2.3. Let F be a saturated fusion systems over a finite p-group S. Suppose that
HomF (A, B) ⊆ HomNF (S) (A, B) for all subgroups A, B ≤ hyp(F ) which are cyclic of order
p or 4. Then F = NF (S).
Proof. Suppose that Q is an F -essential subgroup. Then by definition, Q is in particular
fully normalized and thus AutS (Q) is a Sylow p-subgroup of AutF (Q). By Theorem 2.1,
there is an AutF (Q)-invariant subgroup D ≤ [Q, O p (AutF (Q))] ≤ Q ∩ hyp(F ) such that
every non-trivial p′ -element of AutF (Q) restricts to a non-trivial automorphism of D, and
D is of exponent p or 4. Let Zi (S) be the i-th center of S and Di = D ∩ Zi (S). We
argue now that Di is AutF (Q)-invariant: For every x ∈ Di and any ϕ ∈ AutF (Q), ϕ|hxi
extends by hypothesis to an element of AutF (S) which clearly normalizes Zi (S). As ϕ
normalizes D, it follows ϕ(x) ∈ Zi (S) ∩ D = Di . So Di is indeed AutF (Q)-invariant. Thus,
for some n ∈ N, the series 1 = D0 ≤ D1 ≤ · · · ≤ Dn = D is AutF (Q)-invariant. So the
stabilizer H of this series (i.e. the set of elements in AutF (Q) acting trivially on Di /Di−1
for each i ≤ n) forms a normal subgroup of AutF (Q). For any p′ -element ϕ of H, we
have ϕ|D = IdD by [11, Theorem 5.3.2], and thus ϕ = IdQ by the choice of D. Therefore,
the stabilizer H is a p-group and so H ≤ Op (AutF (Q)). Since AutS (Q) stabilizes the
series D0 ≤ D1 ≤ · · · ≤ Dn = D, it follows that AutS (Q) = Op (AutF (Q)), which is a
contradiction as every F -essential subgroup is centric and radical. Hence there is no F essential subgroup. Thus, F = NF (S) by Alperin’s fusion theorem [1, Theorem I.3.6]. 
Proof of Theorem B. Lemma 2.3, F = NF (S). So for G = NF (S) the assertion follows immediately. Assume now G = FS (S). As F = NF (S), it is sufficient to show
that AutF (S) = Inn(S). By Theorem 2.1, there is an AutF (S)-invariant subgroup D ≤
[S, O p (AutF (S))] ≤ S ∩ hyp(F ) such that every non-trivial p′ -element of AutF (S) restricts
to a non-trivial automorphism of D, and D is of exponent p or 4. Let Di = D ∩ Zi (S)
and n ∈ N such that Dn = D. By hypothesis, every element of AutF (S) acts on every
element of D as conjugation by an element of S. Hence, AutF (S) stabilizes the series
1 = D0 ≤ D1 ≤ · · · ≤ Dn = D and is thus a p-group by [11, Theorem 5.3.2]. Since
Inn(S) ∈ Sylp (AutF (S)), it follows AutF (S) = Inn(S) as required.

3. Proof of Theorem C
Throughout, assume that G is a finite group and that Ω is an algebraically closed field
of prime characteristic p. Let H ∗ (G) and VG be as in the introduction. Recall that, for any
subgroup H of G, we write resG,H : H ∗ (G) → H ∗(H) for the map induced by the inclusion
map from H to G, and res∗G,H : VH → VG for the corresponding map of varieties.
5

For the proof of Theorem C we will need some more notation: For every elementary
abelian p-group A, we set
[
VA+ := VA \
res∗A,A′ VA′ .
A′ <A

If A is an elementary abelian subgroup of G, set
+
VG,A
= res∗G,A VA+ .

We start with the following elementary observation:
+
+
Remark 3.1. Let A ≤ K ≤ G such that A is elementary abelian. Then res∗G,K VK,A
= VG,A
.
+
Proof. As res∗G,K ◦ res∗K,A = res∗G,A , we have VG,A
= res∗G,A VA+ = res∗G,K (res∗K,A VA+ ) =
+
res∗G,K VK,A
.


Remark 3.2. Write H ev (G) for the subring of H ∗ (G) of elements of even degree. If k = Fp
notice that the k-algebra homomorphisms from H ∗ (G) to Ω are the same as the ring
homomorphisms from H ∗ (G) to Ω. So if k = Fp then, upon replacing H ∗ (G) by H ev (G)
if p is odd, the variety VG corresponds to the variety HG (X)(Ω) studied by Quillen [18] in
the special case that X is a point. If k = Ω, it follows from Hilbert’s Nullstellensatz that
VG is homeomorphic to the maximal ideal spectrum of H ∗ (G) via the map sending every
homomorphism in VG to its kernel; see Theorem 5.4.2 and the surrounding discussion in
[3]. So again upon replacing H ∗ (G) by H ev (G), the variety VG as defined in this paper
corresponds to the variety VG as defined by Benson [3].
It is common to study the variety of H ev (G) rather than the variety of H ∗ (G), because
H ev (G) is commutative, whereas H ∗ (G) is only graded commutative, and texts on commutative algebra are written for strictly commutative rings. As pointed out by Benson [4,
p.9], the results from commutative algebra which are needed in the theory hold accordingly
for graded commutative rings. Moreover, it is pointed out that any graded commutative
ring A is commutative modulo its nilradical, and every element of odd degree lies in the
nilradical if p is odd. So writing Nil for the nilradical of H ∗ (G), it follows that H ∗ (G)/Nil
is isomorphic to H ev (G)/(H ev (G) ∩ Nil). As the nilradical Nil is contained in the kernel of every k-algebra homomorphism from H ∗(G) to Ω, the variety Homk (H ∗ (G), Ω) is
canonically homeomorphic to the variety Homk (H ev (G), Ω).
In particular, the Quillen Stratification Theorem as stated in [18, Theorem 10.2] and [3,
Theorem 5.6.3] can be proved accordingly with our definitions:
Theorem 3.3 (Quillen’s Stratification Theorem). Let A be a set of representatives of the
G-conjugacy classes of elementary abelian subgroups of G. Then VG is the disjoint union
a
+
VG =
VG,A
.
A∈A
+
VG,A
.

of locally closed subvarieties
Moreover, for every A ∈ A, the automorphism group
+
AutG (A) acts freely on VA and the map res∗G,A induces a homeomorphism VA+ /AutG (A) →
+
VG,A
.
`
+
The fact that VG = A∈A VA,G
for any set A of representatives of the G-conjugacy classes
of the elementary abelian subgroups of G, will be used in our proof in the following form:
6

Remark 3.4. Let A and A′ be elementary abelian subgroups of G. If A and A′ are G+
+
+
′
conjugate then we have VG,A
= VG,A
′ , and if A and A are not G-conjugate then VG,A and
+
VG,A

′ are disjoint.
Proof of Theorem C.. Assume that the restriction of the map res∗G,H : VH → VG to the
subvariety res∗H,S∩Op (G) VS∩Op (G) of VH is injective.
Step 1: Let A be an elementary abelian subgroup of S ∩ O p (G). We show that the map
+
+
res∗G,H induces a bijection from VH,A
to VG,A
. Moreover, if A′ is another elementary abelian
+
+
+
+
subgroup of S ∩ O p (G) such that VG,A
= VG,A
′ , then we show VH,A = VH,A′ .
+
+
+
To see this note that, by Remark 3.1, we have that res∗G,H VH,A
= VG,A
and that VH,A
=
+
∗
p
res∗H,S∩Op (G) VS∩O
is
contained
in
res
V
.
By
a
symmetric
argument,
it
p (G),A
H,S∩O p (G) S∩O (G)
+
+
+
+
follows that VH,A′ is contained in res∗H,S∩Op (G) VS∩Op (G) and res∗G,H VH,A = VG,A = VG,A′ =
+
∗
∗
res∗G,H VH,A
′ . As we assume that the restriction of resG,H to resH,S∩O p (G) VS∩O p (G) is injective,
the above assertion follows.

Step 2: Let A and A′ be two G-conjugate elementary abelian subgroups of S ∩ O p (G). We
+
+
show that A and A′ are H-conjugate. For the proof note that VG,A
= VG,A
′ by Lemma 3.4.
+
+
So by Step 1, we have VH,A = VH,A′ . Thus, again by Lemma 3.4 now used with H in place
of G, the subgroups A and A′ need to be H-conjugate. This completes the proof of Step 2.
Step 3: Let A be an elementary abelian subgroup of S ∩ O p (G). We show that AutG (A) =
AutH (A). By the Quillen stratification theorem Theorem 3.3, the group AutG (A) acts
+
freely on VA+ , and the map res∗G,A induces a homeomorphism VA+ /AutG (A) → VG,A
. In
+
+
∗
particular, the fibres of the map resG,A : VA → VG,A are precisely the orbits of AutG (A)
on VA+ . Similarly, applying the Quillen stratification theorem with H in place of G, we
+
get that AutH (A) acts freely on VA+ , and the fibres of the map res∗H,A : VA+ → VH,A
are
+
∗
∗
∗
precisely the orbits of AutH (A) on VA . Note that resG,A = resG,H ◦ resH,A . As the map
+
+
+
res∗G,H : VH,A
→ VG,A
is by Step 1 a bijection, it follows that the maps res∗G,A : VA+ → VG,A
+
and res∗H,A : VA+ → VH,A
have the same fibres. So the AutG (A)-orbits on VA+ are the
same as the AutH (A)-orbits. As the actions of AutG (A) and AutH (A) on VA+ are free,
this implies that |AutG (A)| = |AutH (A)|. Thus, since AutH (A) ⊆ AutG (A), it follows
AutG (A) = AutH (A).
Step 4: We are now in a position to complete the proof. Let A and A′ be elementary
abelian subgroups of S ∩ O p (G). We want to show that HomG (A, A′ ) = HomH (A, A′ ) and
can assume without loss of generality that A and A′ are G-conjugate. Then A and A′ are
H-conjugate by Step 1 and thus there exists ψ ∈ HomH (A, A′ ). Let ϕ ∈ HomG (A, A′ ).
Note that ϕ = ψ ◦ (ψ −1 ◦ ϕ) and ψ −1 ◦ ϕ ∈ AutG (A) = AutH (A) by Step 2. So it follows
that ϕ ∈ HomH (A, A′ ) which proves HomG (A, A′ ) = HomH (A, A′ ). By Puig’s hyperfocal
subgroup theorem [16, §1.1], we have S ∩ O p (G) = hyp(FS (G)). So using Theorem A,
we can conclude that FS (G) = FS (H). Thus, by the Cartan–Eilenberg stable elements
formula [9, XII.10.1], the map resG,H : H ∗ (G) → H ∗ (H) is an isomorphism.

Remark 3.5. A version of Theorem C can also be formulated and proved for abstract
saturated fusion systems rather than for groups. Let F be a saturated fusion system over
a finite p-group S. Assume that k is an algebraically closed field of characteristic p. The
7

cohomology ring H ∗ (F ) = H ∗ (F , k) of the saturated fusion system F is the subring of F stable element in H ∗ (S) = H ∗ (S, k), which is the subring of H ∗ (S) consisting of elements
ξ ∈ H ∗ (S) such that resSP (ξ) = resϕ (ξ) for any ϕ ∈ HomF (P, S) and any subgroup P ≤ S.
The ring H ∗ (F ) is a graded commutative ring. We write VF for the maximal ideal spectrum
of H ∗ (F ), or alternatively for the variety of k-algebra homomorphisms from H ∗ (F ) to k.
Let G be a saturated fusion subsystem of F . Note that any F -stable element of H ∗ (S)
is in particular G-stable, so we can consider the inclusion map resF ,G : H ∗ (F ) → H ∗ (G)
which then gives us a map res∗F ,G : VG → VF of varieties. Similarly, if Q ≤ S, we are given
a k-algebra homomorphism resF ,Q : H ∗ (F ) → H ∗ (Q) by composing the inclusion map
H ∗ (F ) ֒→ H ∗ (S) with the restriction map resS,Q : H ∗ (S) → H ∗ (Q). Again, this induces a
map of varieties res∗F ,Q : VQ → VF . In particular, if A ≤ S is elementary abelian, one can
define VF+,A = res∗F ,A VA+ . In an unpublished preprint, Markus Linckelmann [15, Theorem 1]
proves a version of the Quillen stratification theorem; see also Theorem 1.3 and Remark 1.1
in [19]. Using this, one can similarly prove the following version of Theorem C for fusion
systems:
Let G ⊆ F be an inclusion of saturated fusion systems over the same finite p-group S,
and p an odd prime. If the restriction of the map res∗F ,G : VG → VF to res∗G,hyp(F ) Vhyp(F ) is
injective, then F = G and in particular H ∗ (F ) = H ∗ (G).
References
[1] M. Aschbacher, R. Kessar and B. Oliver, Fusion systems in algebra and topology, London Math. Soc.
Lecture Notes Series 391, Cambridge Univ. Press, 2011.
[2] A. Ballester-Bolinches, L. Ezquerro, N. Su and Y. Wang, On the focal subgroup of a saturated fusion
system, J. Algebra, 468 (2016) 72–79.
[3] D.J. Benson, Representations and cohomology II, Cohomology of groups and modules, Cambridge
Studies in Advanced Mathematics 31, Cambridge Univ. Press, Cambridge 1991.
[4] D.J. Benson, Commutative algebra in the cohomology of groups, Trends in commutative algebra, 1-50,
Math. Sci. Res. Inst. Publ. 51, Cambridge Univ. Press, Cambridge 2004.
[5] D.J. Benson, J. Grodal and E. Henke, Group cohomology and control of p-fusion, Invent. Math. 197
(2014), 491–507.
[6] C. Broto, R. Levi and B. Oliver, The homotopy theory of fusion systems, J. Amer. Math. Soc. 16
(2003), 779–856.
[7] M. Brunetti, A new cohomological criterion for the p-nilpotence of groups, Cand. Math. Bull. 41
(1998), no. 1, 20-22.
[8] J. Cantarero, J. Scherer, and A. Viruel, Nilpotent p-local finite groups, Ark. Mat. 52 (2014), 203-225.
[9] H. Cartan and S. Eilenberg, Homological Algebra, Princeton Math.Series, no. 19, Princeton Univ.
Press, 1956.
[10] J. González-Sánchez, A p-nilpotency criterion, Arch. Math. (Basel) 94 (2010), no. 3, 201-205.
[11] D. Gorenstein, Finite groups, Chelsea publishing company, New York, 1980.
[12] H.-W. Henn, Cohomological p-nilpotence criteria for compact Lie groups, Astérisque (1990), no. 191,
6, 211-220, International Conference on Homotopy Theory (Marseille-Luminy, 1988).
[13] I.M. Isaacs and G. Navarro, Normal p-complements and fixed elements, Arch. Math. (Basel) 95 (2010),
no. 3, 207-2011.
[14] J. Liao and J. Zhang, Nilpotent fusion systems. J. Algebra, 442 (2015), 438–454.
[15] M. Linckelmann, Quillen’s stratification for fusion systems, preprint.
[16] L. Puig, The hyperfocal subalgebra of a block, Invent. Math. 141 (2000), no. 2, 365-397.
[17] D.G. Quillen, A cohomological criterion for p-nilpotence, J. Pure & Applied Algebra 1 (1971), 361-372.
[18] D.G. Quillen, The spectrum of an equivariant cohomology ring, I+II, Ann. Math. 94(1971), 549572,
573602.
8

[19] C.C. Todea, A theorem of Mislin for cohomology of fusion systems and applications to block algebras
of finite groups, Expo. Math. 33(2015), no. 4, 526-534.
Institute of Mathematics, University of Aberdeen, Fraser Noble Building, Aberdeen
AB24 3UE, U.K.
E-mail address: ellen.henke@abdn.ac.uk
School of Mathematics and Statistics, Hubei University, Wuhan, 430062, P. R. China.
Current address: Institute of Mathematics, University of Aberdeen, Fraser Noble Building, Aberdeen
AB24 3UE, U.K.
E-mail address: jliao@pku.edu.cn

9

