arXiv:1804.00883v1 [] 3 Apr 2018

FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3
VALENTINA GRAZIAN
Abstract. We study saturated fusion systems on p-groups having sectional rank 3
for all odd primes p. For p ≥ 5, we obtain a complete classification of the ones that
do not have any non-trivial normal p-subgroup.

Introduction
The theory of fusion systems is a modern subject with applications in various
branches of Algebra. A fusion system F on a finite p-group S is a category whose
objects are the subgroups of S and whose morphisms sets HomF (P, Q) between subgroups P and Q of S are collections of injective morphisms that satisfies some axioms,
first introduced by Puig ([Pui06]) and motivated by conjugacy relations. Given a finite group G, there is a natural construction of a fusion system on one of its Sylow
p-subgroup S: this is the category FS (G) whose objects are the subgroups of S and
whose morphisms sets are HomFS (G) (P, Q) = {cg |P : P → Q | g ∈ G and P g ≤ Q},
for every P, Q ≤ S. Many researchers around the world are currently working on
classifying simple fusion systems at the prime 2 and on classifying important families
of simple fusion systems at odd primes. Taking inspiration from the Classification of
Finite Simple Groups, an important class to examine is the class of p-groups of small
sectional rank. The rank of a finite group is the smallest size of a generating set for
it and a p-group S has sectional rank k if every elementary abelian section Q/R of
S has order at most pk and k is the smallest integer with this property (or equivalently if every subgroup of S has rank at most k and k is the smallest integer with
this property). In the elementary case in which S has sectional rank 1, the group
S is cyclic and all saturated fusion systems on S are completely determined by the
automorphism group of S; this can be proved by adapting Burnside’s result for groups
with abelian Sylow p-subgroup ([Bur97]). All reduced fusion systems on 2-groups of
sectional rank at most 4 have been classified by Oliver ([Oli16]). If p is an odd prime,
then the saturated fusion systems on p-groups of sectional rank 2 have been classified
by Diaz, Ruiz and Viruel ([DRV07]). As a natural continuation of these works, in this
paper we study saturated fusion systems on p-groups of sectional rank 3 when p is an
odd prime. In particular we classify all such fusion systems F whenever p ≥ 5 and F
satisfies the extra condition Op (F ) = 1.
Let p be an odd prime, let S be a p-group and let F be a saturated fusion system on
S. The Alperin-Goldschmidt Fusion Theorem [AO16, Theorem 1.19] guarantees that F
is completely determined by the F -automorphisms of S and by the F -automorphisms
of certain subgroups of S, called for this reason F -essential subgroups of S (Definition
1.1). If Q ≤ P are subgroups of S, we say that Q is F -characteristic in P if Q is
1

2

VALENTINA GRAZIAN

normalized by AutF (P ). One of the axioms in the definition of a fusion system states
that all the restrictions of conjugation maps realized by elements of S belong to the
fusion system. Hence if Q is F -characteristic in P then Q ✂ NS (P ).
If the p-group S has sectional rank 3 then by definition its subgroups have rank at
most 3. Since F -essential subgroups are not cyclic, we start characterizing the ones
that have rank 2. In [Gra18] we called F -pearls the F -essential subgroups that are
either elementary abelian of order p2 or non abelian of order p3 . Note that F -pearls
have rank 2.
Theorem A. Suppose p is an odd prime, S is a p-group of sectional rank 3 and F
is a saturated fusion system on S. Then every F -essential subgroup E of S of rank 2
that is not F -characteristic in S is an F -pearl.
If Op (F ) = 1 and there exists an F -essential subgroup E of S that is F -characteristic
in S, then there must exists an F -essential subgroup P of S distinct from E (otherwise
E ≤ Op (F ), contradicting the assumptions). Through a deep study of the structure of
F -essential subgroups of rank 3 that are not F -characteristic in S (Section 3) and of
the interplay of distinct F -essential subgroups that are F -characteristic in S (Section
4) we prove what follows.
Theorem B. Suppose p is an odd prime, S is a p-group of sectional rank 3 and F is
a saturated fusion system on S such that Op (F ) = 1. Then either S is isomorphic to
a Sylow p-subgroup of the group Sp4 (p) (and this is always the case when there are two
F -essential subgroups of S that are F -characteristic in S) or there exists an F -essential
subgroup E of S that is not normal in S.
Note that if S is a Sylow p-subgroup of the group Sp4 (p), then S contains a maximal
subgroup that is elementary abelian and the reduced fusion systems on S are among
the ones classified in [Oli14] and [COS17].
Up to this point, our results hold for every odd prime p. The crucial distinction
between p = 3 and the other odd primes occurs when, given an F -essential subgroup
E of S of rank 3, we look for a bound for the index of E in S. We show that if p ≥ 5
then every F -essential subgroup of S of rank 3 has index p in S (Theorem 6.7), and
so it is normal in S. Combining this result with Theorems A and B and using the
classification of fusion systems containing pearls given in [Gra18, Theorem B], we get
our main result.
Theorem C. Let p ≥ 5 be a prime, let S be a p-group of sectional rank 3 and let F
be a saturated fusion system on S such that Op (F ) = 1. Then F contains an F -pearl
and exactly one of the following holds:
(1) S is isomorphic to a Sylow p-subgroup of the group Sp4 (p);
(2) p = 7, S has order 75 , S is uniquely determined up to isomorphism and
• there exists a unique F -conjugacy class E F of F -essential subgroups, where
E∼
= C7 × C7 and OutF (E) ∼
= SL2 (7),
∼
• OutF (S) = NOutF (S) (E) = C6 and
• F is unique (up to isomorphism), simple and exotic (assuming the classification of finite simple groups).

FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

3

More precisely, the group S of order 75 appearing in Theorem C is the group stored
in the software Magma as SmallGroup(7^5, 37) and is isomorphic to a maximal
subgroup of a Sylow 7-subgroup of the Monster group. In fact, as shown in [Gra18],
the simple exotic fusion system defined on such S is a subsystem of the 7-fusion system
of the Monster group.
If p = 3, S has sectional rank 3 and there exists an F -essential subgroup E of S of
rank 2, then by Theorem A the group E is an F -pearl and by [Gra18, Theorem B]
the 3-group S is isomorphic to a Sylow 3-subgroup of the group Sp4 (3). Note that by
Theorem B this is true when O3 (F ) = 1 and all the F -essential subgroups of S are
normal in S. However this is not always the case.
As we mentioned already, a crucial step toward the proof of Theorem C is the fact
that if p ≥ 5 then every F -essential subgroup of S having rank 3 is normal in S
(Theorem 6.7). This is not true for p = 3. For example if q ≡ 1 mod 3 and S is a
Sylow 3-subgroups of SL4 (q), then S has sectional rank 3, S ∼
= C3a ≀ C3 , where 3a is
the largest power of 3 dividing q − 1, and there is an FS (SL4 (q))-essential subgroup
E of S isomorphic to the central product C3a ◦ 31+2
+ . In particular if a ≥ 2 then E is
not normal in S. Such 3-group S has a maximal subgroup that is abelian and so the
reduced fusion systems on it are among the ones classified in [Oli14, COS17, OR18].
However there are saturated fusion systems on 3-groups of sectional rank 3 in which
every maximal subgroup is not abelian. Examples are given by the 3-fusion systems of
a
the groups PΓL(q 3 ) for q ≡ 1 mod 3 and a ≥ 1.
Organization of the paper. In Section 1 we study properties of F -essential subgroups.
We characterize the F -automorphism group of an F -essential subgroups E of S of rank
′
at most 3, showing that in many cases the group O p (OutF (E)) is isomorphic to the
group SL2 (p). We give sufficient conditions for an F -essential subgroup of rank 2 to be
an F -pearl (Theorem 1.11), we introduce the concept of normalizer tower of a subgroup
(Definition 1.18) and we show that abelian F -essential subgroups of rank at most 3
are not properly contained in any F -essential subgroup of S (Corollary 1.22).
In Section 2 we introduce the concept of F -core of a pair of F -essential subgroups
E1 and E2 of S having the same normalizer N in S and we prove Theorem A.
Section 3 focuses on the structure of the F -essential subgroups E of a p-group S
that are not F -characteristic in S and whose normalizer NS (E) has sectional rank at
most 3.
In Section 4 we suppose that the p-group S has sectional rank 3 and contains distinct
F -essential subgroups E1 and E2 both F -characteristic in S. We prove that we can
build a Weak BN-pair associated to E1 and E2 and using the classification of Weak
BN-pairs contained in [DGS85] we prove that if Op (F ) = 1 then S is isomorphic to a
Sylow p-subgroup of the group Sp4 (p) (Theorem 4.6).
In Section 5 we prove Theorem B. To do that we study the F -essential subgroups of
S whose automorphism group does not normalize the group Ω1 (Z(S)).
Finally in Section 6 we show that if p ≥ 5 and S has sectional rank 3 then every
F -essential subgroup of S having rank 3 is normal in S (Theorem 6.7) and we use this
fact to prove Theorem C.

4

VALENTINA GRAZIAN

Throughout this paper p is an odd prime, S is a p-group and F is a saturated fusion
system on S.
1. Properties of F -essential subgroups
We refer to [AO16, Chapter 1] for definitions and notations regarding the theory of
fusion systems. We recall here the definition of F -essential subgroup.
Definition 1.1. A subgroup E of S is F -essential if the followings hold:
• E is F -centric: CS (P ) ≤ P for every P ∈ E F ;
• E is fully normalized in F : |NS (E)| ≥ |NS (P )| for every P ∈ E F ; and
• OutF (E) contains a strongly p-embedded subgroup;
where E F = {P ≤ S | P = Eα for some α ∈ HomF (E, S)} is the F -conjugacy class of
E in S.
Given an F -essential subgroup E of S, the normalizer fusion system NF (E) defined
on NS (E) is saturated ([AO16, Theorem 1.11]) and constrained, and so it admits a
model G [AO16, Theorem1.24]. In particular G is a finite group such that NS (E) ∈
Sylp (G), E = Op (G) and G/E ∼
= OutF (E).
The next two lemmas describe properties of F -essential subgroups that we will use
many times in this paper.
Notation 1.2. If P is a p-group then we write Φ(P ) for the Frattini subgroup of P .
Recall that Φ(P ) = [P, P ]P p.
Definition 1.3. Let P be a p-group and let ϕ ∈ Aut(P ). We say that ϕ stabilizes the
series of subgroups P0 ≤ P1 ≤ · · · ≤ Pn of P if for every 0 ≤ i ≤ n the morphism ϕ
normalizes Pi and acts trivially on the quotient Pi /Pi−1 (for i > 0).
Lemma 1.4. Let E ≤ S be a subgroup of S. Consider the sequence of subgroups
(1)

E0 ≤ E1 ≤ · · · ≤ En = E

such that E0 ≤ Φ(E) and for every 0 ≤ i ≤ n the group Ei is normalized by AutF (E).
If ϕ ∈ AutF (E) stabilizes the sequence (1) then ϕ ∈ Op (AutF (E)).
Proof. By [Gor80, Corollary 5.3.3] the order of ϕ is a power of p. Note that the set H
of all the morphisms in AutF (E) stabilizing the series (1) is a normal p-subgroup of
AutF (E). Hence ϕ ∈ H ≤ Op (AutF (E)).

Lemma 1.5. Let E be an F -essential subgroup of S. Then
Φ(E) < [NS (E), E]Φ(E) < E.
Proof. If [NS (E), E] ≤ Φ(E) then the automorphism group AutS (E) ∼
= NS (E)/CS (E)
centralizes the quotient E/Φ(E). Hence AutS (E) is normal in AutF (E), contradicting the fact that E is F -essential. So Φ(E) < [NS (E), E]Φ(E). If [NS (E), E]Φ(E) = E
then [NS (E), E] = E, contradicting the fact that S is nilpotent. Thus [NS (E), E]Φ(E) <
E.


FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

5

Lemma 1.6. Let E be an F -essential subgroup of S. Then OutF (E) acts faithfully
on E/Φ(E). In particular if E/Φ(E) has order pr then OutF (E) is isomorphic to a
subgroup of GLr (p).
Proof. By Lemma 1.4 and the fact that E is F -essential we get CAutF (E) (E/Φ(E)) =
Inn(E). Hence the group OutF (E) ∼
= AutF (E)/Inn(E) acts faithfully on E/Φ(E).
Since E/Φ(E) is elementary abelian ([Gor80, Theorem 5.1.3]) we have Aut(E/Φ(E)) ∼
=
GLr (p), and we conclude.

Lemma 1.7. Let E be an F -essential subgroup of S. If [NS (E) : E] = p then every
subgroup of S that is F -conjugate to E is F -essential.
Proof. Let P ≤ S be a subgroup of S that is F -conjugated to E. Since E is F centric, the group P is F -centric. By assumption P = Eα for some α ∈ HomF (E, P ).
Hence OutF (E) ∼
= OutF (P ) via the map ϕ 7→ α−1 ϕα and so the group OutF (P ) has
a strongly p-embedded subgroup. It remains to show that P is fully normalized in F .
Since E is fully normalized in F and [NS (E) : E] = p we have
|P | < |NS (P )| ≤ |NS (E)| = [NS (E) : E]|E| = p|E| = p|P |.
Therefore |NS (P )| = |NS (E)| and the group P is fully normalized in F . Hence P is
F -essential.

We now focus our attention on F -essential subgroups of S having rank at most 3,
since these will be the only ones that occur in a p-group of sectional rank 3. Note that
we are not making any assumption on the sectional rank of S yet.
Theorem 1.8. [Gra18, Theorem 1.7] Let E ≤ S be an F -essential subgroup of S of
rank r ≤ 3. Then OutF (E) is isomorphic to a subgroup of GLr (p) and one of the
following holds
′
• r = 2 and O p (OutF (E)) ∼
= SL2 (p);
′
• r = 3, the action of OutF (E) on E/Φ(E) is reducible, O p (OutF (E)) ∼
= SL2 (p)
and OutF (E) is isomorphic to a subgroup of GL2 (p) × GL1 (p); or
′
• r = 3, the action of OutF (E) on E/Φ(E) is irreducible and the group O p (OutF (E))
is isomorphic to one of the following groups:
(1) SL2 (p);
(2) PSL2 (p);
(3) the Frobenius group 13 : 3 with p = 3.
In particular [NS (E) : E] = p and every subgroup of S that is F -conjugate to E is
F -essential.
Lemma 1.9. Let E be an F -essential subgroup of S of rank 2. Then its Frattini
subgroup Φ(E) is F -characteristic in NS (E).
Proof. Set N = NS (E). Since E has rank 2, by Theorem 1.8 we have that [N : E] = p
′
and O p (OutF (E)) ∼
= SL2 (p). If E is F -characteristic in N then Φ(E) is F -characteristic
in N. Suppose that E is not F -characteristic in N and let T be the largest subgroup of
E that is F -characteristic in E and N. Then T < E and since E is F -essential of rank

6

VALENTINA GRAZIAN

2, by Lemma 1.4 we get T ≤ Φ(E). Let G be a model for NF (E) and set G = G/T .
By [Ste86, Theorem 1] applied to O p′ (G) and N ∈ Sylp (O p′ (G)) we deduce that exactly
one of the following holds:
(1) the quotient N/Ω1 (Z(N)) is elementary abelian;
(2) Φ(Φ(N)) = 1 and there exists a subgroup V of E such that V /Z(V ) and
′
Z(V )/Φ(V ) are natural SL2 (p)-modules for O p (G)/E ∼
= SL2 (p) (in particular V has rank 4).
Suppose that we are in the second case. Then Φ(N) = Φ(N) is elementary abelian
and since [V : Z(V )] = p2 , we deduce that V  Φ(N). Thus E = V Φ(E) and so
E = V . However by assumption the group E has rank 2, contradicting the fact that V
has rank 4. Therefore the second case cannot occur and so the quotient N/Ω1 (Z(N))
is elementary abelian. Note that Φ(E) < Φ(N) < E by Lemma 1.5 and the fact that
[N : E] = p. Also, N/E does not centralize E/Φ(E). Thus Ω1 (Z(N)) ≤ E. Hence
Ω1 (Z(N)) = Φ(N) and so the group E is abelian. Moreover Ω1 (Z(N)) < Ω1 (E) by
maximality of T , so E is elementary abelian. Therefore T = Φ(E) and the group Φ(E)
is F -characteristic in N.

