NORMAL SUBSYSTEMS OF FUSION SYSTEMS AND PARTIAL NORMAL
SUBGROUPS OF LOCALITIES

arXiv:1706.05343v1 [] 16 Jun 2017

ANDREW CHERMAK AND ELLEN HENKE
Abstract. Linking systems were introduced to study classifying spaces of fusion systems. Every
linking system over a saturated fusion system F corresponds to a group-like structure called a
locality. Given such a locality L, we prove that there is a one-to-one correspondence between the
partial normal subgroups of L and the normal subsystems of the fusion system F. As a corollary
we obtain that, for any two normal subsystems of a saturated fusion system, there exists a normal
subsystem which plays the role of a “product”.

1. Introduction
Broto, Levi and Oliver [7] built the foundation for the homotopy theory of fusion systems by
introducing centric linking systems associated to saturated fusion systems. There is some evidence
that linking systems are also useful for developing an extension theory for saturated fusion systems.
However, the concept of a centric linking system seems too restrictive in this context. At least
partly for that reason, linking systems of a more general kind were defined and studied in [6],
[19] and [15]. If F is a saturated fusion system over a p-group S, then a centric linking system
associated to F is a category whose object set is a set of subgroups of S. The object set of a
centric linking systems is the set F c of F-centric subgroups, whereas the object set of a linking
system in the definition of Oliver [19] is a subset of the set F q of quasicentric subgroups. The
most general definition of a linking system, which is currently in the literature, was given by the
second author of this paper [15]. The object set of a linking system in this definition is a subset of
the set F s of subcentric subgroups. In any definition, the object set of a linking system contains
always the set F cr of F-centric F-radical subgroups. We have the following inclusions:
F cr ⊆ F c ⊆ F q ⊆ F s
It was shown by the first author of this paper [8] that there is a unique centric linking system
associated to each saturated fusion system. The original proof uses the classification of finite simple
groups, but recent work of Glauberman–Lynd [12] removes the dependence on the classification
through a reformulation of the proof by Oliver [20]. The existence and uniqueness of centric
linking systems implies that there is always a unique linking system associated to F whose object
set is the set F q of quasicentric subgroups; see [6]. Similarly, it follows that there is always a
unique linking system associated to F whose object set is the set F s of subcentric subgroups; see
[15].
In the context of the proof of the existence and uniqueness of centric linking systems, the first
author of this paper introduced the concept of a locality. A locality is a “partial group” L together
with a “Sylow p-subgroup” S, and a set ∆ of “objects”. Every linking system corresponds to a
locality with the same object set. Because of the group-like structure of a locality, there are
natural notions of conjugation, of subgroups and of partial normal subgroups. For every object
P ∈ ∆, there is a normalizer NL (P ) defined in a way that NL (P ) forms a finite group. We
refer the reader to Section 3 for details on localities. In this paper, we mainly study localities
corresponding to linking systems in the sense of [15]. Our main definition is the following:
Definition 1.
• A finite group G is of characteristic p if CG (Op (G)) ≤ Op (G), where
Op (G) denotes the largest normal p-subgroup of G.
1

2

A. CHERMAK AND E. HENKE

• A locality (L, ∆, S) over a fusion system F is called proper if F cr ⊆ ∆ ⊆ F s and NL (P )
is of characteristic p for any P ∈ ∆.
The definition of a proper locality was introduced by the first author of this paper [10], [11].
The second author of this paper worked simultaneously with the same concept, but used in [15]
and [16] instead the term linking locality to stress that the proper localities are precisely the
localities corresponding to linking systems in her definition. As shown in [15, Theorem A], to
every saturated fusion system F, there exists a proper locality whose object set is the set F s
of subcentric subgroups. A similar result holds for the set δ(F) introduced by the first author
of this paper [11]. A proper locality over F is called regular if its object set is the set δ(F).
Regular localities are particularly well-behaved in the sense that every partial normal subgroup
of a regular locality forms a regular locality. Therefore, our main theorem, which we state next,
shows in particular that there is a normal pair of regular localities associated to each normal pair
of saturated fusion systems.
Theorem A. Let (L, ∆, S) be a proper locality over F. Then there exists an inclusion preserving
bijection from the set of partial normal subgroups of L to the set of normal subsystems of F. If
F q ⊆ ∆ ⊆ F s or δ(F) ⊆ ∆ ⊆ F s , then this bijection is given by N 7→ FS∩N (N ).
We write here FS∩N (N ) for the smallest fusion system over S∩N containing all homomorphisms
between subgroups of S ∩ N , which are induced by conjugation with an element of N . Theorem A
is restated in Theorem 8.1, which also gives some more precise information. If (L, ∆, S) is a proper
locality over F such that ∆ is one of the sets F q , F s of δ(F), and if E is a normal subsystem of F
over T , then Theorem A says in particular that there exists a unique partial normal subgroup N
of L with N ∩ S = T and FT (N ) = E. As already mentioned above, if ∆ = δ(F), then N forms a
regular locality itself. This leads naturally to a functor from the linking system of E with object
set δ(E) to the linking system of F with object set δ(F). Such functor can be considered as an
“inclusion functor”. As shown in [15, Section 9.4], a similar “inclusion functor” exists if we work
instead with linking systems whose object sets are the subcentric subgroups.
Our work is potentially important for developing a better extension theory of saturated fusion
systems. Oliver [19] defined normal pairs of linking systems, and this is used to study extensions
of saturated fusion system. While the theory is useful for many purposes (cf. [19] and [2]), the
definition of a normal pair of linking systems seems in some situations too restrictive. The reason
is that, given a normal subsystem E of a saturated fusion system F, there does not necessarily
exist a normal pair of linking systems associated to the normal pair E E F of fusion systems.
One might be able to redeem the situation by working with partial normal subgroups of proper
localities, or with the above mentioned “inclusion” functors between linking systems.
Theorem A is also a first step towards proving connections between the local theory of fusion
systems and the local theory of localities. This seems particularly interesting in connection with
Aschbacher’s program to revise the proof of the classification of finite simple groups via classification theorems for simple fusion systems at the prime 2. We state a corollary, which seems to
give first evidence that the group-like structure of localities can be used to overcome difficulties
in the theory of fusion systems. The second author of this paper [15] proved that the product
of two partial normal subgroups of a locality is a partial normal subgroup again. Together with
Theorem A this implies the following result, which was known before only in very special cases:
Corollary 1. Let F be a saturated fusion system over S. Let E1 and E2 be normal subsystems of
F over S1 and S2 respectively. Then there exists a unique smallest normal subsystem E1 E2 over
S1 S2 containing E1 and E2 .

NORMAL SUBSYSTEMS OF FUSION SYSTEMS AND PARTIAL NORMAL SUBGROUPS OF LOCALITIES

3

2. Normal subsystems of fusion systems
We refer the reader to [4, Part I] for an introduction to the theory of fusion systems. Throughout
this section let F be a saturated fusion system over S and let E be a normal subsystem of F over
T ≤ S. Recall that Z(F) is the largest subgroup of S containing F in its centralizer.
Lemma 2.1. The subgroup Z(E) is normal in F.
Proof. Note that Z(E) is invariant under every automorphism of the fusion system E. Moreover,
every element of AutF (T ) induces an automorphism of E. So by the Frattini condition as stated in
[4, Definition I.6.1], Z(E) is strongly closed in F. Note that Z(E) ≤ Op (E). By [15, Lemma 2.12],
Op (E) is normal in F. Moreover, as shown in [4, Theorem I.4.5], a subgroup of S is normal in
F if and only if it is strongly closed and contained in every centric radical subgroup of F. So
Z(E) ≤ Op (E) ≤ R for every centric radical subgroup of F and Z(E) is normal in F.

Aschbacher [3, Chapter 6] defines a subgroup CS (E)
largest subgroup of S containing E) in its centralizer.
extends to a morphism which acts trivially on CS (E).
normal subsystem CF (E) of F over CS (E); see Theorem

of CS (T ). He shows that CS (E) is the
So in particular, every morphism in E
Furthermore, Aschbacher constructs a
4 and Chapter 6 in [3].

Lemma 2.2. We have CS (E) ∩ T = Z(E) and CS (E) ∩ T ≤ Z(CF (E)).
Proof. Set R := T ∩CS (E). By definition of CS (E), we have CS (E) ≤ CS (T ). Hence R ≤ Z(T ). Let
P ∈ E f rc . Then R ≤ Z(T ) ≤ CT (P ) ≤ P . Moreover, as E ⊆ CF (CS (E)), every E-automorphism
of P centralizes R. So [R, AutE (P )] = 1. Hence, by Alperin’s Fusion Theorem [4, Theorem 3.6]
applied to E in place of F, we have R ≤ Z(E). Clearly, Z(E) ≤ CS (E) ∩ T = R. Hence,
R = CS (E) ∩ T = Z(E).
Set now D := CF (E) and T̃ := CS (E). Then R = T ∩ T̃ . As [T, T̃ ] = 1, we have R ≤ Z(T̃ ).
Let Q ∈ Rf rc . Then R ≤ Z(T̃ ) ≤ CT̃ (Q) ≤ Q. By [3, Theorem 4], we have AutD (Q) =
Op (AutCF (T ) (Q)) AutT̃ (Q). As R ≤ T , every automorphism in Op (AutCF (T ) (Q)) acts trivially on
R. Since R ≤ T and [T, T̃ ] = 1, every automorphism in AutT̃ (Q) centralizes R. So [R, AutD (Q)] =
1. Hence, by Alperin’s Fusion Theorem applied to D in place of F, we have R ≤ Z(D). This
shows the assertion.

Lemma 2.3. Suppose CS (E) ≤ T . Then CS (E) = Z(E) is normal in F, and E s ⊆ F s .
Proof. By assumption and Lemma 2.2, we have CS (E) = CS (E)∩T = Z(E). Hence, CS (E) = Z(E)
is normal in F by Lemma 2.1. By [15, Theorem B], the subgroup P R is subcentric in F for every
P ∈ E s . As R is normal in F, it follows from [15, Proposition 1(a)] that P ∈ F s for every
P ∈ E s.

Lemma 2.4. Suppose E is normal in F. Let P ∈ F f such that P ≤ T .
(a) We have P ∈ E f and the subsystems NF (P ) and NE (P ) are saturated. Moreover, NE (P )
is a normal subsystem of NF (P ).
(b) For any Q ∈ NF (P )f with Q ≤ T , we have Q ∈ NE (P )f and NNE (P ) (Q) is a normal
subsystem of NNF (P ) (Q).
Proof. As P ∈ F f , NF (P ) is saturated. By [5, Lemma 3.4(5)], P ∈ E f and thus NE (P ) is
saturated as well. Clearly, NE (P ) is a subsystem of NF (P ). Moreover, it is straightforward
to check that NE (P ) is NF (P )-invariant. By [5, Lemma 6.5], NT (P ) ∈ E c . Moreover, by [5,
Lemma 6.10(3)] (using [5, Notation 6.1]), for every Q ∈ E c and every α ∈ AutE (Q), α extends to
some α̂ ∈ AutF (QCS (Q)) such that [CS (Q), α̂] ≤ Z(Q). In particular, this is true for Q = NT (P ).
This shows that NE (P ) is a normal subsystem of NF (P ), so (a) holds. Using (a) now with NE (P )
and NF (P ) in place of E and F gives (b).


4

A. CHERMAK AND E. HENKE

3. Partial groups and localities
3.1. Introduction. We refer the reader to [8, Definition 2.1] or [9, Definition 1.1] for the precise
definition of a partial group, and to the elementary properties of partial groups stated in [8,
Lemma 2.2] or [9, Lemma 1.4]. Adapting the notation from [8] and [9], we write W(L) for the
set of words in a set L, ∅ of the empty word, and v1 ◦ v2 ◦ · · · ◦ vn for the concatenation of words
v1 , . . . , vn ∈ W(L).
For the remainder of this section let L be a partial group with product Π : D → L
defined on the domain D ⊆ W(L).
It follows from the axioms of a partial group that ∅ ∈ D. We set 1 = Π(∅). Moreover, given a
word v = (f1 , . . . , fn ) ∈ D, we write sometimes f1 f2 . . . fn for the product Π(v).
A partial subgroup of L is a subset H of L such that f −1 ∈ H for all f ∈ H and Π(w) ∈ H for
all w ∈ W(H) ∩ D. Note that ∅ ∈ W(H) ∩ D and thus 1 = Π(∅) ∈ H if H is a partial subgroup
of L. It is easy to see that a partial subgroup of L is always a partial group itself whose product
is the restriction of the product Π to W(H) ∩ D. Observe furthermore that L forms a group in
the usual sense if W(L) = D; see [9, Lemma 1.3]. So it makes sense to call a partial subgroup H
of L a subgroup of L if W(H) ⊆ D. In particular, we can talk about p-subgroups of L meaning
subgroups of L whose order is a power of p.
For any g ∈ L, D(g) denotes the set of x ∈ L with (g −1 , x, g) ∈ D. Thus, D(g) denotes the set
of elements x ∈ L for which the conjugation xg := Π(g −1 , x, g) is defined. If g ∈ L and X ⊆ D(g)
we set X g := {xg : x ∈ X}. If we write X g for some g ∈ L and some subset X ⊆ L, we will always
implicitly mean that X ⊆ D(g).
For any subset S of L and any g ∈ L set
Sg := {s ∈ D(g) : sg ∈ S}.
We will use this notation usually in the case that S is a maximal p-subgroup of L.
Definition 3.1. Let ∆ be a set of subgroups of L. We write D∆ for the set of words (f1 , . . . , fn ) ∈
W(L) such that there exist P0 , . . . , Pn ∈ ∆ with
fi
= Pi .
(*) Pi−1 ⊆ D(fi ) and Pi−1
If v = (f1 , . . . , fn ) ∈ W(L), then we say that v ∈ D∆ via P0 , . . . , Pn (or v ∈ D via P0 ), if
P0 , . . . , Pn ∈ ∆ and (*) holds.

Definition 3.2. We say that (L, ∆, S) is a locality if the partial group L is finite as a set, S is
a p-subgroup of L, ∆ is a non-empty set of subgroups of S, and the following conditions hold:
(L1) S is maximal with respect to inclusion among the p-subgroups of L.
(L2) D = D∆ .
(L3) For any subgroup Q of S, for which there exist P ∈ ∆ and g ∈ L with P ⊆ D(g) and
P g ≤ Q, we have Q ∈ ∆.
If (L, ∆, S) is a locality and v = (f1 , . . . , fn ) ∈ W(L), then we say that v ∈ D via P0 , . . . , Pn (or
v ∈ D via P0 ), if v ∈ D∆ via P0 , . . . , Pn .
Example 3.3. Let M be a finite group and S ∈ Sylp (M ). Set F = FS (M ) and let Γ be a
non-empty F-closed collection of subgroups of S. Set
LΓ (M ) := {g ∈ G : S ∩ S g ∈ Γ} = {g ∈ G : There exists P ∈ Γ with P g ≤ S}
and let D be the set of tuples (g1 , . . . , gn ) ∈ W(M ) such that there exist P0 , P1 , . . . , Pn ∈ Γ with
gi
Pi−1
= Pi . Then LΓ (M ) forms a partial group whose product is the restriction of the multivariable
product in M to D, and whose inversion map is the restriction of the inversion map on the group
M to LΓ (M ). Moreover, (LΓ (M ), Γ, S) forms a locality.
Proof. See [8, Example/Lemma 2.10].