Lemma 1.10. Let E be an F -essential subgroup of S of rank 2. Suppose there exists
an automorphism ϕ ∈ AutF (E) of order prime to p that centralizes Φ(E). Then
Φ(E) = [E, E] and E has exponent p.
Proof. By [GLS96, Proposition 11.11] and the fact that p is odd we deduce that there
exists a characteristic subgroup C of E such that
(1) ϕ acts faithfully on C;
(2) Φ(C) = [C, C] is elementary abelian;
(3) either C is abelian or C has exponent p.
By assumption ϕ centralizes Φ(E), so C  Φ(E). Since E is F -essential and has rank
2, by Lemma 1.4 we get CΦ(E) = E and so E = C. Thus Φ(E) = [E, E]. Finally
notice that if E is abelian then Φ(E) = [E, E] = 1 and so in any case the group E has
exponent p.

Theorem 1.11. Let E be an F -essential subgroup of S of rank 2. If E is not F characteristic in NS (E) and Φ(E) ≤ Z(E) then E is a pearl.
Proof. Note that [E : Z(E)] ≤ [E : Φ(E)] = p2 and so |[E, E]| ≤ p. Set N = NS (E).
By assumption E = CE (Φ(E)) ≤ CN (Φ(E)). By Lemma 1.9 the group CN (Φ(E)) is
F -characteristic in N. Since [N : E] = p by Theorem 1.8 and E is not F -characteristic
′
in N, we deduce that N = CN (Φ(E)). Thus Φ(E) is centralized by O p (AutF (E)) =
hAutS (E)AutF (E) i. Therefore by Lemma 1.10 we get that Φ(E) = [E, E] and E has
exponent p. In particular |Φ(E)| = |[E, E]| ≤ p and so E is a pearl.

Lemma 1.12. Let E be an F -essential subgroup of S of rank 3. If NS (E) has rank 3
then
′
O p (OutF (E)) ∼
= SL2 (p).

FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

7

Proof. Set N = NS (E). By Lemma 1.5 we have Φ(E) < [E, N]Φ(E) ≤ Φ(N) and by
Theorem 1.8 we have [N : E] = p, that implies Φ(N) ≤ E. Since N has rank 3 we get
[E : Φ(N)] = p2 and [Φ(N) : Φ(E)] = p. In particular
[E, N]Φ(E) = Φ(N) and [E, N, N] ≤ Φ(E).
Hence the group OutS (E) ∼
= N/E acts quadratically on the elementary abelian p-group
E/Φ(E). Also, OutF (E) acts faithfully on E/Φ(E) by Lemma 1.6 and Op (OutF (E)) =
1 since E is F -essential (and so OutF (E) has a strongly p-embedded subgroup). Therefore by [Gor80, Theorem 3.8.3] the group OutF (E) involves SL2 (p) and by Theorem
′
1.8 we conclude O p (OutF (E)) ∼

= SL2 (p).
Lemma 1.13. Let E be an F -essential subgroup of S of rank 3, let G be a model for
NF (E) and let T be a subgroup of E that is F -characteristic in E and NS (E). Assume
that there exist subgroups H ≤ NS (E)\E and V ≤ E both containing T such that
V /T ≤ Ω1 (Z(E/T )), V is normal in G and H/T acts quadratically on V /T . Then
′
O p (OutF (E)) ∼
= SL2 (p).
′
Proof. Let A = h(NS (E))G i; so A/E ∼
= O p (OutF (E)). To simplify notation we set
N = NS (E) and we assume that T = 1. First notice that the group V is elementary
abelian. By assumption E has rank 3 and so by Theorem 1.8 the quotient N/E has
order p. From H  E we get N = EH. Since H acts quadratically on V , we have
[V, H] 6= 1. In particular H  Z(N) and E = CN (V ). Thus
N/E ∼
= H/(E ∩ H) = H/CH (V ) and N/E ∼
= CA (V )N/CA (V ).

Therefore N/E is isomorphic to a p-subgroup of A/CA (V ) that acts quadratically
on V . Note that A/CA (V ) acts faithfully on V . Since E is F -essential, the group G/E
has a strongly p-embedded subgroup. Thus Op (A/E) = 1. Also, N ∈ Sylp (A) and
so Op (A/CA (V )) = 1. By [Gor80, Theorem 3.8.3] we deduce that A/CA (V ) involves
′
SL2 (p). Hence A/E ∼
= O p (OutF (E)) involves SL2 (p) and by Theorem 1.8 we conclude
′
that O p (OutF (E)) ∼

= SL2 (p).
Lemma 1.14. Let E be an F -essential subgroup of S of rank 3 and set N = NS (E).
Let T be a subgroup of E that is F -characteristic in E and N and set N = N/T and
E = E/T . If J(N)  E and Ω1 (Z(E)) 6= Ω1 (Z(N)) then
′
O p (OutF (E)) ∼
= SL2 (p),
where J(N) is the Thompson subgroup of N, i.e. J(N) = hA(N)i, where A(N) is the
set of abelian subgroups of N having order max{|A| | A ≤ N and A is abelian}.
Proof. To simplify notation assume T = 1.
Set V = Ω1 (Z(E)) and let H ∈ A(N) be such that H  E and |V ∩H| is maximal. By
assumption and Theorem 1.8 we have [N : E] = p. So N = EH and since V 6= Ω1 (Z(N))
and H is abelian we deduce that [V, H] 6= 1. In particular V  H.
Note that V is normal in N, so it is normalized by H. If V normalizes H then
[V, H, H] ≤ [H, H] = 1. So H acts quadratically on V and by Lemma 1.13 we conclude
′
O p (OutF (E)) ∼
= SL2 (p).

8

VALENTINA GRAZIAN

Suppose for a contradiction that V does not normalize H. Then by the Thompson
replacement theorem ([Gor80, Theorem 8.2.5]) there exists an abelian subgroup H ∗ ∈
A(N) such that V ∩ H < V ∩ H ∗ and H ∗ normalizes H. Since |V ∩ H| is maximal by
the choice of H, we have H ∗ ≤ E. Therefore V ≤ H ∗ , by maximality of |H ∗|, and so
V normalizes H, that is a contradiction.

Theorem 1.15. Let E be an F -essential subgroup of S of rank at most 3 that is not
′
F -characteristic in S. Then O p (OutF (E)) ∼
= SL2 (p).
Proof. If E has rank 2 then the statement follows from Theorem 1.8. Suppose E has
rank 3, set N = NS (E) and let α ∈ AutF (N) be such that E 6= Eα. By Theorem 1.8 the
group Eα is an F -essential subgroup of S. Let T be the largest subgroup of E ∩ Eα
that is normalized by AutF (E), AutF (Eα) and AutF (N) and set N = N/T . If the
Thompson subgroup J(N) is contained in E ∩ Eα then J(N) = J(E) = J(Eα) and so
J(N) = 1 by the maximality of T , which is a contradiction. Hence J(N)  E ∩ Eα and
since J(N) = J(N)α, we deduce that J(N)  E. Note that Ω1 (Z(E)) 6= Ω1 (Z(N)) by
′
maximality of T . Therefore by Lemma 1.14 we get that O p (OutF (E)) ∼
= SL2 (p). 
We now focus on the F -essential subgroups that are F -characteristic in S and have
sectional rank at most 3.
Theorem 1.16. Let E1 ≤ S and E2 ≤ S be distinct F -essential subgroups of S.
Suppose that E1 and E2 are F -characteristic in S and have sectional rank at most 3.
Then there exists i ∈ {1, 2} such that
′
O p (OutF (Ei )) ∼
= SL2 (p).
Proof. By assumption and the fact that F -essential subgroups are not cyclic, Ei has
′
rank either 2 or 3 for every i. If Ei has rank 2 for some i ∈ {1, 2} then O p (OutF (Ei )) ∼
=
SL2 (p) by Theorem 1.8. So we may assume that both E1 and E2 have rank 3. Let Gi
be a model for NF (Ei ) and let T be the largest subgroup of E1 ∩ E2 that is normalized
by AutF (E1 ), AutF (E2 ) and AutF (S). To simplify notation we assume T = 1. Set
Z = Ω1 (Z(S))

and

Vi = hZ Gi i ≤ Ω1 (Z(Ei )).

Let J(S) be the Thompson subgroup of S. If J(S) ≤ E1 ∩ E2 then J(S) = J(E1 ) =
J(E2 ) = 1 by maximality of T , giving a contradiction. Thus we may assume J(S)  E1 .
′
Hence by Lemma 1.14 if Ω1 (Z(E1 )) 6= Z then O p (OutF (E1 )) ∼
= SL2 (p) and we are done.
Suppose Ω1 (Z(E1 )) = Z. By maximality of T the group Z is not F -characteristic in
E2 . In particular Z < V2 . Note that V2 is an elementary abelian subgroup of E2 , that
has sectional rank 3. Therefore either |V2 | = p2 (and |Z| = p) or |V2 | = p3 .
Suppose |V2 | = p2 . Then G2 /CG2 (V2 ) is isomorphic to a subgroup of GL2 (p). Note
that S  CG2 (V2 ) (otherwise V2 ≤ Z) and E2 ∈ Sylp (CG2 (V2 )). So h(S)G2 i/E2 acts
′
non-trivially on V2 and by Theorem 1.8 we deduce that O p (OutF (E2 )) ∼
= h(S)G2 i/E2 ∼
=
SL2 (p).
Suppose |V2 | = p3 .
• If V2  E1 then S = E1 V2 , since [S : E1 ] = p by Theorem 1.8. Also [E1 , S] 
Φ(E) by Lemma 1.5, so [E1 , V2 ]  Φ(E1 ). On the other hand, since V2 is

FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

9

abelian and normal in S we get [E1 , V2 , V2 ] = 1. Thus V2 Φ(E1 )/Φ(E1 ) acts
quadratically on E1 /Φ(E1 ) and by Lemma 1.13 applied with T = Φ(E1 ) (that
is F -characteristic in S because E1 is F -characteristic in S) we conclude that
′
O p (OutF (E1 )) ∼
= SL2 (p).
• Assume V2 ≤ E1 . By the maximality of T the group V2 is not normalized
by G1 . Hence there exists g ∈ G1 \NG1 (S) such that V2 6= V2g . Note that
V2g ≤ E1 . If [V2g , V2 ] = 1 then V2 V2g is an elementary abelian subgroup of E1
and so |V2 V2g | ≤ p3 because E1 has sectional rank 3, contradicting the fact that
V2 < V2 V2g and |V2 | = p3 . Thus [V2g , V2 ] 6= 1. In particular V2g  E2 . On the
other hand [V2 , V2g ] ≤ V2 ∩ V2g , so [V2 , V2g , V2g ] = 1. Hence V2g acts quadratically
′
on V2 and by Lemma 1.13 we conclude that O p (OutF (E2 )) ∼
= SL2 (p).

Theorem 1.17. Let E1 ≤ S and E2 ≤ S be distinct F -essential subgroups of S such
that E1 is F -characteristic in S and every morphism in NAutF (E2 ) (AutS (E2 )) is the
restriction to E2 of an F -automorphism of S. Suppose moreover that E1 and E2 have
sectional rank at most 3. Then
′
(1) either O p (OutF (E1 )) ∼
= SL2 (p);
′
′
p
∼
(2) or O (OutF (E1 )) = PSL2 (p), O p (OutF (E2 )) ∼
= SL2 (p) and S has rank 2.
′
Proof. If E1 has rank 2 then O p (OutF (E1 )) ∼
= SL2 (p) by Theorem 1.8. Suppose E1 has
rank 3. By Lemma 1.5 we have Φ(E1 ) < Φ(S), so [S : Φ(S)] = p[E1 : Φ(S)] ≤ p3 and
′
S has rank at most 3. If S has rank 3 then O p (OutF (E1 )) ∼
= SL2 (p) by Lemma 1.12.
′
Suppose S has rank 2 and O p (OutF (E1 )) is not isomorphic to SL2 (p). By Theorems
1.8 if E2 has rank 2, 1.15 if E2 has rank 3 and is not F -characteristic in S, and 1.16 if
′
E2 has rank 3 and is F -characteristic in S we deduce that O p (OutF (E2 )) ∼
= SL2 (p). By
p′
3′
∼
Theorem 1.8 either O (OutF (E1 )) = PSL2 (p) or p = 3 and O (OutF (E1 )) ∼
= 13 : 3.
′
Suppose for a contradiction that the latter holds. Let τ ∈ Z(O p (OutF (E2 ))) be an
involution and let τ ∈ OutF (S) be such that τ |E2 = τ (that exists by assumption).
Since E1 is F -characteristic in S, we deduce that τ |E1 ∈ OutF (E1 ). So OutF (E1 ) ∼
=
(13 : 3) × C2 (as 13 : C6 is not a subgroup of GL3 (3)). In particular τ ∈ Z(OutF (E1 ))
and so it acts trivially on the quotient S/E1 . By assumption τ acts trivially on S/E2 ∼
=
E1 /(E1 ∩ E2 ). Consider the following sequence of F -characteristic subgroups of S:

Φ(S) ≤ E1 ∩ E2 ≤ E1 < S.
Since S has rank 2 we have Φ(S) = E1 ∩ E2 and by [Gor80, Corollary 5.3.3] we deduce
that τ ∈ O3 (OutF (S)). However, O3 (OutF (S)) = Inn(S) since S is fully normalized,
and we get a contradiction.

Note that the assumptions of the previous theorem are always satisfied when S has
sectional rank 3 and there are two F -essential subgroups that are F -characteristic in
S.
We conclude this section determining sufficient conditions for an F -automorphism
ϕ of an F -essential subgroup E of S of rank at most 3 to be the restriction of an
automorphism ϕ̂ of a subgroup of S properly containing E.

10

VALENTINA GRAZIAN

Definition 1.18. Let E ≤ S be an F -essential subgroup of S. Set
N0S (E) = E, N1S (E) = NS (E) and NiS (E) = NS (Ni−1
S (E)) for every 1 < i ≤ m,
where m ∈ N is the smallest integer such that Nm = S. We refer to the sequence
E = N0S (E) < N1S (E) < · · · < Nm−1
(E) < Nm
S
S (E) = S
as the normalizer tower of E in S. If [NiS (E) : Ni−1
S (E)] = p for every 1 ≤ i ≤ m then
we say that E has maximal normalizer tower in S.
When it does not lead to confusion, we will write Ni in place of NiS (E).
Lemma 1.19. Let E ≤ S be an F -essential subgroup. If E has maximal normalizer
tower in S and [S : E] = pm , then for every 1 ≤ i ≤ m we have
Φ(Ni−1 ) < Φ(Ni )

and

rank(Ni ) ≤ rank(Ni−1 ).

Proof. Note that E having maximal normalizer tower implies Φ(Ni ) ≤ Ni−1 for every
i ≥ 1. By Lemma 1.5 we have Φ(E) < Φ(N1 ). Suppose 2 ≤ i ≤ m. If Φ(Ni−1 ) = Φ(Ni )
then Φ(Ni ) ≤ Ni−2 and so Ni−2 ✂ Ni . Thus by definition of the normalizer tower we
get Ni = Ni−1 = S, which is a contradiction.
Therefore for every 1 ≤ i ≤ m we have Φ(Ni−1 ) < Φ(Ni ) and
i