NORMAL SUBSYSTEMS OF FUSION SYSTEMS AND PARTIAL NORMAL SUBGROUPS OF LOCALITIES

5

Lemma 3.4 (Important properties of localities). Let (L, ∆, S) be a locality. Then the following
hold:
(a) NL (P ) is a subgroup of L for each P ∈ ∆.
(b) Let P ∈ ∆ and g ∈ L with P ⊆ Sg . Then Q := P g ∈ ∆ (so in particular Q is a subgroup
of S). Moreover, NL (P ) ⊆ D(g) and
cg : NL (P ) → NL (Q)
is an isomorphism of groups. If N is a partial normal subgroup then NN (P )g = NN (Q)
and cg induces an isomorphism of groups from NN (P ) to NN (Q), and (cg |P )−1 AutN (P )(cg |P ) =
AutN (Q).
(c) Let w = (g1 , . . . , gn ) ∈ D via (X0 , . . . , Xn ). Then
cg1 ◦ · · · ◦ cgn = cΠ(w)
(d)
(e)
(f)
(g)

is a group isomorphism NL (X0 ) → NL (Xn ).
For every g ∈ L, Sg ∈ ∆. In particular, Sg is a subgroup of S. Moreover, Sgg = Sg−1 .
For every g ∈ L, cg : D(g) → D(g −1 ) is a bijection with inverse map cg−1 .
For any w ∈ W(L), Sw is a subgroup of SΠ(w) , and Sw ∈ ∆ if and only if w ∈ D.
Let Q ∈ ∆ be fully FS (L)-normalized. Then NS (Q) ∈ Sylp (NL (Q)). Moreover, for every
P ∈ ∆ which is L-conjugate to Q, there exists f ∈ L such that NS (P ) ⊆ Sf , P f = Q and
NS (P )f ≤ NS (Q).

Proof. Property (d) is true by [9, Proposition 2.6(a),(b)] and property (e) is stated in [8, Lemma 2.5(c)].
and property (f) is stated in [9, Corollary 2.7]. Properties (a) and (c) correspond to the statements
(a) and (c) in [9, Lemma 2.3]. By property (b) in the same lemma, NL (P ) ⊆ D(g) and
cg : NL (P ) → NL (Q)
is an isomorphism of groups provided Q ∈ ∆. It is however true by [9, Proposition 2.6(c)] that
Q ∈ ∆, so the first part of (b) holds. Let now N be a partial normal subgroup of L. Then
−1
NN (P )g ⊆ NL (Q) ∩ N = NN (Q). By (d), Q ≤ Sg−1 and Qg = P , so a symmetric argument
−1
gives NN (Q)g ⊆ NN (P ). Using (e), conjugating on both sides by g gives NN (Q) ⊆ NN (P )g .
Hence, NN (Q) = NN (P )g as required. For any n ∈ NN (P ), it follows from (c) and (e) that
(cg |P )−1 (cn |P )(cg |P ) = (cg−1 |Q )(cn |P )(cg |P ) = cng |Q . As we have seen that the elements of NN (Q)
are precisely the elements of the form ng with n ∈ NN (P ), this shows (cg |P )−1 AutN (P )(cg |P ) =
AutN (Q). Hence, (b) holds.
It remains to prove (g). Let Q ∈ ∆ such that Q is fully FS (L)-normalized. Then by [8,
Proposition 2.18(c)], NS (Q) ∈ Sylp (NL (Q)). If P is an L-conjugate of Q then there exists g ∈ L
such that P g = Q. As cg : NL (P ) → NL (Q) is an isomorphism of groups, NS (P )g is a p-subgroup
of NL (Q). So by Sylow’s theorem, there exists h ∈ NL (Q) such that (NS (P )g )h ≤ NS (Q). By
(c), (NS (P )g )h = NS (P )gh . Hence, for f = gh, we have NS (P ) ≤ Sf and NS (P )f ≤ NS (Q). 
3.2. Homomorphisms.
Definition 3.5. Let L and L0 be partial groups with products Π : D → L and Π0 : D0 → L0
respectively.
• Let α : L → L0 be a map. Then we write α∗ for the map W(L) → W(L0 ) induced by α,
i.e. (f1 , . . . , fn )α∗ = (f1 α, . . . , fn α). The map α is called a homomorphism of partial
groups if Dα∗ ⊆ D0 and Π(w)α = Π0 (wα∗ ). If α is in addition bijective and Dα∗ = D0
then α is called an isomorphism of partial groups.
• Let (L, ∆, S) and (L0 , ∆, S) be localities. Then a rigid isomorphism from (L, ∆, S) to
(L0 , ∆, S) is an isomorphism α : L → L0 of partial groups such that α restricts to the
identity on S.

6

A. CHERMAK AND E. HENKE

Definition 3.6. Let (L, ∆, S) be a locality and H a partial subgroup of L. Then FH∩S (H) is the
fusion system over H ∩ S generated by all the group homomorphisms of the form ch : Sh ∩ H →
H ∩ S, x 7→ xh with h ∈ H.
Lemma 3.7. Let (L, ∆, S) and (L0 , ∆, S) be localities. Let H be a partial subgroup of L and let
α : L → L0 be a rigid isomorphism from (L, ∆, S) to (L0 , ∆, S). Then Hα is a partial subgroup of
L0 , which is a partial normal subgroup of L0 if H is a partial normal subgroup of L. Moreover,
T := S ∩ H = S ∩ (Hα) and FT (H) = FT (Hα).
Proof. By [9, Lemma 1.13], we have (f α)−1 = f α for all h ∈ L. It is now straightforward to
check that Hα is a partial subgroup of L0 , and that Hα E L0 if H E L. As α|S = idS and α is
bijective, we have S ∩ H = (S ∩ H)α = (Sα) ∩ (Hα) = S ∩ (Hα). Moreover, for any f ∈ L and
s ∈ S, we have u := (f −1 , s, f ) ∈ D and sf = Π(u) ∈ S if and only if uα∗ = ((f α)−1 , s, f α) ∈ D0
and sf α = Π0 (uα∗ ) = Π(u)α ∈ S. Hence, for all f ∈ L, we have Sf = Sf α and sf = sf α for
each s ∈ Sf . In particular, for any h ∈ H, the map ch : Sh ∩ H → S ∩ H is the same as the map
chα : Shα ∩ H → S ∩ H. So FT (H) = FT (Hα).

3.3. Properties of partial normal subgroups.
Lemma 3.8. Let (L, ∆, S) be a locality and let N be a partial normal subgroup of L. Set T :=
N ∩ S and let P ∈ ∆. Then there exists n ∈ N such that P ≤ Sn and NT (P n ) ∈ Sylp (NN (P n )).
Moreover, for any such n, there exists m ∈ N such that P NT (P ) ≤ Sm and P n = P m .
Proof. By [8, Proposition 2.18(c)], there exists g ∈ L such that P ≤ Sg and NS (P g ) ∈ Sylp (NL (P g )).
Note that NN (P g ) = N ∩ NL (P g ) is a normal subgroup of NL (P g ). Hence, NT (P g ) = NS (P g ) ∩
NN (P g ) is a Sylow p-subgroup of NN (P g ).
By the Frattini Lemma [9, Corollary 3.11], there exist n ∈ N and f ∈ L such that (n, f ) ∈ D,
g = nf and f is ↑N -maximal. Then [9, Proposition 3.9] implies f ∈ NL (T ), and the Splitting
Lemma [9, Lemma 3.12] gives Sg = S(n,f ) . So (n, f ) ∈ D via P, P n , P g . In particular, by
Lemma 3.4(b), cf : NL (P n ) → NL (P g ) is an isomorphism of groups mapping NN (P n ) to NN (P g ).
n
g
g
So NT (P g )c−1
f is a Sylow p-subgroup of NN (P ) as NT (P ) is a Sylow p-subgroup of NN (P ).
n
n
n
As f ∈ NL (T ), we have NT (P g )c−1
f ≤ NT (P ) ≤ NN (P ). Hence, NT (P ) is a Sylow p-subgroup
of NN (P n ). This proves the first part of the lemma.
Let now n ∈ N be arbitrary with P ≤ Sn and NT (P n ) ∈ Sylp (NN (P n )). As cn : NN (P ) →
NN (P n ) is an isomorphism of groups, we have that NT (P )n is a p-subgroup of NN (P n ). So by
Sylow’s Theorem, there exists n0 ∈ NN (P n ) such that (NT (P )n )n0 ≤ NT (P ). Then (n, n0 ) ∈ D
via P, P n , P n and m := nn0 ∈ N . Moreover, P m = (P n )n0 = P n , NT (P )m = (NT (P )n )n0 ≤
NT (P ) ≤ S and hence NT (P )P ≤ Sm . This shows the assertion.

Lemma 3.9. Let F be a saturated fusion system on S, let E be normal subsystem of F on T ≤ S,
and let Γ be a set of subgroups of T such that Γ is closed under taking F-conjugates and overgroups.
Let ∆ be the set of overgroups of the elements of Γ in S.
(a) The set ∆ is F-closed.
(b) We have P ∩ T ∈ Γ for every P ∈ ∆.
(c) Suppose (L, ∆, S) is a locality over F and N is a partial normal subgroup of L with
N ∩ S = T and FT (N ) = E. Then (N , Γ, T ) is a locality over E. If (L, ∆, S) is of
objective characteristic p then (N , Γ, T ) is of objective characteristic p.
Proof. Since ∆ is the set of overgroups of the elements of Γ, the set ∆ is clearly closed under
taking overgroups in S. As Γ is closed under taking F-conjugates, it follows moreover that ∆ is
closed under taking F-conjugates. This shows (a). If P ∈ ∆ then P is an overgroup of an element
X ∈ Γ. Then X ≤ P ∩ T . As Γ is closed under taking overgroups in T , it follows that P ∩ T ∈ Γ.
Hence, claim (b) holds.

NORMAL SUBSYSTEMS OF FUSION SYSTEMS AND PARTIAL NORMAL SUBGROUPS OF LOCALITIES

7

Let now L and N be as in (b). By (b) and [8, Lemma 3.7], the triple (N , Γ, T ) is a locality. The
assumption yields that (N , Γ, T ) is a locality over E. Suppose now that (L, ∆, S) is of objective
characteristic p. Then NL (P ) is a group of characteristic p for every P ∈ ∆ and thus in particular
for every P ∈ Γ. As NN (P ) is a normal subgroup of NL (P ) for any P ∈ Γ, it follows from [17,
Lemma 1.2(a)] that NN (P ) is a group of characteristic p for any P ∈ Γ. Hence, the locality
(N , Γ, T ) is of objective characteristic p.

Lemma 3.10. Let (L, ∆, S) be a locality and N E M E L. Assume that nf ∈ N for every
↑M -maximal element f ∈ L and every n ∈ N ∩ D(f ). Then N E L.
Proof. Let g ∈ L and n ∈ N ∩ D(g). We need to show that ng ∈ N . By the Frattini Lemma
for localities [9, Corollary 3.11], we have g = mf for some m ∈ M and some ↑M -maximal
element f ∈ L. The Splitting Lemma [9, Lemma 3.12] gives Sg = S(m,f ) . It follows thus from
Proposition 3.4(d) that Sg−1 = S(f −1 ,m−1 ) . As n ∈ D(g) and (L, ∆, S) is a locality, we have
(g −1 , n, g) ∈ D via some objects P0 , P1 , P2 , P3 ∈ ∆. Then P0 ⊆ Sg−1 = S(f −1 ,m−1 ) and so
P0f

−1

∈ ∆ and (P0f

−1

)m

−1

= P0g

−1

= P1 . Similarly, P2 ⊆ Sg = S(m,f ) and so P2m ∈ ∆ with
−1

(P2m )f = P2g = P3 . Hence, v := (f −1 , m−1 , n, m, f ) ∈ D via P0 , P0f , P1 , P2 , P2m , P3 . Using the
calculation rules for partial groups, we obtain thus ng = Π(v) = (nm )f . Note that nm ∈ N since
N E M. So (nm )f ∈ N by assumption as f is ↑M -maximal. Therefore ng = (nm )f ∈ N which
proves that N is a partial normal subgroup of L.

Lemma 3.11. Let (L, ∆, S) be a locality and R ≤ S. Then CL (R) is a partial normal subgroup
of NL (R).
Proof. By [15, Lemma 5.4], CL (R) and NL (R) are partial subgroups of L. Let x ∈ CL (R) and
f ∈ NL (R) such that x ∈ D(f ). Then (f −1 , x, f ) ∈ D via some objects P0 , P1 , P2 , P3 . Without
loss of generality, we may assume R ≤ Pi . By Proposition 3.4(c), cΠ(f −1 ,x,f ) = cf −1 ◦cx ◦cf as a map
NL (P0 ) → NL (P3 ). In particular, cΠ(f −1 ,x,f ) |R = (cf −1 )|R ◦(cx )|R ◦(cf )|R = (cf −1 )|R ◦idR ◦(cf )|R =

(cf −1 )|R ◦ (cf )|R = idR and so Π(f −1 , x, f ) ∈ CL (R).
If M and N are subsets of a partial group L with product Π : D → L, we set
MN := {Π(m, n) : m ∈ M, n ∈ N , (m, n) ∈ D}.
If M and N are partial normal subgroups of a locality, then by [14, Theorem 1], the product MN
is a partial normal subgroup as well.
Lemma 3.12. Let (L, ∆, S) be a locality such that, for any Q ∈ ∆, the group NL (Q) is of
characteristic p. Suppose T CS (T ) ∈ ∆. Let M and N be partial normal subgroups of L with
T := M ∩ S = N ∩ S and FT (M) = FT (N ). Then M = N .
Proof. By [14, Theorem 1], the subset MN is a partial normal subgroup of L with (MN ) ∩ S =
(M ∩ S)(N ∩ S) = T . Moreover, for every f ∈ MN , there exist m ∈ M and n ∈ N with
(m, n) ∈ D, f = mn and Sf = S(m,n) . So the morphism cf |Sf ∩T : Sf ∩ T → T is the composition
of cm |Sf ∩T with cn |Sfm ∩T . Therefore, cf |Sf ∩T is a morphism in FT (N ) = FT (M). This shows
FT (MN ) ⊆ FT (N ). Clearly, N ⊆ MN and FT (N ) ⊆ FT (MN ). Hence, FT (MN ) = FT (N ).
Thus, replacing M by MN , we may assume from now on without loss of generality that N ⊆ M.
By the Frattini argument for localities [8, Corollary 4.8], we have L = N NL (T ). So using the
Dedekind argument for localities [14, 2.1], it follows M = N NM (T ). As P := T CS (T ) ∈ ∆, [15,
Lemma 6.1] gives that G := NL (P ) is a model of NF (P ). Since P is normal in NF (P ) and CS (P ) ≤
P , it follows from [4, Theorem III.5.10] that CG (P ) ≤ P . Note that M := NM (T ) = M ∩ NG (T )
and N := NN (T ) = N ∩ NG (T ) are subgroups of G with N ≤ M . As FT (M) = FT (N ), we have

8

A. CHERMAK AND E. HENKE