prank(N ) = [Ni : Φ(Ni )] = [Ni : Ni−1 ][Ni−1 : Φ(Ni )]
Hence rank(Ni ) ≤ rank(Ni−1 ).

<

p[Ni−1 : Φ(Ni−1 )] = prank(N

i−1 )+1



Let E be an F -essential subgroup of S of rank at most 3. Since E is fully normalized, it is receptive and so every F -automorphism of E that normalizes the group
AutS (E) ∼
= NS (E)/Z(E) is the restriction of an F -automorphism of the group NS (E).
The following lemma gives sufficient conditions for a morphism ϕ ∈ NAutF (E) (AutS (E))
to be the restriction of an F -automorphism of Nj , for some j ≥ 1.
Lemma 1.20. Let E be an F -essential subgroup of S of rank at most 3. Let K ≤ E be
a subgroup of E containing [E, E] but not [N1 , N1 ]. Let j ∈ N be such that Nj ≤ NS (K).
Then
(1) E has maximal normalizer tower in Nj and the members of such tower are the
first j members of the normalizer tower of E in S;
(2) if P is a subgroup of S containing E, then either P = Ni ≤ Nj for some i ≤ j
or Nj < P ;
(3) for every 1 ≤ i ≤ j − 1, if K is F -characteristic in Ni then AutF (Ni ) =
AutS (Ni )NAutF (Ni ) (Ni−1 ), AutS (Ni ) ✂ AutF (Ni ), Ni is not F -essential and every morphism in AutF (Ni ) is the restriction of a morphism in AutF (Ni+1 ).
In particular if K is F -characteristic in Ni for every 1 ≤ i ≤ j −1 then every morphism
in NAutF (E) (AutS (E)) is the restriction of an F -automorphism of Nj that normalizes
each member of the normalizer tower of E in S.
Remark 1.21. Recall that [N1 : E] = p by Theorem 1.8. In particular [N1 , N1 ] ≤ E and
so K < E. The assumption [E, E] ≤ K implies that N0 = E ≤ NS (K). Finally note
that Nj is a member of the normalizer tower of E, so Ni = NiS (E) = NiNj (E) for every
i ≤ j − 1.

.

FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

11

The key idea for the proof of Lemma 1.20 is that the quotient group E/K is a
soft subgroup of Nj /K, defined by Héthelyi in [Hét84] as an abelian self-centralizing
subgroup having index p in its normalizer.
Proof. Consider the group Nj /K. Notice that the subgroup E/K is abelian and for
every i ≤ j we have Ni (E/K) = Ni /K. Since [N1 , N1 ]  K and [N1 : E] = p by
Theorem 1.8, we deduce that E/K is self-centralizing in Nj /K and [N1 (E/K) : E/K] =
p. Therefore E/K is a soft subgroup of Nj /K. In particular by [Hét84, Lemma 2] the
group E has maximal normalizer tower in Nj and the members of such tower are the
only subgroups of Nj containing E.
Let P ≤ S be a subgroup of S containing E. If P ≤ Nj then P = NiNj (E) =
NiS (E) = Ni for some i. Suppose that P  Nj . We show that Ni ≤ P for every
0 ≤ i ≤ j by induction on i. By assumption N0 = E ≤ P . Suppose Ni ≤ P for some
0 ≤ i ≤ j − 1. Note that Ni < NP (Ni ) ≤ Ni+1 and since [Ni+1 : Ni ] = p we deduce that
Ni+1 = NP (Ni ) ≤ P . Therefore Ni ≤ P for every 0 ≤ i ≤ j and so Nj ≤ P .
For every 1 ≤ i ≤ j − 1, let Hi ∈ Ni−1 be such that Hi /K = Zi (Ni /K) (the i-th
center of Ni /K). Also let Hj ≤ Hj−1 be such that Hj /K = Z(N1 /K)[Nj /K, Nj /K].
Then by [Hét90, Lemma 1 and Theorem 2] we have that Ni /Hi ∼
= Cp × Cp for every
1 ≤ i ≤ j and Hj /K is characteristic in Nj /K. In particular Φ(Ni ) ≤ Hi for every
1 ≤ i ≤ j.
Suppose that K is F -characteristic in Ni for some 1 ≤ i ≤ j − 1. Then Hi is F characteristic in Ni and the group AutF (Ni ) acts on the quotient Ni /Hi ∼
= Cp × Cp .
Since Ni < Nj ≤ S, the group AutS (Ni ) ∼
= Ni+1 /CS (Ni ) acts non-trivially on the set of
F -conjugates of Ni−1 contained in Ni . Note that Ni /Hi has p + 1 maximal subgroups
and at least p of these are F -conjugates of Ni−1 . If α ∈ AutF (Ni ) then Eα is an
F -essential subgroup of S by Theorem 1.8, Ni = NiS (Eα) and Kα = K. So by part
(1) the group Eα has maximal normalizer tower in Ni+1 . Thus Ni = NS (Ni−1 α). Since
Hi+1 ✂ Ni+1 , we deduce that Hi+1 is not of the form Ni−1 α for any α ∈ AutF (Ni ) and
so Hi+1 is F -characteristic in Ni . Since Ni has rank at most 3 by Lemma 1.19, we
deduce that [Hi+1 : Φ(Ni )] ≤ p and so AutS (Ni ) stabilizes the sequence of subgroups
Φ(Ni ) ≤ Hi < Hi+1 < Ni . By Lemma 1.4 we conclude that AutS (Ni ) ✂ AutF (Ni ). In
particular Op (OutF (Ni )) 6= 1 and so Ni is not F -essential. Also, the action of AutS (Ni )
on the conjugates of Ni−1 contained in Ni is transitive and so by the Frattini Argument
([KS04, 3.1.4]) we have
AutF (Ni ) = AutS (Ni )NAutF (Ni ) (Ni−1 ).
Note that the group Ni is F -centric, because it contains E, and so it is fully centralized
in F . Since F is a saturated fusion system, we deduce hat Ni is receptive by [RS09,
Theorem 5.2(2)] and since AutS (Ni ) ✂ AutF (Ni ) we conclude that every morphism in
AutF (Ni ) is the restriction of a morphism in AutF (Ni+1 ).
The last statement follows from part (3) and the fact that E is receptive and so every
morphism in NAutF (E) (AutS (E)) is the restriction of a morphism in AutF (N1 ).

If E is an abelian F -essential subgroup of S of rank at most 3, then applying Lemma
1.20 with K = 1 and Nj = S we get the following.

12

VALENTINA GRAZIAN

Corollary 1.22. Let E be an abelian F -essential subgroup of S of rank at most 3.
Then E has maximal normalizer tower in S and it is not properly contained in any
F -essential subgroup of S. In particular every morphism in NAutF (E) (AutS (E)) is the
restriction of an F -automorphism of S that normalizes each member of the normalizer
tower of E in S.
2. Properties of the F -core and proof of Theorem A
Definition 2.1. Let E1 ≤ S and E2 ≤ S be F -essential subgroups of S such that
NS (E1 ) = NS (E2 ). We define the F -core of E1 and E2 , denoted coreF (E1 , E2 ), as
the largest subgroup T of E1 ∩ E2 that is normalized by AutF (E1 ), AutF (E2 ) and
AutF (NS (E1 )). We set coreF (E1 ) = coreF (E1 , E1 ) and we call it the F -core of E1 .
The structure of the F -core of F -essential subgroups will play a crucial role in the
proofs of most of the results of this paper (and it was already used in the proofs of
Theorems 1.15, 1.16 and 1.17). In this section we describe the main properties of the
F -core.
Note that if E is an F -essential subgroup of S, then E = coreF (E) if and only if E
is F -characteristic in S.
Lemma 2.2. Let E be an F -essential subgroup of S and set T = coreF (E). If α ∈
HomF (NS (E), S) then T α = coreF (Eα).
In particular coreF (E) = coreF (E, Eα) = coreF (Eα) for every α ∈ AutF (NS (E)).
Proof. If E = Eα then α|E ∈ AutF (E) and so T α = T = coreF (E).
Suppose E 6= Eα. Clearly T α is a subgroup of Eα. Note that AutF (Eα) =
α−1 AutF (E)α. Since E is an F -essential subgroup of S, it is fully normalized in
F . Hence [NS (E)α : Eα] = [NS (E) : E] ≥ [NS (Eα) : Eα]. Since NS (E)α ≤ NS (Eα)
we deduce that NS (E)α = NS (Eα) and so AutF (NS (E)α) = α−1 AutF (NS (E))α. It’s
now easy to see that T α = coreF (Eα).
Assume α ∈ AutF (NS (E)). Then NS (Eα) = NS (E) and by maximality of T we have
coreF (E, Eα) ≤ T . On the other hand, T = T α = coreF (Eα), so T is contained in
E ∩ Eα and is F -characteristic in E, Eα and NS (E). Hence T ≤ coreF (E, Eα), which
implies T = coreF (E, Eα).

Remark 2.3. Lemma 2.2 says in particular that if E is an F -essential subgroup of S
not F -characteristic in S then the F -core of E can always be described as the F -core
of two distinct F -essential subgroups.
Lemma 2.4. Let E1 and E2 be distinct F -essential subgroups of S such that NS (E1 ) =
NS (E2 ). Set N = NS (E1 ) = NS (E2 ), E12 = E1 ∩ E2 and T = coreF (E1 , E2 ). Suppose
that E1 , E2 and T have rank at most 3. Then for every 1 ≤ i ≤ 2 the followings hold:
(1) CEi (T )  T ;
(2) CN (T )  E12 ;
′
(3) if CN (T )  Ei then O p (OutF (Ei )) centralizes T .
Proof. Let Gi be a model for NF (Ei ). As an intermediate step we show that CGi (T )  T
for every i ∈ {1, 2}. Suppose for a contradiction that CG1 (T ) ≤ T . Then CN (T ) ≤ T .

FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

13

In particular CN (T ) = CEi (T ) ✂ CGi (T ) for every i ∈ {1, 2}. Let g ∈ CG2 (T ). Note
that [E2 , g] ≤ E2 ∩ CG2 (T ) = CE2 (T ) ≤ T . Thus g stabilizes the sequence 1 < T < E2 .
Hence by Lemma 1.4 and the fact that E2 is F -essential we deduce that g ∈ E2 , and
so g ∈ CE2 (T ) ≤ T . Therefore CG2 (T ) ≤ T . Hence we have CGi (T ) ≤ T for every
i ∈ {1, 2}. In particular by [Gor80, Theorem 5.1.4] we deduce that for every i ∈ {1, 2}
the group CGi (T /Φ(T )) is a normal p-subgroup of Gi and so it is contained in Ei .
Therefore CN (T /Φ(T )) ≤ E1 ∩ E2 and CN (T /Φ(T )) = CG1 (T /Φ(T )) = CG2 (T /Φ(T )).
By the maximality of T and the fact that T centralizes T /Φ(T ) we conclude that
T = CG1 (T /Φ(T )) = CG2 (T /Φ(T )).
Thus the quotient N/(E1 ∩ E2 ) acts non-trivially on T /Φ(T ). By assumptions the
groups E1 and E2 have rank at most 3. Hence by Theorem 1.8 we get [N : E1 ] =
[N : E2 ] = p. Hence [N : (E1 ∩ E2 )] = p2 , that implies [T : Φ(T )] ≥ p3 . By assumption T has rank at most 3 and so [T : Φ(T )] = p3 . For every i ∈ {1, 2} the quotient Gi /T is isomorphic to a subgroup of Aut(T /Φ(T )) ∼
= GL3 (p), and so N/T ∼
=
1+2
∼
p+ . In particular [(E1 ∩ E2 ) : T ] = p and Ei /T = Cp × Cp for every i ∈ {1, 2}.
Note that [Ei , T ]Φ(T ) ≤ [N, T ]Φ(T ) for every i ∈ {1, 2} and [N, T ] = [E1 , T ][E2, T ].
If [E1 , T ]Φ(T ) = [E2 , T ]Φ(T ) then [E1 , T ]Φ(T ) = [N, T ]Φ(T ) and N/(E1 ∩ E2 ) is
isomorphic to a subgroup of Aut([N, T ]Φ(T )/Φ(T )), that is a contradiction. Thus
[E1 , T ]Φ(T ) 6= [E2 , T ]Φ(T ). In particular we get [[N, T ]Φ(T ) : Φ(T )] = p2 .
N

E1

E2
E1 ∩ E2
T
[N, T ]Φ(T )
Z
Φ(T )

Let Z be the preimage in N of Z(N/Φ(T )). Then Z ≤ T and [Z : Φ(T )] = p. Since
Z ≤ [Ei , T ]Φ(T ) ≤ [N, T ]Φ(T ) for every i, we may assume that
[E1 , T ]Φ(T ) = Z and [E2 , T ]Φ(T ) = [N, T ]Φ(T ).
Let x ∈ (E1 ∩ E2 )\T and let t ∈ T . Note that [x, t] ∈ [E1 , T ]Φ(T ) = Z, so [x, t]
commutes with t and x modulo Φ(T ). Hence by properties of commutators ([Gor80,
Lemma 2.2.2]) we have
(xt)p = tp xp [x, t]

p(p−1)
2

= xp

mod Φ(T ).

Since E1 ∩ E2 = hxiT we deduce that (E1 ∩ E2 )p Φ(T ) = hxp iΦ(T ). Thus (E1 ∩
E2 )p Φ(T ) = Z and the quotient (E1 ∩ E2 )/Z is elementary abelian of order p3 .

14

VALENTINA GRAZIAN

Note that Φ(E1 ) ≤ T and so either E1 has rank 2 (and T = Φ(E1 )) or [T : Φ(E1 )] = p.
In particular by Theorem 1.8 we have h(N)G1 i/E1 ∼
= SL2 (p). Also, G1 acts transitively
on the maximal subgroups of E1 containing T and normalizes [T, E1 ]Φ(T ). Hence we
conclude that E1 /[T, E1 ]Φ(T ) = E1 /Z has exponent p.
Let τ ∈ h(N)G1 i be an involution that inverts E1 /T . Note that T /Z is a natural
SL2 (p)-module for h(N)G1 i/E1 (otherwise h(N)G1 i would centralize every quotient of
two consecutive subgroups in the sequence Φ(T ) < Z < T and so h(N)G1 i would be a
p-group, that is a contradiction). Hence τ inverts the quotient T /Z. In other words τ
acts as −1 on every quotient of two consecutive subgroups in the sequence
Z < [N, T ]Φ(T ) < T < E1 ∩ E2 < E1 .
Therefore the group E1 /Z is abelian and so elementary abelian of order p4 , contradicting the fact that S has sectional rank 3.
Hence we have CGi (T )  T for every i. Now suppose for a contradiction that
CEi (T ) ≤ T for some i. Then CGi (T ) is a normal subgroup of Gi not contained in
Ei = Op (Gi ). Hence CGi (T ) is not a p-group and there exists a non trivial element
g ∈ CGi (T ) of order prime to p. Note that the direct product hgi×T acts by conjugation
on Ei . Then by [Gor80, Theorem 5.3.4] we get [g, CEi (T )] 6= 1, contradicting the fact
that CEi (T ) ≤ T ≤ CGi (g). Thus CEi (T )  T for every i.
Suppose for a contradiction that CN (T ) ≤ E1 ∩E2 . Then CN (T ) = CE1 (T ) = CE2 (T )
and by maximality of T we conclude CEi (T ) ≤ T , contradicting what was proved above.
Finally, assume that CN (T )  Ei for some i. Then N = Ei CN (T ), since [N : Ei ] = p
by Theorem 1.8. In particular OutS (Ei ) ∼
= N/Ei ∼
= CN (T )/CEi (T ) centralizes T . Hence
′
p
OutF (Ei )
O (OutF (Ei )) = hOutS (Ei )
i centralizes T .

Theorem 2.5. Suppose p is an odd prime, S is a p-group and F is a saturated fusion
system on S. Let E be an F -essential subgroup of S such that
• E has rank 2;
• Φ(E) has rank at most 3; and
• E is not F -characteristic in S.
Then either E is elementary abelian of order p2 (E ∼
= Cp × Cp ) or it is extraspecial of
order p3 and exponent p (E ∼
).
= p1+2
+
Proof. Let E be an F -essential subgroup of S of rank 2 that is not F -characteristic in S
and such that Φ(E) has rank at most 3. Then by Lemma 1.9 we get coreF (E) = Φ(E).
Let α ∈ AutF (NS (E)) be a morphism that does not normalize E. Then by Lemma 2.2
we have Φ(E) = coreF (E, Eα) and by Lemma 2.4 applied with E1 = E and E2 = Eα
we conclude that CE (Φ(E))  Φ(E). Since [E : Φ(E)] = p2 and E is F -essential, by
Lemma 1.4 we get E = Φ(E)CE (Φ(E)) and so E = CE (Φ(E)). Thus Φ(E) ≤ Z(E)
and by Theorem 1.11 we deduce that E is a pearl.

Proof of Theorem A. If S has sectional rank 3 then every subgroup of S has rank
at most 3. Hence the statement is a direct consequence of Theorem 2.5.


FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

15

Lemma 2.6. Let E1 and E2 be distinct F -essential subgroups of S such that NS (E1 ) =
NS (E2 ). Set T = coreF (E1 , E2 ). Suppose that E1 , E2 and T have rank at most 3. Then
′
for every 1 ≤ i ≤ 2 either T ≤ Φ(Ei ) or O p (OutF (Ei )) ∼
= SL2 (p), [T Φ(Ei ) : Φ(Ei )] = p
and
′
T Φ(Ei )/Φ(Ei ) = CEi /Φ(Ei ) (O p (OutF (Ei ))).
Proof. Fix i and set E = Ei and N = NS (E). Note that Φ(E)T is a proper F characteristic subgroup of E. If the action of OutF (E) on E/Φ(E) is irreducible,
then we have Φ(E)T = Φ(E), and so T ≤ Φ(E). Suppose the action is reducible.
Then [E : Φ(E)] = p3 and by Theorem 1.8 we get that OutF (E) is isomorphic to a
′
′
subgroup of GL2 (p) × GL1 (p) and O p (OutF (E)) ∼
= SL2 (p). Let τ ∈ O p (OutF (E)) be
an involution. Then by coprime action we have
E/Φ(E) ∼
= CE/Φ(E) (τ ) × [E/Φ(E), τ ].
Note that the groups CE/Φ(E) (τ ) and [E/Φ(E), τ ] are the only subgroups of E/Φ(E)
′
′
that are normalized by O p (OutF (E)). Thus CE/Φ(E) (τ ) = CE/Φ(E) (O p (OutF (E)))
′
and [E/Φ(E), τ ] = [E/Φ(E), O p (OutF (E))]. Also, either T ≤ Φ(E) or T Φ(E) is the
preimage in E of one of these two subgroups of E/Φ(E).
It remains to prove that T Φ(E) cannot be the preimage in E of the commutator
′
group [E/Φ(E), O p (OutF (E))]. Suppose for a contradiction that it is. Then T /(T ∩
′
′
Φ(E)) ∼
= T Φ(E)/Φ(E) is a natural SL2 (p)-module for O p (OutF (E)). So O p (OutF (E))
does not centralize T and, by Lemma 2.4, we have CN (T ) ≤ E. Since T Φ(E) ≤ E1 ∩E2
and [E : Φ(E)] = p3 , we deduce that T Φ(E) = E1 ∩ E2 . Let j 6= i, 1 ≤ j ≤ 2. Then
CEj (T ) ≤ CN (T ) ≤ E and
CEj (T ) = CN (T ) ∩ Ej = CE (T ) ∩ T Φ(E).
Thus CEj (T ) is F -characteristic in E. Moreover Φ(E)T = Φ(N)T , so CEj (T ) =
CN (T ) ∩ Φ(N)T is F -characteristic in N. Clearly CEj (T ) is F -characteristic in Ej
and we get CEj (T ) ≤ T by the maximality of T , contradicting Lemma 2.4. Thus either
′
T ≤ Φ(E) or T Φ(E) is the preimage in E of CE/Φ(E) (O p (OutF (E))).

All properties listed in Lemmas 2.4 and 2.6 hold when E and coreF (E) have rank at
most 3 and E is not F -characteristic in S and T = coreF (E).
Lemma 2.7. Let E be an F -essential subgroup of S not F -characteristic in S and set
N = NS (E) and T = coreF (E). Suppose that E and T have rank at most 3. Then
(1) CE (T )  T ;
(2) CN (T )  E and N = ECN (T );
′
(3) O p (OutF (E)) centralizes T ;
′
(4) either T ≤ Φ(E) or T /Φ(E) = CE/Φ(E) (O p (OutF (E))) and [T Φ(E) : Φ(E)] =
p.
Proof. By Lemma 2.2 we have T = coreF (E, Eα), for some α ∈ AutF (N) such that
E 6= Eα. Therefore we can apply Lemmas 2.4 and 2.6 with E1 = E and E2 = Eα and
so statements (1), (3) and (4) hold. For part (2), since CN (T )  E ∩ Eα and CN (T ) is

16

VALENTINA GRAZIAN

F -characteristic in N, we get that CN (T )  E. Finally since E has rank at most 3 by
Theorem 1.8 we have [N : E] = p and so N = ECN (T ).

We end this section proving that under certain conditions the F -core T of E1 and
E2 is either cyclic or isomorphic to the group Cpa × Cp , for some a ≥ 1. We will
see in Section 3 that these conditions are always satisfied when E1 is an F -essential
subgroup of S not F -characteristic in S such that NS (E1 ) has sectional rank at most
3 and T = coreF (E1 ).
Theorem 2.8. Let E1 and E2 be distinct F -essential subgroups of S such that NS (E1 ) =
NS (E2 ) = N. Set E12 = E1 ∩ E2 and T = coreF (E1 , E2 ). Suppose that the following
hold:
(1) E1 , E2 and T have rank at most 3;
′
(2) O p (OutF (E1 )) ∼
= SL2 (p) centralizes T ;
(3) there exists a subgroup V ≤ E1 that is F -characteristic in E1 , has sectional
rank at most 3, is contained in CE1 (T )T and such that V /T is a natural SL2 (p)′
module for O p (OutF (E1 )).
Then T is abelian, T ≤ Z(V ), |[V, V ]| ≤ p and the group T /[V, V ] is cyclic.
Proof. Set E = E1 . Since V ≤ CE (T )T , we get
CV (T )T = (V ∩ CE (T ))T = V ∩ CE (T )T = V.
Note that CV (T ) ∩ T = Z(T ) and so
V /Z(T ) ∼
= T /Z(T ) × CV (T )/Z(T ).
Since CV (T )/Z(T ) ∼
= V /T ∼
= Cp × Cp and V has sectional rank 3, we deduce that
T /Z(T ) has to be cyclic and so the group T is abelian. In particular V = CV (T )T =
CV (T ). Hence T ≤ Z(V ) and since [V : T ] = p2 we conclude that |[V, V ]| ≤ p.
′
Let τ ∈ O p (OutF (E)) be an involution. Then by assumption τ acts on V and T is
the centralizer in V of τ . Thus by coprime action we get
V /[V, V ] ∼
= T /[V, V ] × [V /[V, V ], τ ].
∼
Since [V /[V, V ], τ ] = Cp × Cp and V has sectional rank 3, we deduce that the group
T /[V, V ] is cyclic.

3. Structure of F -essential subgroups that are not F -characteristic
in S
Throughout this section, we assume the following hypothesis.
Hypothesis 3.1. Suppose that p is an odd prime, S is a p-group, F is a saturated
fusion system on S and E ≤ S is an F -essential subgroup of S not F -characteristic in
S such that the group NS (E) has sectional rank 3. Set T = coreF (E) < E.
By assumption every subgroup of NS (E) has rank at most 3. So in particular E
′
has rank at most 3 and by Theorem 1.15 we know that O p (OutF (E)) ∼
= SL2 (p). In
this section we describe the structure of E. We intend to apply Stellmacher’s Pushing

FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

17

Up Theorem ([Ste86, Theorem 1]). We first show that the quotient group NS (E)/T is
non-abelian.
Lemma 3.2. The quotient group NS (E)/T Φ(E) is non-abelian.
Proof. Consider the following sequence of F -characteristic subgroups of E:
Φ(E) ≤ T Φ(E) < E.
By Lemma 2.7 we have [T Φ(E) : Φ(E)] ≤ p. So NS (E) centralizes the quotient
T Φ(E)/Φ(E). Since Inn(E) 6= AutS (E), by Lemma 1.4 the group NS (E) cannot
centralize the quotient E/T Φ(E). Thus the quotient group NS (E)/T Φ(E) is not
abelian.

′

Theorem 3.3. Set V = [E, O p (AutF (E))]T . Then
(1) V /T is a natural SL2 (p)-module for the group
′
O p (OutF (E)) ∼
= SL2 (p);

NS (E)
p

E

(2) NS (E)/T has exponent p;
(3) E/T is elementary abelian and p2 ≤ [E : T ] ≤ p3 ;
(4) [E/T : Z(NS (E)/T )] = p;
(5) T is abelian, T ≤ Z(V ), |[V, V ]| ≤ p and T /[V, V ] is
a cyclic group.
Moreover, if [E : T ] = p2 , then T ≤ Z(NS (E)).

≤p

V
p×p

T
pa

[V, V ]
≤p

1

Proof. Set N = NS (E), let G be a model for NF (E) and let A = hNG i ≤ G. Then
′
A/E ∼
= O p (OutF (E)) ∼
= SL2 (p). We want to apply Stellmacher’s Pushing Up Theorem
([Ste86, Theorem 1]) to the group A/T and to its Sylow p-subgroup N/T . Note that
the quotient N/T is non-abelian by Lemma 3.2.
Let T ≤ W ≤ N be such that W/T is characteristic in N/T and W/T ✂ A/T . Then
W ≤ E = Op (A), W is F -characteristic in N and W ✂ NG (N)A = G. So W = T
by maximality of T and W/T = 1. By Theorem 1.15 the quotient A/E is isomorphic
to SL2 (p). Thus by [Ste86, Theorem 1] and the fact that N has sectional rank 3, we
get that V /T ≤ Z(E/T ) and V /T is a natural SL2 (p)-module for A/E. In particular
[E : T ] ≥ p2 .
Let ΩN ≤ N be the preimage in N of Ω1 (Z(N/T )) and let ΩE be the preimage in
E of Ω1 (Z(E/T )). Then [Ste86, Theorem 1] tells us that N/ΩN is elementary abelian.
Since N has sectional rank 3 we deduce [N : ΩN ] ≤ p3 .
If ΩN  E then N = EΩN and
[N, N] = [E, N] = [E, E][E, ΩN ] ≤ Φ(E)T,

18

VALENTINA GRAZIAN

contradicting the fact that N/T Φ(E) is non-abelian by Lemma 3.2. Therefore ΩN ≤ E
and so ΩN ≤ ΩE . By maximality of T , we also have ΩN 6= ΩE . In particular
[E : ΩE ] < [E : ΩN ] = p−1 [N : ΩN ] ≤ p2 .
Therefore [E : ΩE ] ≤ p, which implies that E/T is abelian.
′
Let τ ∈ O p (OutF (E)) be an involution and let C ≤ E be the preimage in E of
CE/T (τ ). Then by coprime action we get
E/T ∼
= C/T × [E/T, τ ].
′

Note that [E/T, τ ] ≤ V /T and since V /T is a natural SL2 (p)-module for O p (OutF (E)),
we deduce that E/T ∼
= C/T × V /T . Thus N/C is isomorphic to a Sylow p-subgroup
of the group (Cp × Cp ) : SL2 (p). Hence N/C ∼
and so Np ≤ C. Therefore Np T
= p1+2
+
is a subgroup of E that is F -characteristic in N and normalized by G = ANG (N). By
maximality of T we get Np ≤ T . Hence N/T has exponent p and E/T is elementary
abelian. In particular [E : T ] ≤ p3 .
Since E/T is elementary abelian we have ΩN /T = Ω1 (Z(N/T )) = Z(N/T ). Let α be
an F -automorphism of N such that E 6= Eα. Then N = EEα and Eα/T ∼
= E/T is
abelian. Hence ΩN = E ∩ Eα and [E : ΩN ] = p.
Part (5) is a consequence of Theorem 2.8, once we have shown that V ≤ CE (T )T .
Note that the group CE (T )T is an F -characteristic subgroup of E not contained in T
(by Lemma 2.7). Since Φ(E) ≤ T and E has rank at most 3, by Lemma 1.4 either
V ≤ CE (T )T or T = Φ(E) and [CE (T )T : T ] = p. Suppose for a contradiction that
the latter holds. Since CE (T )T ✂ N we deduce CE (T )T ≤ ΩN . Also CE (T )T =
(CN (T ) ∩ E)T = CN (T )T ∩ E. Therefore CE (T )T = CN (T )T ∩ ΩN . In particular
CE (T )T is normalized by AutF (E) and AutF (N), contradicting the maximality of T .
Therefore V ≤ CE (T )T and we conclude by Theorem 2.8.
Finally, if [E : T ] = p2 then V = E so E = CE (T ). Since N = ECN (T ) by Lemma
2.7, we deduce that N = CN (T ) and so T ≤ Z(N).

Lemma 3.4. Suppose NS (E) < S and set N1 = NS (E) and N2 = NS (N1 ). Then
[N2 : N1 ] = p, AutF (N1 ) = AutS (N1 )NAutF (N1 ) (E), N1 is not F -essential and every
automorphism of E contained in NAutF (E) (AutS (E)) is the restriction to E of an F automorphism of N2 .
Proof. By Theorem 3.3(3) we have [E, E] ≤ T and by Lemma 3.2 we get [N1 , N1 ]  T .
Also note that T ✂ N2 because T is F -characteristic in N1 . Hence the statement
follows from Lemma 1.20 applied with K = T and Nj = N2 .

Lemma 3.5. Suppose that NS (E) < S and set N1 = NS (E) and N2 = NS (N1 ). Then
|Z(N2 /T )| = p.
Proof. First notice that T ✂ N2 so we can consider the group N2 /T . If [E : T ] = p2
then the fact that Z(N2 /T ) < E/T implies that |Z(N2/T )| = p. Hence by Theorem
3.3 we can assume that [E : T ] = p3 . Let C be the preimage in E of the group
′
CE/T (O p (AutF (E))). Then |C/T | = p and by maximality of T the group C is not
F -characteristic in N1 . By Lemma 3.4 we have AutF (N1 ) = AutS (N1 )NAutF (N1 ) (E).

FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

19

Since AutS (N1 ) ∼
= N2 /Z(N1 ) and C is F -characteristic in E, we deduce that C is not
2
normal in N . In particular C/T  Z(N2 /T ). Since C/T ≤ Z(N1 /T ) we get Z(N2 /T ) <
Z(N1 /T ). By Theorem 3.394) we have |Z(N1 /T )| = p2 and so |Z(N2/T )| = p.