moreover AutM (T ) = AutN (T ) and thus M = N CM (T ). Observe that M is normal in NG (T ),
and P ≤ NG (T ) is normal in G. Therefore
[CM (T ), P ] ≤ [M, P ] ≤ M ∩ P ≤ M ∩ S = T
and thus [P, Op (CM (T ))] = [P, Op (CM (T )), Op (CM (T ))] = 1. As CG (P ) ≤ P , it follows Op (CM (T )) =
1. By Lemma 3.4(g), S is a Sylow p-subgroup of G since P is normal in S. So S is also a Sylow
p-subgroup of NG (T ) as T ES. Since M is normal in NG (T ), this implies that T = M∩S = M ∩S
is a Sylow p-subgroup of M . Since Op (CM (T )) = 1, we know that CM (T ) is a normal p-subgroup
of M . Therefore, CM (T ) ≤ T ≤ N . So M = N CM (T ) = N and M = N NM (T ) = N M = N . 
Lemma 3.13. Let (L, ∆, S) be a proper locality over F with ∆ = F s . Let N be a partial normal
subgroup of L such that E = FS∩N (N ) is normal in F. Then ER = F(N R)∩S (N R) for every
subgroup R of S.
Proof. This follows from the construction of the product in [13].



3.4. Regular localities. Regular localities were introduced by the first author of this paper [11].
A regular locality over F is a proper locality over F whose object set is the set δ(F). We will
not need the precise definition of δ(F) here. The main property we use is the following: Suppose
we are given a regular locality (L, ∆, S) and a partial normal subgroup N of L. Then setting
T := N ∩ S and
Γ := {U ≤ T : U CS (N ) ∈ ∆},
the triple (N , Γ, T ) is a regular locality; see [11, Theorem 7.7(a)]. In particular, we have T CS (N ) ∈
∆, and FT (N ) is saturated. We use this property to prove the following theorem, which is crucial
in the proof of Theorem A.
Theorem 3.14. Let (L, ∆, S) be a regular locality over F, and let N be a partial normal subgroup
of L. Set T := N ∩ S. Then T CS (N ) and T CS (T ) are elements of ∆, and FT (N ) is a normal
subsystem of F.
Proof. Set E = FT (N ) and
Γ := {U ≤ T : U CS (N ) ∈ ∆}.
By [11, Theorem 7.7(a)], the triple (N , Γ, T ) is a regular locality over E. In particular, the
subsystem E is saturated. Moreover, we have T ∈ Γ and thus T CS (N ) ∈ ∆ by definition of Γ.
Since ∆ is closed under taking overgroups, it follows T CS (T ) ∈ ∆.
By [8, Lemma 4.2(a)], the subgroup T is strongly closed in F. According to the definition of a
normal subsystem (as for example given in [4, Definition I.6.1]) it remains to show the following
properties:
(1) (Invariance condition) For each P, Q ≤ T , ϕ ∈ HomE (P, Q) and α ∈ AutF (T ), we have
ϕα := α−1 ◦ ϕ ◦ α ∈ HomE (P α, Qα).
(2) (Frattini condition) For each P ≤ T and ϕ ∈ HomF (P, T ), there are α ∈ AutF (T ) and
ϕ0 ∈ HomE (P, T ) such that ϕ = ϕ0 ◦ α.
(3) (Extension condition) Each α ∈ AutE (T ) extends to some α ∈ AutF (T CS (T )) such that
[CS (T ), α] ≤ Z(T ).
For the proof of (1) fix α ∈ AutF (T ). Since E is generated by the maps of the form cn : Tn → T ,
we may take P := Tn = Sn ∩ T , Q := Tnn , ϕ := cn |P ; then we show that ϕα ∈ HomF (P α, Qα).
As (N , Γ, T ) is a locality, we have P ∈ Γ. By definition of Γ, this means R := P CS (N ) ∈ ∆.
Recall that F is saturated. Therefore, by the extension axiom, the automorphism α extends to
α̂ ∈ AutF (T CS (T )). Since F = FS (L), there exists f ∈ NL (T CS (T )) such that α̂ = cf |T CS (T ) and
thus cf |T = α. Note that R and Rn = QCS (N ) are contained in T CS (T ) and thus in Sf . Hence,
(f −1 , n, f ) ∈ D via Rf , R, Rn , Rnf . So by Lemma 3.4, we have cf −1 |Rf ◦ cn |R ◦ cf |Rn = cnf |Rf .

NORMAL SUBSYSTEMS OF FUSION SYSTEMS AND PARTIAL NORMAL SUBGROUPS OF LOCALITIES

9

This implies that ϕα = α−1 ◦ ϕ ◦ α = cnf |P α . As N is a partial normal subgroup and E = FT (N ),
this shows that ϕα ∈ HomE (P α, Qα) as required. So (1) holds.
For (2) let now P ≤ T and ϕ ∈ HomF (P, T ) be arbitrary. As F = FS (L), there exists f ∈ L
with P ≤ Sf and ϕ = cf |P . By the Frattini argument for localities [9, Corollary 3.11], there
exist n ∈ N and g ∈ NL (T ) such that (n, g) ∈ D and f = ng. Moreover, g can be chosen to
by ↑-maximal in the sense defined in [9]. By Stellmacher’s Splitting Lemma [9, Lemma 3.12],
this implies that Sf = S(n,g) . In particular, P ≤ S(n,g) ≤ Sn . Hence, we have ϕ = ϕ0 ◦ α for
ϕ0 = cn |P ∈ HomE (P, T ) and α = cg |T ∈ AutF (T ).
For (3) let α ∈ AutE (T ) be arbitrary. Then α = cn |T for some n ∈ NN (T ). By [9, Lemma 3.5],
we have NN (T ) ⊆ NL (T CS (T )). So α extends to α := cn |T CS (T ) ∈ AutF (T CS (T )). Recall from
above that T CS (T ) ∈ ∆. Thus, NL (T CS (T )) is a group. Computing commutators inside of this
group, we have
[CS (T ), α] ≤ [T CS (T ), NN (T )] ≤ (T CS (T )) ∩ N ≤ S ∩ N = T.
As T is strongly closed, CS (T ) is α-invariant. So [CS (T ), α] ≤ T ∩ CS (T ) = Z(T ) as required.
This shows (3) and completes thus the proof that E is normal in F.

4. Expansions of Localities
Definition 4.1. Let F be a fusion system over S, and let ∆ be a set of subgroups of S.
• The set ∆ is said to be closed under taking F-conjugates, if P ∈ ∆ for any Q ∈ ∆
and any P ∈ QF .
• We say that ∆ is closed under taking overgroups in S, if P ∈ ∆ whenever Q ≤ P ≤ S
for some Q ∈ ∆.
• The set ∆ is called F-closed, if ∆ is closed under taking F-conjugates and overgroups in
S.
• Let F|∆ denote the subsystem of F generated by all the morphism sets HomF (P, Q) with
P, Q ∈ ∆.
• A locality (L, ∆, S) is said to be F-natural if FS (L) = F|∆ .
For the remainder of this section we assume the following hypothesis:
Hypothesis 4.2. Let F be a fusion system over S, let (L, ∆, S) be an F-natural locality. Let
R ≤ S be fully F-normalized and set
∆R := {P ∈ ∆ : R E P }.
Assume:
(1) hU, V i ∈ ∆ for any two distinct F-conjugates U and V of R.
(2) There is given a finite group M such that R EM , NS (R) ∈ Sylp (M ), NF (R) = FNS (R) (M )
and L∆R (M ) is equal to NL (R) as a partial group.
It is a consequence of Hypothesis 4.2(1) that NP (R) ∈ ∆R for any P ∈ ∆ with R ≤ P ; see
[8, Lemma 5.4(a)]. In particular NS (R) ∈ ∆R and ∆R is non-empty. As ∆ is closed under
taking overgroups in S, the set ∆R is closed under taking overgroups in NS (R). The assumption
that (L, ∆, S) is F-natural includes that ∆ is F-invariant. So ∆R is NF (R)-invariant and thus
M -invariant. Therefore, L∆R (M ) is indeed well-defined.
Let ∆+ be the union of ∆ and the set of all subgroups Q of S such that Q contains an Fconjugate of R. We summarize here the construction from [8, Section 5] showing that there exists
an F-natural locality (L+ , ∆+ , S) such that L+ |∆ = L and NL+ (R) ∼
= M . For this purpose, let
Θ be the set of all triples
θ = (x−1 , g, y) ∈ L × M × L

10

A. CHERMAK AND E. HENKE

which satisfy R ≤ Sx ∩ Sy , NSx (R)x = NS (Rx ), NSy (R)y = NS (Ry ). We define furthermore a
relation ∼0 on Θ as follows:
(x−1 , g, y) ∼0 (x−1 , g, y)
if and only if Rx = Rx , Ry = Ry and Π(x, x−1 )·g = g·Π(y, y −1 ), where Π denotes the product on L
and · denotes the product on M . Note that the latter equality makes sense: we have (x, x−1 ) ∈ D
via NSx (R) and Π(x, x−1 ) ∈ NL (R) ⊆ M . Similarly, (y, y −1 ) ∈ D via NSy (R) and Π(y, y −1 ) ∈ M .
By [8, Lemma 5.5], the relation ∼0 is an equivalence relation on Θ.
For f ∈ L and (x−1 , g, y) ∈ Θ write f ` (x−1 , g, y) if g ∈ L∆R (M ) = NL (R), (x−1 , g, y) ∈ D
and f = Π(x−1 , g, y). Let ≈ be the weakest equivalence relation on L ∪ Θ containing ∼0 and `.
Set
L+ := L+ (R, M ) := (L ∪ Θ)/ ≈
and write [x−1 , g, y] for the equivalence class of (x−1 , g, y) ∈ Θ. Write L+
0 for the set of equivalence
classes of ≈ containing an element of Θ.
For f, g ∈ L it turns out that f ≈ g if and only if f = g; see [8, Lemma 5.9(a)]. So we can and
will identify every element f ∈ L with its equivalence class in L+ . We regard L in this way as a
subset of L+ and get in particular D ⊆ W(L) ⊆ W(L+ ). Observe also that L+ = L+
0 ∪ L.
−1
−1
−1
−1
Write D+
0 for the set of words w = ([x1 , g1 , y1 ], [x2 , g2 , y2 ], . . . , [xn , gn , yn ]) with (xi , gi , yi ) ∈
−1
Θ for i = 1, . . . , n, and such that (yi , x−1
i+1 ) ∈ D and Π(yi , xi+1 ) ∈ NL (R) for i = 1, . . . , n − 1.
−1
For such a words w note that w0 := (g1 , Π(y1 , x2 ), g2 , . . . , gn−1 , Π(yn−1 , x−1
n ), gn ) ∈ W(M ) as
NL (R) ⊆ M . Writing ΠM for the multivariable product on M , we define
−1
Π+
0 (w) = [x1 , ΠM (w0 ), yn ]