We conclude this section with further properties of the quotient group NS (E)/Φ(E).
Lemma 3.6. Let Z be the preimage in NS (E) of Z(NS (E)/Φ(E)). Then Z is the
preimage in E of Z(NS (E)/T ). In particular [E : Z] = p, Z is F -characteristic in
NS (E) and Φ(NS (E)) ≤ Z.
Proof. Suppose Z/T = Z(NS (E)/Φ(E)). Then Z is F -characteristic in NS (E) because
T is F -characteristic in NS (E) and [E : Z] = p by Theorem 3.3(4). So [NS (E) : Z] = p2
(recall that E has rank at most 3 by assumptions and so [NS (E) : E] = p) and since E
is not F -characteristic in NS (E) we deduce that the quotient NS (E)/Z is not cyclic.
Hence it is elementary abelian and Φ(NS (E)) ≤ Z.Therefore it is enough to prove that
Z/T = Z(NS (E)/Φ(E)). If Φ(E) = T then this follows by definition so we can assume
that Φ(E) 6= T . Then by Theorem 3.3(3) we deduce that Φ(E) < T , E has rank 3 and
′
[E : T ] = p2 . Also, by Lemma 2.7(4) we have T /Φ(E) = CE/Φ(E) (O p (AutF (E))). In
′
particular by coprime action we have E/Φ(E) ∼
= T /Φ(E) × [E/Φ(E), O p (AutF (E))]
and so
′
T /Φ(E) ∩ [E/Φ(E), O p (AutF (E))] = 1.
′
Since both T /Φ(E) and [E/Φ(E), O p (AutF (E))] are normal subgroups of NS (E)/Φ(E),
their intersection with the center Z/Φ(E)) is non-trivial. Hence
|Z/Φ(E)| ≥ p2 .
Since Z ≤ E and [NS (E), E]  Φ(E) by Lemma 1.5, we conclude that Z < E and so
|Z/Φ(E)| = p2 . In other words [E : Z] = p and since Z/T ≤ Z(NS (E)/T ) < E/T we
get that Z is the preimage in E of Z(NS (E)/T ).