if w and w0 are as above. Moreover, set Π+
0 (∅) = [1, 1M , 1]. By [8, Lemma 5.10], this gives a
+
+
.
Moreover,
regarding D as a subset of W(L+ ) as explained
→
L
:
D
well-defined map Π+
0
0
0
+
above, it follows from [8, Lemma 5.11] that Π0 and Π agree on D ∩ D+
0 . So setting
D+ = D+
0 ∪D
there is a “product” Π+ : D+ → L+ defined via Π+ (w) = Π(w) if w ∈ D, and Π+ (w) = Π+
0 (w) if
+
w ∈ D0 .
−1
−1 −1 , x]. By [8, Lemma 5.12],
One can also define an “inversion map” on L+
0 via [x , f, y] 7→ [y , f
the union of this inversion map with the inversion map on L gives a well-defined inversion
map L+ → L+ which turns L+ into a partial group with product Π+ . Its identity element is
Π+ (∅) = Π+
0 (∅) = [1, 1M , 1] = Π(∅) = 1.
By [8, Theorem 5.14], the triple (L+ , ∆+ , S) is a locality with FS (L+ ) = F|∆+ .

Lemma 4.3. We have NL+ (R) = {[1, m, 1] : m ∈ M } and the map ψ : M → NL+ (R), m 7→
[1, m, 1] is an isomorphism of groups. Identifying an element of L with its equivalence class in
L+ , we have m = [1, m, 1] for every m ∈ NL (R) = L∆R (M ).
Proof. If m ∈ M then note first that (1, m, 1) ∈ Θ as S1 = S and NS (R)1 = NS (R) = NS (R1 ).
+
So [1, m, 1] ∈ L+
0 ⊆ L . For m ∈ NL (R) we have (1, m, 1) ∈ D and Π(1, m, 1) = m by [9,
Lemma 1.4(c)]. Hence, in this case m ` (1, m, 1) and thus m = [1, m, 1].
Let now x ∈ R and m ∈ M be arbitrary. From what we have shown above, we get x = [1, x, 1].
So u := ([1, m, 1]−1 , x, [1, m, 1]) = ([1, m−1 , 1], [1, x, 1], [1, m, 1]). Since (1, 1) ∈ D and Π(1, 1) =
+
+
−1
m
1 ∈ NL (R), it follows u ∈ D+
0 and Π (u) = Π0 (u) = [1, ΠM (m , 1, x, 1, m), 1] = [1, x , 1] =
m
x ∈ R since R E M . So [1, m, 1] ∈ NL+ (R) and ψ is well-defined. For m1 , m2 ∈ M we have by
similar arguments as before that
(m1 ψ)(m2 ψ) = Π+ ([1, m1 , 1], [1, m2 , 1]) = [1, ΠM (m1 , 1, m2 ), 1] = [1, m1 m2 , 1] = (m1 m2 )ψ.

NORMAL SUBSYSTEMS OF FUSION SYSTEMS AND PARTIAL NORMAL SUBGROUPS OF LOCALITIES 11

Hence, the map ψ is a group homomorphism. Moreover, as [1, 1M , 1] = 1, the kernel of ψ is trivial
and thus ψ is injective. By [8, Theorem 5.14](a), we have M ∼
= NL+ (R). Thus, ψ must be an
isomorphism and so in particular NL+ (R) = {[1, m, 1] : m ∈ M }.

In the next lemma we use the following notation: If H is a partial subgroup of L, then we define
AutH (R) := {cf |R : f ∈ NH (R)}.
Lemma 4.4. Assume Hypothesis 4.2 and let (L+ , ∆+ , S) be as above. Suppose we are given a
e ∆,
˜ S̃) with product Π̃ : D̃ → L.
e Let ϕ1 : L → Le and ϕ2 : M → Le be homomorphisms of
locality (L,
˜
partial groups such that ϕ1 |NL (R) = ϕ2 |NL (R) and R̃ := Rϕ1 = Rϕ2 ∈ ∆.
Define a map
ϕ : L+ → Le
via ϕ|L = ϕ1 and [x−1 , g, y]ϕ = Π̃(x−1 ϕ1 , gϕ2 , yϕ1 ) for all (x−1 , g, y) ∈ Θ. Then ϕ is well-defined
and a homomorphism of partial groups. Moreover
Autker(ϕ) (R) = Autker(ϕ1 ) (R).
Proof. Without further reference, we will use throughout that, by [8, Lemma 3.2], a homomorphism of partial groups sends the identity to the identity and the inverse of an element f to the
inverse of the image of f . Define a map
ϕ0 : L ∪ Θ → Le
via ϕ0 |L = ϕ1 and (x−1 , g, y)ϕ0 = Π̃(x−1 ϕ1 , gϕ2 , yϕ1 ) for all (x−1 , g, y) ∈ Θ. To show that ϕ is
well-defined, we need to show that ϕ0 is constant on every ≈ equivalence class.
Let f ∈ L and (x−1 , g, y) ∈ Θ such that f ` (x−1 , g, y). Then g ∈ NL (R), (x−1 , g, y) ∈ D
and Π(x−1 , g, y) = f . As ϕ1 |NL (R) = ϕ2 |NL (R) , we have gϕ1 = gϕ2 . Using that ϕ1 is a homomorphism of partial groups, we conclude f ϕ0 = f ϕ1 = Π(x−1 , g, y)ϕ1 = Π̃(x−1 ϕ1 , gϕ1 , yϕ1 ) =
Π̃(x−1 ϕ1 , gϕ2 , yϕ1 ) = (x−1 , g, y)ϕ0 .
Let now (x−1 , g, y), (x−1 , g, y) ∈ Θ be arbitrary such that (x−1 , g, y) ≈ (x−1 , g, y). Then Rx =
Ry = Ry and Π(x, x−1 ) · g = g · Π(y, y −1 ). Notice that we have the following series of
conjugations:

Rx ,

x−1

x

x−1

g

x−1

g

y

y −1

y

Rx −−→ R −
→ Rx = Rx −−→ R →
− R−
→ Ry
and
y

− R−
→ Ry = Ry −−→ R −
→ Ry
Rx −−→ R →
˜ it follows
As ϕ1 and ϕ2 are homomorphisms of partial groups, and as R̃ = Rϕ1 = Rϕ2 ∈ ∆,
−1
−1
−1
−1
that u := (x ϕ1 , xϕ1 , x ϕ1 , gϕ2 , yϕ1 ) and v := (x ϕ1 , gϕ2 , yϕ1 , y ϕ1 , yϕ1 ) are in D̃ via R̃xϕ1 .
In particular all subwords of u and v are in D̃. Note also that Π̃(xϕ1 , x−1 ϕ1 ) = Π(x, x−1 )ϕ1 =
Π(x, x−1 )ϕ2 and similarly Π̃(yϕ1 , y −1 ϕ1 ) = Π(y, y −1 )ϕ2 . Therefore, using the axioms of partial
groups and the fact that ϕ2 is a homomorphism of partial groups, we obtain
Π̃(xϕ1 , x−1 ϕ1 , gϕ2 ) = Π̃(Π(x, x−1 )ϕ2 , gϕ2 )
= (Π(x, x−1 ) · g)ϕ2
= (g · Π(y, y −1 ))ϕ2
= Π̃(gϕ2 , Π(y, y −1 )ϕ2 )
= Π̃(gϕ2 , Π̃(yϕ1 , y −1 ϕ1 ))
= Π̃(gϕ2 , yϕ1 , y −1 ϕ1 ).

12

A. CHERMAK AND E. HENKE

Hence
(x−1 , g, y)ϕ0 = Π̃(x−1 ϕ1 , gϕ2 , yϕ1 )
= Π̃(u)
= Π̃(x−1 ϕ1 , Π̃(xϕ1 , x−1 ϕ1 , gϕ2 ), yϕ1 )
= Π̃(x−1 ϕ1 , Π̃(gϕ2 , yϕ1 , y −1 ϕ1 ), yϕ1 )
= Π̃(v)
= Π̃(x−1 ϕ1 , gϕ2 , yϕ1 )
= (x−1 , g, y)ϕ0 .
This shows that ϕ0 is constant on every ≈ equivalence class and thus the induced map ϕ : L+ → L̃
is well-defined. So it remains only to prove that ϕ is a homomorphism of partial groups. Notice
+
+
+
+
that L+
0 is a partial subgroup of L with product Π0 : D0 → L0 , and that ϕ induces a map
+
+
L0 → L0 . It is sufficient to show that this map is a homomorphism of partial groups, since
+
+
L+ = L ∪ L0 , D+ = D ∪ D+
0 , Π = Π ∪ Π0 , and ϕ|L = ϕ1 is a homomorphism of partial groups.
+
∗
∗
So let w = (C1 , . . . , Cn ) ∈ D+
0 . We need to show that wϕ ∈ D̃ and Π̃(wϕ ) = Π0 (w)ϕ.
+
−1
−1
By definition of D0 , for i = 1, . . . , n there exists (xi , gi , yi ) ∈ Θ such that Ci = [xi , gi , yi ].
−1
−1
Moreover, for i = 1, . . . , n − 1, we have (yi , x−1
i+1 ) ∈ D and yi xi+1 = Π(yi , xi+1 ) ∈ NL (R). Setting
−1
−1
−1
w0 := (g1 , (y1 x2 ), g2 , y2 x3 , . . . , gn−1 , yn−1 xn , gn ), we have

Π+ (w) = [x−1
1 , ΠM (w0 ), yn ].
−1
For i = 1, . . . , n − 1, we have (yi xi+1
, xi+1 ) ∈ D as (yi , x−1
i+1 ) ∈ D. So using Lemma 3.4(c) with
−1

X0 = S(yi x−1 ,xi+1 ) ∈ ∆, we obtain Rxi+1 = (Ryi xi+1 )xi+1 = Ryi as yi x−1
i+1 ∈ NL (R). Hence, we get
i+1
a series of conjugations
x−1

g1

y1

x−1

g2

y3

yn−1

x−1

gn

yn

1
2
n
Rx1 −−
→ R −→ R −→ Ry1 = Rx2 −−
→ R −→ R −→ . . . −−−→ Ryn−1 = Rxn −−
→ R −→ R −→ Ryn .
˜ it follows that
As ϕ1 and ϕ2 are homorphisms of partial groups and R̃ ∈ ∆,

−1
−1
˜
w̃ = (x−1
1 ϕ1 , g1 ϕ2 , y1 ϕ1 , x2 ϕ1 , g2 ϕ2 , y2 ϕ1 , . . . , xn ϕ1 , gn ϕ2 , yn ϕ1 ) ∈ ∆

via R̃. It follows thus from the axioms of a partial group that
−1
−1
˜
wϕ∗ = (Π̃(x−1
1 ϕ1 , g1 ϕ2 , y1 ϕ1 ), Π̃(x2 ϕ1 , g2 ϕ2 , y2 ϕ1 ), . . . , Π̃(xn ϕ1 , gn ϕ2 , yn ϕ1 )) ∈ ∆

and Π̃(wϕ∗ ) = Π̃(w̃). Noting that Π̃(yi ϕ1 , xi+1 ϕ1 ) = Π(yi , xi+1 )ϕ1 = Π(yi , xi+1 )ϕ2 for i =
1, . . . , n − 1, we obtain
Π̃(wϕ∗ ) = Π̃(w̃)
−1
−1
= Π̃(x−1
1 ϕ1 , g1 ϕ2 , Π̃(y1 ϕ1 , x2 ϕ1 ), g2 ϕ2 , . . . , gn−1 ϕ2 , Π̃(yn−1 ϕ1 , xn ϕ1 ), gn ϕ2 , yn ϕ1 )
∗
= Π̃((x−1
1 ϕ1 ) ◦ w0 ϕ2 ◦ (yn ϕ1 ))
∗
= Π̃(x−1
1 ϕ1 , Π̃(w0 ϕ2 ), yn ϕ1 )

= Π̃(x−1
1 ϕ1 , ΠM (w0 )ϕ2 , yn ϕ1 )
= [x−1
1 , ΠM (w0 ), yn ]ϕ
= Π+
0 (w)ϕ.
This shows that ϕ is a homomorphism of partial groups.
By Lemma 4.3, we have that NL+ (R) = {[1, m, 1] : m ∈ M } and ψ : M → NL+ (R), m 7→
[1, m, 1] is an isomorphism of groups. If m ∈ M then [1, m, 1]ϕ = Π̃(1 ϕ1 , mϕ2 , 1 ϕ1 ) = Π̃(1, mϕ2 , 1) =
mϕ2 . Hence, for every m ∈ M , we have [1, m, 1] ∈ ker(ϕ) if and only if m ∈ ker(ϕ2 ). This shows
Nker(ϕ) (R) = ker(ϕ2 )ψ and Autker(ϕ) (R) = Autker(ϕ2 )ψ (R). By Lemma 4.3, we have mψ = m for

NORMAL SUBSYSTEMS OF FUSION SYSTEMS AND PARTIAL NORMAL SUBGROUPS OF LOCALITIES 13

all m ∈ NL (R). In particular, ψ|NS (R) = id. So for x ∈ R and k ∈ ker(ϕ2 ), we have xψ = x and
xk = xk ψ. Hence, xkψ = (xψ)kψ = xk ψ = xk proving ckψ |R = ck |R for all k ∈ ker(ϕ2 ). This shows
that Autker(ϕ) (R) = Autker(ϕ2 )ψ (R) = Autker(ϕ2 ) (R).

5. Proof of Theorem A, Step 1
Throughout this section we work under the following hypothesis:
Hypothesis 5.1. Let F be a saturated fusion system over S, and let E be a normal subsystem of
F on T .
Let Ω be the set of all pairs (Γ, ∆) such that Γ is a non-empty set of subgroups of T closed
under taking F-conjugates and overgroups in T , and ∆ is the set of subgroups of S which contain
a member of Γ.
e ∆,
˜ S) over F such that there exists a set Γ̃ with (Γ̃, ∆)
˜ ∈Ω
There is given a proper locality (L,
and E rc ⊆ Γ̃.
˜ is F-closed and F rc ⊆ ∆
˜ ⊆ F s , since (L,
e ∆,
˜ S) is a proper locality over F. Observe
Note that ∆
˜ The main aim of this section is to prove the following proposition.
moreover Γ̃ ⊆ ∆.
Proposition 5.2. Assume Hypothesis 5.1. Then there exists a partial normal subgroup Ñ of Le
such that T = Ñ ∩ S and E = FT (Ñ ).
The remainder of this section is devoted to the proof of Proposition 5.2. Throughout we assume
e We assume moreover
that Hypothesis 5.1 holds. We write Π̃ : D̃ → Le for the partial product on L.
that Proposition 5.2 is false.
Write Ω0 for the set of pairs (Γ+ , ∆+ ) ∈ Ω such that there does not exists any partial normal
e ∆+ with T = N + ∩ S and FT (N + ) = E|Γ+ . By Alperin’s fusion theorem, we
subgroup N + of L|
˜ ∈ Ω0 .
have E = E|Γ̃ as E rc ⊆ Γ̃. So since we assume that Proposition 5.2 is false, we have (Γ̃, ∆)
0
+
+
0
In particular, Ω is non-empty and we can thus choose such a pair (Γ , ∆ ) ∈ Ω such that
Γ+ of minimal cardinality. Let R ∈ Γ+ be of minimal order and choose R such that R is fully
F-normalized. Set
Γ := Γ+ \RF .
We proceed in a series of lemmas until we reach the final contradiction.
5.3. Let P ∈ Γ̃ ∩ F f .
(a) NF (P ) and NE (P ) are saturated subsystems of F, and NE (P ) is normal in NF (P ).
(b) The group NLe(P ) is a model for NF (P ).
(c) There exists a unique normal subgroup N of the group NLe(P ) such that NT (P ) = N ∩
NS (P ) and FNT (P ) (N ) = NE (P ).
Proof. Property (a) follows from Lemma 2.4, and property (b) holds by [15, Lemma 6.1]. As
NLe(P ) is a model for NF (P ), it follows from [4, Theorem II.7.5] that every normal subsystem of
NF (P ) is the p-fusion system of a unique normal subgroup of NLe(P ). This implies (c).

5.4. Let R∗ ∈ RF and R∗ < Q ≤ T . Then Q ∈ Γ.
Proof. As R ∈ Γ+ and Γ+ is closed under taking F-conjugates and overgroups in T , we have
Q ∈ Γ+ . Since |Q| > |R∗ | = |R|, it follows Q 6∈ RF . Hence, Q ∈ Γ = Γ+ \RF .

5.5. We have T ∈ Γ. In particular, Γ 6= ∅. Moreover, Γ is closed under taking F-conjugates and
overgroups in T .

14

A. CHERMAK AND E. HENKE

Proof. Assume T 6∈ Γ. Then 5.4 implies R = T and Γ+ = {T }. In particular, E|Γ+ = NE (T )
and ∆+ is the set of overgroups of T . As T is strongly closed, we have T g = T for every g ∈ Le
e ∆+ = N e(T ) is a group. Since the partial normal subgroups of the
with T ≤ Sg . Thus, L|
L
+
locality (NLe(T ), ∆ , S) are precisely the normal subgroups of the group NLe(T ), it follows now
e ∆+ = N e(T ) such
from property 5.3(c) that there is a unique partial normal subgroup N + of L|
L
+
+
that N ∩ S = T and FT (N ) = NE (T ) = E|Γ+ . This is a contradiction to (Γ+ , ∆+ ) ∈ Ω0 . Thus
T ∈ Γ.
Since Γ+ is closed under taking F-conjugates and Γ = Γ+ \RF , the set Γ is closed under taking
F-conjugates. If P ∈ Γ and P ≤ Q ≤ T , then Q ∈ Γ+ as Γ+ is closed under taking overgroups in
T . If |Q| = |P | then Q = P ∈ Γ. If |Q| > |P | then again Q ∈ Γ as R ∈ Γ+ is of minimal order
and so |Q| > |P | ≥ |R|. Hence, Γ is closed under taking overgroups in T .

We have just seen that Γ is non-empty, so we can define the set ∆ to be the set of overgroups
˜
of elements of Γ in S. Then ∆ is non-empty and F-closed by Lemma 3.9(a). Since Γ ⊆ Γ̃ and ∆
˜ Thus, setting
is the set of overgroups of elements of Γ̃ in S, we have moreover ∆ ⊆ ∆.
e∆
L := L|
the triple (L, ∆, S) forms an F-natural locality, i.e. FS (L) = F|∆ . We write D for the domain of
the product of the partial group L and Π : D → L for the partial product on L. This means that
e and Π = Π̃|D .
D = D∆ where we form D∆ inside of the locality L,
+
+
0
Note that (Γ, ∆) ∈ Ω. Since (Γ , ∆ ) ∈ Ω such that Γ+ is of minimal cardinality, there exists
a partial normal subgroup N of L such that
N ∩ S = T and FT (N ) = E|Γ .
We fix such N throughout.
Remark 5.6. Let f ∈ L and P ∈ ∆. Then P f is defined in Le if and only if P f is defined in L.
e If P f is defined in Le then, computing
Proof. If P f is defined in L, the it is clearly also defined in L.
−1
f
f
e we have (f , x, f ) ∈ D∆ = D via P . So x is defined in L for every x ∈ P , and thus P f
in L,
is defined in L.

e We set
By Remark 5.6, for any f ∈ L, forming Sf in L is the same as forming Sf in L.
Tf = Sf ∩ T for any f ∈ Le
and
M := NLe(R).
By 5.3, M is a model for NF (R), the subsystem NE (R) is normal in NF (R), and there exists a
unique normal subgroup K of M such that
K ∩ NS (R) = NT (R) and FNT (R) (K) = NE (R).
We fix such K throughout.
5.7. We have P ∩ T ∈ Γ for all P ∈ ∆. In particular, we have Tf ∈ Γ for all f ∈ L.
Proof. This follows from Lemma 3.9(b).



5.8. We have NNN (Q) (R) = NK (Q) for all Q ≤ NT (R) with R < Q.
Proof. As R < Q ≤ T , it follows from 5.4 that Q ∈ Γ ⊆ ∆. As M is a model for NF (R), we can
e ∆ . Moreover,
pick g ∈ M with Qg ∈ NF (R)f . Then Qg ≤ NS (R) ≤ S and in particular g ∈ L = L|
by Lemma 3.4(b),
−1
NN (Qg )g = NN (Q).

NORMAL SUBSYSTEMS OF FUSION SYSTEMS AND PARTIAL NORMAL SUBGROUPS OF LOCALITIES 15

and cg−1 : NN (Qg ) → NN (Q) is an isomorphism of groups. Note that cg−1 leaves R invariant
−1
as g ∈ M . Hence, NNN (Qg ) (R)g = NNN (Q) (R). As K is normal in M , we have furthermore
−1
NK (Qg )g = NK (Q). So if NNN (Qg ) (R) = NK (Qg ) then we are done. So replacing Q by Qg it is
enough to show NNN (Q) (R) = NK (Q) in the case that Q is fully normalized in NF (R). Thus we
assume from now on that Q ∈ NF (R)f . Then
F0 := NNF (R) (Q)
is saturated, and NM (Q) is a model for F0 by [15, Lemma 2.10]. In particular,
S0 := NS (R) ∩ NS (Q) ∈ Sylp (NM (Q)).
Lemma 2.4(b) yields that Q ∈ NE (R)f and that E0 := NNE (R) (Q) is normal in F0 . As K is a model
for NE (R), it follows from [15, Lemma 2.10] that NK (Q) is a model for E0 . Note also that NK (Q)
is a normal subgroup of NM (Q). By [4, Theorem II.7.5], there is a unique normal subgroup N of
NM (Q) such that T0 := NT (R) ∩ NT (Q) ∈ Sylp (N ) and FT0 (N ) = E0 . So since the corresponding
properties hold with NK (Q) in place of N , it is sufficient to show that N := NNN (Q) (R) is
a normal subgroup of NM (Q) such that T0 ∈ Sylp (N ) and FT0 (N ) = E0 . To see that, note
first of all that NL (Q) = NLe(Q) as Q ∈ ∆. Hence, NM (Q) = NNLe(R) (Q) = NNLe(Q) (R) =
NNL (Q) (R). As N is a partial normal subgroup of L, it follows that N = NNL (Q) (R) ∩ N is
a normal subgroup of NM (Q) = NNL (Q) (R). In particular, as S0 ∈ Sylp (NM (Q)), we have
N ∩ S0 = N ∩ S0 = (N ∩ S) ∩ S0 = T ∩ S0 = T0 is a Sylow p-subgroup of N . So it remains only
to prove that FT0 (N ) = E0 . Let n ∈ N . Since E|Γ = FT (N ) and Q ∈ Γ, it follows that the map
cn : Sn ∩ T0 → T0 is a morphism in E normalizing Q and R. Thus this map is a morphism in E0
showing FT0 (N ) ⊆ E0 . Every morphism in E0 extends to a morphism ϕ in E acting on Q and R.
Then again as E|Γ = FT (N ) and Q ∈ Γ, such a morphism ϕ is realized as a conjugation map by
an element of N = NNN (Q) (R). So we have E0 = FT (N ) as required. As argued above this yields
the assertion.

5.9. Let k ∈ K and R < Q ≤ NT (R) such that Qk ≤ NT (R). Then k ∈ N .
Proof. As R < Q ≤ T , it follows from 5.4 that Q ∈ Γ ⊆ ∆. By Alperin’s fusion theorem
for groups [1, Main Theorem], applied in the group K, there exist sequences of subgroups Q =
P0 , P1 , . . . , Pl = Qk ≤ NT (R) and R1 , . . . , Rl ≤ NT (R) as well as elements ki ∈ NK (Ri ) for
ki
i = 1, . . . , l such that hPi−1 , Pi i ≤ Ri , Pi−1
= Pi and k = k1 k2 . . . kl where we conjugate and form
the latter product in K. Since the product in K is the restriction of Π̃ to W(K), it follows that
k = Π̃(k1 , . . . , kl ). As R is normal in M and thus in K, we have R ≤ Pi ≤ Ri for i = 1, . . . , r. Note
that Pi ∈ Γ as Q ∈ Γ. So as R 6∈ Γ, the subgroup R is properly contained in Ri . Thus, 5.8 gives
ki ∈ NK (Ri ) = NNN (Ri ) (R) ⊆ N for i = 1, . . . , l. Furthermore, (k1 , . . . , kl ) ∈ D = D∆ via Q. So
as Π = Π̃|D and N is a partial subgroup of L, it follows k = Π̃(k1 , . . . , kl ) = Π(k1 , . . . , kl ) ∈ N . 
Set now
∆R := {P ∈ ∆ : R E P }.
Note that R 6∈ ∆. So if R ≤ P ∈ ∆ then R is a proper subgroup of P and thus also a proper
subgroup of NP (R). Hence, by 5.4, NP (R) ∈ ∆ for all R ≤ P ∈ ∆. This implies
∆R = {NP (R) : R ≤ P ∈ ∆}.
In particular, ∆R is non-empty as ∆ is non-empty. Since R is fully normalized in F, we have
|NS (R)| ≥ |NS (U )| for any L-conjugate U of R in S. So it follows from [8, Lemma 2.19] that
(NL (R), ∆R , NS (R)) is a locality.
As ∆ is F-closed, it follows that ∆R is NF (R)-closed. Since M = NLe(R) is a model for NF (R)
by 5.3(b), we can form L∆R (M ) as in Example 3.3.

16

A. CHERMAK AND E. HENKE

5.10. The partial groups L∆R (M ) and NL (R) are equal as partial groups.
Proof. Let g ∈ L∆R (M ). Then there exists P ∈ ∆R such that P g ≤ S where we form the
e As L = L|
e ∆ it follows g ∈ L. By Remark 5.6, P g and thus Rg
conjugate P g in M and thus in L.
is defined in L. Since g ∈ M = NLe(R) and Π = Π̃|D , it follows thus g ∈ NL (R). This shows that
L∆R (M ) ⊆ NL (R).
Note that Π|W(NL (R))∩D is the product of the partial group NL (R). Let D0 be the set of
fi
all words w = (f1 , . . . , fn ) ∈ W(M ) such that there exist P0 , . . . , Pn ∈ ∆R with Pi−1
= Pi for
fi
e
i = 1, . . . , n. Here we form the conjugate Pi−1 in M and thus in L. Then D0 ⊆ W(L∆R (M )) and
Π̃|D0 is the product of the partial group L∆R (M ). As ∆R ⊆ ∆, we have D0 ⊆ D∆ = D. Hence, as
L∆R (M ) ⊆ NL (R), we have D0 ⊆ D ∩ W(NL (R)). Let now w = (f1 , . . . , fn ) ∈ D ∩ W(NL (R)).
i
As (NL (R), ∆R , NS (R)) is a locality, there exist Q0 , . . . , Qn ∈ ∆R such that Qfi−1
= Qi for
fi
i = 1, . . . , n. Here the conjugate Qi−1 is defined in NL (R) and thus also in M = NLe(R). So
w ∈ D0 . This shows D0 = W(NL (R)) ∩ D. Since L∆R (M ) corresponds to the words of length
one in D0 , and NL (R) corresponds to the words of length one in D ∩ W(NL (R)), it follows that
NL (R) = L∆R (M ) as sets. As Π = Π̃|D , we have also Π̃|D0 = Π|W(NL (R))∩D . So NL (R) and
L∆R (M ) are actually equal as partial groups.

Note now that Hypothesis 4.2 is satisfied: First of all, (L, ∆, S) is an F-natural locality, i.e.
e and L = L|
e ∆ . Furthermore, R is fully normalized
F|∆ = FS (L). This is true since F = FS (L)
in F by assumption, and Hypothesis 4.2(1) holds by 5.4. Moreover, by 5.3(b), M is a model
for NF (R). So in particular, M is a finite group such that R E M , NS (R) ∈ Sylp (M ) and
NF (R) = FNS (R) (M ). Finally, by 5.10, the partial groups NL (R) and L∆R (M ) are equal. So
Hypothesis 4.2 holds.
Observe also that ∆+ is the union of ∆ and the set of all overgroups in S of F-conjugates of R.
This is because ∆+ is the set of overgroups of the elements of Γ+ , and ∆ is the set of overgroups
of the elements of Γ = Γ+ \RF . So we can construct the locality (L+ , ∆+ , S) as in Section 4.
Recall that N is a partial normal subgroup of L with N ∩ S = T and FT (N ) = E|∆ . We form
the quotient locality L/N as constructed in [8] and [9]. Write Π for the product on L/N and 1
for the identity element in L/N . Let
σ1 : L → L/N
be the natural projection, i.e. the map sending each element of L to the unique maximal coset
containing it. Then σ1 is a homomorphism of partial groups.
Set now Q := NT (R). By the Frattini argument, we have M = NM (Q)K. Hence, we have a
natural isomorphism
µ : M/K −→ NM (Q)/NK (Q), gK 7→ gNK (Q) for all g ∈ NM (Q).
As T ∈ ∆, we have Q ∈ ∆R ⊆ ∆. So NM (Q) = NNL (Q) (R) is a subgroup of L. Hence, σ1
induces a group homomorphism NM (Q) → NM (Q)σ1 with kernel NNN (Q) (R). By 5.8, we have
NNN (Q) (R) = NK (Q). Hence, σ1 induces a group isomorphism NM (Q)/NK (Q) → NM (Q)σ1 , and
thus an injective homomorphism of partial groups
σ1 : NM (Q)/NK (Q) −→ L/N , gNK (Q) 7→ gσ1 for all g ∈ NM (Q).
Writing π : M → M/K for the natural projection, we define now σ2 = π ◦ µ ◦ σ1 to be the
composition of the maps
π

µ

σ

1
M−
→ M/K −
→ NM (Q)/NK (Q) −→
L/N .

Then σ2 : M → L/N is a homomorphism of partial groups. As µ and σ1 are injective, we have
ker(σ2 ) = ker(π) = K.

NORMAL SUBSYSTEMS OF FUSION SYSTEMS AND PARTIAL NORMAL SUBGROUPS OF LOCALITIES 17

5.11. We have σ1 |NL (R) = σ2 |NL (R) .
Proof. Let y ∈ NL (R) ⊆ M . As (NL (R), ∆R , NS (R)) is a locality, there exists P ∈ ∆R such that
P y is defined in L and P y ≤ NS (R). As M = NM (Q)K, we can write y = xk with x ∈ NM (Q)
and k ∈ K. Then k = x−1 y in K and (P x )k = P y ≤ NS (R). As R = Rx < P x , it follows from 5.9
that k ∈ N and thus kσ1 = 1. As x ∈ NM (Q), it follows from the definition of σ2 that xσ2 = xσ1 .
Note also that (x, k) ∈ D = D∆ via P and so y = Π(x, k). Hence, as σ1 is a homomorphism of
partial group, we have yσ1 = Π(xσ1 , kσ1 ) = Π(xσ1 , 1) = xσ1 = xσ2 . This shows the assertion. 
By 5.11 we are now in a position to apply Lemma 4.4 with σ1 , σ2 and L/N in place of ϕ1 , ϕ2
e We thus get a homomorphism of partial groups
and L.
σ : L+ → L/N
with σ|L = σ1 . Set
N + := ker(σ).
Then Lemma 4.4 gives moreover that AutN + (R) = Autker(σ2 ) (R) = AutK (R). By [8, Lemma 3.3],
N + is a partial normal subgroup of L+ .
5.12. We have N + ∩ L = N . In particular, N + ∩ S = T .
Proof. As N + is the kernel of σ, and N is the kernel of σ1 , and σ|L = σ1 , we have N + ∩ L = {f ∈

L : f σ = 1} = {f ∈ L : f σ0 = 1} = N . In particular, N + ∩ S = N + ∩ L ∩ S = N ∩ S = T .
5.13. We have FT (N + ) = E|∆+
Proof. Step 1: We show that AutN + (P ) = AutE (P ) for every P ∈ RF . As K is a model for NE (R),
we have AutK (R) = AutE (R). Thus, by the properties of N + stated above, we have AutN + (R) =
AutK (R) = AutE (R). Let now P ∈ RF . Then there exists an isomorphism ϕ ∈ HomF (P, R). As
F|Γ+ = FS (L+ ), there exists g ∈ L+ such that ϕ = cg |P . Then by Proposition 3.4(b) (applied with
L+ and N + in place of L and N ) and by Step 1, we have ϕ−1 AutN + (P )ϕ = AutN + (R) = AutE (R).
As E is normal in F, it follows AutN + (P ) = ϕ AutE (R)ϕ−1 = AutE (P ).
Step 2: We show that E|Γ+ ⊆ FT (N + ). So we need to show that for all A, B ∈ Γ+ and every
ϕ ∈ HomE (A, B), the morphism ϕ is also a morphism of FT (N + ). By Alperin’s fusion theorem
[4, ], every such ϕ is the composition of restrictions of E-automorphisms of subgroups of T which
contain an E-conjugate of A. Since Γ+ is F-closed, every subgroup of T containing an E-conjugate
of an element A ∈ Γ+ is again an element of Γ+ . So it is enough to show that the morphisms in
AutE (P ) are morphisms in FT (N + ) for all P ∈ Γ+ . If P ∈ Γ then the morphisms in AutE (P ) are
morphisms in E|Γ = FT (N ) ⊆ FT (N + ). If P ∈ RF then by Step 1, we have AutE (P ) = AutN + (P )
and thus every element of AutE (P ) is a morphism in FT (N + ). As Γ+ = Γ ∪ RF , this shows
E|Γ+ ⊆ FT (N + ).
Step 3: We finish the proof by showing that FT (N + ) ⊆ E|Γ+ . Let n ∈ N + . We need to show
that cn : Tn → T is a morphism in E|Γ+ . By 5.12, we have N + ∩S = T and N + ∩L = N . Moreover,
as ∆+ is the set of overgroups in S of the elements of Γ+ , we have Γ+ = {P ∩ T : P ∈ ∆+ } =
{P ∩ N + : P ∈ ∆+ }. Therefore, it follows from [8, Lemma 3.7] that (N + , Γ+ , T ) is a locality. So
by Alperin’s fusion theorem for localities [18, Theorem 2.5] applied with (N + , Γ+ , T ) in place of
(L, ∆, S), there exist Q1 , . . . , Qk ∈ Γ+ and ni ∈ NN + (Qi ) for i = 1, . . . , k such that Tn = T(n1 ,...,nk )
and n = Π+ (n1 , . . . , nk ). Therefore, we can assume that n ∈ NN + (P ) for some P ∈ Γ+ . If Tn ∈ Γ
then n ∈ L ∩ N + = N and thus cn : Tn → T is a morphism in FT (N ) = E|Γ ⊆ E|Γ+ . So we may
assume Tn 6∈ Γ. As Tn ∈ Γ+ = Γ ∪ RF , we have then Tn ∈ RF . Since R is an element of Γ+ of
minimal order and P ≤ Tn , it follows P = Tn ∈ RF and cn : Tn → T is an element of AutN + (P ).
By Step 1, we have that AutN + (P ) = AutE (P ). So the map cn is again a morphism in E|Γ+ as
required. This finishes the proof.


18

A. CHERMAK AND E. HENKE

e ∆+ . Then L∗ |∆ = L|
e∆ =
We are now in a position to reach the final contradiction: Set L∗ := L|
∗
+
L. Moreover, (L , ∆ , S) is a locality and NL∗ (R) = NLe(R) = M .
It follows from [8, Theorem 5.15(a)] that there exists a rigid isomorphism α : L+ → L∗ . To
argue carefully that this is true note that the identity map β : L → L is a rigid isomorphism from
(L, ∆, S) to itself, and that the identity map µ : M → NL∗ (R) is an isomorphism of groups such
that µ restricts to the identity on NS (R). So by [8, Theorem 5.15(a)], there is an isomorphism
α : L+ → L∗ which restricts to β = idL on L and is thus a rigid isomorphism.
So pick a rigid isomorphism α : L+ → L∗ . Then Lemma 3.7 implies that N + α is a partial
normal subgroup of L∗ with N + ∩ S = (N + α) ∩ S, and that FN + ∩S (N + ) = FN + ∩S (N + α). So
by 5.12 and 5.13, we have T = N + ∩ S = (N + α) ∩ S and FT (N + α) = E|∆+ . This contradicts the
assumption that (Γ+ , ∆+ ) ∈ Ω0 and thus completes the proof of Proposition 5.2.
6. Proof of Theorem A, Step 2
Hypothesis 6.1. Let F be a saturated fusion system over S, and let E be a normal subsystem
of F over T ≤ S. Let E c ⊆ ∆1 ⊆ E s such that ∆1 is closed under taking F-conjugates and
overgroups in T . Let CF (E)c ⊆ ∆2 ⊆ CF (E)s such that ∆2 is closed under taking F-conjugates
and overgroups in CS (E). Let Γ be the set of overgroups in T CS (E) of subgroup of the form P1 P2
with Pi ∈ ∆i for i = 1, 2. Let ∆ be the set of overgroups in S of the elements of Γ.
Recall here that Aschbacher [3, Chapter 6] defined the subgroup CS (E) ≤ CS (T ), and a normal
subsystem CF (E) of F over CS (E); see also [3, Theorem 4]. The subgroup CS (E) is characterized
as the largest subgroup of S containing E in its centralizer in F.
To ease notation we set F1 := E, S1 := T , F2 := CF (E) and S2 = CS (E). So for i = 1, 2, the
fusion system Fi is a normal subsystem of F over Si , the set ∆i is Fi -closed, and Fic ⊆ ∆i ⊆ Fis .
Remark 6.2. For any normal subsystem E we can easily find collections ∆i of subgroups fulfilling
Hypothesis 6.1. For i = 1, 2 we can for example take ∆i to be one of the sets Fic , Fiq or Fis .
Since [S1 , S2 ] = 1, it follows from [3, Theorem 3] that there is a normal subsystem Ẽ := F1 F2
of F on T̃ := S1 S2 . By Lemma 2.2, we have S1 ∩ S2 ≤ Z(F1 ) ∩ Z(F2 ). So [3, Theorem 3] says
that Ẽ is indeed the central product of F1 and F2 , meaning more precisely that Ẽ is the internal
central product of F1 and F2 in the sense defined in [16, Subsection 2.3].
Remark 6.3. We have CS (Ẽ) ≤ T̃ . The set Γ is closed under taking F-conjugates and overgroups
in T̃ . In particular Γ is Ẽ-closed and ∆ is F-closed. Moreover, we have
Ẽ cr ⊆ Γ ⊆ Ẽ s
and
F cr ⊆ ∆ ⊆ F s .
Proof. Note that CS (Ẽ) ≤ CS (E) ≤ T̃ . By definition, Γ is closed under taking overgroups in T̃ . If
P ∈ Γ then for i = 1, 2, there exist Pi ∈ ∆i with P1 P2 ≤ P . For ϕ ∈ HomF (P, S) we have Pi ϕ ∈ ∆i
as ∆i is by assumption closed under taking Fi -conjugates. As (P1 ϕ)(P2 ϕ) = (P1 P2 )ϕ ≤ P ϕ it
follows P ϕ ∈ Γ. So Γ is closed under taking F-conjugates. So clearly, Γ is also Ẽ-closed. By
Lemma 3.9, the set ∆ is moreover F-closed.
As Ẽ is the internal direct product of F1 and F2 , it follows from [16, Lemma 2.4(a)] that
cr
Ẽ = {P1 P2 : Pi ∈ Ficr for i = 1, 2} ⊆ Γ. By [16, Lemma 2.4(b)] we have P1 P2 ∈ Ẽ s if Pi ∈ Fis
for i = 1, 2. Moreover, by [15, Theorem A(b)], the set Ẽ s is closed under taking overgroups in T̃ .
Hence, Γ ⊆ Ẽ s . Recall now that CS (Ẽ) ≤ T̃ . Hence, by Lemma 2.3, we have Ẽ s ⊆ F s . Again by
[15, Theorem A(b)], the set F s is closed under taking overgroups in S. Thus, ∆ ⊆ F s . Let now
R ∈ F cr . By [3, (7.18)], we have R ∩ Si ∈ Fic ⊆ ∆i for i = 1, 2. Hence, by definition of Γ and ∆,
we have R ∩ T ∈ Γ and thus R ∈ ∆. This proves the assertion.


NORMAL SUBSYSTEMS OF FUSION SYSTEMS AND PARTIAL NORMAL SUBGROUPS OF LOCALITIES 19

Note that 6.3 together with [15, Theorem A] implies that there exists a proper locality (L, ∆, S)
over F which is unique up to a rigid isomorphism.
Proposition 6.4. Assume Hypothesis 6.1 and let (L, ∆, S) be a proper locality over F. Then
there exists a partial normal subgroup N of L such that T = N ∩ S and FT (N ) = E.
Proof. Recall that CS (Ẽ) ≤ T̃ and Ẽ cr ⊆ Γ ⊆ ∆ by 6.3. Moreover it follows from Lemma 3.9(b)
that P ∩ T̃ ∈ ∆ for all P ∈ ∆. Thus, it follows from Proposition 5.2 applied with Ẽ, T̃ , L, ∆, Γ in
e ∆,
˜ Γ̃ that there exists a partial normal subgroup M of L such that T̃ = M ∩ S
place of E, T , L,
and Ẽ = FT̃ (M). As Ẽ cr ⊆ Γ, Lemma 3.9(c) implies that (M, Γ, T̃ ) is a proper locality over Ẽ.
By [16, Proposition 6.12] (applied with Ẽ and (M, Γ, T̃ ) in place of F and (L, ∆, S)), the locality
(M, Γ, T̃ ) is the central product of two sublocalities (L1 , ∆1 , S1 ) and (L2 , ∆2 , S2 ) of (M, Γ, T̃ )
such that (Li , ∆i , Si ) is a proper locality and Fi = FSi (Li ) for i = 1, 2. Saying that (Li , ∆i , Si )
is a sublocality of (M, Γ, T̃ ) means here (according to [16, Definition 3.15]) that Li is a partial
subgroup of M (and thus of L), that T̃ ∩ Li = Si (and thus S ∩ Li = Si ), and that (Li , ∆i , Si )
forms a locality. We will not need the precise definition of what it means that (M, Γ, T̃ ) is the
central product of (L1 , ∆1 , S1 ) and (L2 , ∆2 , S2 ), but we will need the following properties which
are true by Remark 6.2, Lemma 6.3 and Lemma 6.10 in [16]:
(1) We have Li E M for i = 1, 2.
(2) We have L1 ⊆ CM (L2 ) and L2 ⊆ CM (L1 ). (In particular (l1 , l2 ) ∈ D for all l1 ∈ L1 and
l2 ∈ L2 .)
(3) We have M = L1 L2 := {Π(l1 , l2 ) : l1 ∈ L1 , l2 ∈ L2 }.
Note that by (1),
N := L1 E M.
Recall T = S1 = L1 ∩ S = N ∩ S and FT (N ) = FS1 (L1 ) = F1 = E. So it remains to show only
that N E L.
Let f ∈ NL (T̃ ). By [9, Proposition 3.9] every ↑M -maximal element of L lies in NL (T̃ ). So by
Lemma 3.10 it is enough to show that nf ∈ N for every n ∈ N ∩ D(f ). We show this in a series
of steps.
Step 1: Let u = (n1 , . . . , nk ) ∈ D ∩ W(N ). We argue that
w := (f −1 , n1 , f, f −1 , n2 , f, . . . , f −1 , nk , f ) ∈ D
and in particular N ⊆ D(f ). Recall that (N , T, ∆1 ) = (L1 , S1 , ∆1 ) is a locality. Set P0 := Tu
ni
and Pi := Pi−1
for i = 1, . . . , k. Then (n1 , . . . , nk ) ∈ D via P0 , . . . , Pk ∈ ∆1 . As ∆1 is closed
under taking F-conjugates and as f ∈ NL (T̃ ), we have Pif ∈ ∆1 and thus Pif S2 ∈ Γ ⊆ ∆ for all
−1
i = 1, . . . , n. As S2f = S2 = S2f , it follows that w ∈ D via
f
P0f S2 , P0 S2 , P1 S2 , P1f S2 , . . . , Pk−1
S2 , Pk−1 S2 , Pk S2 , Pkf S2 .

For any n ∈ N , applying this property to u = (n) gives n ∈ D(f ). So N ⊆ D(f ).
Step 2: We show that CM (S2 ) = N Z(S2 ) is a partial subgroup of L and nf ∈ N Z(S2 ) for all
n ∈ N . To see this recall first that f ∈ NL (S2 ) since f ∈ NL (T̃ ) and S2 ≤ T̃ is strongly closed in F.
By Lemma 3.11, CL (S2 ) is a partial normal subgroup of NL (S2 ). Hence, CM (S2 ) = M ∩ CL (S2 )
is a partial normal subgroup of NL (S2 ). So it is enough to show that CM (S2 ) = N Z(S2 ).
As M = L1 L2 = N L2 and N = L1 ⊆ CM (L2 ) ⊆ CM (S2 ) by (2) and (3), the Dedekind
Lemma [9, Lemma 1.10] yields CM (S2 ) = N CL2 (S2 ). As (L2 , ∆2 , S2 ) is a proper locality, we have
CL2 (S2 ) = Z(S2 ) and thus CM (S2 ) = N Z(S2 ). This completes Step 2.
Step 3: Let P ∈ ∆1 with NT (P ) ∈ Sylp (NN (P )). We show that NN (P )f ⊆ N . By definition
of Γ and ∆, we have P S2 ∈ Γ ⊆ ∆. Thus NL (P S2 ) is a finite group by Lemma 3.4(a). Moreover,
as f ∈ NL (T̃ ), we have P S2 ≤ T̃ ≤ Sf . Therefore cf : NL (P S2 ) → NL (P f S2 ) is an isomorphism

20

A. CHERMAK AND E. HENKE

of groups by Lemma 3.4(b). Using (2) one sees that NN (P ) ⊆ NL (P ) ∩ CL (S2 ) ⊆ NL (P S2 ).
Hence NN (P ) = N ∩ NNL (P S2 ) (P ) is a subgroup of NL (P S2 ). Using Step 2 we get moreover that
NL (P f S2 ) ∩ (N Z(S2 )) is a subgroup of NL (P f S2 ) containing NN (P )f . By the Dedekind Lemma
[9, Lemma 1.10], we have NL (P f S2 ) ∩ (N Z(S2 )) = NN (P f S2 )Z(S2 ). Hence, as cf : NL (P S2 ) →
NL (P f S2 ) is an isomorphism of groups, we have
Op (NN (P ))f

= Op (NN (P )f )
⊆ Op (NL (P f S2 ) ∩ (N Z(S2 ))) = Op (NN (P f S2 )Z(S2 )) = Op (NN (P f S2 )) ⊆ N .

So Op (NN (P ))f ⊆ N . As NT (P ) is a Sylow p-subgroup of NN (P ) by assumption, we have
NN (P ) = NT (P )Op (NN (P )). Since f ∈ NL (T̃ ) and T is strongly closed, we have NT (P )f ≤ T ⊆
N . Thus NN (P )f ⊆ N . This completes Step 3.
Step 4: We show that nf ∈ N for all n ∈ N . (Note here that nf is defined for any n ∈ N
by Step 1.) For the proof recall that (N , T, ∆1 ) is a locality over E. Fix n ∈ N . By Alperin’s
fusion theorem [18, Theorem 2.5], there exist Q1 , . . . , Qn ∈ ∆1 and n1 , . . . , nk ∈ N such that
(n1 , . . . , nk ) ∈ D, n = Π(n1 , . . . , nk ), Tn = T(n1 ,...,nk ) and, for i = 1, . . . , k, we have ni ∈ NN (Qi )
and NT (Qi ) ∈ Sylp (NN (Qi )). Then by Step 3, nfi ∈ N for all i = 1, . . . , k. By Step 1, we
have w = (f −1 , n1 , f, f −1 , n2 , f, . . . , f −1 , nk , f ) ∈ D. So nf = Π(f −1 , n1 , . . . , nk , f ) = Π(w) =
Π(nf1 , nf2 , . . . , nfk ) ∈ N . So Step 4 is complete. As argued above, N is thus a partial normal
subgroup of L and the assertion follows.

7. Proof of Theorem A, Step 3
Theorem 7.1. Let F be a saturated fusion system over S and let E be a normal subsystem of
F over T ≤ S. Suppose ∆ is an F-closed collection of subgroups of S such that the following
property holds:
(*) We have P1 P2 ∈ ∆ for all P1 ∈ E c and all P2 ∈ CF (E)c .
Let (L, ∆, S) be a proper locality over F. Then there exists a unique partial normal subgroup N
of L such that S ∩ N = T and E = FT (N ).
Moreover, the assumption (*) is true if ∆ = F s .
Lemma 7.2. The assumption (*) in Theorem 7.1 is true if ∆ = F s .
Proof. As explained in Section 6, there is a normal subsystem Ẽ = ECF (E) of F over T̃ := T CS (E)
such that Ẽ is the internal central product of E and CF (E). Let P1 ∈ E c and P2 ∈ CF (E)c . Then
by [16, Lemma 2.4(b)], we have P := P1 P2 ∈ Ẽ s . As CS (Ẽ) ⊆ CS (E) ≤ T ≤ T̃ , it follows from
Lemma 2.3 that P ∈ F s = ∆.

Proof of Theorem 7.1. By Lemma 7.2 it is sufficient to show that the first part of the theorem
holds. Let (L, ∆, S) be a proper locality over F such that (*) holds. We need to show that there
exists a unique partial normal subgroup N of L such that T = N ∩ S and E = FT (N ). Property
(*) implies in particular that T CS (E) ∈ ∆. Thus, as ∆ is closed under taking overgroups, we have
T CS (T ) ∈ ∆. So if a partial normal subgroup N with the stated properties exists, then it follows
from Lemma 3.12 that N is unique. Thus, it remains only to prove the existence of N .
Let Γ0 be the set of subgroups P ≤ T such that there exist P1 ∈ E c and P2 ∈ CF (E) such that
P1 P2 ≤ P . Let ∆0 be the set of subgroups of S containing an element of Γ0 . As (*) holds and
∆ is closed under taking overgroups, we have ∆0 ⊆ ∆. Moreover, Hypothesis 6.1 is fulfilled with
E c , CF (E)c , Γ0 and ∆0 in place of ∆1 , ∆2 , Γ and ∆. So by Remark 6.3, the set ∆0 is F-closed
and F cr ⊆ ∆0 . Thus, by Alperin’s Fusion Theorem for fusion systems [4, Theorem I.3.6], we have
F = FS (L) = FS (L|∆0 ). This implies that (L|∆0 , ∆0 , S) is a proper locality over F. Hence, by
Proposition 6.4, there exists a partial normal subgroup N0 of L|∆0 such that T = S ∩ N0 and
FT (N0 ) = E. So there exists ∆0 ⊆ ∆∗ ⊆ ∆ such that ∆∗ is F-closed and there exists a partial

NORMAL SUBSYSTEMS OF FUSION SYSTEMS AND PARTIAL NORMAL SUBGROUPS OF LOCALITIES 21

normal subgroup N ∗ of L|∆∗ such that T = S ∩ N ∗ and E = FT (N ∗ ). We choose ∆∗ and N ∗
with these properties such that |∆∗ | is maximal. Set
L∗ := L|∆∗ .
Assume the assertion is wrong. Then ∆∗ is a proper subset of ∆. So there exists R ∈ ∆\∆∗ and
we can choose such R of maximal order. As ∆ and ∆∗ are closed under taking F-conjugates, the
set ∆\∆∗ is also closed under taking F-conjugates. Hence, we can moreover choose R such that
R is fully normalized in F. Set
∆+ := ∆∗ ∪ RF .
We proceed now in several steps to reach a contradiction.
Step 1: We show that ∆+ ⊆ ∆, the set ∆+ is F-closed, and every subgroup of S which
properly contains an F-conjugate of R is an element of ∆∗ . To see that, note first that ∆ and
∆∗ are closed under taking F-conjugates. Hence the set ∆+ is contained in ∆ and closed under
taking F-conjugates. Let now Q ∈ ∆+ and Q ≤ P ≤ S. If Q ∈ ∆∗ then P ∈ ∆∗ since ∆∗ is
closed under taking overgroups in S. Suppose now Q ∈ RF . If P = Q ∈ RF then P ∈ ∆+ as
RF ⊆ ∆+ . Note that P ∈ ∆ as ∆ is closed under taking overgroups. So if P properly contains
Q, then P ∈ ∆∗ ⊆ ∆+ because R ∈ ∆\∆∗ was chosen to be of maximal order. So in any case
P ∈ ∆∗ . This shows that ∆+ is F-closed. Moreover, we have shown that every subgroup of S
which properly contains an F-conjugate of R is an element of ∆∗ . So we have completed Step 1.
As ∆+ is F-closed, it makes sense to define
L+ := L|∆+ .
Step 2: We show that (L∗ , ∆∗ , S) and (L+ , ∆+ , S) are proper localities over F. To see that note
first F = FS (L|∆0 ) ⊆ FS (L∗ ) ⊆ FS (L+ ) ⊆ FS (L) = F and thus F = FS (L) = FS (L+ ) = FS (L∗ ).
Recall also that F cr ⊆ ∆0 ⊆ ∆∗ ⊆ ∆+ . As (L, ∆, S) is a proper locality, this implies that
(L∗ , ∆∗ , S) and (L+ , ∆+ , S) are proper localities over F.
Step 3: We show NL+ (R) = NL (R), and there is a partial normal subgroup N + of L+ with
N + ∩ L = N ∗ and T = S ∩ N + . For the proof note first that NL∗ (R) ⊆ NL (R) = NL+ (R). As
R 6∈ ∆∗ and F cr ⊆ ∆0 ⊆ ∆∗ , we have R 6∈ F cr . So by [15, Lemma 6.2], we have R < Op (NL+ (R)).
By [15, Lemma 6.1], the normalizer NL+ (R) is a model for NF (R). So [15, Theorem 2.1(b)] shows
that Op (NF (R)) = Op (NL+ (R)) and Op (NF (R)) properly contains R. By Step 1, every subgroup
of S properly containing R is an element of ∆∗ . So in particular, we have Op (NF (R)) ∈ ∆∗ . Hence,
by [15, Lemma 7.1], NL∗ (R) is a subgroup of L∗ which is a model for NF (R). Any two models
for NF (R) are isomorphic by [4, Theorem III.5.10]. So as NL∗ (R) ⊆ NL+ (R) and NL+ (R) is a
model for NF (R), it follows NL∗ (R) = NL+ (R). Since we can replace R by any fully normalized
F-conjugate of R, this shows actually that NL∗ (X) is a subgroup of L∗ for any X ∈ RF which is
fully normalized. As L∗ = L+ |∆∗ , it follows now from [10, Theorem A2] that there exists a partial
normal subgroup N + of L+ such that N + ∩ L∗ = N ∗ and N + ∩ S = T . This finishes the proof
of Step 3.
From now on, we will fix N + E L+ with N + ∩ L∗ = N ∗ and N + ∩ S = T . Note that
E = FT (N ∗ ) ⊆ FT (N + ). The maximality of |∆∗ | implies that FT (N + ) 6= E. We now work
towards a contradiction to this property.
Step 4: We show NN + (R) = NN ∗ (R). To see this recall that NL+ (R) = NL∗ (R) by Step 3.
Therefore NN + (R) = N + ∩ NL+ (R) = N + ∩ NL∗ (R) = (N + ∩ L∗ ) ∩ NL∗ (R) = N ∗ ∩ NL∗ (R) =
NN ∗ (R).
Step 5: Let R1 ∈ RF and n ∈ NN + (R1 ). We show that cn |R1 ∩T ∈ AutE (R1 ∩ T ). As R1 ∈ RF ,
we can choose an isomorphism ϕ ∈ HomF (R1 , R). Furthermore, since F = FS (L+ ), we can pick
f ∈ L+ such that R1f = R and ϕ = cf |R1 . Set ϕ0 := ϕ|R1 ∩T . From Lemma 3.4(b) we know that

22

A. CHERMAK AND E. HENKE

cf : NL+ (R1 ) → NL+ (R) is an isomorphism of groups with NN + (R1 )f = NN + (R). In particular,
by Step 4, we have nf ∈ NN + (R) = NN ∗ (R). Lemma 3.4(c) implies
ϕ−1 ◦ cn |R1 ◦ ϕ = cf −1 |R ◦ cn |R1 ◦ cf |R1 = cnf |R .
∗
So ϕ−1
0 ◦ (cn |R1 ∩T ) ◦ ϕ0 = cnf |R∩T ∈ AutN ∗ (R ∩ T ) = AutE (R ∩ T ) as E = FT (N ). As E is normal
in F, it follows that cn |R1 ∩T is an element of ϕ0 AutE (R ∩ T )ϕ−1
0 = AutE (R1 ∩ T ) as required.

Step 6: We now reach the final contradiction. As E = FT (N ∗ ) is properly contained in FT (N + ),
we can choose n ∈ N + such that the conjugation map ψ := cn |Sn ∩T : Sn ∩T → T is not a morphism
in E. If Sn ∈ ∆∗ then n ∈ L∗ and thus n ∈ N + ∩ L∗ = N ∗ contradicting the assumption that
ψ is not a morphism in E = FT (N ∗ ). So we have R1 := Sn ∈ ∆+ \∆∗ = RF . Set R2 = R1n . By
Step 5, we have n 6∈ NL+ (R1 ). Hence it follows from [9, Lemma 3.1(b)] that T 6≤ R1 and thus
T 6≤ R2 . As T Ri is a p-group, it follows Ri < NT Ri (Ri ) = NT (Ri )Ri for i = 1, 2. By Lemma 3.8,
there exists an N + -conjugate P of R1 in S such that NT (P ) ∈ Sylp (NN + (P )), and there exists
m1 ∈ N + such that NT (R1 )R1 ≤ Sm1 and R1m1 = P . Note that P is also an N + -conjugate of R2 ,
as R1 and R2 are N + conjugate elements of ∆+ . So again by Lemma 3.8, there exists m2 ∈ N
such that NT (R2 )R2 ≤ Sm2 and R2m2 = P . By Step 1, every subgroup of S which properly
contains an F-conjugate of R is an element of ∆∗ . As Ri < NT (Ri )Ri ≤ Smi it follows thus
Smi ∈ ∆∗ for i = 1, 2. In particular, mi ∈ L∗ = L+ |∆∗ and thus mi ∈ N + ∩ L∗ = N ∗ for i = 1, 2.
+
Write Π+ : D+ → L+ for the product on L+ . Note that (n, m2 , m−1
1 ) ∈ D via R1 , R2 , P, R1 . So
m := Π+ (n, m2 , m−1
1 ) ∈ NN + (R1 ) and by Lemma 3.4(c),
cn |R1 ∩T ◦ cm2 |R2 ∩T ◦ cm−1 |P ∩T = cm |R1 ∩T .
1

By Step 5, we have cm |R1 ∩T ∈ AutE (R1 ∩ T ). As m1 , m2 ∈ N ∗ , the conjugation maps cm2 |R2 ∩T
and cm−1 |P ∩T are morphisms in E = FT (N ∗ ). Hence, ψ = cn |R1 ∩T is a morphism in E, which
1
contradicts our assumption. This final contradiction completes the proof.

Corollary 7.3. Let F be a saturated fusion system over S, and let E be a normal subsystem of
F over T with CS (E) ≤ T . Then E c ⊆ F q .
Proof. Let (L, ∆, S) be a proper locality over F with ∆ = F s ; such a locality exists by [15,
Theorem A]. Then by Theorem 7.1, there exists a unique partial normal subgroup N of L with
N ∩ S = T and FT (N ) = E. By [15, Proposition 3], we have CS (N ) = CS (E) ≤ T ≤ N . In [11]
there is a set ΣT (F) defined, which according [11, Corollary 4.6] lies in F q and thus in ∆ = F s .
Now it follows from [11, Proposition 4.5] that E c ⊆ F q .

Corollary 7.4. Let F be a saturated fusion system over S, and let E be a normal subsystem of
F over T . Then property (*) in Theorem 7.1 holds for ∆ = F q . In particular, if (L, ∆, S) is a
proper locality over F with ∆ = F q , then there exists a unique partial normal subgroup N of L
with T = N ∩ S and FT (N ) = E.
8. Proof of Theorem A, Step 4
If (L, ∆, S) is a locality, write N(L) for the set of partial normal subgroups of L. Given two
proper localities (L, ∆, S) and (L+ , ∆+ , S) with ∆ ⊆ ∆+ and L = L+ |∆ , we define a map
ΦL+ ,L : N(L+ ) → N(L), N + 7→ N + ∩ L.
If F is a saturated fusion system over S, write N(F) for the set of normal subsystems of F.
The aim of this section is to prove the following theorem, which is a slightly stronger version of
Theorem A. Against our usual convention we use the left-hand notation for the maps ΦL+ ,L and
ΨL below.

NORMAL SUBSYSTEMS OF FUSION SYSTEMS AND PARTIAL NORMAL SUBGROUPS OF LOCALITIES 23

Theorem 8.1. Let (L, ∆, S) be a proper locality over F. Then there exists a bijection
ΨL : N(L) → N(F)
such that both ΨL and Ψ−1
L are inclusion preserving. Moreover the following hold:
(a) For every partial normal subgroup N ∈ N(L) and T = S ∩ N , we have FT (N ) ⊆ ΨL (N ),
and ΨL (N ) is a subsystem over T . Furthermore, if T CS (T ) ∈ ∆, then ΨL (N ) is the
smallest normal subsystem of F containing FT (N ).
(b) If F q ⊆ ∆ ⊆ F s or δ(F) ⊆ ∆ ⊆ F s , then ΨL (N ) = FT (N ).
(c) If (L, ∆, S) and (L+ , ∆+ , S) are proper localities with ∆ ⊆ ∆+ and L = L+ |∆ , then
ΨL+ = ΨL ◦ ΦL+ ,L .
In the following corollary, we spell out what the above theorem says for a proper locality over
F whose object set is one of the sets F q , F s or δ(F) (or more generally a subset of F s containing
δ(F) or F q ).
Corollary 8.2. Let (L, ∆, S) be a proper locality over F. Suppose F q ⊆ ∆ ⊆ F s or δ(F) ⊆ ∆ ⊆
F s . Then the following hold:
(a) If N is a partial normal subgroup of L, then FS∩N (N ) is a normal subsystem of F.
(b) If E is a normal subsystem of F over T , then there exists a unique partial normal subgroup
N of L with T = N ∩ S and E = FT (N ).
The remainder of this section is devoted to the proof of Theorem 8.1. We will build on Theorem 3.14 and the following reformulation of the main results obtained in the previous section:
Theorem 8.3. Let (L, ∆, S) be a proper locality over F with ∆ = F s or F q . Then there exists a
map N ∗ : N(F) → N(L), E 7→ N ∗ (E) such that E = FN ∗ (E)∩S (N ∗ (E)). Moreover, N ∗ is injective
and so |N(F)| ≤ |N(L)|.
Proof. It follows from Theorem 7.1 and Corollary 7.4 that, for every E ∈ N(F), there exists a
unique partial normal subgroup N ∗ (E) ∈ N(L) with E = FN ∗ (E)∩S (N ∗ (E)). This shows that
the map N ∗ exists. If E, E 0 ∈ N(F) with N ∗ (E) = N ∗ (E 0 ) then E = FN ∗ (E)∩S (N ∗ (E)) =
FN ∗ (E 0 )∩S (N ∗ (E 0 )) = E 0 . So N ∗ is injective, which implies that |N(F)| ≤ |N(L)|.

Another important ingredient of the proof of Theorem 8.1 is the following theorem, which is
mostly a reformulation of the results proved in [10]:
Theorem 8.4. Let (L+ , ∆+ , S) be a proper locality over F. Suppose we are given an F-closed set
∆ with F cr ⊆ ∆ ⊆ ∆+ . Set L := L+ |∆ . Then the map ΦL+ ,L : N(L+ ) → N(L), N + 7→ N + ∩ L is
a bijection such that both ΦL+ ,L and (ΦL+ ,L )−1 are inclusion-preserving. In particular, |N(L)| =
|N(L+ )|.
Proof. Note that L is proper as F cr ⊆ ∆ and L+ is proper. Hence, by [10, Theorem A1], the
hypothesis of [10, Theorem A2] is fulfilled. So the latter theorem implies the assertion.

Lemma 8.5. Let (L, ∆, S) be a regular locality over F. Then the map
ΨL : N(L) → N(F), N 7→ FS∩N (N )
is well-defined and a bijection. In particular, |N(L)| = |N(F)|.
Proof. By Theorem 3.14, for every N ∈ N(L), we have FS∩N (N ) ∈ N(F). Thus, ΨL is welldefined. Theorem 3.14 gives also T CS (T ) ∈ ∆. Thus, Lemma 3.12 implies that ΨL is injective.
In particular, |N(L)| ≤ |N(F)|. By [15, Theorem 7.2(a)], there exists a locality (L+ , ∆+ , S) with
∆+ = F s and L+ |∆ = L. Moreover, by Theorem 8.4, we have |N(L+ )| = |N(L)|. Theorem 8.3
shows |N(F)| ≤ |N(L+ )|. So |N(F)| ≤ |N(L+ )| = |N(L)| ≤ |N(F)|. Thus, all the inequalities are
equalities. This implies that ΨL is a bijection.


24

A. CHERMAK AND E. HENKE

Corollary 8.6. Let (L, ∆, S) be a proper locality over F. Then |N(L)| = |N(F)|.
Proof. Suppose first that ∆ = F s . By [11, Lemma 6.10], the set δ(F) is F-closed and F cr ⊆
δ(F) ⊆ F s . Thus L|δ(F ) is a regular locality. So by Theorem 8.4 and Lemma 8.5, we have
|N(L)| = |N(L|δ(F ) )| = |N(F)|.
Suppose now that ∆ is arbitrary. By [15, Theorem 7.2(a)], there exists a proper locality
+
(L , ∆+ , S) over F with ∆+ = F s and L+ |∆ = L. Since we have just shown the assertion in the
case that ∆ = F s , we know that |N(L+ )| = |N(F)|. Hence, again using Theorem 8.4, we conclude
|N(L)| = |N(L+ )| = |N(F)|.

Lemma 8.7. Let (L, ∆, S) be a locality over F such that ∆ is one of the sets F q , F s or δ(F).
Define
ΨL : N(L) → N(F), N 7→ FS∩N (N )
Then the following hold:
(a) The map ΨL is well-defined and an inclusion-preserving bijection. In particular, FS∩N (N )
is a normal subsystem of F, for every partial normal subgroup N of L.
(b) If ∆ = F s then Ψ−1
L is inclusion-preserving.
Proof. Clearly ΨL is inclusion-preserving. If ∆ = δ(F), then (a) was already proved in Lemma 8.5.
Suppose now ∆ is one of the sets F q or F s . Then by Theorem 8.3, there is an injective map
N ∗ : N(F) → N(L) with E = FN ∗ (E)∩S (N ∗ (E)) for every E ∈ N(F). By Corollary 8.6, we have
|N(F)| = |N(L)|, so the map N ∗ is actually a bijection. The inverse of N ∗ must be the map ΨL ,
which is thus in particular well-defined and a bijection. This shows (a).
For the proof of (b) let now ∆ = F s . We show now that Ψ−1
L is inclusion preserving. Let
−1
E1 ⊆ E2 be two normal subsystems of F. For i = 1, 2 set Ni := ΨL (Ei ). Then FN1 ∩S (N1 ) = E1 ⊆
E2 = FN2 ∩S (N2 ). In particular, N1 ∩ S ⊆ T := N2 ∩ S. By [14, Theorem 1], the product
N1 N2 := {Π(n1 , n2 ) : n1 ∈ N1 , n2 ∈ N2 , (n1 , n2 ) ∈ D}
is a partial normal subgroup of L with (N1 N2 ) ∩ S = (N1 ∩ S)(N2 ∩ S) = T . Moreover, for any
f ∈ N1 N2 there exist n1 ∈ N1 , and n2 ∈ N2 with (n1 , n2 ) ∈ D, f = Π(n1 , n2 ) and Sf = S(n1 ,n2 ) .
So cf : Sf ∩ T → T is the composition of the morphism cn1 |Sf ∩T with the morphism cn2 |S n1 ∩T .
f

Note that cn1 |Sf ∩T is a morphism in FT (N1 T ) and cn2 |Sfn ∩T is a morphism in FT (N2 ) = E2 .
By Lemma 3.13, we have FT (N1 T ) = E1 T ⊆ E2 . Hence, the homomorphism cf : Sf ∩ T → T
is a morphism in E2 for every f ∈ N1 N2 . This implies that FT (N1 N2 ) = E2 = FT (N2 ). As
T CS (T ) ∈ F c ⊆ ∆ = F s , it follows now from Lemma 3.12 that N1 N2 = N2 . This yields that
N1 ⊆ N2 . Hence, Ψ−1

L is inclusion-preserving.
Proof of Theorem 8.1. Let (Ls , F s , S) be a proper locality over F. Such a locality exists by [15,
Theorem A]. Moreover, if (L, ∆, S) is an arbitrary locality, then [15, Theorem 7.2] implies that
there exists a rigid isomorphism from (L, ∆, S) to (Ls |∆ , ∆, S). Thus, we can restrict attention
to proper localities of the form (Ls |∆ , ∆, S).
By Lemma 8.7, the map
ΨLs : N(Ls ) → N(F), N 7→ FS∩N (N )
is well-defined, and a bijection such that both ΨLs and (ΨLs )−1 are inclusion-preserving. If
(L, ∆, S) is a proper locality with L = Ls |∆ , then define ΨL := ΨLs ◦ (ΦLs ,L )−1 : N(L) → N(F).
By Theorem 8.4, the map ΦLs ,L is a bijection such that both ΦLs ,L and (ΦLs ,L )−1 are inclusionpreserving. Hence, ΨL is a bijection such that both ΨL and (ΨL )−1 are inclusion preserving. If
(L+ , ∆+ , S) is a proper locality with ∆ ⊆ ∆+ and L+ = Ls |∆+ then observe ΦLs ,L = ΦL+ ,L ◦
ΦLs ,L+ . Hence, we have ΨL+ = ΨLs ◦ (ΦLs ,L+ )−1 = ΨLs ◦ (ΦLs ,L )−1 ◦ ΦL+ ,L = ΨL ◦ ΦL+ ,L . This
shows part (c) of the theorem, and it remains only to prove parts (a) and (b).

NORMAL SUBSYSTEMS OF FUSION SYSTEMS AND PARTIAL NORMAL SUBGROUPS OF LOCALITIES 25

For the proof of (a) and (b) fix a proper locality (L, ∆, S) with L = Ls |∆ . Let furthermore
N ∈ N(L) and set T := N ∩ S. Then N + := (ΦLs ,L )−1 (N ) is a partial normal subgroup of Ls
with N + ∩ L = N . In particular, N + ∩ S = N ∩ S = T . Now ΨL (N ) = ΨLs (N + ) = FT (N + ).
So E := ΨL (N ) is a normal subsystem of F over T . Moreover, as N ⊆ N + , we have FT (N ) ⊆
FT (N + ) = E. Suppose now T CS (T ) ∈ ∆. To complete the proof of (a), we need to show that
E := ΨL (N ) = FT (N + ) is the smallest normal subsystem of F containing FT (N ).
Let Ẽ be a normal subsystem of F over T with FT (N ) ⊆ Ẽ. We will show that E ⊆ Ẽ. Note
s
that Ñ := Ψ−1
Ls (Ẽ) is a partial normal subgroup of L with Ñ ∩ S = T and FT (Ñ ) = Ẽ. It
+
follows that N0 := Ñ ∩ N is a partial normal subgroup of Ls with N0 ∩ S = T . As ΨLs is a
bijection, we know that E0 := FT (N0 ) is normal in F. In particular, E0 is F-invariant. From
the equivalent condition for F-invariance given in [4, Proposition I.6.4(d)], it follows that E0
is invariant in every subsystem of F. So applying the Frattini property with E in place of F,
we obtain E = hE0 , AutE (T )i. As L = Ls |∆ , and as T CS (T ) is by assumption an element of
∆, we have NLs (T CS (T )) ⊆ L. By [9, Lemma 3.5], we have NN + (T ) ⊆ NLs (T CS (T )). So it
follows NN + (T ) ⊆ L and thus NN + (T ) = NN + (T ) ∩ L = NN + ∩L (T ) = NN (T ). In particular,
AutE (T ) = AutNN + (T ) (T ) = AutNN (T ) (T ) = AutFT (N ) (T ) ⊆ AutẼ (T ) by assumption on Ẽ.
Clearly E0 = FT (N0 ) ⊆ FT (Ñ ) = Ẽ. Hence, E = hE0 , AutE (T )i ⊆ Ẽ as required. This proves part
(a) of the Theorem.
For the proof of (b) suppose first that ∆ is one of the sets F q or δ(F). Note that T CS (T ) ∈ F c ⊆
q
F , and recall from Theorem 3.14 that T CS (T ) ∈ δ(F). So in any case, we have T CS (T ) ∈ ∆. So
by (a), ΨL (N ) is the smallest normal subsystem of F over T containing FT (N ). By Lemma 8.7(a),
the subsystem FT (N ) is itself a normal subsystem of F over T . Hence, ΨL (N ) = FT (N ) if ∆ is
one of the sets F s or δ(F).
Let now ∆0 be one of the sets F q and δ(F), and let ∆ be arbitrary with ∆0 ⊆ ∆ ⊆ F s . Set
L0 := Ls |∆0 and N0 := N ∩L0 . By what we have just shown, we have ΨL0 (N0 ) = FT (N0 ). By part
(c) applied with L0 and L in place of L and L+ , we have furthermore ΨL (N ) = ΨL0 (ΦL,L0 (N )) =
ΨL0 (N0 ) = FT (N0 ). Using part (a), we obtain ΨL (N ) = FT (N0 ) ⊆ FT (N ) ⊆ ΨL (N ). Thus,
equality holds and ΨL (N ) = FT (N ). This completes the proof of the Theorem.

9. The proof of Corollary 1
Theorem 9.1. Let (L, ∆, S) be a proper locality over F such that F s = ∆. Suppose we are given
two partial normal subgroups M and N of L. Set TM := M ∩ S, TN := N ∩ S and T := TN TM .
Then the product MN is a partial normal subgroup of L with (MN ) ∩ S = T . Moreover, the
subsystem FT (MN ) is the unique smallest normal subsystem of F over T containing FTM (M)
and FTN (N ).
Proof. By [14, Theorem 1], the subset MN is a partial normal subgroup of L with (MN )∩S = T .
So by Corollary 8.2(a), the subsystem E := FT (MN ) is normal in F. Clearly, E is a subsystem
over T . As M and N are contained in MN , it follows also that FTM (M) and FTN (N ) are
contained in E = FT (MN ).
Let Ẽ be a normal subsystem of F over T containing FTM (M) and FTN (N ). It remains to
show that E ⊆ Ẽ. By Corollary 8.2(b), there is a partial normal subgroup K of L with K ∩ S = T
and FT (K) = Ẽ. Set K0 := (MN ) ∩ K and observe that K0 ∩ S = T . Note that K0 is a partial
normal subgroup of L and so, by Corollary 8.2(a), the subsystem E0 := FT (K0 ) is normal in F. In
particular, E0 is F-invariant, and thus E-invariant by [4, Proposition I.6.4]. Therefore, as E0 and
E are both subsystems over T , the Frattini property gives E = hE0 , AutE (T )i. Let α ∈ AutE (T ).
Then there exists f ∈ NMN (T ) such that α = cf |T . By [14, Theorem 1], we can write f = mn
where m ∈ M, n ∈ N , (m, n) ∈ D and Sf = S(m,n) . As T is strongly closed and contained in
Sf , it follows m, n ∈ NL (T ) and α = cm |T ◦ cn |T . Observe that cm |T is a morphism in FT (MT ).

26

A. CHERMAK AND E. HENKE

By Lemma 3.13, we have FT (MT ) = FTM (M)T . As both FTM (M) and T are contained in Ẽ,
it follows that FT (MT ) is contained in Ẽ. Hence, cm |T is a morphism in Ẽ. Similarly, cn |T is
a morphism in FT (N T ) = FTN (N )T ⊆ Ẽ. This implies α ∈ AutẼ (T ). As α ∈ AutE (T ) was
arbitrary, this shows that AutE (T ) ⊆ AutẼ (T ). Observe that E0 = FT (K0 ) ⊆ FT (K) = Ẽ. Thus,
we obtain E = hE0 , AutE (T )i ⊆ Ẽ as required.

Proof of Corollary 1. By [15, Theorem A], there exists a proper locality (L, ∆, S) over F with
∆ = F s . By Corollary 8.2(b), there exist partial normal subgroups N1 and N2 of L with Ni ∩S = Si
and FSi (Ni ) = Ei for i = 1, 2. Now by Theorem 9.1, FS1 S2 (N1 N2 ) is the smallest normal subsystem
of F over S1 S2 containing E1 and E2 . This shows the assertion.

References
1. J. L. Alperin, Sylow intersections and fusion, J. Algebra 6 (1967), 222–241. MR 0215913 (35 #6748)
2. K. K. S. Andersen, B. Oliver, and J. Ventura, Reduced, tame and exotic fusion systems, Proc. Lond. Math. Soc.
(3) 105 (2012), no. 1, 87–152.
3. M. Aschbacher, The generalized Fitting subsystem of a fusion system, Mem. Amer. Math. Soc. 209 (2011),
no. 986, vi+110.
4. M. Aschbacher, R. Kessar, and B. Oliver, Fusion systems in algebra and topology, London Math. Soc. Lecture
Note Series, vol. 391, Cambridge University Press, 2011.
5. Michael Aschbacher, Normal subsystems of fusion systems, Proc. Lond. Math. Soc. (3) 97 (2008), no. 1, 239–271.
6. C. Broto, N. Castellana, J. Grodal, R. Levi, and B. Oliver, Subgroup families controlling p-local finite groups,
Proc. London Math. Soc. (3) 91 (2005), no. 2, 325–354.
7. C. Broto, R. Levi, and B. Oliver, The homotopy theory of fusion systems, J. Amer. Math. Soc. 16 (2003), no. 4,
779–856.
8. A. Chermak, Fusion systems and localities, Acta Math. 211 (2013), no. 1, 47–139.
9.
, Finite localities and projections, preprint at http://arxiv.org/abs/1505.07786v2 (2015).
10.
, Localities II: Expansions, preprint at http://arxiv.org/abs/1505.08110 (2015).
11.
, Finite Localities III, preprint at http://arxiv.org/abs/1505.06161 (2016).
12. George Glauberman and Justin Lynd, Control of fixed points and existence and uniqueness of centric linking
systems, Invent. Math. (2016), 1–44, Published online first: March 19 2016, doi:10.1007/s00222-016-0657-5.
13. E. Henke, Products in fusion systems, J. Algebra 376 (2013), 300–319.
, Products of partial normal subgroups, Pacific J. Math. 279 (2015), no. 1-2, 255–268.
14.
15. E. Henke, Subcentric linking systems, preprint at http://arxiv.org/abs/1506.01458 (2015).
16.
, Direct and central products of localities, preprint at http://arxiv.org/abs/1609.04362 (2016).
17. U. Meierfrankenfeld and B. Stellmacher, Applications of the FF-Module Theorem and related results, J. Algebra
351 (2012), 64–106.
18. R. Molinier, Alperin’s fusion theorem for localities, http://arxiv.org/abs/1603.02599 (2016).
19. B. Oliver, Extensions of linking systems and fusion systems, Trans. Amer. Math. Soc. 362 (2010), no. 10,
5483–5500.
, Existence and uniqueness of linking systems: Chermak’s proof via obstruction theory, Acta Math. 211
20.
(2013), no. 1, 141–175.
Manhattan Kansas
E-mail address: chermak@math.ksu.edu
Institute of Mathematics, University of Aberdeen, Fraser Noble Building, Aberdeen AB24 3UE,
U.K.
E-mail address: ellen.henke@abdn.ac.uk