Lemma 3.7. The group NS (E)/Φ(E) has exponent p. In particular Φ(NS (E)) =
[NS (E), NS (E)]Φ(E) and the groups E and NS (E) have the same rank.
Proof. If Φ(E) = T then NS (E)/Φ(E) has exponent p by Theorem 3.3(2). Suppose
Φ(E) 6= T . Then by Theorem 3.3(3) we deduce that Φ(E) < T , E has rank 3,
[E : T ] = p2 and T ≤ Z(NS (E). Let Z be the preimage in E of Z(NS (E)/T ). Then by
Theorem 3.3(4) we have [E : Z] = p. Thus [Z : T ] = p and Z is abelian.
′
By Theorem 1.15 we have O p (OutF (E)) ∼
= SL2 (p) and by Theorem 3.3 the quotient
′
E/T is a natural SL2 (p)-module for O p (OutF (E)).
Thus there exists a morphism
!
′
−1 0
τ ∈ O p (AutF (E)) that acts on E/T as
with respect to the basis {xT, zT },
0 −1
for some x ∈ E\Z and z ∈ Z\T . Then zτ = z −1 t for some t ∈ T and τ centralizes T
by Lemma 2.7(4). Since z p ∈ T we get
z p = (z p )τ = (zτ )p = (z −1 t)p = (z p )−1 tp .
Hence z p ∈ T p and we conclude that Z p = T p . Since Z and T are abelian we also have
|Z| = |Ω1 (Z)||Z p | and |T | = |Ω1 (T )||T p|. Therefore Ω1 (T ) < Ω1 (Z) ≤ Ω1 (E).

20

VALENTINA GRAZIAN

Suppose for a contradiction that Ω1 (NS (E)) ≤ E. Then Ω1 (NS (E)) = Ω1 (E) ≤ T
by maximality of T and so Ω1 (E) ≤ Ω1 (T ), contradicting what we proved above.
Therefore Ω1 (NS (E))  E. Since [NS (E) : E] = p by Theorem 1.8, we deduce that
there exists an element h ∈ NS (E) of order p such that every element g of NS (E) can
be written as a product ehi for some e ∈ E and 1 ≤ i ≤ p. By Lemma 3.6 we have
that Z is the preimage in E of Z(NS (E)/Φ(E)) and Φ(NS (E)) ≤ Z. So [e, hi ] ∈ Z
commutes with e and hi modulo Φ(E) and by [Gor80, Lemma 2.2.2] we get
g p = (ehi )p = (hi )p ep [hi , e]

p(p−1)
2

≡ 1 mod Φ(E).

Hence the group NS (E)/Φ(E) has exponent p.
As a consequence, we deduce that Φ(NS (E)) = [NS (E), NS (E)]Φ(E). By Lemma 3.6
we have [NS (E)/Φ(E) : Z(NS (E)/Φ(E))] = p2 , so [Φ(NS (E)) : Φ(E)] = p. Therefore
[NS (E) : Φ(NS (E))] = [NS (E) : E][E : Φ(NS (E))] =

p[E : Φ(E)]
= [E : Φ(E)].
[Φ(NS (E)) : E]

Hence E and NS (E) have the same rank.



We end this section proving that the Frattini subgroup Φ(E) of E is F -characteristic
in NS (E). Note that we have already seen in Lemma 1.9 that this is true when E has
rank 2 (and in that case we didn’t need extra assumptions on the sectional rank of
NS (E)).
Lemma 3.8. The Frattini subgroup Φ(E) of E is F -characteristic in NS (E).
Proof. If Φ(E) = T then this follows from the definition of T . Thus by Theorem
3.3(3) we may assume that Φ(E) < T , [E : T ] = p2 and E has rank 3. Suppose
for a contradiction that there exists α ∈ AutF (NS (E)) such that Φ(E)α 6= Φ(E).
Since [T : Φ(E)] = p and T is F -characteristic in NS (E), we get T = Φ(E)Φ(E)α.
In particular T ≤ Φ(NS (E)) and since NS (E)/T is non abelian by Lemma 3.2, we
deduce that T < Φ(NS (E)). Hence [NS (E) : Φ(NS (E))] ≤ p2 and NS (E) has rank 2,
contradicting Lemma 3.7. Therefore Φ(E) is F -characteristic in NS (E).

4. Interplay of F -essential subgroups that are F -characteristic in S
Throughout this section, we assume the following hypothesis.
Hypothesis 4.1. Suppose that p is an odd prime, S is a p-group of sectional rank 3,
F is a saturated fusion system on S and E1 and E2 are distinct F -essential subgroups
of S that are F -characteristic in S. Set T = coreF (E1 , E2 ).
We now study the interplay of the F -essential subgroups E1 and E2 .
Lemma 4.2. Let Gi be a model for NF (Ei ) and let Ai = hS Gi i. Then
CAi (Ei /T ) ≤ Ei /T

for every 1 ≤ i ≤ 2

and either
(1) CGi (Ei /T ) ≤ Ei /T for every 1 ≤ i ≤ 2; or

FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

21

∼
(2) Φ(E1 ) = Φ(E2 ) < T , S/T ∼
= p1+2
+ , E1 and E2 have rank 3 and A1 /E1 =
A2 /E2 ∼
= SL2 (p). Moreover there exists a morphism θ ∈ OutF (S) of order dividing p − 1 that centralizes S/T and acts non-trivially on the quotient
T /Φ(E1 ) ∼
= Cp .
An example of the situation described in part (2) of Lemma 4.2 is given by the
fusion category of the group G = (Cp : Cp−1 )×PSL3 (p) on one of its Sylow p-subgroups
S∼
= Cp × p1+2
+ .
Proof. Clearly if CGi (Ei /T ) ≤ Ei /T then CAi (Ei /T ) ≤ Ei /T .
Suppose CGi (Ei /T )  Ei /T for some 1 ≤ i ≤ 2. Set E = Ei , G = Gi and A = Ai .
Note that E/T = Op (G/T ). Hence if CG (E/T ) is a p-group then CG (E/T ) ≤ E/T ,
contradicting the assumptions. So there exists a non-trivial element g ∈ CG (E/T )
such that (o(g), p) = 1. If T ≤ Φ(E) then g centralizes E/Φ(E) and so g = 1 by
[Gor80, Theorem 5.1.4], which is a contradiction. Thus we have T  Φ(E). Since
S has sectional rank 3 by assumption, we can apply Lemma 2.6 and we deduce that
A/E ∼
= SL2 (p), [T Φ(E) : Φ(E)] = p and T Φ(E)/Φ(E) = CE/Φ(E) (A/E). In particular
E has rank 3. Note that CA (E/T ) stabilizes the sequence of subgroups:
Φ(E) < T Φ(E) < E.
Hence by Lemma 1.4 we get CA (E/T ) ≤ E/T . Note that this proves that
CAk (Ek /T ) ≤ Ek /T for every 1 ≤ k ≤ 2.
Also, we get that g acts non-trivially on T Φ(E)/Φ(E) ∼
/ A. Hence g has
= Cp and g ∈
order dividing p − 1 and since G = ANG (S) by the Frattini Argument, we may assume
that g ∈ NG (S).
Suppose that g does not centralize S/T . Since [S : E] = p by Theorem 1.8, we
deduce that E/T = CS/T (g). Hence by coprime action we get
S/T ∼
= E/T × [S/T, g].
Thus [S/T, g] is a subgroup of S/T that commutes with E/T and so stabilizes the
sequence Φ(E) < T Φ(E) < E. Hence by Lemma 1.4 we have [S, g]T ≤ E, a contradiction.
Thus g centralizes the group S/T . Note that S/T Φ(E) is a Sylow p-subgroup of the
group A/T Φ(E) ∼
= (Cp × Cp ) : SL2 (p). Thus S/T Φ(E) ∼
= p1+2
+ . Also, since g centralizes
S/T but acts non-trivially on T Φ(E)/Φ(E), every element of T Φ(E)/Φ(E) is not a
p-th power of an element in S/Φ(E). Hence the group S/Φ(E) has exponent p.
Let P = Ej for j 6= i and consider the group P/Φ(E), that has order p3 and exponent
p. Since g centralizes P/T Φ(E) and acts non-trivially on T Φ(E)/Φ(E), we deduce that
P/Φ(E) is elementary abelian. Since S has sectional rank 3, we conclude Φ(E) = Φ(P ).
In particular P has rank 3, Φ(E) ≤ T by maximality of T and S/T ∼
= p1+2
+ . Also, by
′
Lemma 2.6 we have O p (OutF (P )) ∼
= SL2 (p). Finally set θ = cg Inn(S) ∈ OutF (S). 
Theorem 4.3. Either S/T ∼
or S/T is isomorphic to a Sylow p-subgroup of the
= p1+2
+
group Sp4 (p).

22

VALENTINA GRAZIAN

Proof. Suppose S/T is not isomorphic to the group p1+2
+ . Let G12 be a model for NF (S)
and for every 1 ≤ i ≤ 2 let Gi be a model for NF (Ei ) and set Ai = hS Gi i. We show
that the amalgam A(G1 /T, G2 /T, G12 /T, A1 /T, A2 /T ) is a weak BN-pair of rank 2 (as
defined in [DGS85]). It is enough to prove the following:
(1) there exist monomorphisms φ1 : G12 → G1 and φ2 : G12 → G2 such that G12 φi =
NGi (S) and φi |S = idS ;
(2) Ai /T ∩ G12 φi /T is the normalizer of a Sylow p-subgroup of Ai /T ;
(3) Ei /T ≤ Ai /T and Gi /T = Ai /T G12 φi /T ;
(4) CGi /T (Ei /T ) ≤ Ei /T ;
(5) Ai /Ei is isomorphic to either SL2 (p) or PSL2 (p); and
(6) If H/T is a subgroup of G12 /T such that Hφi/T ✂ Gi /T for every i then
H/T = 1.
Note that the groups NG1 (S) and NG2 (S) are models for NF (S). Hence the existence
of the monomorphisms φ1 and φ2 is guaranteed by the Model Theorem for constrained
fusion systems ([AKO11, Theorem 5.10]). In particular Ai /T ∩ G12 φi /T = NAi (S)/T
is the normalizer of the Sylow p-subgroup S/T of Ai /T . Point (3) follows from the
Frattini Argument and point (4) is a consequence of Lemma 4.2 and the assumption
that S/T is not isomorphic to p1+2
+ . By Theorem 1.17 we get point (5). Let H ≤ G12
be the subgroup described in point (6). Since φi is injective and acts as the identity
on S we deduce that H ∩ S = Hφi ∩ S for every i. Note that Hφi ∩ S ∈ Sylp (Hφi)
and since S = Op (G12 ), we deduce that Hφi ∩ S ✂ Hφi . Thus Hφi ∩ S is the unique
Sylow p-subgroup of Hφi and is therefore characteristic in Hφi. Hence S ∩ Hφi ✂ Gi
for every i, that implies S ∩ H = S ∩ Hφ1 = S ∩ Hφ2 ≤ Op (G1 ) ∩ Op (G2 ) = E1 ∩ E2 .
By the maximality of T we deduce that S ∩ H ≤ T . In particular we have
[Ei , Hφi] ≤ Ei ∩ Hφi ≤ S ∩ Hφi ≤ T.
So Hφi /T is a subgroup of Gi /T centralizing Ei /T for every i. By Lemma 4.2 (and the
assumption that S/T is not isomorphic to p1+2
+ ) we deduce Hφi ≤ Ei . Thus H = Hφi
and H ≤ E1 ∩ E2 is normalized by G1 and G2 . By definition of T we then need H ≤ T
and so H/T = 1. Hence point (6) holds.
Therefore A(G1 /T, G2 /T, G12 /T, A1 /T, A2 /T ) is a weak BN-pair of rank 2. In particular the quotient S/T is isomorphic to a Sylow p-subgroup of one of the groups listed
in [DGS85, Theorem II.4.A]. Since p is odd and S/T has sectional rank at most 3, by
[GLS98, Theorem 3.3.3] we deduce that S/T is isomorphic to a Sylow p-subgroup of
either PSL3 (p) or PSp4 (p). Finally notice that the Sylow p-subgroups of PSL3 (p) are
isomorphic to the group p1+2
+ and that the Sylow p-subgroups of PSp4 (p) are isomorphic
to the Sylow p-subgroups of Sp4 (p).

Lemma 4.4. If S/T ∼
then E1 and E2 are abelian, E1 ∩ E2 = Z(S) and for every
= p1+2
+
′

1 ≤ i ≤ 2 the group T is the centralizer in Z(S) of O p (AutF (Ei )).
Proof. Note that E1 /T ∼
= Cp × Cp . Thus Φ(Ei ) ≤ T and by Theorem 1.8 and
= E2 /T ∼
p′
Lemma 2.6 we have O (OutF (Ei )) ∼
= SL2 (p). In particular Ei /T is a natural SL2 (p)p′
module for O (OutF (Ei )). By Lemma 2.4 we have Ei = CEi (T )T and CS (T )  E1 ∩E2 .
′
Thus we may assume CS (T )  E1 and so O p (OutF (E1 )) centralizes T (again by Lemma

FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

23

2.4). Therefore by Theorem 2.8 we deduce that T is abelian, T ≤ Z(E1 ), |[E1 , E1 ]| ≤ p
and T /[E1 , E1 ] is cyclic. The fact that T is abelian implies that E2 = CE2 (T )T =
CE2 (T ) and so T ≤ Z(E2 ). Since S = E1 E2 we conclude that T ≤ Z(S).
Since E1 is receptive, every morphism in NOp′ (AutF (E1 )) (AutS (E1 )) is the restriction
of an F -automorphism of NS (E1 ) = S. Hence!there exists a morphism τ ∈ AutF (S)
−1 0
that acts on E1 /T as the involution
, with respect to the basis {e1 T, xT } ,
0 −1
for some e1 ∈ E1 \E2 and x ∈ E1 ∩ E2 . Since S/T ∼
= p1+2
+ , we have [E1 , E2 ]T = E1 ∩ E2 .
Thus the morphism τ centralizes the quotient E2 /(E1 ∩ E2 ). Let y ∈ E2 \E1 . Then
xτ = x−1 t1 and yτ = yt2 , for some t1 , t2 ∈ T . Since T ≤ Z(S) and τ centralizes T , we
have
[x, y] = [x, y]τ = [x−1 t1 , yt2] = [x, y]−1.
Since p is an odd prime, we deduce that [x, y] = 1 and the group E2 is abelian. Note
′
that CS (T ) = S  E2 so O p (AutF (E2 )) centralizes T by Lemma 2.4. Hence we can
repeat the same argument with E2 in place of E1 to prove that E1 is abelian.
Since E1 and E2 are abelian, we have E1 ∩ E2 = Z(S). Also, since there exists an
′
involution in O p (AutF (Ei )) that inverts the quotient Z(S)/T , we conclude that for
′
every 1 ≤ i ≤ 2 the group T is the centralizer in Z(S) of O p (AutF (Ei )).

Lemma 4.5. If S/T is isomorphic to a Sylow p-subgroup of Sp4 (p) then, upon swapping
E1 and E2 , the followings hold:
(1) Z(S) = Z(E1 ) is the preimage in S of Z(S/T );
′
(2) E1 /T ∼
and O p (OutF (E1 )) ∼
= p1+2
= SL2 (p);
+
′
(3) E2 is abelian, T = Φ(E2 ) and O p (OutF (E2 )) ∼
= PSL2 (p).
Proof. Note that S/T has order p4 , center of order p and a unique elementary abelian
maximal subgroup; every other maximal subgroup of S/T is extraspecial. Thus we
may assume that E1 /T is extraspecial. Note that T  Φ(E1 ) and since S has sectional
′
rank 3, by Lemma 2.6 we get O p (OutF (E1 )) ∼
= SL2 (p) and [T Φ(E1 ) : T ] = p. Note that
Φ(E1 )T is normal in S, so T Φ(E1 )/T = Z(S/T ). If E1 /T has exponent p2 , then there
exists an F -characteristic subgroup C of E1 containing T Φ(E1 ) and of index p in E1 .
Thus AutS (E1 ) stabilizes the sequence Φ(E1 ) < T Φ(E1 ) < P < E1 and so AutS (E1 ) is
normal in AutF (E1 ) by Lemma 1.4, a contradiction. Thus E1 /T has exponent p and
so E1 /T ∼
= p1+2
+ .
If T  Φ(E2 ) then by Lemma 2.6 we have [T Φ(E2 ) : T ] = p. Thus T Φ(E2 )/T =
Z(S/T ) = T Φ(E1 )/T , contradicting the maximality of T . Therefore T ≤ Φ(E2 ) and
Φ(E2 )/T < Z(S/T ). Since S has sectional rank 3 and |Z(S/T )| = p we deduce that
T = Φ(E2 ).
′
Suppose that the group O p (OutF (E2 )) is isomorphic to SL2 (p) and let C ≤ E2 be
′
the preimage in E2 of the group CE2 /T (O p (AutF (E2 ))). Then [C : T ] = p and since
C ✂ S we get C/T = Z(S/T ) = T Φ(E1 )/T . Hence C is F -characteristic in E1 , E2
′
and S, contradicting the maximality of T . Therefore O p (OutF (E2 )) is not isomorphic
to SL2 (p). Since S has sectional rank 3 we can apply Theorem 1.17 and we deduce

24

VALENTINA GRAZIAN

′
that O p (OutF (E2 )) ∼
= PSL2 (p). In particular the group OutF (E2 ) acts irreducibly on
E2 /T and since CE2 (T )  T by Lemma 2.4 and T CE2 (T ) is F -characteristic in E2 , we
deduce that T CE2 (T ) = E2 .
If CS (T ) ≤ E1 then E2 ≤ T CS (T ) ≤ E1 , that is a contradiction. Thus CS (T )  E1
′
and O p (OutF (E1 )) centralizes T by Lemma 2.4. Also, E1 ∩ E2 ≤ E2 ≤ T CS (T ). So
E1 ∩ E2 ≤ T CE1 (T ). Since E1 is F -essential, by Lemma 1.4 no proper non-trivial
subgroup of E1 /T Φ(E1 ) can be F -characteristic in E1 . Therefore we conclude that
E1 = T CE1 (T ) and S = T CS (T ).
Note that E1 /Z(T ) ∼
= T /Z(T ) × CE1 (T )/Z(T ) and CE1 (T )/Z(T ) ∼
= E1 /T ∼
= p1+2
+ .
Since S has sectional rank 3, we deduce that the group T /Z(T ) is cyclic and so T is
abelian. Hence S = CS (T ) and T ≤ Z(S).
′
The quotient E1 /T Φ(E1 ) is a natural SL2 (p)-module for the group O p (OutF (E1 ))
and the group E1 is receptive. Hence there
! exists a morphism τ ∈ AutF (S) that acts on
−1 0
, with respect to the basis {e1 T Φ(E1 ), xT Φ(E1 )},
E1 /T Φ(E1 ) as the involution
0 −1
for some e1 ∈ E1 \E2 and x ∈ E1 ∩ E2 . Also, τ centralizes T Φ(E1 )/T and since
[E1 , E2 ]T = E1 ∩ E2 , the morphism τ centralizes the quotient E2 /(E1 ∩ E2 ).

S

E1

E2
1
E1 ∩ E2

−1
−1
1
1

T Φ(E1 )
T = Φ(E2 ) ≤ Z(S)

Since hxiT Φ(E1 )/T Φ(E1 ) is the only section of E2 that is not centralized by τ and
T ≤ Z(E2 ), we deduce that hxiT ≤ Z(E2 ). Since Z(E2 ) is F -characteristic in E2 and
OutF (E2 ) acts irreducibly on E2 /T , the only possibility is E2 = Z(E2 ). Thus E2 is
abelian. Similarly, since T ≤ Z(S) and T Φ(E1 )/T is the only section of E1 /T not
inverted by τ , we deduce that T Φ(E1 ) ≤ Z(E1 ). Since the group E1 is non-abelian
(E1 /T ∼

= p1+2
+ ) we conclude that T Φ(E1 ) = Z(E1 ) = Z(S).
We end this section proving that if p is an odd prime, S has sectional rank 3, there
are two F -essential subgroups of S that are F -characteristic in S and Op (F ) = 1 then
S is isomorphic to a Sylow p-subgroup of the group Sp4 (p).
Theorem 4.6. Suppose p is an odd prime, S is a p-group of sectional rank 3 and F
is a saturated fusion system on S such that Op (F ) = 1. Assume there exist distinct F essential subgroups E1 and E2 of S both F -characteristic in S. Then S is isomorphic
to a Sylow p-subgroup of the group Sp4 (p), Ei ∼
and Ej ∼
= p1+2
= Cp × Cp × Cp , where
+
{i, j} = {1, 2}.

FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

25

Proof. Set T = coreF (E1 , E2 ). We aim to prove that T ✂ F . By Theorem 4.3 either
S/T ∼
or S/T is isomorphic to a Sylow p-subgroup of the group Sp4 (p). Note
= p1+2
+
that the group p1+2
has sectional rank 2. Since S has sectional rank 3, if T ✂ F
+
then T = Op (F ) = 1 and S is isomorphic to a Sylow p-subgroup of the group Sp4 (p).
Note that by Lemmas 4.4 and 4.5 we have T ≤ Z(S). So T is contained in every
F -essential subgroup of S (recall that F -essential subgroups are self-centralizing in S).
By [AKO11, Proposition I.4.5] and the fact that T is F -characteristic in S by definition,
to prove that T is normal in F it is enough to show that T is F -characteristic in every
F -essential subgroup of S. By definition T is F -characteristic in E1 and E2 . Suppose
there exists an F -essential subgroup E3 of S distinct from E1 and E2 .
2
Assume S/T ∼
= p1+2
+ . Since Z(S) < E3 and Z(S) has index p in S we get that E3 is
abelian and normal in S.
• Suppose E3 is F -characteristic in S and set T1,3 = coreF (E1 , E3 ). Since both E1
and E3 are abelian, by Theorem 4.3 and Lemma 4.5 we deduce that S/T1,3 ∼
=
1+2
p′
p+ . Hence by Lemma 4.4 we have T1,3 = CZ(S) (O (OutF (E1 ))) = T . Therefore T is F -characteristic in E3 .
′
• Suppose E3 is not F -characteristic in S. Then O p (OutF (E3 )) ∼
= SL2 (p) by
Theorem 1.15 and since E3 is receptive there exists an F -automorphism ϕ of
NS (E3 ) = S that inverts E3 /C, where C is the preimage in E3 of the group
′
CE3 /Φ(E3 ) (O p (OutF (E3 )). Thus ϕ inverts E3 /Z(S) and centralizes S/E3 . In
particular the action of ϕ on S/Z(S) is not scalar. However, ϕ normalizes E1 ,
E2 and E3 and we get a contradiction.
Hence if S/T ∼
then the group T is F -characteristic in every F -essential subgroup
= p1+2
+
of S and is therefore normal in F .
Assume S/T is isomorphic to a Sylow p-subgroup of the group Sp4 (p). Then by
Lemma 4.5 we can assume that E1 /T ∼
and E2 is abelian. Note that [S : Z(S)] =
= p1+2
+
3
2
p so [E3 : Z(S)] ≤ p .
Suppose [E3 : Z(S)] = p2 . Then E3 is normal in S. If Z(S) is not F -characteristic in
E3 , then Z(S) < Z(E3 ) and so E3 is abelian. In particular Z(S) = E2 ∩ E3 has index
p in E3 , which is a contradiction. Thus Z(S) is F -characteristic in E3 . Let G3 be a
model for NF (E3 ). Then T g ≤ Z(S) for every g ∈ G3 . Since T is F -characteristic in S
and G3 = hS G3 iNG3 (S) by the Frattini Argument, we conclude that G3 normalizes T
and so T is F -characteristic in E3 .
Suppose [E3 : Z(S)] = p. Then E3 is abelian and not normal in S. Set T3 = coreF (E3 )
and suppose T 6= T3 . Note that Z(S)/T3 = Z(S/T3 ) (since Z(S/T3 ) < E/T3 ) and so
[E3 /T3 : Z(S/T3 )] = p. Thus by Lemma 3.5 we have [E3 : T3 ] = p2 .
′
Let ϕ ∈ O p (AutF (E3 )) be a morphism that normalizes Z(S), inverts the quotient
′
E3 /T3 and centralizes T3 . Such a morphism exists because O p (OutF (E3 )) ∼
= SL2 (p)
p′
by Theorem1.15 and T3 is centralized by O (OutF (E3 )) (Lemma 2.7). Note that ϕ
is a restriction to E3 of an F -automorphism ϕ of S by Lemma 3.4. Also we have
[E3 , S] ≤ Z2 (S)\Z(S) and [E3 , Z2 (S)] ≤ Z(S)\T3 . Using properties of commutators, it
is not hard to see that the action of ϕ on the sections of S/T ∩ T3 is as described in
Figure 1.

26

VALENTINA GRAZIAN
S
-1
NS (E3 )

E1

1
E3

-1
-1

Z2 (S)
1

-1

Z(S)
1

T3

T
1

-1
T3 ∩ T

Figure 1.
In particular we get [E1 , Z2 (S)] ≤ T and so the group E1 /T is abelian, contradicting
the assumption that E1 /T is extraspecial. Thus T = T3 is F -characteristic in E3 .
Hence T is F -characteristic in every F -essential subgroup of S and is therefore
normal in F . This, together with the assumptions that S has sectional rank 3 and
Op (F ) = 1, completes the proof.

5. Proof of Theorem B
Throughout this section, we assume the following hypothesis.
Hypothesis 5.1. Let p be an odd prime, let S be a p-group of sectional rank 3 and
let F be a saturated fusion system on S.
Definition 5.2. For every subgroup P ≤ S containing Z(S) we define
ZP = h Ω1 (Z(S))AutF (P ) i.
Remark 5.3. Note that ZS = Ω1 (Z(S)) and ZS ≤ ZP ≤ Ω1 (Z(P )). In particular ZP is
elementary abelian and since S has sectional rank 3 we get |ZP | ≤ p3 .
The group ZS is an F -characteristic subgroup of S contained in every F -essential
subgroup of S (recall that every F -essential subgroup is self-centralizing in S). If
Op (F ) = 1 then there exists and F -essential subgroup E of S such that ZS < ZE .
When this happens we say that E moves ZS . In this section we study the structure of
the F -essential subgroups of S that move ZS , aiming for the proof of Theorem B.
Lemma 5.4. Let E ≤ S be an F -essential subgroup of S not F -characteristic in S
and set T = coreF (E). If ZS T = ZE T then ZS ≤ T .
Proof. Recall that by definition T is the largest subgroup of E that is F -characteristic
in both E and NS (E). Note that the group ZE T is F -characteristic in E and the group
ZS T is normalized by AutS (NS (E)) ∼
= NS (NS (E))/Z(NS (E)). Suppose ZS T = ZE T . If
NS (E) = S then ZS T is F -characteristic in NS (E). If NS (E) < S then AutF (NS (E)) =
AutS (NS (E))NAutF (NS (E)) (E) by Lemma 3.4 and so ZS T = ZE T is F -characteristic in

FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

27

NS (E). Therefore in any case the group ZS T = ZE T is F -characteristic in E and
NS (E). Hence ZS T = T by maximality of T and so ZS ≤ T .

Theorem 5.5. Let E ≤ S be an F -essential subgroup of S not F -characteristic in S
and let T = coreF (E). Then
ZS = ZE if and only if ZS ≤ T.
Proof. If ZS = ZE then ZS ≤ T by Lemma 5.4. We want to prove that if ZS < ZE then
ZS  T . Aiming for a contradiction, assume there exists an F -essential subgroup E of
S, not F -characteristic in S, such that ZS < ZE and ZS ≤ T . We can choose E to be a
maximal counterexample (with respect to inclusion) among the F -essential subgroups
of S not F -characteristic in S. From ZS ≤ T we get ZE ≤ T . So ZE ≤ Ω1 (T ) and
by Theorem 3.3 and the fact that ZS < ZE we conclude |ZE | = p2 and |ZS | = p. By
′
Theorem 2.7 the group O p (OutF (E)) centralizes T . Note that Inn(S) acts trivially on
′
ZS , so the group O p (AutF (E)) centralizes ZS . By the Frattini argument we have
′

AutF (E) = O p (AutF (E))NAutF (E) (AutS (E)).
Then we may assume that there exists α ∈ NAutF (E) (AutS (E)) of order prime to p such
that ZS α 6= ZS . Note that α is the restriction to E of an F -automorphism α of NS (E)
(since E is receptive) but it is not a restriction of an F -automorphism of S (otherwise
it normalizes ZS ). In particular the group E is not abelian by Corollary 1.22.
By Alperin’s Fusion Theorem there exist subgroups P1 , P2 , . . . , Pn of S and morphisms φi ∈ AutF (Pi ) for every 1 ≤ i ≤ n such that
• every Pi is either F -essential or equal to S,
• NS (E) ≤ P1 ∩ Pn , and
• φ1 · φ2 · · · φn |NS (E) = α.
Suppose ZS φ1 = ZS . Note that Eφ1 is an F -essential subgroup of S isomorphic to E
by Lemma 1.7 and AutF (E) = φ1 AutF (Eφ1 )φ−1
1 . In particular ZS is not normalized by
AutF (Eφ1 ). Also ZS ≤ T φ1 = coreF (Eφ1 ) by Lemma 2.2 and Lemma 1.7 guarantees
that Eφ1 is still a maximal counterexample (with respect to inclusion). So we can
replace E by Eφ1 and assume that ZS φ1 6= ZS . In particular P = P1 is an F -essential
subgroup of S containing NS (E) such that ZS < ZP .
Suppose P is not F -characteristic in S and set TP = coreF (P ). Then by the choice of
E we have ZS  TP . In particular T  TP and since Φ(E) ≤ Φ(P ) ≤ TP by Theorem
3.3(3), we deduce that [T : Φ(E)] = p and [E : T ] = p2 . In particular [T : T ∩ TP ] =
[T : Φ(E)] = p. Since T ≤ P and TP ✂ P we can consider the group T TP and we
get [T TP : TP ] = [T : T ∩ TP ] = p. Since ZS ≤ T and ZS  TP we deduce TP <
ZS TP = T TP . Since E is not abelian and T ≤ Z(E) (by Theorem 3.3), we conclude
that T = Z(E). In particular ZP ≤ Z(P ) ≤ Z(E) = T and so ZS TP = ZP TP = T TP .
Hence ZP ≤ TP by Lemma 5.4, that is a contradiction.
Hence the F -essential subgroup P has to be F -characteristic in S. In particular ZP is
F -characteristic in S. If ZP ≤ T then ZP = Ω1 (T ) (since ZS < ZP and |Ω1 (T )| = p2 ).
So [E, E] ≤ ZP and by Lemma 1.20 applied with K = ZP and Nj = S we conclude
that E has maximal normalizer tower in S, P is the unique maximal subgroup of S

28

VALENTINA GRAZIAN

containing E and P is not F -essential, a contradiction. Thus ZP  T . In particular,
since ZP ≤ Ω1 (Z(P )) ≤ Ω1 (Z(E)), we get Ω1 (Z(E))  T and so ZE < Ω1 (Z(E)). Since
|ZE | = p2 and S has sectional rank 3, this implies |Ω1 (Z(E))| = p3 and
[T Ω1 (Z(E)) : T ] = [Ω1 (Z(E)) : T ∩ Ω1 (Z(E))] = [Ω1 (Z(E)) : ZE ] = p.
Recall that by Theorem 3.3 either E = CE (T ) or [CE (T ) : T ] = p2 . Since T Ω1 (Z(E)) <
CE (T ) and it is F -characteristic in E, we deduce that T ≤ Z(E). Also T 6= Z(E)
(otherwise Ω1 (Z(E)) ≤ T ) and E is not abelian, so [E : T ] = p3 and [E : Z(E)] = p2 .
Note that NS (E) = ECE (T ) by Lemma 2.7 so T ≤ Z(NS (E)). Also, Z(NS (E)) < Z(E)
by maximality of T and we conclude T = Z(NS (E)). In particular ZP ≤ Z(P ) ≤
Z(NS (E)) ≤ T , and we get a contradiction.
Therefore if ZS < ZE then ZS  T .

Theorem 5.6. Let E ≤ S be an F -essential subgroup of S not F -characteristic in S.
If ZS < ZE then E is abelian.
Proof. Set T = coreF (E). If T = 1 then E is elementary abelian, so we can assume
T 6= 1. By Theorem 5.5 we have ZS  T . So ZE  T and by Lemma 5.4 we have
T < ZS T < ZE T . Thus [ZE T : T ] ≥ p2 .
Aiming for a contradiction, suppose T  Z(E) (in particular [E : T ] = p3 by Theorem 3.3 and T = Φ(E)). Hence ZE T = CE (T ) = Ω1 (Z(E))T and [ZE T : T ] = p2 .
In particular, since S has sectional rank 3 and T ∩ Ω1 (Z(E)) 6= 1, we deduce that
|Ω1 (Z(E))| = p3 , Ω1 (Z(E)) = Ω1 (E) and |Ω1 (T )| = p, so T is cyclic.
Let y ∈ E be of minimal order such that E = hyiΩ1(E)T . We want to show that
y commutes with T , contradicting the fact that T  Z(E). Note that y p ∈ Φ(E) =
T . Suppose that hyiT has rank 2. Then there exists a normal subgroup of hyiT
isomorphic to the group Cp × Cp . In particular y has order p and so y ∈ Ω1 (E). Thus
E = Ω1 (E)T = CE (T ) contradicting the assumptions. Thus the group hyiT has to be
cyclic. In particular y commutes with T and so T ≤ Z(E), a contradiction.
Hence T ≤ Z(E), that implies ZE T ≤ Z(E). Since [E : ZE T ] ≤ p we conclude that
E is abelian.

Lemma 5.7. Let E ≤ S be a normal F -essential subgroup of S of rank 3 that is not
′
F -characteristic in S. Let C the preimage in E of the group CE/Φ(E) (O p (AutF (E))).
Then S/C ∼
= p1+2
+ , C/Φ(E) < Z(S/Φ(E)) and C = coreF (E).
Proof. Since E is normal in S and has rank 3, we have [S : E] = p by Theorem
′
1.8 and O p (OutF (E)) ∼
= SL2 (p) by Theorem 1.15. Let α ∈ AutF (S) be such that
Eα 6= E. By Lemma 3.8 the group Φ(E) is F -characteristic in S, so Φ(E) = Φ(Eα).
In particular the group Eα/Φ(E) is abelian and if Z is the preimage in S of Z(S/Φ(E)
then Z = E ∩ Eα. In particular [S : Z] = p2 . By Lemma 3.7 the group S/Φ(E) has
exponent p and S has rank 3.
′
Let C ≤ E be the preimage in E of CE/Φ(E) (O p (AutF (E))). Then |C/Φ(E)| = p and
C < Z. Also, C 6= Φ(S) otherwise AutS (E) stabilizes the sequence Φ(E) < C < E and
so it is normal in AutF (E) by Lemma 1.4, contradicting the fact that E is F -essential.

FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

29

Since S/C has order p3 and exponent p (it is a section of S/Φ(E) that has exponent
p), we deduce that S/C ∼
= p1+2
+ .
Let τ be the F -automorphism of E that inverts E/C. Then τ centralizes C/Φ(E)
by Lemma 2.7 and inverts Z/C. In particular τ does not act as scalar on Z/Φ(E) and
so C/Φ(E) and Φ(S)/Φ(E) are the only maximal subgroups of Z/Φ(E) normalized
by τ . Since E is receptive, τ is the restriction of an F -automorphism τ of S. Thus
C/Φ(E) and Φ(S)/Φ(E) are the only maximal subgroups of Z/Φ(E) that can be F characteristic in S. Since the inner automorphisms of S act trivially on Z/Φ(E) and S
is fully automized, the group AutF (S)/CAutF (S) (Z/Φ(E)) has order prime to p. Since
Φ(S) is F -characteristic in S, by Maschke’s Theorem ([Gor80, Theorem 3.3.2]) there
exists a maximal subgroup of Z/Φ(E) distinct from Φ(S)/Φ(E) that is F -characteristic
in S. Hence C and Φ(S) are the only maximal subgroups of Z containing Φ(E) that
are F -characteristic in S. In particular C ≤ coreF (E) and since [E : coreF (E)] ≥ p2
by Theorem 3.3(3), we deduce that C = coreF (E).

Lemma 5.8. If there exists an abelian F -essential subgroup E of S that is normal in
S but not F -characteristic in S then Op (F ) 6= 1.
Proof. Since E is normal in S we have [S : E] = p by Theorem 1.8. If E has rank 2 then
E is a pearl by Theorem A so E ∼
= Cp × Cp and |S| = p3 , contradicting the fact that
′
S has sectional rank 3. Therefore E has rank 3. In particular O p (OutF (E)) ∼
= SL2 (p)
by Theorem 1.15. Let α ∈ AutF (S) be such that Eα 6= E. Then S = EEα and since
E is abelian we deduce that Eα is abelian and Z(S) = E ∩ Eα. Thus [S : Z(S)] = p2 .
By Lemma 3.7 the group S/Φ(E) has exponent p, Φ(S) = Φ(E)[S, S] and S has rank
3. By Lemma 3.8 we also have Φ(E) charF S. Let C ≤ E be the preimage in E of
′
CE/Φ(E) (O p (AutF (E))). Then by Lemma 5.7 we have S/C ∼
= p1+2
+ , C < Z(S) and
C = coreF (E). In particular C is F -characteristic in S.
Let P be an F -essential subgroup of S. Then Z(S) < P < S. So [S : P ] =
[P : Z(S)] = p and P/Φ(E) is elementary abelian (since S/Φ(E) has exponent p).
Since S has sectional rank 3 we deduce that Φ(E) = Φ(P ). Thus P has rank
3 and Φ(E) is F -characteristic in P . Since S has rank 3, by Theorem 1.12 we
′
deduce that O p (OutF (P )) ∼
= SL2 (p). In particular if H is the preimage in P of
p′
CP/Φ(E) (O (AutF (P ))), then [H : Φ(E)] = p. So H/Φ(E) is a maximal subgroup of
Z(S)/Φ(E). Let µ ∈ AutF (P ) be the morphism that inverts P/H. Then µ centralizes
H/Φ(E) by Lemma 2.7 and so it does not act as scalar on Z(S)/Φ(E). However µ is
the restriction to P of an F -automorphism of S (because µ ∈ NAutF (P ) (AutS (P )), P
is receptive and S = NS (P )) and so it normalizes C/Φ(E), H/Φ(E) and Φ(S)/Φ(E).
Since P is F -essential, by Lemma 1.4 we have H  Φ(S). Hence H = C. In particular
C is F -characteristic in P (indeed if P is not F -characteristic in S then C = coreF (P )).
We proved that the group C is F -characteristic in S and in every F -essential subgroup of S. Hence by [AKO11, Proposition I.4.5] we have C ✂ F . Since E has rank 3
we also have |C| ≥ p, and so Op (F ) 6= 1.

Lemma 5.9. Let E ≤ S be a normal F -essential subgroup of S of rank 3 that is not
F -characteristic in S. Let P ≤ S be an F -characteristic F -essential subgroup of S.
Then Φ(P ) = Φ(E).

30

VALENTINA GRAZIAN

′
Proof. By Theorem 1.15 we have O p (OutF (E)) ∼
= SL2 (p). Let C ≤ E be the preimage
p′
in E of CE/Φ(E) (O (AutF (E))). Then by Lemma 5.7 we have S/C ∼
= p1+2
+ , C/Φ(E) <
Z(S/Φ(E) and C = coreF (E). Let τ be the automorphism of E that inverts E/C.
Then τ centralizes C by Lemma 2.7 and since E is receptive and normal in S, τ is the
restriction of an F -automorphism τ of S. In particular τ normalizes P and centralizes
the quotient P/(E ∩ P ).
Case 1: suppose C ≤ P . Let x ∈ P \E and y ∈ (E ∩ P )\C. Then xτ = xc for some
c ∈ C and yτ = y −1u for some u ∈ Φ(E). Hence using properties of commutators we
get
[x, y]τ = [xc, y −1u] = [x, y]−1 mod Φ(E).

Since τ centralizes C/Φ(E) and [x, y] ∈ C, we deduce that [x, y] = 1 mod Φ(E) and
so the group P/Φ(E) is abelian. Since S has sectional rank 3 and the group S/Φ(E)
has exponent p by Lemma 3.7, we conclude that Φ(E) = Φ(P ).
Case 2: suppose C  P . Then E/Φ(E) ∼
= C/Φ(E) × (E ∩ P )/Φ(E) and so E ∩ P is
′
F -characteristic in E and (E ∩ P )/Φ(E) is a natural SL2 (p)-module for O p (OutF (E)).
Suppose for a contradiction that Φ(E) 6= Φ(P ). By Lemma 3.7 the group S has rank
3. Since P is F -essential, by Lemma 1.5 we have
Φ(P ) < [S, S]Φ(P ) ≤ Φ(S).
Thus S/Φ(P ) is non-abelian, P has rank 3 and Φ(S) = Φ(E)Φ(P ). Since τ centralizes
C, it centralizes Φ(S)/Φ(P ). Let x ∈ E\P and y ∈ (E ∩ P )\Φ(S). Then xτ = xu for
some u ∈ Φ(S) and yτ = y −1v for some v ∈ Φ(P ). Therefore
[x, y]τ = [xu, y −1v] = [x, y]−1

mod Φ(P ).

Since [x, y] ∈ Φ(S), we deduce that [x, y] ∈ Φ(P ) and so the group E/Φ(P ) is abelian.
In particular (E ∩ P )/Φ(P ) ≤ Z(S/Φ(P )).
Since S/Φ(P ) is non-abelian, we get (E ∩ P )Φ(P ) = Z(S/Φ(P )) and since P is
F -characteristic in S, we deduce that E ∩ P is F -characteristic in S. Thus E ∩ P ≤
coreF (E) = C, a contradiction.

Proof of Theorem B. If there are at least two F -essential subgroups of S that are
F -characteristic in S then S is isomorphic to a Sylow p-subgroup of the group Sp4 (p)
by Theorem 4.6. Suppose there is at most one F -essential subgroup of S that is F characteristic in S and assume that all the F -essential subgroups of S are normal in
S. Then the group ZS = Ω1 (Z(S)) is F -characteristic in S and contained in every
F -essential subgroup of S. Since Op (F ) = 1, there exists an F -essential subgroup E of
S that moves ZS . If E is not F -characteristic in S, then E is abelian by Theorem 5.6
and so Op (F ) 6= 1 by Lemma 5.8, a contradiction. So the group E is F -characteristic
S, and by assumption it is the unique F -essential subgroup of S with this property.
Since Op (F ) = 1, the group E is not the only F -essential subgroup of S. Suppose
that every F -essential subgroup of S distinct from E has rank 3. Then by Lemma
5.9 the group Φ(E) is the Frattini subgroup of every F -essential subgroup of S and so
Φ(E) ✂ F , that implies Φ(E) = 1. Thus there is an elementary abelian F -essential

FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

31

subgroup of S that is normal in S but not F -characteristic in S, contradicting Lemma
5.8. Hence there exists an F -essential subgroup P of S, distinct from E, that has rank
2. Thus P is a pearl by Theorem A and by [Gra18, Theorem B] we conclude that S is
isomorphic to a Sylow p-subgroup of the group Sp4 (p).

6. Proof of Theorem C
Throughout this section, we assume the following hypothesis.
Hypothesis 6.1. Let p be an odd prime, let S be a p-group of sectional rank 3, let F
be a saturated fusion system on S and let E be an F -essential subgroup of S of rank
3 not F -characteristic in S. Set T = coreF (E) < E, N1 = NS (E) and N2 = NS (N1 ).
Remark 6.2. Recall that
′
• O p (OutF (E)) ∼
= SL2 (p) by Theorem 1.15;
• every morphism ϕ in NAutF (E) (AutS (E)) is the restriction of an automorphism
of N1 (since E is receptive) and if N1 < S then [N2 : N1 ] = p and ϕ is the
restriction of an automorphism of N2 by Lemma 3.4;
• Φ(E) ≤ T and p2 ≤ [E : T ] ≤ p3 by Theorem 3.3(3);
• N1 has rank 3 and N1 /Φ(E) has exponent p by Lemma 3.7; and
• Φ(E) is F -characteristic in N1 by Lemma 3.8 (and so Φ(E) ✂ N2 ).
Lemma 6.3. If [E : T ] = p2 and N1 < S then T ≤ Z(N2 ) and T is F -characteristic in
N2 .
Proof. For i ≥ 1 let Zi ≤ N2 be the preimage in N2 of Zi(N2 /T ). The group N2 /T
has maximal nilpotency class (since E/T ∼
= Cp × Cp is self-centralizing in N2 /T )
2
2
and so Z3 = N , N /Z2 ∼
= Cp × Cp and [Z2 : Z1 ] = [Z1 : T ] = p. Also, Z1 < E
and since [E, Z2] ≤ Z1 ≤ E we get Z2 ≤ N1 . By Lemma 3.4 and the fact that
′
O p (OutF (E)) ∼
= SL2 (p) (Theorem 1.15), there exists a morphism τ ∈ AutF (N2 ) that
normalizes E and inverts E/T . Note that τ normalizes Z1 and Z2 and by Lemma 2.7 it
centralizes T . Using properties of commutators, we get that τ centralizes the quotient
Z2 /Z1 and inverts N2 /N1 . Let C ≤ N2 be the preimage in N2 of CN2 /T (Z2 /T ). Then
[N2 : C] = p and N2 = N1 C. By Theorem 3.3 we have T ≤ Z(N1 ), so if [C, T ] = 1 then
T ≤ Z(N2 ). Let c ∈ C be such that C = hciZ2 . Note that cτ = c−1 z for some z ∈ Z2
and for every t ∈ T we have [c, t] ∈ T and [z, t] = 1. So we get
[c, t] = [c, t]τ = [cτ, tτ ] = [c−1 z, t] = [c−1 , t].
Therefore [c, t] = 1. Since this is true for every t ∈ T , we conclude that T ≤ Z(C)
and so T ≤ Z(N2 ).
If T = 1 or T = Z(N2 ) then T is characteristic in N2 . Suppose 1 6= T < Z(N2 ).
Then [E : Z(N2 )] = p and so Z1 = Z(N2 ), Z2 = Z2 (N2 ) and E is abelian. Hence by
Corollary 1.22 the group E has maximal normalizer tower in S and every morphism in
NAutF (E) (AutS (E)) is the restriction to E of an F -automorphism of S.
Suppose for a contradiction that there exists α ∈ AutF (N2 ) such that T α 6= T .
Then N1 α 6= N1 , N1 ∩ N1 α = Z2 (N2 ) and T T α = Z(N2 ). Note that τ acts as a scalar

32

VALENTINA GRAZIAN

on N2 /Z2 (N2 ). Hence τ normalizes N1 α, T α and T ∩ T α. Let x ∈ N1 α\Z2(N2 ) and
y ∈ Z2 (N2 )\Z(N2 ). Then xτ = x−1 z1 and yτ = yz2 for some z1 , z2 ∈ Z(N2 ). Hence
[x, y]τ = [x−1 z1 , yz2] = [x, y]−1.
In particular, since τ centralizes T /T ∩T α, we conclude that [x, y] ∈ T α and so N1 α/T α
is abelian. Thus N1 /T ∼
= N1 α/T α is abelian, contradicting Lemma 3.2. Therefore
T = T α for every α ∈ AutF (N2 ) and so T is F -characteristic in N2 .

Lemma 6.4. If p ≥ 5 and [E : T ] = p2 then E ✂ S.
Proof. Aiming for a contradiction, suppose that N1 < S and set Φ = Φ(E). By Lemma
3.8 we have Φ ✂ N2 and we can consider the group N2 /Φ.
Note that E/Φ is a soft subgroup of N2 /Φ. In particular by [Hét90, Lemma 1 and
Theorem 2], if we denote by Z1 the preimage in N2 of Z(N1 /Φ) and we set Z2 =
[N2 , N2 ]Z1 , then Z1 < E, Z2 < N1 and N1 /Z1 ∼
= N2 /Z2 ∼
= Cp × Cp . !
λ−1 0
with respect to
Let ϕ ∈ AutF (N2 ) be the morphism that acts on E/T as
0 λ
the basis {eT, zT }, for some e ∈ E\Z1 , z ∈ Z1 and λ ∈ GF(p) of order p − 1. Such
′
a morphism exists by Lemma 3.4 and the fact that O p (OutF (E)) ∼
= SL2 (p) (Theorem
1.15). Then ϕ centralizes T by Lemma 2.7. Let x ∈ Z2 \Z1 . Then [e, x] ∈ [E, Z2 ] ≤
Z1 \T and xϕ = xa u for some a ∈ GF(p) and u ∈ Z1 . Thus
−1

−1 a

[e, x]λ ≡ [e, x]ϕ = [eϕ, xϕ] = [eλ , xa u] ≡ [e, x]λ

mod T.

Thus a ≡ λ2 mod p. In other words, the morphism ϕ acts as λ2 on Z2 /Z1 .
Let C ≤ N2 be the preimage in N2 of CN2 /T (Z2 (N2 /T )). Then [N2 : C] = [C : Z2 ] = p
and N2 = N1 C. Since [E, C] ≤ Z2 \Z1 , the same method used above shows that ϕ acts
as λ3 on C/Z2 . By Lemma 3.7 the group N1 /Φ has exponent p, N1 has rank 3 and
[N1 , N1 ]Φ = Φ(N1 ). In particular the quotient Z2 /Φ is elementary abelian of order p3
and T /Φ and Φ(N1 )/Φ are normal subgroups of N2 /Φ of order p. Thus T Φ(N1 )/Φ ≤
Z(N2 /Φ) ≤ Z1 /Φ and we deduce that Z1 is the preimage in N2 of Z(N2 /Φ). In particular
Z1 /Φ is in the center of C/Φ. By definition of C, we have [C, Z2] ≤ T . Let c ∈ C\Z2 .
2
3
Then cϕ = cλ v for some v ∈ Z2 . Also note that xϕ = xλ u for some u ∈ Φ (because
Z2 /Φ is elementary abelian). Since [c, x] ∈ T ≤ Z(N2 ) (Lemma 6.3) and ϕ centralizes
T , we get
3
2
5
[c, x] = [c, x]ϕ = [cλ v, xλ u] ≡ [c, x]λ mod Φ.
Since λ5 6= 1 mod p, we deduce that [c, x] ∈ Φ. Therefore the group C/Φ is abelian
of order p4 .
Moreover we have
3

3

3

(cp )ϕ = (cϕ)p = (cλ v)p = (cp )λ v p [cλ , v]

p(p−1)
2

3

≡ (cp )λ

mod Φ.

Since p ≥ 5 and λ has order p − 1 modulo p, we deduce that λ3 6≡ λ2 mod p, λ3 6≡ λ
mod p and λ3 6≡ 1 mod p. Thus the only option is cp = 1 mod Φ. Hence C p ≤ Φ
and the group C/Φ is elementary abelian of order p4 , contradicting the fact that S has
sectional rank 3. Therefore the F -essential subgroup E is normal in S.


FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

33

Lemma 6.5. If p ≥ 5 and [E : T ] = p3 then E ✂ S.
Remark 6.6. By Theorem 3.3(3) the assumption [E : T ] = p3 implies that T = Φ(E)
and E has rank 3.
Proof. Aiming for a contradiction, suppose that N1 < S. Then [N2 : N1 ] = p by Lemma
3.4. Also, T ✂ N2 (since T is F -characteristic in N1 ) so we can consider the group
N2 /T . To simplify notation we assume T = 1 (this will not create any problem since
we are going to work on the quotient N2 /T , considering normal subgroups and groups
normalized by an F -automorphism of N2 that centralizes T ).
By Theorem 3.3(4) and Lemma 3.5 we have |Z(N1 )| = p2 and |Z(N2)| = p. Recall
′
′
that by Theorem 1.15 we have O p (OutF (E)) ∼
= SL2 (p). Set C = CE (O p (AutF (E))).
Then |C| = p and C is F -characteristic in E, so C ≤ Z(N1 ). By maximality of
T , the group C is not F -characteristic in N1 . By Lemma 3.4 we have AutF (N1 ) =
AutS (N1 )NAutF (N1 ) (E). Since AutS (N1 ) ∼
= N2 /Z(N1 ) and C is F -characteristic in E,
we deduce that C is not normal in N2 . In particular C  Z(N2 ).
By Lemma 3.4, there exists a morphism ϕ ∈ AutF (N2 ) that normalizes E and acts
on E/C as
!

λ−1 0
, for some λ ∈ GF(p) of order p − 1,
0 λ
with respect to the basis {xC, zC}, where x ∈ E\Z(N1 ) and z ∈ Z(N1 )\C.
Since E is abelian and [N1 : E] = p, the group E is a soft subgroup of N2 . In
particular if we set H = Z(N1 )[N2 , N2 ], then by [Hét90, Theorem 2] we have that
H < N1 , N2 /H ∼
= Cp × Cp and H is normalized by ϕ. Hence by Maschke’s Theorem
([Gor80, Theorem 3.3.2]) there exists a maximal subgroup M of N2 containing H
and distinct from N1 that is normalized by ϕ. Since the action of ϕ on Z(N1 ) is
not scalar, we deduce that C and Z(N2 ) are the only maximal subgroups of Z(N1 )
normalized by ϕ. Note that N1 has rank 3 by Lemma 3.7, so |Φ(N1 )| = p. Also,
Φ(N1 ) ≤ Z(N1 ) is normalized by ϕ and normal in N2 . Hence Φ(N1 ) = Z(N2 ). In
particular [E, H] = [N1 , N1 ] = Z(N2 ).
Let h ∈ H\Z(N1 ). Then hϕ = ha u for some u ∈ Z(N1 ) and a ∈ GF(p) and
−1

−1 a

[x, h]λ = [x, h]ϕ = [xλ , ha u] = [x, h]λ

.

Hence a ≡ λ2 mod p.
Note that H = Z(N1 )[N1 , M] and H/Z(N1 ) = Z(N2 /Z(N1 )). Let y ∈ N1 \H and
−1
g ∈ M\H. Then yϕ = y λ v for some v ∈ Z(N1 ) and gϕ = g b k for some k ∈ H and
b ∈ GF(p). Since [y, g] ∈ H\Z(N1 ), we have
2

−1

−1 b

[y, g]λ ≡ [y, g]ϕ = [y λ u, g bk] ≡ [y, g]λ

mod Z(N1 ).

Hence b ≡ λ3 mod p.
Therefore ϕ acts as λ2 on H/Z(N1 ) and as λ3 on M/H.
Note that
5
3
2
[h, g] = [h, g]ϕ = [hλ , g λ k] ≡ [h, g]λ mod Z(N2 ).

34

VALENTINA GRAZIAN

Since λ5 6≡ 1 mod p, we deduce that [g, h] ∈ Z(N2 ) and the group M/Z(N2 ) is abelian.
In particular H/Z(N2 ) = Z(N2 /Z(N2 )) and so H = Z2 (N2 ). Also, the group H is
elementary abelian (since N1 has exponent p by Theorem 3.3(2) and [H : Z(N1 )] = p).
Let c ∈ C. Then cϕ = c and we have
3

3

[c, g]ϕ = [c, g λ k] = [c, g]λ .
Note that [c, g] ∈ [Z(N1), M] = Z(N2 ) (since [Z(N1), M] is a proper subgroup of Z(N1 )
normalized by ϕ and C is not normal in M). Since p ≥ 5 we have λ3 6≡ λ mod p. So
[c, g] = 1 and C ≤ Z(M), contradicting the fact that C is not contained in Z(N2 ).
Therefore the F -essential subgroup E of S is normal in S.

Theorem 6.7. Suppose p ≥ 5, S is a p-group of sectional rank 3 and F is a saturated
fusion system on S. Then every F -essential subgroup of S of rank 3 is normal in S.
Proof. Let E ≤ S be an F -essential subgroup of S of rank 3. If E is F -characteristic in
S then E ✂ S. If E is not F -characteristic in S then coreF (E) < E and by Theorem
3.3(3) we have p2 ≤ [E : coreF (E)] ≤ p3 . Thus E is normal in S by Lemmas 6.4 and
6.5.

Proof of Theorem C. By assumption p ≥ 5 and Op (F ) = 1. If S is isomorphic to
a Sylow p-subgroup of the group Sp4 (p) then the subgroups of S that are candidates
for F -essential subgroups are the F -pearls and the unique elementary abelian maximal
subgroup A ∼
= Cp × Cp × Cp . The assumption Op (F ) = 1 implies that A is not the only
F -essential subgroup of S, so F contains an F -pearl. Suppose S is not isomorphic to a
Sylow p-subgroup of the group Sp4 (p). Then by Theorem B there exists an F -essential
subgroup E of S that is not normal in S. Thus Theorem 6.7 implies that E has rank
2 and by Theorem A we conclude that E is an F -pearl. Therefore in any case the
fusion system F contains an F -pearl. The characterization of S and F is then a direct
consequence of [Gra18, Theorem B].

References
[AKO11] Michael Aschbacher, Radha Kessar, and Bob Oliver. Fusion systems in algebra and topology,
volume 391 of London Mathematical Society Lecture Note Series. Cambridge University
Press, Cambridge, 2011.
[AO16] Michael Aschbacher and Bob Oliver. Fusion systems. Bull. Amer. Math. Soc. (N.S.),
53(4):555–615, 2016.
[Bur97] W. Burnside. The theory of groups of finite order. Cambridge Univ. Press, 1897.
[COS17] David A. Craven, Bob Oliver, and Jason Semeraro. Reduced fusion systems over p-groups
with abelian subgroup of index p: II. Adv. Math., 322:201–268, 2017.
[DGS85] A. Delgado, D. Goldschmidt, and B. Stellmacher. Groups and graphs: new results and
methods, volume 6 of DMV Seminar. Birkhäuser Verlag, Basel, 1985. With a preface by the
authors and Bernd Fischer.
[DRV07] Antonio Díaz, Albert Ruiz, and Antonio Viruel. All p-local finite groups of rank two for odd
prime p. Trans. Amer. Math. Soc., 359(4):1725–1764 (electronic), 2007.
[GLS96] Daniel Gorenstein, Richard Lyons, and Ronald Solomon. The classification of the finite simple groups. Number 2. Part I. Chapter G, volume 40 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 1996. General group theory.

FUSION SYSTEMS ON p-GROUPS OF SECTIONAL RANK 3

35

[GLS98] Daniel Gorenstein, Richard Lyons, and Ronald Solomon. The classification of the finite simple groups. Number 3. Part I. Chapter A, volume 40 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 1998. Almost simple K-groups.
[Gor80] Daniel Gorenstein. Finite groups. Chelsea Publishing Co., New York, second edition, 1980.
[Gra18] Valentina Grazian. Fusion systems containing pearls. preprint: arXiv:1710.07088v2, 2018.
[Hét84] L. Héthelyi. Soft subgroups of p-groups. Ann. Univ. Sci. Budapest. Eötvös Sect. Math.,
27:81–85 (1985), 1984.
[Hét90] L. Héthelyi. On subgroups of p-groups having soft subgroups. J. London Math. Soc. (2),
41(3):425–437, 1990.
[KS04] Hans Kurzweil and Bernd Stellmacher. The theory of finite groups. Universitext. SpringerVerlag, New York, 2004. An introduction, Translated from the 1998 German original.
[Oli14] Bob Oliver. Simple fusion systems over p-groups with abelian subgroup of index p: I. J.
Algebra, 398:527–541, 2014.
[Oli16] Bob Oliver. Reduced fusion systems over 2-groups of sectional rank at most 4. Mem. Amer.
Math. Soc., 239(1131):v+100, 2016.
[OR18] Bob Oliver and Albert Ruiz. Reduced fusion systems over p-groups with abelian subgroup of index p: III. Proc. Roy. Soc. Edinburgh Sect. A (to appear). Preprint:
https://arxiv.org/pdf/1708.08710.pdf, 2018+.
[Pui06] Lluis Puig. Frobenius categories. J. Algebra, 303(1):309–357, 2006.
[RS09]
K. Roberts and S. Shpectorov. On the definition of saturated fusion systems. J. Group
Theory, 12(5):679–687, 2009.
[Ste86] Bernd Stellmacher. Pushing up. Arch. Math. (Basel), 46(1):8–17, 1986.

