This paper establishes a correspondence between partial normal subgroups of localities and normal subsystems of fusion systems, creating a dictionary that links concepts in both frameworks and enabling new proofs and results.
Contribution
It introduces a one-to-one correspondence between partial normal subgroups and normal subsystems, facilitating translation of concepts and deriving new results in fusion system theory.
Findings
01
Established a dictionary linking localities and fusion systems concepts
02
Provided new proofs for existing theorems in fusion systems
03
Introduced a notion of product of normal subsystems in saturated fusion systems
Abstract
Linking systems were introduced to provide algebraic models for p-completed 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. This is then used to obtain a kind of dictionary, which makes it possible to translate between various concepts in localities and corresponding concepts in fusion systems. As a byproduct, we obtain new proofs of many known theorems about fusion systems and also some new results. For example, we show in this paper that, in any saturated fusion system, there is a sensible notion of a product of normal subsystems.
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Advanced Algebra and Logic · Topological and Geometric Data Analysis
Linking systems were introduced to provide algebraic models for p-completed 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. This is then used to obtain a kind of dictionary, which makes it possible to translate between various concepts in localities and corresponding concepts in fusion systems. As a byproduct, we obtain new proofs of many known theorems about fusion systems and also some new results. For example, we show in this paper that, in any saturated fusion system, there is a sensible notion of a product of normal subsystems.
The second author was partially supported by EPSRC grant no EP/R010048/1. The second author also would like to thank the Isaac Newton Institute for Mathematical Sciences, Cambridge, for support und hospitality during the programme Groups, representations and applications, where some of the work on this paper was undertaken and supported by EPSRC grant no EP/R014604/1.
1. Introduction
This paper is intended to provide a bridge between the two theories referenced in the title, and
to illustrate the usefulness of that bridge by proving theorems about fusion systems which have
previously been out of reach. For example, it is known (see [Hen15]) that the product of two
partial normal subgroups of a (finite) locality L is itself a partial normal subgroup of L,
and we will be able to translate that result into a corresponding theorem on fusion systems.
Thus, if E1 and E2 are normal
subsystems of a saturated fusion system F over a finite p-group, then there is a product system
E1E2 which is normal in F - a result which has hitherto been known to hold only in
some very special cases. We also obtain new proofs of several known results about fusion systems. Further applications of the one-to-one correspondences shown in this paper are given in [Hen21d, Hen21c].
The fusion systems (and their related structures) to be considered here will always be
defined with respect to a finite p-group for a fixed prime p.
The theory of such fusion systems has
undergone a rapid development, not least because of a series of papers by Michael Aschbacher which lay
the foundation for a new treatment of the Classification of the Finite Simple Groups.
Part of our motivation is to enrich the conceptual basis for Aschbacher’s ongoing program, and to
point the way toward possible simplifications in it.
Localities were introduced in [Che13], for the purpose of proving that to every
saturated fusion system F there corresponds a unique “classifying space” which, when viewed
combinatorially (in analogy with the simplicial set underlying the classifying space of a finite
group) is a “linking system” L as defined in [BLO03]. The point of view taken in [Che13] was
to view L differently, as a finite “partial group” having a “Sylow p-subgroup” S, and
where there is a set Δ of subgroups of S which encodes
the set D of n-tuples of elements of L which can be multiplied together under
the product Π associated with L. In particular, for each P∈Δ,
the normalizer NL(P) is a subgroup of L. The fusion system F is recoverable from
L as the category FS(L) whose objects are the subgroups of S and whose morphisms are
compositions of conjugation maps via elements of L. These notions and others that are basic to fusion systems and localities will be reviewed, or
references given for them, in Sections 2 and 3, below.
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.
•
A locality (L,Δ,S) over a fusion system F is called proper if F is saturated, Fcr⊆Δ and NL(P) is of characteristic p for every P∈Δ.
We say that (L,Δ,S) is a locality overF if F=FS(L). Proper localities are called linking localities in [Hen17, Hen19, Hen21b, Hen21a] to emphasize the connection with their origins in [BLO03].
Let L be a proper locality over F=FS(L) and let Δ0 be the set of subgroups P
of S such that P contains a member of Fcr. Then Δ0 defines the structure of a proper
locality L0, having the same fusion system F, and Δ0 is the smallest possible choice for a
set Δ of objects which supports such a structure. There are various other choices which it will be useful to single out. In particular, there is a largest possible choice
for Δ, consisting of the set Fs of subgroups of S which are F-subcentric (cf.
Definition 3.25), and there are the intermediate collections Fq of F-quasicentric
subgroups of S (first introduced in [BCG*+*05]), and Fc of F-centric subgroups of S.
One further possible collection Δ of objects, denoted δ(F), will play a major role in
this paper. In order to describe it, and in order to state some of our main theorems, we need to consider the
notions of partial normal subgroupN⊴L, and of normal subsystem E⊴F.
The notion of normal subsystem of a saturated fusion system was introduced by Aschbacher [Asc08], and
it led to a “local theory” of saturated fusion systems F which in many respects mirrors the
p-local theory of finite groups. Thus, in Aschbacher’s theory (see especially [Asc11] or [AKO11, Chapter 2])
one has the notion of the generalized Fitting subsystem F∗(F), the quasisimple components of
F, and the layerE(F) consisting of the “product” of the “components” of F. As will be seen
in Lemma 7.21, one way to define δ(F) is as the set of all subgroups P of S such that P
contains a member of F∗(F)s. An equivalent definition of δ(F) will be given much earlier,
in Definition 3.36, after the notion of F∗(L) has been reviewed.
A partial normal subgroup N⊴L of the locality L (or, more generally, of any partial
group L) is, first of all a partial subgroup N of L. This means that N is non-empty,
that N
is closed under the inversion map on L, and that whenever w is an n-tuple of elements of N
such that w lies in the domain D for the product Π with which L is
(partially) equipped, we then have Π(w)∈N. In order for the partial subgroup N of L
to be normal in L we require further that
[TABLE]
for all triples (g−1,x,g)∈D such that x∈N.
The key result of this paper is that there is a perfect correspondence between the two notions:
“normal subsystem of a saturated fusion system” and “partial normal subgroup of a proper locality”.
For N⊴L and for T=S∩N, define FT(N) to be the fusion system on
T which is generated by conjugation maps via elements of N.
Theorem A**.**
Suppose (L,Δ,S) is a proper locality over F, let N(L) be the set of partial normal subgroups of L, and let N(F) be the set of normal subsystems of F. Then N(F) is a poset under the normality relation ⊴. Moreover, there exists a bijection
[TABLE]
such that the following hold:
(a)
For every N⊴L, Ψ(N) is a fusion system over S∩N and the smallest normal subsystem of F containing FS∩N(N).
(b)
If F∗(F)cr⊆Δ (which is in particular the case if δ(F)⊆Δ or Fq⊆Δ), then
[TABLE]
(c)
The map Ψ is an isomorphism of posets from (N(L),⊆) to (N(F),⊴).
In part (c) of the theorem above, it is important that we consider N(F) as a poset under ⊴ rather than under inclusion, since the map Ψ−1 is not necessarily inclusion-preserving as we show in Example 5.15. By means of Theorem A it is possible to produce a sort of “bilingual dictionary”, translating between the
local theory of fusion systems and the theory of localities via the mapping Ψ. As a consequence, one obtains proofs of theorems on fusion systems. We will describe this now in more detail.
In general, if L is a locality (not necessarily proper) and N1 and N2 are partial normal subgroups, then it is a triviality that N1∩N2⊴L. One also has
the non-trivial fact [Hen15] that
[TABLE]
These constructions, along with Theorem A, lead to the following two theorems. Part (a) of Theorem B was first proved by Aschbacher [Asc11, Theorem 1].
Theorem B**.**
Let F be a saturated fusion system over S. Suppose that E1 and E2 are normal subsystems of F over T1 and T2 respectively. Then there exists a subsystem E1∧E2 such that the following hold:
(a)
The subsystem E1∧E2 is a normal subsystem of F over T1∩T2 contained in E1∩E2. Moreover, it is the largest normal subsystem of F which is normal in E1 and E2.
(b)
Every normal subsystem of F which is normal in E1 and E2 is also normal in E1∧E2.
(c)
Suppose (L,Δ,S) is a proper locality over F and Ψ=ΨL is the map from Theorem A. If N1 and N2 are partial normal subgroups of L with Ei=Ψ(Ni) for each i=1,2, then
[TABLE]
Since the intersection of sets (and thus of partial normal subgroups) is an associative operation, there is indeed an associative notion of a “normal intersection” of an arbitrary number of normal subsystems (cf. Theorem 6.2).
Theorem C**.**
Let F be a saturated fusion system over S and let Ei be a normal subsystem of F over Ti for i=1,2. Set T:=T1T2. Then there exists a subsystem E1E2 of F such that the following hold:
(a)
E1E2* is the (unique) smallest normal subsystem of F over T containing E1 and E2 as a normal subsystems.*
(b)
If E⊴⊴F is a subnormal subsystem such that E1 and E2 are subnormal in E then E1, E2, and E1E2 are normal subsystems of E.
(c)
E1E2* is generated by E1T and E2T.*
(d)
Suppose (L,Δ,S) is a proper locality over F. If Ψ=ΨL is the map from Theorem A and Ni:=Ψ−1(Ei) for i=1,2, then
[TABLE]
Since the partial product in a locality L satisfies a natural associativity condition, it can indeed be shown that there is an associative notion of a product of any number of partial normal subgroups of L, leading to products of any number of normal subsystems of F (cf. Theorem 9.2). A construction of a normal subsystem E1E2 was given before by Aschbacher [Asc08, Theorem 3] in the special case that T1 and T2 are commuting subgroups.
We used in Theorem C(c) that, if F is a saturated fusion system over S then (see Definition 2.26) one has the notion of a product subsystem ER where E is a normal subsystem of F and where
R is a subgroup of S. On the other hand, if N⊴L is a partial normal subgroup of a
locality (L,Δ,S) over F, and R≤S is a subgroup of S, then the product NR is a partial subgroup of L. As we state in the next theorem the two concepts are closely related. A proper locality (L,Δ,S) over F is called regular if Δ=δ(F).
Theorem D**.**
Let (L,Δ,S) be a proper locality over F, and let N⊴L be a partial normal subgroup. Set T:=S∩N and E=FT(N), and let R≤S be a subgroup of S. Then the following hold:
(a)
If (L,Δ,S) is regular, then (NR,δ(ER),TR) is a regular locality over ER.
(b)
If δ(F)⊆Δ, then FTR(NR)=ER. Moreover, (NS,Δ,S) and (NS,Δ∪δ(ES),S) are proper localities over ES.
(c)
If Fq⊆Δ, then FTR(NR)=ER whenever CS(N)≤R. Moreover, (NS,Δ,S) is a proper locality over ES.
In order for the next part of our dictionary to be intelligible and meaningful some preliminary discussion may be helpful. First of all, since a locality L is something like a finite group, there are definitions of certain
partial normal subgroups associated with L that are suggested by the corresponding definitions in
group theory. For example, if G is a finite group and p is a prime then Op(G) is the intersection
of the normal subgroups N⊴G such that G/N is a p-group - and one finds then that
G/Op(G) is a p-group. The same definition (and the same conclusion) apply to proper localities and
partial normal subgroups, yielding the notion of Op(L) and similarly Op′(L) (cf. Subsection 3.8). The
definition of F∗(L) (reviewed here in Definition 3.35) is based on the fact that if G is a finite group
then F∗(G) may be characterized as the smallest normal subgroup N⊴G such that N contains
every normal nilpotent subgroup of G, and such that CG(N)≤N. Similar formulations apply to the
subgroup E(G) and to E(L). In the case of regular localities, it turns out that partial subnormal subgroups form again regular localities, which leads to a natural notion of components of regular localities. Indeed, if L is regular, then E(L) can be described as the product of components of L.
In the definition of F∗(L) it is used that, for every partial normal subgroup N of L, there is a largest partial normal subgroup N⊥ of L which “commutes” with N and thus should be thought of as a replacement for the centralizer of N (see Definition 3.34). If L is regular, then N⊥ equals the actual centralizer CL(N) which is the set of all g∈L such that (g−1,x,g)∈D and Π(g−1,x,g)=x for all x∈N.
The definitions of Op(F), F∗(F), ad lib., for a saturated fusion system F are also motivated by their group-theoretic analogs, but are
(notoriously) much more difficult to formulate (cf. Subsections 2.6, 2.7, 6.2 and Definition 7.2). It is because of this that we believe our
dictionary to be meaningful.
Theorem E**.**
Let (L,Δ,S) be a proper locality over F and let Ψ be the map from Theorem A. Then the following hold.
(a)
For every subgroup R≤S, we have R⊴L if and only if R⊴F. In particular, Ψ(R)=R and Ψ(Op(L))=Op(L)=Op(F).
(b)
Ψ(Op(L))=Op(F)* and Ψ(Op′(L))=Op′(F).*
(c)
If N⊴L and E:=Ψ(N), then Ψ(N⊥)=CF(E).
(d)
Ψ(F∗(L))=F∗(F)* and Ψ(E(L))=E(F).*
Theorem F**.**
Suppose (L,Δ,S) is a regular locality over F. Write S(L) for the set of partial subnormal subgroups of L and S(F) for the set of subnormal subsystems of F. Then the map
[TABLE]
is well-defined and an isomorphism of posets from (S(L),⊆) to (S(F),⊴⊴). Moreover, Ψ^ restricts to the map Ψ=ΨL from Theorem A, and it induces a bijection from the set of components of L to the set of components of F.
The results summarized in Theorems E and F will be employed in Subsection 7.3 to give new proofs of known results concerning components, the layer, and the generalized Fitting subsystem of a saturated fusion system.
The final result to be mentioned in this introduction concerns the “subnormal intersections”
developed by Aschbacher [Asc11, 7.2.2] for saturated fusion systems, and for which our result
may be seen to provide a more precise formulation (as well as simplified proofs). It is
essentially a refinement of Theorem B above, except that in the final part we need to restrict attention to regular localities.
Theorem G**.**
Let F be a saturated fusion system over S. Suppose that E1 and E2 are subnormal subsystems of F over T1 and T2 respectively. Then there exists a subsystem E1∧E2 of F such that the following hold:
(a)
E1∧E2* is a subnormal subsystem of F over T1∩T2 contained in E1∩E2. Moreover, E1∧E2 is the largest subnormal subsystem of F which is subnormal in E1 and E2.*
(b)
Every subnormal subsystem of F which is subnormal in E1 and E2 is also subnormal in E1∧E2.
(c)
If E1⊴F, then E1∧E2⊴E2.
(d)
Suppose (L,Δ,S) is a regular locality over F and Ψ^L is the map from Theorem F. If Hi⊴⊴L with Ψ^L(Hi)=Ei for i=1,2, then Ψ^L(H1∩H2)=E1∧E2.
Since Ψ^L restricts to ΨL, it follows from Theorem B(c) and Theorem G(d) (or from the constructions of E1∧E2 in the proofs) that, for any two normal subsystems E1 and E2 of F, the subsystem E1∧E2 from Theorem B coincides with the subsystem E1∧E2 in Theorem G.
We wish to add some remarks concerning the demands that we make on the reader concerning background material. For fusion fusion systems, beyond the basics to be found (for example) in [AKO11] (see Remark 2.1) we need the following concepts, and results concerning them, for a saturated fusion system F over S.
•
the centralizer in F of a normal subsystem of F, which is again a normal subsystem;
•
the product of two normal subsystems Fi over Si with Fi⊆CF(S3−i) for i=1,2, which is also a normal subsystem;
•
the product of a normal subsystem of F with a subgroup of S, which can be shown to be a saturated subsystem of F.
All of the above were introduced by Aschbacher in [Asc11]. For our proofs we rely on the alternative treatment of these concepts in [Hen13] and [Hen18].
Background material on localities is provided in Section 3. Above all, the proof of Theorem A relies
on the existence and uniqueness of a linking system [Oli13, GL16] (or, via the Appendix to [Che13] a
proper locality) associated with a given saturated fusion system. Our proofs use moreover [Che22, Hen15, Hen17], parts of [Hen19], and the theory developed in [Che15, Che16] in the form stated (and proved) in [Hen21b, Hen21a].
2. Definitions and preliminary results on fusion systems
Throughout this section let F be a fusion system over S.
The reader is referred to [AKO11, Part I] for an introduction to the theory of fusion systems. We will adapt the notation and terminology from this reference with the exception that we will write group homomorphisms on the right hand side of the argument similarly as in [AKO11, Part II]. Furthermore, it will be convenient to write Ff for the set of fully F-normalized subgroups of S. We will refer to the Sylow axiom and the extension axiom for saturated fusion systems as stated in [AKO11, Proposition I.2.5] most of the time without further reference.
We will build in particular on the definition of F-invariant, weakly normal and normal subsystem of F as introduced in [AKO11, Definition I.6.1]. Moreover, we will refer to the Frattini condition and to the extension condition as introduced in that definition.
If R≤S and C is a collection of injective group homomorphism between subgroups of R, then we write ⟨C⟩R for the smallest fusion system over R containing all the elements of C as morphisms.
Remark 2.1**.**
Since the main results of this paper are used to reprove many properties of fusion systems, let us summarize precisely which background references on fusion systems we rely on. We need Sections I.1-I.7, Section II.5, Theorem II.7.5 and Theorem III.5.10 in the book by Aschbacher, Kessar and Oliver [AKO11]. Complete proofs of most of the results we use are given in the book. The only exceptions are Theorems I.3.10 and I.7.4 in [AKO11]; for the proofs the reader is referred to [BCG*+*05, Theorem 2.2] and [BCG*+*07, Theorem 4.3]. Our proofs rely moreover on [Hen13] and [Hen18].
2.1. Morphisms of fusion systems
We continue to assume that F is a fusion system over S. In addition, throughout this subsection, let F be a fusion system over S.
Definition 2.2**.**
A group homomorphism α:S⟶S is said to induce a morphism from F to F if, for each φ∈HomF(P,Q), there exists ψ∈HomF(Pα,Qα) such that (α∣P)ψ=φ(α∣Q).
If α induces a morphism from F to F, then for any φ∈HomF(P,Q), the map ψ∈HomF(Pα,Qα) as in the above definition is uniquely determined. So if α induces a morphism from F to F, then α induces a map
[TABLE]
Together with the map P↦Pα from the set of objects of F to the set of objects of F this gives a functor α∗ from F to F. Moreover, α together with the maps αP,Q (P,Q≤S) is a morphism of fusion systems in the sense of [AKO11, Definition II.2.2].
Definition 2.3**.**
Suppose α:S⟶S induces a morphism from F to F. Then α is said to induce an epimorphism from F to F if α is surjective as a map S⟶S and, for all P,Q≤S with ker(α)≤P∩Q, the map αP,Q is surjective. If α is in addition injective, then we say that αinduces an isomorphism from F to F. Write Aut(F) for the set of automorphisms of S which induce an isomorphism from F to F. Accordingly, α∈Aut(S) is said to induce an automorphism of F if α∈Aut(F).
If α:S⟶S is an isomorphism of groups, then α induces an isomorphism from F to F if and only if, for all P,Q≤S and every group homomorphism φ:P⟶Q, the following equivalence holds:
[TABLE]
If so, then αP,Q as above is given by φαP,Q=α−1φα for all φ∈HomF(P,Q).
Definition 2.4**.**
Let E be a subsystem of F over T≤S and suppose α:S⟶S induces a morphism from F to F. Then Eα denotes the subsystem of F over Tα with HomEα(Pα,Qα)=HomE(P,Q)αP,Q for all P,Q≤T with ker(α)∩T≤P∩Q.
In the situation above notice that α∣T induces an epimorphism from E to Eα.
2.2. Centric, quasicentric and centric-radical subgroups
Definition 2.5**.**
Let Δ be a set of subgroups of S.
•
The set Δ is said to be closed under F-conjugacy if every F-conjugate of an element of Δ is an element of Δ.
•
Δ is said to be F-closed if Δ is overgroup-closed in S and closed under F-conjugacy.
There are several F-closed collections of subgroups of S which play a particularly important role, for example the set Fc of F-centric subgroups, the set Fq of F-quasicentric subgroups and, if F is saturated, the set Fs of F-subcentric subgroups. We will introduce F-subcentric subgroups in Definition 3.25. A subgroup P≤S is called F-quasicentric if CF(Q)=FCS(Q)(CS(Q)) for some fully centralized F-conjugate Q of P. The reader is referred to [AKO11, Definition I.3.1] for the definition of F-centric and F-centric-radical subgroups of S. The set Fcr of F-centric-radical subgroups is closed under F-conjugacy, but not overgroup-closed in S. We have the following lemma.
Lemma 2.6**.**
If E is an F-invariant subsystem of F, then Ec and Ecr are closed under F-conjugacy.
Proof.
By definition of F-invariant subsystems, every element of AutF(T) induces an automorphism of E. Therefore, AutF(T) acts on Ec and Ecr. Moreover, we have PE⊆Ec for all P∈Ec and similarly PE⊆Ecr for all P∈Ecr. Hence, the assertion follows from the Frattini condition for F-invariant subsystems.
∎
Lemma 2.7**.**
If F is saturated and P∈Fq, then every saturated subsystem of CF(P) is the fusion system of a p-group.
Proof.
Suppose F is saturated and P is F-quasicentric. Then we may pick Q∈PF fully centralized such that CF(Q)=FCS(Q)(CS(Q)). By the extension axiom, there exists φ∈HomF(PCS(P),S) such that Pφ=Q. Suppose G is a saturated subsystem of CF(P) over R≤CS(P). For every U≤R, we have AutG(U)≅φ−1AutG(U)φ≤AutCF(Q)(Uφ). Hence, AutG(U) is a p-group and, if U∈Gf, then the Sylow axiom implies AutG(U)=AutR(U) as G is saturated. It follows now from Alperin’s Fusion Theorem [AKO11, Theorem I.3.6] that G=FR(R).
∎
2.3. Groups of characteristic p and models
Recall from the introduction that a group G is of characteristic p if CG(Op(G))≤Op(G). A group of characteristic p is called a model for F if S is a Sylow p-subgroup of G and F=FS(G). Notice that F is saturated by [AKO11, Theorem 2.3] if there is a model for F.
The fusion system F is called constrained if F is saturated and CS(Op(F))≤Op(F). If F is constrained, then the existence of a model for F follows from a Theorem of Broto, Castellana, Grodal, Levi and Oliver; see [BCG*+*05, Proposition C] or [AKO11, Theorem III.5.10].
Lemma 2.8**.**
If G is a group of characteristic p, then the following hold:
(a)
Every subnormal subgroup of G is of characteristic p.
(b)
For every p-subgroup P of G, the normalizer NG(P) is of characteristic p.
(c)
If S∈Sylp(G) and U∈FS(G)c, then CG(U)≤U.
Proof.
For parts (a) and (b) see [MS12, Lemma 1.2(a),(c)]. For the proof of (c), we may replace U by any G-conjugate of U in S. So we may assume without loss of generality that
[TABLE]
Then CS(U)∈Sylp(CG(U)) as CG(U)⊴NG(U). Since U∈FS(G)c, we have CS(U)≤U. Setting Q:=Op(NG(U)), it follows [Q,CG(U)]≤CQ(U)≤CS(U)≤U. Hence, [Q,Op(CG(U))]=[Q,Op(CG(U)),Op(CG(U))]=1 (cf. [AKO11, Lemma A.2]). By (b), NG(U) is of characteristic p. Hence, we have Op(CG(U))≤CNG(U)(Q)≤Q and thus Op(CG(U))=1. This implies CG(U)=CS(U)≤U, i.e. (c) holds.
∎
Lemma 2.9**.**
If G is a model for F, then for every subnormal subsystem E of F, there exists a unique subnormal subgroup H of G with FS∩H(H)=E.
Proof.
If E is a normal subsystem of F, then by [AKO11, Theorem II.7.5], there exists a unique normal subgroup N of G with E=FS∩N(N). Moreover, by Lemma 2.8(a), every normal subgroup N of G is of characteristic p and thus a model for FS∩N(N). Thus, it follows by induction on the subnormal length that, for every subnormal subsystem E of F, there exists a subnormal subgroup H of G with E=FS∩H(H). It remains to show that H is unique.
Let K and H be subnormal subgroups of G with E=FS∩H(H)=FS∩K(K). Then in particular, T:=S∩H=S∩K. By Lemma 2.8(a), H and K are models for E. Hence, by [AKO11, Theorem III.5.10], Q:=Op(E) is normal in H and K, which implies Q=Op(H)=Op(K). So H and K are also subnormal subgroups of NG(Q). Moreover, NG(Q) is of characteristic p by Lemma 2.8(b). If S0 is a Sylow p-subgroup of NG(Q) containing T, then T=S0∩H=S0∩K and E=FT(K)=FT(H) is subnormal in FS0(NG(Q)) by [AKO11, Proposition I.6.2]. So replacing G by NG(Q), S by S0 and F by FS0(NG(Q)), we may and will assume from now on that Q is normal in G. Choose a subnormal series
[TABLE]
Notice that, for all i=1,…,n, we have
[TABLE]
We will use the well-known property of coprime action stated e.g. in [AKO11, Lemma A.2]. As Op(G)=Op(G)∩Hn and Op(G)∩H0=Op(G)∩H≤Op(H)=Q, this property yields that every p′-element of H acts trivially on Op(G)/Q and thus [Op(G),Op(H)]≤Q. Similarly it follows that [Op(G),Op(K)]≤Q.
If h∈H is a p′-element, then FT(H)=FT(K) implies the existence of k∈K with ch∣Q=ck∣Q, i.e. with hk−1∈CG(Q). We may choose k to be a p′-element as well. As [Op(G),h]≤[Op(G),Op(H)]≤Q and [Op(G),k]≤[Op(G),Op(K)]≤Q, we have hk−1≤CG(Op(G)/Q)∩CG(Q). Using again the property of coprime action stated in [AKO11, Lemma A.2] together with the fact that G has characteristic p, we can conclude that CG(Op(G)/Q)∩CG(Q) is a normal p-subgroup of G, as every p′-element of CG(Op(G)/Q)∩CG(Q) is contained in CG(Op(G))≤Op(G) and thus trivial. Hence, hk−1∈CG(Op(G)/Q)∩CG(Q)≤Op(G). This shows Op(H)≤Op(K)Op(G). Using a symmetric argument one concludes that Op(H)Op(G)=Op(K)Op(G). As
[TABLE]
it follows that Op(H)⊴Op(H)Op(G) and thus Op(H)=Op(Op(H)Op(G)). Similarly, we have Op(K)=Op(Op(K)Op(G)) and thus Op(H)=Op(K). This implies H=Op(H)T=Op(K)T=K as required.
∎
2.4. Normal subsystems of p-local subsystems
In this subsection we show how normal subsystems of fusion systems lead to normal subsystems of p-local subsystems. Most lemmas we prove here are similar or identical to results by Aschbacher [Asc08]. However, since we aim to revisit Aschbacher’s theory in later chapters, we have chosen to give direct proofs.
Throughout this subsection F is assumed to be saturated.
From the results we prove in this subsection, only Lemma 2.13 is cited directly in the proof of Theorem A. The other results we state are used to prove Lemma 2.13 and also Lemma 2.36 in Subsection 2.7. Lemma 2.12(a) and Lemma 2.13 are moreover used in our background references [Hen13, Hen18] (cf. Remark 2.28 and Remark 2.34).
Lemma 2.10**.**
Let E be a weakly normal subsystem of F over T≤S. Given U≤T with U∈Ff, the following properties hold:
(a)
We have U∈Ef. Moreover, NE(U) is a weakly normal subsystem of NF(U).
(b)
If U∈Ec, then for every P with U≤P≤NT(U), we have [P,CS(U)]≤U and CS(U)≤NS(P).
(c)
If U∈Ec, then NF(UCS(U))=NNF(U)(UCS(U)) is constrained. Moreover, NE(U) is a weakly normal subsystem of NF(UCS(U)).
Proof.
We will use throughout that, by [AKO11, Theorem I.5.5], normalizers of fully F-normalized subgroups of S are saturated.
(a) As U∈Ff, it is a particular consequence of the just stated fact that the normalizer NF(U) is saturated. By [Hen18, Lemma 2.3], U∈Ef and so NE(U) is saturated. Using the equivalent characterization of F-invariant subsystems given in [AKO11, Proposition I.6.4(d)], it is straightforward to see that NE(U) is NF(U)-invariant. So (a) holds.
(b) Suppose now that U∈Ec. If U≤P≤NT(U), then
[TABLE]
and so (b) holds.
(c) As before let U∈Ec. Observe first that UCS(U)∩T=UCT(U)=U as U∈Ec. So the fact that T is strongly closed implies that
[TABLE]
As UCS(U) is self-centralizing in S and weakly closed in NF(U), it follows that NNF(U)(UCS(U)) is saturated and constrained. If NE(U)⊆NF(UCS(U)), then using that NE(U) is NF(U)-invariant and appealing again to [AKO11, Proposition I.6.4], one checks easily that NE(U) is NF(UCS(U))-invariant and thus weakly normal in NF(UCS(U)). So it is sufficient to argue that NE(U)⊆NF(UCS(U)).
Let P∈NE(U)cr and φ∈AutNE(U)(P). As NE(U) is saturated, by Alperin’s fusion theorem [AKO11, Theorem I.3.6], we only need to show that φ is a morphism in NF(UCS(U)). Using [AKO11, Proposition I.4.5], one observes that U≤P. Clearly P≤NT(U). So (b) gives CS(U)≤NS(P) and [P,CS(U)]≤U. Hence, AutCS(U)(P) lies in the centralizer in AutNF(U)(P) of P/U and U. This centralizer is a normal p-subgroup of AutNF(U)(P) (cf. e.g. [AKO11, Lemma A.2]). Hence it follows
[TABLE]
As NF(U) is saturated, by [AKO11, Lemma II.3.1], there exists α∈HomNF(U)(NNS(U)(P),NS(U)) such that Pα is fully NF(U)-normalized. Fixing such α, it follows from the Sylow axiom that AutNS(U)(Pα) is a Sylow p-subgroup of AutNF(U)(Pα). So χ:=φα∈HomNF(U)(P,Pα) and
[TABLE]
Since the extension axiom ([AKO11, Proposition I.2.5]) holds in NF(U), it follows that χ extends to
[TABLE]
Notice that CS(U)χ^=CS(U)=CS(U)α and Pχ^=Pχ=Pα. Hence, χ^α−1∈AutNF(U)(PCS(U)) is well-defined, extends φ=χα−1 and acts on U and CS(U). So φ is a morphism in NF(UCS(U)) as required.
∎
Lemma 2.11**.**
Let E be a normal subsystem of F over T, let U∈Ec and U≤P≤NT(U). Suppose furthermore that there exists Q∈PF fully F-normalized such that
[TABLE]
Then every φ∈AutNE(U)(P) extends to φ^∈AutF(PCS(U)) with [CS(U),φ^]≤Z(U).
Proof.
Let φ∈AutNE(U)(P) and α∈HomF(NS(P),S) with Pα=Q. Notice that α exists by [AKO11, Lemma II.3.1]. Moreover, Lemma 2.6 implies Uα∈Ec.
Assume first that ψ:=α−1φα∈AutNE(Uα)(Q) extends to ψ^∈AutF(QCS(Uα)) with
[TABLE]
By Lemma 2.10(b), we have CS(U)≤NS(P) and so CS(U)α≤CS(Uα). Observe also that Uα≤Q. In particular, ψ^ normalizes Q(CS(U)α)=(PCS(U))α. Now
[TABLE]
extends φ=αψα−1 and [CS(U),φ^]≤Z(U). So the assertion holds in this case. Thus, replacing (P,U) by (Q,Uα), we can and will assume from now on that
[TABLE]
As U∈Ec, we have P∈Ec. So by Lemma 2.10(c), NF(PCS(P))=NNF(P)(PCS(P)) is a constrained fusion system. Hence, by Theorem III.5.10 and Theorem II.7.5 in [AKO11], there exists a model G of NF(PCS(P)) and a normal subgroup N of G such that NT(P)∈Sylp(N) and FNT(P)(N)=NE(P). As U∈Ec, we have in particular U∈NE(P)c. By Lemma 2.8(a), the group N is of characteristic p. So by part (c) of the same lemma, we have CN(U)=Z(U). Notice that φ is a morphism in NE(P) normalizing U. Hence, φ=cn∣P for some n∈NN(U). As already noted above, we have CS(U)≤NS(P) and thus CS(U)≤NS(PCS(P))≤G. Hence
[TABLE]
By [Hen19, Theorem 2.1(b)], we have P⊴G as P⊴NF(PCS(P)). So n normalizes PCS(U) and thus φ^:=cn∣PCS(U)∈AutF(PCS(U)) is well-defined. Observe that φ^∣P=cn∣P=φ and [CS(U),φ^]≤Z(U). This proves the assertion.
∎
Part (a) of the next lemma could also be obtained as a consequence of [Asc08, Theorem 2].
Lemma 2.12**.**
Suppose E is a normal subsystem of F over T≤S and U∈Ec. Then the following hold:
(a)
If U∈Ff, then the subsystem NF(UCS(U)) is constrained and NE(U) is a normal subsystem of NF(UCS(U)).
(b)
Every φ∈AutE(U) extends to φ^∈AutF(UCS(U)) with [CS(U),φ^]≤Z(U).
Proof.
For every fully F-normalized F-conjugate Q of U, we we have Q∈Ec by Lemma 2.6. Hence, if (a) holds, then for any such Q, we know that NE(Q) is normal in NF(QCS(Q)) and (b) follows from Lemma 2.11 applied with P=U. Therefore, it is sufficient to prove (a).
By Lemma 2.10(c), NF(UCS(U)) is a constrained fusion system over NS(U) and NE(U) is a weakly normal subsystem of NF(UCS(U)) over NT(U). Hence, we only need to show that the extension condition for normal subsystems holds. Assume that U is a counterexample to (a) such that ∣U∣ is maximal.
Since E is normal in F, every φ∈AutE(T)=AutNE(T)(T) extends to φ^∈AutF(TCS(T))=AutNF(TCS(T))(TCS(T)) with [CS(T),φ^]≤Z(T). Hence, NE(T)⊴NF(TCS(T)). As U is a counterexample to (a), we have
[TABLE]
Let Q be a fully F-normalized F-conjugate of P. Notice that P∈Ec and so, by Lemma 2.6, Q∈Ec. By the maximality of ∣U∣, Q is not a counterexample, i.e. NE(Q)⊴NF(QCS(Q)). So by Lemma 2.11, an automorphism φ∈AutNE(U)(P) extends to φ^∈AutF(PCS(U)) with [CS(U),φ^]≤Z(U). Now φ^ is a morphism in NF(UCS(U)). As CS(P)≤CS(U), the restriction φ:=φ^∣PCS(P) is well-defined and an element of AutNF(UCS(U))(PCS(P)) with
[TABLE]
So the extension property for normal subsystems holds for the pair (NE(U),NF(UCS(U))). This contradicts the assumption that U is a counterexample.
∎
The following lemma is essential in the proof of Theorem A.
Lemma 2.13**.**
Suppose E is a normal subsystem of F over T. Let P∈Ff such that P≤T. Then P∈Ef and the subsystems NF(P) and NE(P) are saturated. Moreover, NE(P) is a normal subsystem of NF(P).
Proof.
By Lemma 2.10(a), P∈Ef and NE(P) is a weakly normal subsystem of NF(P). In particular, the subsystems NE(P) and NF(P) are saturated. Notice that U:=NT(P)∈Ec. Hence by Lemma 2.12(b), every φ∈AutE(U) extends to φ^∈AutF(UCS(U)) with [CS(U),φ^]≤Z(U). This shows that the extension property for normal subsystems holds for the pair (NE(P),NF(P)). Thus the assertion follows.
∎
We take the opportunity to state a further technical lemma which will be used in the proof of Lemma 2.36, which in turn is needed in the proof of Theorem A.
Lemma 2.14**.**
Suppose E is a normal subsystem of F. Let U∈Ec∩Ff and V∈CF(U)c such UV∈NF(U)f. Then NF(UV)=NNF(U)(UV) is constrained and NE(U) is a normal subsystem of NF(UV).
Proof.
Let T≤S such that E is a fusion system over T. As U is fully F-normalized and UV is fully NF(U)-normalized, NF(U) and NNF(U)(UV) are saturated. Notice that V∩T≤CT(U)≤U and so UV∩T=U(V∩T)=U. Since T is strongly closed, it follows that NF(UV)=NNF(U)(UV). Since V∈CF(U)c, we have CS(UV)=CCS(U)(V)≤V≤UV and NF(UV) is constrained.
By Lemma 2.12(a), NF(UCS(U)) is a constrained fusion system which contains NE(U) as a normal subsystem. Hence, by [AKO11, Theorem III.5.10], there exists a model G for NF(UCS(U)) such that UCS(U)⊴G; moreover, by [AKO11, Theorem II.7.5], there is a normal subgroup N of G such that NT(U)∈Sylp(N) and NE(U)=FNT(U)(N). The fact that NT(U) is Sylow in N implies in particular that NS(UCS(U))∩N=NT(U). Using UCS(U)⊴G and CT(U)≤U, we conclude
[TABLE]
So N normalizes UV and NE(U)=FNT(U)(N)⊆NF(UV)⊆NF(U). As NE(U) is NF(U)-invariant by Lemma 2.10(a), it is also NF(UV)-invariant by [AKO11, Proposition I.6.4]. Notice that P:=NT(U)∈Ec. By Lemma 2.12(a), for a fully normalized F-conjugate Q of P, we have NE(Q)⊴NF(QCS(Q)). Hence, by Lemma 2.11, an automorphism φ∈AutNE(U)(P) extends to φ^∈AutF(PCS(U)) with [CS(U),φ^]≤Z(U). As VCS(P)≤CS(U), φ^ normalizes UV and φ=φ^∣PCS(P)∈AutNF(UV)(PCS(P)) with [CS(P),φ^]≤Z(U)∩CS(P)≤Z(P). Hence, the extension condition for normal subsystems holds and the assertion follows.
∎
2.5. Central products
Aschbacher [Asc11, pp.13-14] introduced central products of fusion systems as certain quotients of direct products of fusion systems. Central products in this definition can be seen as external central products. When stating properties of components in [Asc11, Chapter 9], Aschbacher uses implicitly a notion of internal central products. In this subsection we give a precise definition of internal central products of fusion systems. Moreover, we study properties of such internal central products and show their close relationship to external central products. The results will be used e.g. in Subsection 6.4, Lemma 7.3 and Subsection 7.3.
We continue to assume that S is a p-group and F is a fusion system over S. In this subsection, F is not assumed to be saturated. Indeed, for part of our definitions and results the fusion system F will not play any role. Throughout we pick k∈N with k≥1.
Notation 2.15**.**
Suppose that Fi is a fusion system over Si≤S for i=1,2,…,k such that [Si,Sj]=1 for all i=j. Assume furthermore that Si∩∏j=iSj≤Z(Fi) for all i=1,2,…,k. Then we use the following notation.
•
Given Pi,Qi≤Si and φi∈HomFi(Pi,Qi) for i=1,2,…,k, write φ1∗φ2∗⋯∗φk for the map P1P2⋯Pk→Q1Q2⋯Qk sending x1x2⋯xk to (x1φ1)(x2φ2)⋯(xkφk) whenever xi∈Pi for i=1,…,k.
•
Write F1∗F2∗⋯∗Fk for the fusion system over S1S2⋯Sk which is generated by the maps φ1∗φ2∗⋯∗φk with Pi≤Si and φi∈HomFi(Pi,Si) for i=1,2,…,k.
•
For A≤S1S2⋯Sk set
[TABLE]
Lemma 2.16**.**
Let Fi be a fusion system over Si≤S for i=1,2,…,k such that [Si,Sj]=1 for i=j. Assume furthermore that Si∩∏j=iSj≤Z(Fi) for i=1,2,…,k. Then the following hold:
(a)
Let Pi≤Si and φi∈HomFi(Pi,Si) for i=1,…,k. Then φ1∗φ2∗⋯∗φk is well-defined and an injective group homomorphism. In particular F1∗F2∗⋯∗Fk is well-defined.
(b)
Z(F1)Z(F2)⋯Z(Fk)=Z(F1∗F2∗⋯∗Fk). Moreover, if si∈Si for i=1,…,k such that s1s2⋯sk∈Z(F1∗F2∗⋯∗Fk), then si∈Z(Fi) for all i=1,2,…,k.
(c)
If 1≤l<k, then (∏i=1lSi)∩(∏i=l+1kSi)≤Z(F1∗⋯∗Fl)∩Z(Fl+1∗⋯∗Fk) and
[TABLE]
(d)
Let A≤∏i=1kSi and let φ:A→∏i=1kSi be a morphism in F1∗F2∗⋯∗Fk. Then there exist φi∈HomF(Ai,Si) for i=1,…,k (with Ai as defined in Notation 2.15) such that φ=(φ1∗φ2∗⋯∗φk)∣A.
(e)
Fi* is F1∗F2∗⋯∗Fk-invariant for i=1,…,k.*
Proof.
(a) Let Pi and φi be as in (a) and xi,yi∈Pi for i=1,…,k. Suppose first x1x2⋯xk=y1y2⋯yk. Using [Si,Sj]=1 for all i=j, this equality can be reformulated to ∏i=1kxiyi−1=1 and to xiyi−1=∏j=iyjxj−1 for all i=1,…,k. Since Si∩∏j=iSj≤Z(Fi) for all i=1,…,k, the latter equation implies xiyi−1∈Z(Fi) and hence (xiφi)(yiφi)−1=(xiyi−1)φi=xiyi−1 for all i=1,…,k. Hence, we obtain ∏i=1k(xiφi)(yiφi)−1=1 and thus (x1φ1)(x2φ2)⋯(xkφk)=(y1φ1)(y2φ2)⋯(ykφk). So we have shown the implication
[TABLE]
i.e. φ1∗φ2∗⋯∗φk is well-defined. Using (2.1) now with Piφi and φi−1 in place of Pi and φi we also obtain the implication
[TABLE]
which says that φ1∗φ2∗⋯∗φk is injective. Hence (a) holds.
(b) Set Z:=Z(F1)Z(F2)⋯Z(Fk). As before let Pi≤Si and φi∈HomFi(Pi,Si) for i=1,…,k. To prove Z≤Z(F1∗F2∗⋯∗Fk), it is enough to show that φ1∗φ2∗⋯∗φk extends in F1∗F2∗⋯∗Fk to a morphism (P1P2⋯Pk)Z→S1S2⋯Sk which fixes every element of Z. Indeed, each φi extends to a morphism φ^i∈HomFi(PiZ(Fi),Si) such that φ^i fixes every element of Z(Fi). Then φ^1∗φ^2∗⋯∗φ^k is an extension of φ1∗φ2∗⋯∗φk with the desired properties.
Let now si∈Si for i=1,…,k such that z:=s1s2⋯sk∈Z(F1∗F2∗⋯∗Fk). Fix i∈{1,2,…,k}, Qi≤Si and ψi∈HomFi(Qi,Si). Set ψ:=idS1∗⋯∗idSi−1∗ψi∗idSi+1∗⋯∗idSk and Q:=S1⋯Si−1QiSi+1⋯Sk. Then ψ:Q→S1S2⋯Sk is a morphism in F1∗F2∗⋯∗Fk and extends thus to ψ^∈HomF1∗⋯∗Fk(⟨Q,z⟩,S1S2⋯Sk) with ψ^(z)=z. Notice that ⟨Q,z⟩=⟨Q,si⟩ and sj∈⟨Q,z⟩ for j=1,…,k. It follows from the definition of F1∗F2∗⋯∗Fk that ψ^i:=ψ^∣⟨Qi,si⟩ is a morphism in Fi. Since ψ^∣Sj=ψ∣Sj=idSj for j=i, we have s1s2⋯sk=z=ψ^(z)=s1⋯si−1ψ^i(si)si+1⋯sk and thus ψ^i(si)=si. Moreover, ψ^i extends ψi=ψ∣Qi=ψ^∣Qi. This proves si∈Z(Fi) and completes thus the proof of (b).
(c,d) Properties (c) and (d) are trivially true for k=1, so we may assume k≥2 and fix 1≤l<k. Let first si∈Si for i=1,…,k such that s1⋯sl=sl+1⋯sk. By rearranging this equality, one sees that si∈Si∩∏j=iSj≤Z(Fi) for i=1,…,k. Using (b) we can thus conclude that
[TABLE]
In particular, (F1∗⋯∗Fl)∗(Fl+1∗⋯∗Fk) is well-defined. If Pi≤Si and φi∈HomFi(Pi,Si) for i=1,…,k, then one observes easily that
[TABLE]
This implies F1∗F2∗⋯∗Fk⊆(F1∗⋯∗Fl)∗(Fl+1∗⋯∗Fk). So it remains to prove that (F1∗⋯∗Fl)∗(Fl+1∗⋯∗Fk)⊆F1∗F2∗⋯∗Fk and that (d) holds. Fix A≤∏i=1kSi and a morphism φ:A→∏i=1kSi in (F1∗⋯∗Fl)∗(Fl+1∗⋯∗Fk). It is sufficient to argue that φ is of the form φ=(φ1∗φ2∗⋯∗φk)∣A for some φi∈HomFi(Ai,Si). We prove this by induction on k. For k=2, part (d) and thus our claim is true by [Hen21a, Lemma 2.11(f)]. Set T1:=∏i=1lSi, T2:=∏i=l+1kSi and
[TABLE]
Since (d) is true for k=2, there are ψ1∈HomF1∗⋯∗Fl(B1,T1) and ψ2∈HomFl+1∗⋯∗Fk(B2,T2) such that φ=(ψ1∗ψ2)∣A. Now notice that
[TABLE]
and
[TABLE]
Therefore, induction on k gives the existence of φi∈HomFi(Ai,Si) for i=1,…,k such that ψ1=(φ1∗⋯∗φl)∣Q1 and ψ2=(φl+1∗⋯∗φk)∣Q2. This yields
φ=(ψ1∗ψ2)∣A=(φ1∗φ2∗⋯∗φk)∣A. Thus (c) and (d) hold.
(e) Observe that the restriction of a morphism in F1∗F2∗⋯∗Fk to a subgroup of Si is always a morphism Fi for i=1,…,k. It follows from this property that (e) is true and the proof is complete.
∎
The following lemma complements the statement in Lemma 2.16(c).
Lemma 2.17**.**
Let Fi be a fusion system over Si≤S for i=1,2,…,k such that [Si,Sj]=1 for i=j. Fix l∈N with 1≤l<k. Then Si∩(∏j=i,1≤j≤kSj)≤Z(Fi) for all i=1,2,…,k if and only if the following properties hold:
(i)
Si∩(∏j=i,1≤j≤lSj)≤Z(Fi)* for all i=1,2,…,l;*
(ii)
Si∩(∏j=i,l+1≤j≤kSj)≤Z(Fi)* for all i=l+1,…,k;*
If Si∩∏j=iSj≤Z(Fi) for all i=1,2,…,k, then clearly (i) and (ii) hold, and (iii) follows from Lemma 2.16(c).
Suppose now that properties (i)-(iii) hold. Let i∈{1,2,…,k} and si∈Si∩(∏j=i,1≤j≤kSj). Then for j∈{1,2,…,k} with j=i there exist sj∈Sj such that si=∏j=i,1≤j≤ksj−1. It follows s1s2⋯sk=1 and thus ∏j=1lsj=∏j=l+1ksj−1∈Z(F1∗⋯∗Fl)∩Z(Fl+1∗⋯∗Fk) by (iii). Therefore, (i),(ii) and Lemma 2.16(b) yield sj∈Z(Fj) for j=1,2,…,k. In particular, si∈Z(Fi), which proves Si∩(∏j=i,1≤j≤kSj)≤Z(Fi).
∎
Definition 2.18**.**
Suppose that Fi is a fusion system over a p-group Si for i=1,…,k.
•
If Pi≤Si and φi∈HomFi(Pi,Si) for i=1,…,k let
[TABLE]
be the map with (x1,x2,⋯,xk)↦(x1φ1,x2φ2,⋯,xkφk). It is easy to check that φ1×φ2⋯×φk is an injective group homomorphism. Write F1×F2×⋯×Fk for the fusion system over S1×S2×⋯×Sk which is generated by all the maps φ1×φ2×⋯×φk with φi∈HomFi(Pi,Si) for i=1,…,k.
•
For i=1,…,k let ιi:Si→S1×S2×⋯×Sk be the natural inclusion map sending si∈Si to the tuple with si in the ith entry and all other entries equal to one. It is easy to check that ιi induces a morphism from Fi to F1×F2×⋯×Fk. Set S^i:=Siιi and F^i=Fiιi (cf. Definition 2.4).
Observe that Fi≅F^i.
Lemma 2.19**.**
For i=1,…,k let Fi be a fusion system over Si≤S. Suppose [Si,Sj]=1 for i=j. Consider the map
[TABLE]
Then the following hold:
(a)
α* is a surjective group homomorphism with ker(α)∩S^i=1 for i=1,2,…,k. Moreover, Si∩∏j=iSj≤Z(Fi) for all i=1,…,k if and only if*
[TABLE]
(b)
If Si∩∏j=iSj≤Z(Fi) for all i=1,…,k, then α induces an epimorphism of fusion systems from F1×F2×⋯×Fk to F1∗F2∗⋯∗Fk with F^iα=Fi. In particular,
[TABLE]
is isomorphic to an (external) central product of F1,…,Fk in the sense of **[Asc11, p.14]**.
(c)
If F1,F2,…,Fk are saturated and Si∩∏j=iSj≤Z(Fi) for all i=1,…,k, then F1∗F2∗⋯∗Fk is saturated and Fi⊴F1∗F2∗⋯∗Fk for i=1,…,k.
Proof.
Write F:=F1×F2×⋯×Fk and F:=F1∗F2∗⋯∗Fk for short. Set Zi:=Si∩∏j=iSj for i=1,…,k. For every subgroup P of S1×S2×⋯×Sk and i=1,…,k write Pi for the image of P under the natural projection map S1×S2×⋯×Sk→Si.
It follows from [Si,Sj]=1 for i=j that α is a group homomorphism. Clearly α is surjective and ker(α)∩S^i=1. Notice that ker(α)≤Z1×Z2×⋯×Zk. Moreover, for zi∈Zi, we have zi∈Si and there exist zj∈Sj for j=i such that zi=∏j=izj−1. Then (z1,z2,…,zk)α=z1z2⋯zk=1, thus (z1,z2,…,zk)∈ker(α) and zi∈ker(α)i. Moreover, if Q≤S1S2⋯Sk, then z1z2⋯zk=1∈Q and hence zi∈Qi, where Qi is defined according to Notation 2.15. This proves
[TABLE]
(a) Part (a) follows directly from Zi=ker(α)i for all i=1,…,k, which is true by (2.2).
(b) Assume now Zi≤Z(Fi) for all i=1,…,k. Let P≤S1×S2×⋯×Sk.
As an intermediate step, we argue next that
[TABLE]
Clearly Pi≤(Pα)i. It follows from (2.2) applied with Pα in place of Q that Zi≤(Pα)i. Hence PiZi≤(Pα)i. Given xi∈(Pα)i, there exist xj∈Sj for all j=i such that x1x2⋯xk∈Pα. Further, there is then (y1,…,yk)∈P with y1y2⋯yk=(y1,…,yk)α=x1x2⋯xk. Notice now that yi∈Pi and xiyi−1=∏j=iyjxj−1∈Zi. Hence xi∈ZiPi and (2.3) follows.
We are now in a position to show that α induces an epimorphism from F to F. Let P,Q≤S1×S2×⋯×Sk and φ∈HomF(P,Q). It is easy to check (and proved for k=2 in [AKO11, Theorem I.6.6]) that φ is of the form φ=(φ1×φ2×⋯×φk)∣P for some φi∈HomFi(Pi,Qi) (i=1,…,k). As Zi≤Z(Fi) for i=1,…,k, each φi extends to a unique φ^i∈HomFi(PiZi,QiZi) with φ^i∣Zi=idZi. Given such φi and φ^i, we have
[TABLE]
this uses (2.3) to see that (φ^1∗φ^2∗⋯∗φ^k)∣Pα is well-defined. Thus, α induces a morphism from F to F^ where the corresponding map αP,Q:HomF(P,Q)→HomF(Pα,Qα) is given by (φ1×φ2×⋯×φk)∣P↦(φ^1∗φ^2∗⋯∗φ^k)∣Pα. Suppose now ker(α)≤P. Then it follows from (2.2) and (2.3) that Zi=ker(α)i≤Pi and Pi=(Pα)i for i=1,…,k. Hence, the map αP,Q maps (φ1×φ2×⋯φk)∣P simply to (φ1∗φ2∗⋯∗φk)∣Pα whenever φi∈HomFi(Pi,Qi) for i=1,…,k. Hence, it is a consequence of Lemma 2.16(d) that αP,Q is surjective. This proves that α induces an epimorphism from F to F. In particular, F^iα is defined. Notice that α∣S^i=ιi−1 and so F^iα=(Fiιi)α=Fi. This shows (b).
(c) We continue to assume that Zi≤Z(Fi) and we assume now in addition that F1,…,Fk are saturated. We argue first that F1∗F2∗⋯Fk is saturated. Induction on k allows us to assume that F1∗F2∗⋯∗Fk−1 is saturated. By Lemma 2.16(c), (∏j=1k−1Sj)∩Sk≤Z(F1∗F2∗⋯∗Fk−1)∩Z(Fk) and F1∗F2∗⋯∗Fk=(F1∗F2∗⋯∗Fk−1)∗Fk. Hence, part (b) gives that F1∗F2∗⋯∗Fk is an epimorphic image of (F1∗F2∗⋯∗Fk−1)×Fk, which is a saturated fusion system by [AKO11, Theorem I.6.6]. Hence, F1∗F2∗⋯∗Fk is saturated by [AKO11, Lemma II.5.4].
Fix now i∈{1,2,…,k}. As Fi and F1∗F2∗⋯∗Fk are saturated, it follows from Lemma 2.16(e) that Fi is weakly normal in F1∗F2∗⋯∗Fk. Moreover, the extension condition for normal subsystems (cf. [AKO11, Definition I.6.1]) holds because, for φi∈AutFi(Si), we obtain a suitable extension of φi by setting φj:=idSj for j=i and considering φ1∗φ2∗⋯∗φk.
∎
Definition 2.20**.**
For each i=1,…,k let Fi be a subsystem of F over Si≤S. Suppose [Si,Sj]=1 for i=j.
•
The subsystems F1,…,Fk are said to centralize each other in F if Fi⊆CF(∏j=iSj) and Si∩∏j=iSj≤Z(Fi) for all i=1,…,k.
•
The fusion system F is an internal central product of F1,…,Fk if Si∩∏j=iSj≤Z(Fi) for all i=1,…,k and F=F1∗F2∗⋯∗Fk.
Lemma 2.21**.**
For i=1,…,k let Fi be a saturated subsystem of F over Si such that [Si,Sj]=1 for i=j. Then F1,…,Fk centralize each other in F if and only if Fi⊆CF(∏j=iSj) for i=1,…,k.
Proof.
Fix i∈{1,…,k} and suppose Fi⊆CF(∏j=iSj). It is sufficient to show that Z:=Si∩∏j=iSj≤Z(Fi). Our assumption yields Z≤Z(Si). Pick R∈Ficr. Then Z≤Z(Si)≤CSi(R)≤R. Since Fi⊆CF(∏j=iSj), it follows moreover that every element of AutFi(R) acts trivially on Z. As Fi is saturated and R∈Ficr was arbitrary, Alperin’s Fusion Theorem [AKO11, Theorem I.3.6] implies the assertion.
∎
Lemma 2.22**.**
For i=1,…,k let Fi be a subsystem of F over Si. Set T:=∏i=1kSi and assume that F1,…,Fk centralize each other in F. Then
[TABLE]
Proof.
If φ∈HomF(P1P2⋯Pk,T) with φi:=φ∣Pi∈HomFi(Pi,Si), then one observes easily that φ=φ1∗φ2∗⋯∗φk is a morphism in F1∗F2∗⋯∗Fk. This proves one inclusion and it remains to show the converse one.
Let φ:=φ1∗φ2∗⋯∗φk where Pi≤Si and φi∈HomFi(Pi,Si) for i=1,…,k. Then φ∣Pi=φi. Thus, we only need to argue that φ is a morphism in F. Set Ti:=∏j=iSj and Qi:=(∏j=1i−1Pjφj)(∏j=ikPj) for i=1,…,k. Since F1,F2,…,Fk centralize each other in F, every φi extends to φ^i∈HomF(PiTi,T) with φ^i∣Ti=idTi. Then
[TABLE]
is a morphism in F, which is equal to φ, as its restriction to Pi equals φi for i=1,…,k. This proves the assertion.
∎
If F1 and F2 are subsystems of F which centralize each other in F, then Lemma 2.22 says that the fusion system F1∗F2 as defined above coincides with the equally denoted subsystem introduced in [Hen18, Definition 3.1]. This allows us to apply results from that paper below.
Lemma 2.23**.**
Let F1,F2,…,Fk be normal subsystems of F
(a)
The following conditions are equivalent:
(i)
F1,F2,…,Fk* centralize each other;*
(ii)
Fi⊆CF(∏j=iSj)* for each i=1,2,…,k;*
(iii)
Si∩∏j=iSj≤Z(Fi)* for each i=1,2,…,k.*
(b)
If F1,…,Fk centralize each other, then F1∗F2∗⋯∗Fk⊴F.
(c)
Let E be a saturated subsystem of F with Fi⊴E for i=1,2,…,k. Suppose F1,…,Fk centralize each other in F. Then F1,…,Fk centralize each other in E and
[TABLE]
Proof.
Part (c) follows from (a) and (b) applied with E in place of F. Thus, it remains to prove (a) and (b). Lemma 2.21 gives that (i) and (ii) are equivalent and that (ii) implies (iii). Suppose now (iii) holds. Using induction on k we will show that (ii) holds and that F1∗F2∗⋯∗Fk⊴F. This will complete the proof.
Clearly the claim is true for k=1. Suppose now that k>1 and that the assertion is true for k−1. Then in particular, F1∗⋯∗Fi−1∗Fi+1∗⋯Fk⊴F for i=1,…,k.
Hence, by [Hen18, Lemma 7.2(b)], it follows from (iii) that Fi⊆CF(∏j=iSj) for i=1,…,k. It is a special case of Lemma 2.16(c) that (∏j=1k−1Sj)∩Sk≤Z(F1∗F2∗⋯∗Fk−1)∩Z(Fk) and (F1∗F2∗⋯∗Fk−1)∗Fk=F1∗F2∗⋯∗Fk. As F1∗F2∗⋯∗Fk−1⊴F, [Hen18, Theorem 3] yields F1∗F2∗⋯∗Fk=(F1∗F2∗⋯∗Fk−1)∗Fk⊴F. This proves the assertion.
∎
Lemma 2.24**.**
Let F1,F2,…,Fk be normal subsystems of F which centralize each other. Then F1∗F2∗⋯∗Fk is the smallest normal subsystem of F in which F1,F2,…,Fk are normal.
Proof.
By Lemma 2.23(b),(c), F1∗F2∗⋯∗Fk is a normal subsystem of F that is contained in every normal subsystem in which F1,…,Fk are normal. By Lemma 2.19(c), Fi⊴F1∗F2∗⋯∗Fk for i=1,2,…,k.
∎
2.6. Normal subsystems of p-power index and products of normal subsystems with p-subgroups
For the convenience of the reader we will summarize some background definitions and results in this subsection. We also take the opportunity to prove some more specialized lemmas that are needed later on.
For the remainder of this section F is assumed to be saturated.
Definition 2.25** ([AKO11, Definitions I.7.1 and I.7.3]).**
The hyperfocal subgroup of F is the subgroup
[TABLE]
A subsystem E of F over T≤S has p-power index if hyp(F)≤T and Op(AutF(P))≤AutE(P) for every subgroup P≤T.
It turns out that there is a unique smallest saturated subsystem of F of p-power index. It is explicitly given by
[TABLE]
Moreover, Op(F) is a normal subsystem of F. More generally, for every T≤S with hyp(F)≤T, the subsystem
[TABLE]
is the unique saturated subsystem of F over T of p-power index. Furthermore, FT is normal in F if and only if T⊴S. These properties are stated in [AKO11, Theorem I.7.4]; for the proof see also [BCG*+*07, Theorem 4.3].
If E is a normal subsystem of F and R is a subgroup of S, then a product subsystem ER is defined. Such a product was first introduced by Aschbacher [Asc11, Chapter 8], but we will use the construction given in [Hen13]. For the convenience of the reader we summarize this construction in the definition below.
Definition 2.26**.**
Let E be a normal subsystem of F over T≤S. For every P≤S, set
[TABLE]
For every subgroup R of S, define
[TABLE]
and call ER=(ER)F the product of E with R formed inside of F.
By [Hen13, Theorem 1], ER is saturated; moreover, ER is the unique saturated subsystem D of F over TR with Op(D)=Op(E). An important consequence of the latter fact is stated in the following remark.
Remark 2.27**.**
Suppose E is a normal subsystem both of F and of a saturated subsystem G of F over Q. If R≤Q, then (ER)G is a saturated subsystem of F over TR with Op((ER)G)=Op(E). Thus (ER)G is equal to (ER)F. In particular, ER=(ER)F is contained in G.
Remark 2.28**.**
The proof of [Hen13, Theorem 1] refers to [Asc08, Theorem 2] at one point (namely in [Hen13, Notation 5.2]). The property that is needed is however exactly the one stated in Lemma 2.12(a). All other background results used in [Hen13] are stated in [AKO11, Sections I.1-I.7].
Lemma 2.29**.**
Let E be a saturated subsystem of F. Then the following conditions are equivalent:
(i)
E* has p-power index;*
(ii)
Op(F)⊆E;
(iii)
Op(F)=Op(E).
In particular Op(F)=Op(Op(F)). If E⊴F, then conditions (i)-(iii) are also equivalent to
(iv)
F=ES.
Proof.
It follows from the definition of p-power index and from the concrete description of Op(F) given above that (i) implies (ii). From the description of Op(F) and Op(E) one sees also that (ii) implies (iii); to show that (ii) implies hyp(F)⊆hyp(E) one uses
[TABLE]
which is true e.g. by [AKO11, Theorem A2]. Notice that the implication “(ii)⟹(iii)” gives in particular that Op(F)=Op(Op(F)).
Assume now that (iii) holds, i.e. Op(F)=Op(E). Let T≤S such that E is a subsystem over T. Then FT as defined above is a subsystem of F over T with Op(F)⊆FT. Using the property that (ii) implies (iii) with FT in place of E, we conclude Op(FT)=Op(F)=Op(E). As Op(F)T is by [Hen13, Theorem 1] the unique saturated subsystem D of F over T with Op(D)=Op(Op(F)) and since Op(Op(F))=Op(F), it follows E=Op(F)T=FT. In particular, (i) holds. This shows that properties (i)-(iii) are equivalent.
Suppose now E⊴F. Using again [Hen13, Theorem 1] we argue now that (iii) and (iv) are equivalent. If (iii) holds, then ES is the unique saturated subsystem D of F such that Op(D) equals Op(E)=Op(F) and this implies ES=F. So (iii) implies (iv). If (iv) holds, then Op(F)=Op(ES)=Op(E), i.e. (iv) implies (iii). This completes the proof.
∎
Corollary 2.30**.**
Let hyp(F)≤T≤S. Then FT=Op(F)T.
Proof.
Recall that FT is a saturated subsystem of F over T of p-power index. Lemma 2.29 applied with FT in place of E yields thus Op(FT)=Op(F). By the same lemma, Op(Op(F))=Op(F). As Op(F)T is by [Hen13, Theorem 1] the unique saturated fusion system D of F over T with Op(D)=Op(Op(F))=Op(F), it follows FT=Op(F)T.
∎
Lemma 2.31**.**
Let E be a normal subsystem of F over T, let R≤S and X≤TR with E⊆CF(X). Then E⊆CER(X).
Proof.
Let Q∈Ecr∩Ef. As Q∈Ef, AutT(Q) is a Sylow p-subgroup of AutE(Q) and thus AutE(Q)=AutT(Q)Op(AutE(Q)). Notice that our assumption implies in particular that [X,T]=1. Hence, the elements of AutT(Q) are morphisms in CER(X). So by Alperin’s Fusion Theorem [AKO11, Theorem I.3.6], it is sufficient to show that the elements of Op(AutE(Q)) are morphisms in CER(X). Set P:=QX and fix a p′-element α∈AutE(Q). As E⊆CF(X), α extends to α^∈AutF(P) with α^∣X=idX. Such α^ has the same order as α and is thus a p′-element. Note also that P∩T=Q(X∩T)=Q∈Ec as (X∩T)≤Z(T)≤CT(Q)≤Q. Moreover, as α^∣X=idX, we have [P,α^]≤Q=P∩T. Observe also that α^∣Q=α∈AutE(Q). So α^∈A∘(P) is a morphism in ER fixing every element of X. This shows that α is a morphism in CER(X). Since α was arbitrary, this proves the assertion.
∎
Lemma 2.32**.**
Let E be a normal subsystem of F and let R≤S such that E⊆CF(R). Then E and FR(R) centralize each other in ER and thus in F. Moreover, ER=E∗FR(R).
Proof.
By Lemma 2.31, E⊆CER(R). Using Lemma 2.21, one can thus conclude that E and FR(R) centralize each other in ER. Therefore, G:=E∗FR(R)⊆ER by Lemma 2.22. By Lemma 2.19(c), G is saturated and E is normal in G. Hence, it follows from Remark 2.27 that ER=(ER)G⊆G.
∎
If E is a normal subsystem of F over T, then it is shown in [Asc11, Chapter 6] and in [Hen18, Theorem 1] that there is a subgroup CS(E) of S which is maximal with respect to inclusion among all subgroups of S containing E in its centralizer. The next lemma will be needed in the proof of Proposition 4.9, which is used in turn to show Theorem D.
Lemma 2.33**.**
Let E be a normal subsystem of F over T, and let R be a subgroup of S. Then E⊴ER. If CS(E)≤TR, then CS(E) is a normal subgroup of ER.
Proof.
Replacing R by TR, we may assume without loss of generality that T≤R. We will show first the following property.
[TABLE]
Note that Inn(T)∈Sylp(AutE(T)) by the saturation axioms. Therefore, it is indeed enough to show (2.4) in the case that α is either an element of Inn(T) or a p′-element. If α=ct∣T∈Inn(T) with t∈T, then α^ can be chosen to be ct∣TCR(T). So assume that α is a p′-automorphism. As E is normal in F, α extends to α∈AutF(TCS(T)) with [TCS(T),α]≤T. We can always replace α by a suitable power of α to assume that α is a p′-automorphism as well. Now α^:=α∣TCR(T)∈A∘(TCR(T)) is a morphism in ER. Moreover, we have [TCR(T),α^]≤[TCS(T),α]≤T. This shows (2.4).
If E is contained in a saturated subsystem D of F, then it follows from the equivalent definition of F-invariant subsystems given in [AKO11, Proposition I.6.4(d)] that E is D-invariant. Thus, as E is saturated, it follows
[TABLE]
Note that E⊆ER, so in particular E is weakly normal in ER. It follows therefore from (2.4) that E⊴ER, which proves the first part of the assertion.
To prove the second part of the assertion assume now that CS(E)≤R=TR. As CS(E) is by [Hen18, Theorem 1(a)] strongly closed in F, it is then also strongly closed in ER=(ER)F. In particular, CS(E) is fully ER-normalized and so G:=NER(CS(E)) is a saturated subsystem of F over R. By Lemma 2.31 applied with CS(E) in place of X, we have E⊆CER(CS(E))⊆G. So E is by (2.5) weakly normal in G. Every α∈AutE(T) extends by (2.4) to α^∈AutER(TCR(T)) with [TCR(T),α^]≤T. Our assumption yields CS(E)≤CR(T). Thus, as CS(E) is strongly closed in ER, it follows α^∈AutG(TCR(T)). This shows E⊴G.
It follows therefore from Remark 2.27 that ER=(ER)G⊆G:=NER(CS(E)). This means that CS(E) is normal in ER.
∎
2.7. Centralizers of normal subsystems
We continue to assume in this subsection that F is a saturated fusion system over S. Let E be a normal subsystem of F over T≤S. Recall that CS(E) is a subgroup of S which is maximal with respect to inclusion among all subgroups of S containing E in its centralizer. Thus, CS(E) plays the role of a centralizer of E in S. It turns out that there is also a normal subsystem CF(E) of F over CS(E) which functions as a centralizer of E in F. This was first shown by Aschbacher [Asc11, Chapter 6]. A new proof and a new construction of CF(E) is given in [Hen18]. Namely, it is shown in [Hen18, Proposition 1] that hyp(CF(T))≤CS(E). Using the notation from Subsection 2.6, the centralizer of E is then defined as
[TABLE]
i.e. as the unique saturated subsystem of CF(T) over CS(E) of p-power index. We will build on this construction of CF(E) and on the results from [Hen18] in this text.
Remark 2.34**.**
The proofs of Lemma 2.5 and Lemma 2.6 in [Hen18] cite results from [Asc08]. However, [Hen18, Lemma 2.5] is the same as Lemma 2.13. The reference to [Asc08, 6.10.2] in the proof of [Hen18, Lemma 2.6] could be replaced by a reference to Lemma 2.12(a). All other proofs in [Hen18] rely solely on background results which are anyway used in the present paper.
The next proposition captures some of the main properties of CF(E).
Proposition 2.35**.**
Let D and E be normal subsystems of F. Then the following are equivalent:
(i)
D* and E centralize each other;*
(ii)
D⊆CF(E);
(iii)
D⊴CF(E).
Proof.
By Lemma 2.21 and [Hen18, Theorem 2], (i) and (ii) are equivalent. Clearly (iii) implies (ii). Thus, it remains only to prove that (i) and (ii) imply (iii). So assume that (i) and (ii) hold. Let D be a subsystem over R≤S and let E be a subsystem over T≤S. As D is F-invariant, it follows from the equivalent characterization of F-invariant subsystems given in [AKO11, Proposition I.6.4] that D is CF(E)-invariant.
As D is saturated, it is thus sufficient to prove the extension condition for normal subsystems. More precisely, we need to show that every α∈AutD(R) extends to α^∈AutCF(E)(RCCS(E)(R)) with [RCCS(E)(R),α^]≤R. If α=cr∣R∈Inn(R) with r∈R, then α^=cr∣RCCS(E)(R) is such an extension of α. As Inn(R) is a normal Sylow p-subgroup of AutD(R) by the saturation axioms, it is thus sufficient to prove the extension property for every p′-automorphism α∈AutD(R).
Fix a p′-automorphism α∈AutD(R). The assumption that D is a normal subsystem of F implies the existence of an automorphism α~∈AutF(RCS(R)) with α~∣R=α and [RCS(R),α~]≤R. Replacing α~ by a suitable power of α~ if necessary, we may assume that α~ is also a p′-automorphism. As T is strongly closed, we have [T,α~]≤R∩T≤Z(D), where the last inclusion uses (i). Using the property of coprime action stated e.g. in [AKO11, Lemma A.2], we can conclude that [T,α~]=[T,α~,α~]≤[Z(D),α~]=[Z(D),α]=1. Hence, α~∣T=idT, so in particular, α^=α~∣RCCS(E)(R) is an element of CF(T). As α^ is a p′-automorphism, it follows then from the definition of CF(E) above that α^ is an element of CF(E). Clearly, [RCCS(E)(R),α^]≤[RCS(R),α~]≤R, so the assertion follows.
∎
The following lemma will be important in the proof of Theorem A. It seems interesting to remark that a somewhat similar result is shown in [Hen21a, Lemma 8.2] for partial normal subgroups of proper localities. It would imply Lemma 2.36 if Theorem A was given.
Lemma 2.36**.**
Let E be a normal subsystem of F over T≤S such that hyp(CF(T))≤T or CS(E)≤T. Then Ec⊆Fq.
Proof.
By [Hen18, Proposition 1], hyp(CF(T))≤CS(E). Hence, our assumption yields hyp(CF(T))≤Z(T). So for P≤CS(T) and a p′-element φ∈AutCF(T)(P), we have [P,φ]≤Z(T) and thus [P,φ]=[P,φ,φ]=1 by [AKO11, Lemma A.2]. Recall that T is strongly closed and so, in particular, T is fully centralized and CF(T) is saturated. Thus, Alperin’s Fusion Theorem [AKO11, Theorem I.3.6] yields that CF(T) is the fusion system of a p-group and T∈Fq.
Assume now that there exists U∈Ec with U∈Fq. Choose such U of maximal order. By Lemma 2.6, Ec is closed under F-conjugacy. The set Fq is by definition closed under F-conjugacy. So we may assume U∈Ff. As T∈Fq, we have U<T and thus U<P:=NT(U). Observe that P∈Ec. It follows therefore from the maximality of ∣U∣ that P∈Fq.
As U∈Ff and U∈Fq, the centralizer CF(U) is not the fusion system of a p-group. Hence, by Alperin’s fusion theorem, there exists V∈CF(U)c such that AutCF(U)(V) is not a p-group. One observes easily that CF(U) is weakly normal in NF(U). Thus, using Lemma 2.6, we see that we can replace V by any NF(U)-conjugate of V. Therefore, we may assume that UV∈NF(U)f. Then by Lemma 2.14, NF(UV)=NNF(U)(UV) is a constrained fusion system and NE(U) is normal in NF(UV). Hence, using Theorem III.5.10 and Theorem II.7.5 in [AKO11] in combination with Lemma 2.8(a), we see that there exists a model G of NF(UV) and a normal subgroup N of G which is a model for NE(U). As U is a normal centric subgroup of NE(U), using [AKO11, Theorem III.5.10] again, we see that U⊴N and CN(U)≤U. Since P=NT(U)≤N, it follows that
[TABLE]
Hence, CG(U) normalizes P and
[TABLE]
This shows Op(CG(U))≤CG(P).
Notice that P is normal in the Sylow p-subgroup S0:=NS(UV)=NNS(U)(UV) of G. Hence, CS0(P) is a Sylow p-subgroup of CG(P) and FCS0(P)(CG(P)) is a saturated subsystem of CF(P). As P∈Fq, it follows from Lemma 2.7 that FCS0(P)(CG(P))=FCS0(P)(CS0(P)). Thus, a theorem of Frobenius [Lin07, Theorem 1.4] yields that CG(P)=CS0(P)Op′(CG(P)). On the other hand, as G is of characteristic p, Lemma 2.8(b) gives that CG(P) is of characteristic p, which implies Op′(CG(P))=1. Hence, CG(P)=CS0(P) is a p-group. As Op(CG(U))≤CG(P), it follows that CG(U) is a p-group. However, every element of AutCF(U)(V) is a morphism in NF(UV) centralizing U and thus realized by conjugation with an element of CG(U). This contradicts the assumption that AutCF(U)(V) is not a p-group.
∎
In the proof of Theorem A, we will use Lemma 2.36 in the form of the following lemma.
Lemma 2.37**.**
Let E be a normal subsystem of F over T≤S. Then E and CF(E) centralize each other in F. Moreover, setting E:=E∗CF(E), the following hold:
(a)
E* is a normal subsystem of F.*
(b)
Ecr={P1P2:P1∈Ecr,P2∈CF(E)cr}.
(c)
CS(E)⊆CS(E)* and Ecr⊆Ec⊆Fq.*
Proof.
(a,b) It follows from Proposition 2.35 or from a direct argument using Lemma 2.21 that E and CF(E) centralize each other in F. In particular, (a) holds by Lemma 2.23. It follows now from Lemma 2.19 that E is an internal central product of E and CF(E) not only in our definition above, but also in the sense of [Hen17, Definition 2.9]. Hence, (b) follows from [Hen17, Lemma 2.10(a)].
(c) Note that E⊆E⊆CF(CS(E)). Thus, by the characterization of CS(E) as the largest subgroup of S containing E in its centralizer (cf. [Hen18, Theorem 1]), we have CS(E)⊆CS(E)⊆TCS(E). As E is a subsystem over TCS(E), Lemma 2.36 gives therefore that Ecr⊆Ec⊆Fq.
∎
3. Partial groups and localities
The purpose of this section is to recall some basic definitions and background results on partial groups and localities, and to prove some more specialized results needed in the proofs of our main theorems.
3.1. Partial groups
For any set X write W(X) for the free monoid on X. Thus, an element
of W(X) is a finite sequence of (or word in) the elements of X, and the multiplication in
W(X) consists of concatenation of words. The concatenation of words v1,…,vk∈W(X) is denoted by v1∘v2∘⋯∘vk. The length of the word
(x1,⋯,xn) is n. The empty word is the word ∅ of length 0. We make no
distinction between X and the set of words of length 1.
Definition 3.1**.**
Let L be a non-empty set, and let D be a subset of W(L) such that:
(1)
L⊆D (i.e. D contains all words of length 1), and
[TABLE]
Notice that since L is non-empty, (1) implies that also the empty word is in D. A mapping Π:D→L is a (partial) product if:
(2)
Π restricts to the identity map on L, and
(3)
u∘v∘w∈D⟹u∘Π(v)∘w∈D, and
Π(u∘v∘w)=Π(u∘Π(v)∘w).
An inversion on L consists of an involutory bijection x↦x−1 on L,
together with the mapping w↦w−1 on W(L) given by
[TABLE]
We say that L, with the product Π:D→L and inversion (−)−1, is a
partial group if:
(4)
w∈D⟹w−1∘w∈D and Π(w−1∘w)=1,
where 1 denotes the image of the empty word under Π. Notice that (1) and (4) yield
w−1∈D if w∈D. As (w−1)−1=w, condition (4) is symmetric.
For the remainder of this section let L be a partial group with product Π:D→L defined on the domain D⊆W(L).
As above we will always write 1 for the image of the empty word under Π. Moreover, given a word v=(f1,…,fn)∈D, we write sometimes f1f2…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, for any partial subgroup H of L, we have ∅∈W(H)∩D and thus 1=Π(∅)∈H. 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 [Che22, 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.
Notation 3.2**.**
For any g∈L, the set of elements x∈L with (g−1,x,g)∈D is denoted by D(g). Thus, D(g) is the set of elements x∈L for which the conjugate xg:=Π(g−1,x,g) is defined. Given g∈L and X⊆D(g), we set Xg:={xg:x∈X}.
Lemma 3.3**.**
[Che22, Lemma 1.6(c)]**
For every g∈L, the map cg:D(g)→D(g−1),x↦xg is well-defined and a bijection with inverse map cg−1.
Definition 3.4**.**
Define the normalizer and the centralizer of a subset X of L by
[TABLE]
and
[TABLE]
If H⊆L and X⊆L, then set NH(X)=NL(X)∩H and CH(X)=CL(X)∩H. Set moreover
[TABLE]
Definition 3.5**.**
•
A partial subgroup N of L is called a partial normal subgroup of L if, for all g∈L and all n∈N∩D(g), we have ng∈N. We write N⊴L to indicate that N is a partial normal subgroup of L.
•
A partial subgroup H of L is called a partial subnormal subgroup if there exists a sequence H=H0⊴H1⊴⋯⊴Hn=L, which is then called a subnormal series of H in L. Write H⊴⊴L to indicate that H is subnormal in L.
If L is a group (i.e. if W(L)=D), then notice that every partial subgroup of L is a subgroup, every partial normal subgroup of L is a normal subgroup, and every partial subnormal subgroup of L is a subnormal subgroup in the usual sense.
Lemma 3.6**.**
(a)
If K⊴⊴H and H⊴⊴L, then K⊴⊴L.
(b)
If H and K are partial subnormal subgroups of L, then H∩K is a partial subnormal subgroup of L. Hence, the intersection of a finite number of partial subnormal subgroups is a partial subnormal subgroup.
(c)
If H is a partial subgroup of L and K⊴⊴L, then K∩H⊴⊴H. In particular, if in addition K⊆H, then K⊴⊴H.
Proof.
Clearly (a) holds. Let H be a partial subgroup of L and K⊴⊴L. Then there exists a subnormal series K=K0⊴K1⊴⋯⊴Kn=L. Observe that
[TABLE]
is a subnormal series of K∩H in H. So K∩H⊴⊴H and (c) holds. If H is also subnormal in L, then it follows thus from (a) that K∩H⊴⊴L and (b) holds.
∎
3.2. Localities
Localities are partial groups with some additional structure. To give the precise definition we will use the following notation.
Notation 3.7**.**
Let Δ be a set of subgroups of L. Write DΔ for the set of words (f1,…,fn)∈W(L) for which there exist P0,…,Pn∈Δ with
(*)
Pi−1⊆D(fi) and Pi−1fi=Pi for all i=1,…,n.
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.
The following definition of a locality was given in [Hen19, Definition 5.1]. As argued in the same paper in Remark 5.2, it is equivalent to the definition of a locality given in [Che13, Definition 2.9] and [Che22, Definition 2.7].
Definition 3.8**.**
The triple (L,Δ,S) is called a locality if the partial group L is finite as a set, S is a p-subgroup of L and Δ is a non-empty set of subgroups of S such that the following conditions hold:
(L1)
S is maximal with respect to inclusion among the p-subgroups of L.
(L2)
D=DΔ.
(L3)
The set Δ is closed under passing to L-conjugates and overgroups in S.
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.
The condition that Δ is closed under passing to L-conjugates in S means here more precisely that, given an element P∈Δ, we have Pg∈Δ for every g∈L with P⊆D(g) and Pg⊆S. As we will see next, many natural examples of localities can be constructed from groups.
Example 3.9**.**
Let M be a finite group and S∈Sylp(M). Let Γ be a non-empty collection of subgroups of S such that Γ is FS(M)-closed in the sense of Definition 2.5. Set
[TABLE]
Let D be the set of tuples (g1,…,gn)∈W(M) such that there exist P0,P1,…,Pn∈Γ with Pi−1gi=Pi for all i=1,…,n. Then LΓ(M) forms a partial group whose product is the restriction of the multivariable product on 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.
More generally, if w=(g1,…,gn)∈W(L), write Sw for the set of all s∈S such that there exists a word (s0,s1,…,sn)∈W(S) with s0=s, si−1∈D(gi) and si−1gi=si for all i=1,…,n.
We will now give a summary of some basic properties of localities.
Lemma 3.11** (Important properties of localities).**
Suppose (L,Δ,S) is a locality. The following hold:
(a)
If P∈Δ, then NL(P) is a subgroup of L. Moreover, NN(P) is a normal subgroup of NL(P) for any partial normal subgroup N of L.
(b)
If P∈Δ and g∈L with P⊆Sg, then Q:=Pg∈Δ. Moreover, NL(P)⊆D(g) and
[TABLE]
is an isomorphism of groups. For any partial normal subgroup N, the map cg induces an isomorphism of groups from NN(P) to NN(Q). For x∈NL(P),
[TABLE]
In particular, setting AutN(X):={cn∣X:n∈NN(X)} for every X∈Δ,
[TABLE]
(c)
Let w=(g1,…,gn)∈D via (X0,…,Xn). Then
[TABLE]
is a group isomorphism NL(X0)→NL(Xn).
(d)
For every g∈L, Sg∈Δ. In particular, Sg is a subgroup of S. Moreover, Sgg=Sg−1.
(e)
Let w∈W(L). Then Sw is a subgroup of S. Moreover, Sw∈Δ if and only if w∈D. If so then Sw≤SΠ(w).
Proof.
(a,c) The first part of (a) and property (c) correspond to the statements (a) and (c) in [Che22, Lemma 2.3]. It is easy to see that the intersection of a partial normal subgroup with a subgroup H is always a normal subgroup of H, so the second part of (a) holds as well.
is an isomorphism of groups provided Q:=Pg∈Δ. With the definition of a locality given above, it is however immediate from (L3) that Q∈Δ, so the first part of (b) holds. Let now N be a partial normal subgroup of L. Then NN(P)g⊆NL(Q)∩N=NN(Q). By (d), Q≤Sg−1 and Qg−1=P, so a symmetric argument gives NN(Q)g−1⊆NN(P). Using Lemma 3.3, conjugating on both sides by g gives NN(Q)⊆NN(P)g. Hence, NN(Q)=NN(P)g as required. For every x∈NL(P), we have (g−1,x,g)∈D via Q,P,P,Q. Therefore, it follows from (c) and Lemma 3.3 that (cg∣P)−1(cx∣P)(cg∣P)=(cg−1∣Q)(cx∣P)(cg∣P)=cxg∣Q. In particular, since we have seen that the elements of NN(Q) are precisely the elements of the form xg with x∈NN(P), this shows (cg∣P)−1AutN(P)(cg∣P)=AutN(Q). Hence, (b) holds.
(d) This is true by [Che22, Proposition 2.5(a),(b)].
(e) If w∈W(L), then it is shown in [Che22, Corollary 2.6] that Sw≤S and Sw∈Δ if and only if w∈D. It follows from (c) that Sw⊆SΠ(w) if w∈D. Hence (e) holds.
∎
We will use from now on without further reference that, for every locality (L,Δ,S) and every g∈L, the subset Sg is an element of Δ and thus a subgroup of S. Moreover, cg:Sg→S,x↦xg is an injective group homomorphism. We will also use that, for every P∈Δ, the normalizer NL(P) is a subgroup of L, and that Pg∈Δ for every g∈L with P⊆Sg.
Definition 3.12**.**
Let (L+,Δ+,S) be a locality with a partial product Π+:D+⟶L+. Suppose that ∅=Δ⊆Δ+ such that Δ is closed with respect to taking L+-conjugates and overgroups in S. Set
[TABLE]
Note that D:=DΔ⊆D+∩W(L+∣Δ) and, by Lemma 3.11(c), Π+(w)∈L∣Δ for all w∈D. We call L:=L+∣Δ together with the partial product Π+∣D:D⟶L and the restriction of the inversion map on L+ to L the restriction of L+ to Δ.
With the hypothesis as in the preceding definition, it turns out that the restriction of L+ to Δ forms a partial group. Indeed, the triple (L+∣Δ,Δ,S) is a locality (cf. [Che13, Lemma 2.21(a)] and [Hen21b, Lemma 2.23(a),(c)]). The reader should note that, in the definition of the restriction, Sf and DΔ are a priori formed inside of L+. However, as argued in [Hen21b, Lemma 2.23(b)], it does not matter whether one forms Sf and DΔ inside of L+ or inside of the partial group L+∣Δ.
We repeat the following definition from [Che22, Lemma 2.13].
Definition 3.13**.**
If (L,Δ,S) is a locality, then set
[TABLE]
Lemma 3.14**.**
If (L,Δ,S) is a locality, then Op(L) is the unique largest subgroup of S which is a partial normal subgroup of L. Moreover, a subgroup P≤S is a partial normal subgroup of L if and only if NL(P)=L.
Proof.
This is proved in [Hen21a, Lemma 3.13] based on [Che22, Lemma 2.13].
∎
3.3. Fusion systems of localities
Given a locality (L,Δ,S), a fusion system FS(L) is naturally defined. In fact, we have the following more general definition.
Definition 3.15**.**
Let (L,Δ,S) be a locality and H a partial subgroup of L. By FS∩H(H) we denote the fusion system over S∩H generated by all the maps of the form
[TABLE]
with h∈H. In particular, FS(L) is the fusion system over S generated by the maps cg:Sg→S with g∈L. If F=FS(L), then (L,Δ,S) is said to be a locality over F.
Note that we use implicitly in the above definition that, by Lemma 3.11(b),(d), for any g∈L, the subset Sg is a subgroup in Δ and cg induces an injective group homomorphism from Sg to S. In particular, if H is a partial subgroup, then for any h∈H, Sh∩H is a subgroup of S and ch induces an injective group homomorphism from Sh∩H to S∩H.
Definition 3.16**.**
Let F be a fusion system over S and let Δ be a set of subgroups of 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 Δ is F-closed (in the sense of Definition 2.5) and FS(L)=F∣Δ.
If (L,Δ,S) is a locality, then notice that Δ is FS(L)-closed by axiom (L3) in Definition 3.8. Moreover, as Sg∈Δ for all g∈L by Lemma 3.11(d), we have FS(L)∣Δ=FS(L). Hence (L,Δ,S) is FS(L)-natural. We have the following lemma.
Lemma 3.17**.**
Suppose F is a fusion system. If (L,Δ,S) is a locality over F or, more generally, an F-natural locality, then the following hold:
(a)
If φ∈HomF(P,R) for some object P∈Δ and some subgroup R≤S, then R∈Δ and there exists g∈L with φ=cg∣P. In particular Δ is F-closed.
(b)
If an object Q∈Δ is fully F-normalized, then NS(Q)∈Sylp(NL(Q)).
(c)
NF(P)=FNS(P)(NL(P))* for every P∈Δ.*
Proof.
Since F∣Δ=FS(L), property (a) follows from Lemma 3.11(c) and the fact that Δ is closed under passing to L-conjugates and overgroups in S. Property (b) is proved in [Che13, Proposition 2.18(c)]. Using (a) and the fact that Δ is overgroup-closed in S, one sees easily that (c) holds.
∎
3.4. Products in localities
Given subsets M and N of a partial group L with product Π:D→L, we set
[TABLE]
More generally, if N1,…,Nk⊆L, set
[TABLE]
Remark 3.18**.**
If M and N are partial groups (or more generally, if 1∈M∩N), then M and N are both contained in MN. To see this one uses that Π(f,1)=f=Π(1,f) for alle f∈L by [Che22, Lemma 1.4(c)].
The most important properties of products of partial normal subgroups are summarized in the following theorem.
Theorem 3.19**.**
Let (L,Δ,S) be a locality and let N1,…,Nk be partial normal subgroups of L. Then the following hold:
(a)
N1N2⋯Nk* is a partial normal subgroup of L with*
[TABLE]
(b)
N1N2⋯Nk=(N1⋯Nl)(Nl+1⋯Nk)* for every 1≤l<k.*
(c)
N1N2⋯Nk=N1σN2σ⋯Nkσ* for every permutation σ∈Sk.*
(d)
For every g∈N1…Nk there exists (n1,…,nk)∈D with ni∈Ni for every i=1,…,k, g=Π(n1…nk) and Sg=S(n1,…,nk).
Proof.
By [Hen15, Theorem 2], N1N2⋯Nk⊴L and parts (b),(c),(d) hold. If M,N⊴L, then [Hen15, Theorem 1] says (MN)∩S=(M∩S)(N∩S). So it follows from (b) and induction on k that the second statement in (a) holds.
∎
Corollary 3.20**.**
Let (L+,Δ+,S) and (L,Δ,S) be localities such that L=L+∣Δ. Let Ni+⊴L+ and Ni:=Ni+∩L for i=1,…,k. Then
[TABLE]
where N1+N2+⋯Nk+ denotes the product of N1+,N2+,…,Nk+ in L+.
Proof.
Let Π+:D+→L+ and Π:D→L denote the partial products on L+ and L respectively. Observe that N1N2⋯Nk⊆(N1+N2+⋯Nk+)∩L, as Ni⊆Ni+ for i=1,2,…,k and Π=Π+∣D. Let now f∈(N1+N2+⋯Nk+)∩L. Then by Theorem 3.19(d), there exists u=(n1,…,nk)∈(N1+×N2+×⋯×Nk+)∩D+ with f=Π+(u) and Sf=Su. Since f∈L, it follows Su=Sf∈Δ and thus u∈D. In particular, u∈W(L) and thus ni∈Ni+∩L=Ni for i=1,2,…,n. As Π+∣D=Π, it follows f=Π(u)∈N1N2⋯Nk.
∎
We will now look at products of partial normal subgroups with subgroups of S. The following general lemma will be useful.
If r∈NL(S) and f∈L, then (r,f), (f,r) and (r−1,f,r) are words in D. Moreover,
[TABLE]
Notice that the lemma above implies RN={Π(r,n):r∈R,n∈N} and NR={Π(n,r):n∈N,r∈R} for N⊆L and R⊆NL(S).
Lemma 3.22**.**
Let N⊴L and R≤S. Then NR=RN is a partial subgroup with (NR)∩S=(N∩S)R. Moreover, if R0⊴R≤S, then NR0⊴NR.
Proof.
By [Hen21a, Lemma 3.15] NR=RN is a partial subgroup of L and by the Dedekind lemma [Che22, Lemma 1.10], we have (NR)∩S=(N∩S)R. To prove the second part of the claim, let R0⊴R≤S, n∈N, r∈R and x∈NR0 such that u=((nr)−1,x,(nr))∈D. By Lemma 3.21, Snr=S(n,r) and S(nr)−1=Sr−1n−1=S(r−1,n−1). Hence, v=(r−1,n−1,x,n,r)∈D via Su and xnr=Π(u)=Π(v)=Π(r−1,xn,r). As NR0 is a partial subgroup, we have xn∈NR0, i.e. there exist m∈N and r0∈R0 such that xn=mr0. Notice that w=(r−1,m,r,r−1,r0,r)∈D via Smr. Hence, xnr=Π(r−1,m,r0,r)=Π(w)=Π(mr,r0r)∈NR0 since N⊴L and R0⊴R.
∎
3.5. Homomorphisms of partial groups
After introducing some basic definitions, we will outline in this subsection how partial normal subgroups correspond to kernels of homomorphisms of partial groups. This connection will play a crucial role in the proof of our main theorem.
Definition 3.23**.**
Let L and L′ be partial groups with products Π:D→L and Π′:D′→L′ respectively. Let α:L→L′ be a map.
•
Write α∗ for the map
[TABLE]
induced by α.
•
The map α is called a homomorphism of partial groups if Dα∗⊆D′ and Π(w)α=Π′(wα∗).
•
If α is a homomorphism of partial groups such that Dα∗=D′, then α is called a projection of partial groups. If α is in addition bijective, then α is called an isomorphism of partial groups.
•
An isomorphism of partial groups from L to itself is called an automorphism of L. Write Aut(L) for the set of automorphisms of L. If S⊆L write Aut(L,S) for the set of all α∈Aut(L) with Sα=S.
•
Suppose L and L′ contain both the same subgroup S and, for some set Δ, the triples (L,Δ,S) and (L′,Δ,S) are localities. Then a rigid isomorphism from (L,Δ,S) to (L′,Δ,S) is an isomorphism α:L→L′ of partial groups such that α restricts to the identity on S.
•
If α:L→L′ is a homomorphism of partial groups and 1′ denotes the identity in L′, then
[TABLE]
is the kernel of α.
If L and L′ are partial groups and α:L→L′ is a homomorphism of partial groups, then by [Che22, Lemma 1.14], ker(α) is a partial normal subgroup of L. The other way around, if (L,Δ,S) is a locality and N⊴L, then one can construct another partial group L/N and a homomorphism L→L/N with kernel N. To make this more precise, call a subset of L of the form
[TABLE]
with f∈L a coset of N in L. Writing L/N for the set of maximal (with respect to inclusion) cosets of L, by [Che22, Proposition 3.14(d)], L/N forms a partition of L. Moreover, if
[TABLE]
is the map sending every element f∈L to the unique maximal coset of L containing f, then by [Che22, Lemma 3.16], there is a unique partial group structure on L/N such that the map α becomes a projection of partial groups. The map α is called the natural projection. As N=N1 is itself a maximal coset, we have ker(α)=N.
Setting L:=L/N, we will use a “bar notation” similarly as for groups, i.e. for any element or subset X of L, the image of X in L under the map α as above is denoted by X. By [Che22, Corollary 4.5], (L,Δ,S) is a locality, where Δ:={P:P∈Δ}.
3.6. Proper localities and localities of objective characteristic p
Definition 3.24**.**
•
A locality (L,Δ,S) is said to be of objective characteristic p, if NL(P) is of characteristic p for every P∈Δ.
•
A locality (L,Δ,S) is called a proper locality if it is of objective characteristic p, the fusion system FS(L) is saturated and FS(L)cr⊆Δ⊆FS(L)s.
As detailed in [Hen21a, Theorem 3.26], in the definition of a proper locality the assumption that FS(L) is saturated is unnecessary if one uses a different definition of centric radical subgroups. However, this subtlety does not play a role for the arguments in this paper, so we define proper localities as above and stick to the usual definition of centric radical subgroups as for example given in [AKO11, Definition 3.1].
If F is a saturated fusion system over S and Δ is a set of subgroups of S, then under certain assumptions on Δ there exists a proper locality (L,Δ,S) over F. To make this more precise, we need the following definition.
Definition 3.25**.**
Let F be a fusion system over S.
•
A subgroup P of S is called subcentric (or more precisely F-subcentric), if Op(NF(Q)) is F-centric for every fully F-normalized F-conjugate Q of P. The set of F-subcentric subgroups of S is denoted by Fs.
•
A subcentric locality over F is a proper locality (L,Δ,S) over F with Δ=Fs.
As remarked before, whenever (L,Δ,S) is a locality over a fusion system F, the set Δ is F-closed. The existence of a proper locality (L,Δ,S) over F implies in addition that Fcr⊆Δ⊆Fs, where the latter inclusion was shown in [Hen19, Lemma 6.1]. The following theorem states basically that the converse of this statement holds for a saturated fusion system F.
Theorem 3.26**.**
Let F be a saturated fusion system over S. If Δ is an F-closed collection of subgroups of S with Fcr⊆Δ⊆Fs, then there exists a proper locality (L,Δ,S) over F which is unique up to a rigid isomorphism. The set Fs is F-closed, so in particular there exists a subcentric locality over F which is unique up to a rigid isomorphism.
Proof.
For Δ=Fc this was shown in [Che13]; a proof which does not rely on the classification of finite simple groups can be given through [Oli13] and [GL16]. Using that the theorem is true for Δ=Fc, a proof of the general statement is given in [Hen19, Theorem A].
∎
Definition 3.27**.**
We call a proper locality (L,Δ,S) over a fusion system F a subcentric locality if Δ=Fs.
3.7. Varying the object sets of proper localities
The proper localities over a fixed fusion system are all closely connected as the following theorem shows. If L is a partial group we write N(L) for the set of partial normal subgroups of L.
Theorem 3.28**.**
Let (L,Δ,S) be a proper locality over a fusion system F and let Δ+ be an F-closed collection of subgroups of S such that Δ⊆Δ+⊆Fs.
(a)
There exists a proper locality (L+,Δ+,S) over F such that L=L+∣Δ. Moreover, (L+,Δ+,S) is unique up to an isomorphism which restricts to the identity on L; that is, if (L+,Δ+,S) is another linking locality over F with L+∣Δ=L, then there exists an isomorphism of partial groups β:L+→L+ which is the identity on L.
(b)
If (L+,Δ+,S) is a linking locality over F with L+∣Δ=L, then the map
[TABLE]
is well-defined and an inclusion-preserving bijection such that ΦL+,L−1 is also inclusion-preserving.
(c)
If N+⊴L+ and N:=L∩N+⊴L such that FS∩N(N) is F-invariant, then FS∩N+(N+)=FS∩N(N).
(d)
The set Fs of subcentric subgroups of S is F-closed and contains Δ. In particular, there exists a subcentric locality (Ls,Fs,S) over F with Ls∣Δ=L, and such Ls is unique up to an isomorphism which restricts to the identity on L.
Proof.
Part (a) follows from [Hen19, Theorem 7.2(a),(b)] or [Che15, Theorem A1]; part (d) follows then from Proposition 3.3 and Lemma 6.1 in [Hen19]. Part (b) was first proved in [Che15, Theorem A2]; proofs of (b) and (c) can be found in [Hen21b, Theorem C(a),(b)].
∎
As the next lemma shows, there is some flexibility in choosing object sets of proper localities even if the underlying partial group remains fixed.
Lemma 3.29**.**
Let (L,Δ,S) be a locality over F and let X≤S with L=NL(X). Set
[TABLE]
Then Δ0 and Δ~ are F-closed. Moreover, for every F-closed collection Δ′ with Δ0⊆Δ′⊆Δ~ the following properties hold:
(a)
(L,Δ′,S)* is a locality over F.*
(b)
(L,Δ,S)* is of objective characteristic p if and only if (L,Δ′,S) is of objective characteristic p.*
(c)
(L,Δ,S)* is proper if and only if (L,Δ′,S) is proper.*
Proof.
As Δ is closed under passing to L-conjugates in S and since L=NL(X), one sees that the sets Δ0 and Δ~ are closed under passing to L-conjugates in S and thus also closed under F-conjugacy. Moreover, the fact that Δ is overgroup-closed in S implies that Δ0 and Δ~ are overgroup-closed in S and Δ⊆Δ~. So Δ0 and Δ~ are F-closed with Δ0⊆Δ⊆Δ~.
(a) As Δ0⊆Δ⊆Δ~, we have
[TABLE]
If w=(f1,…,fk)∈DΔ~ via P0,P1,…,Pk∈Δ~, then w∈DΔ0 via P0X,P1X,…,PkX. So DΔ~⊆DΔ0 and thus DΔ0=D=DΔ~. By assumption, Δ0⊆Δ′⊆Δ~ and thus D=DΔ0⊆DΔ′⊆DΔ~=D, i.e. DΔ′=D. So (L2) holds for (L,Δ′,S) in place of (L,Δ,S). As Δ′ is F-closed and F=FS(L), it follows that Δ′ is also closed under passing to L-conjugates and overgroups in S. Since (L,Δ,S) is a locality, S is a maximal p-subgroup of L. Thus, (L,Δ′,S) is a locality. Notice also that the definition of FS(L) does not depend on Δ. Hence (L,Δ′,S) is a locality over F and (a) holds.
(b) As Δ0⊆Δ⊆Δ~ and Δ0⊆Δ′⊆Δ~, we have
[TABLE]
and
[TABLE]
Suppose now that (L,Δ0,S) is of objective characteristic p. Then for every P∈Δ~, the normalizer NL(PX) is a group of characteristic p as PX∈Δ0. Since L=NL(X), it follows from Lemma 2.8(b) that NL(P)=NNL(PX)(P) is of characteristic p. This shows that (L,Δ~,S) is of objective characteristic p. Hence all the implications above are equivalences and thus (b) holds.
(c) Assume that F=FS(L) is saturated and observe that X⊴FS(L). Hence, [AKO11, Proposition I.4.5] gives X≤P for all P∈FS(L)cr. So if FS(L)cr⊆Δ′⊆Δ~, then FS(L)cr⊆Δ0⊆Δ. Similarly, if FS(L)cr⊆Δ, then also FS(L)cr⊆Δ0⊆Δ′. This shows that Fcr⊆Δ if and only if Fcr⊆Δ′. Hence (c) follows from (b).
∎
Using Lemma 3.29, we are now able to prove the following lemma.
Lemma 3.30**.**
Let (L,Δ,S) be a subcentric locality over F and T≤S strongly F-closed. Then (NL(T),NF(T)s,S) is a subcentric locality over NF(T) and CL(T)⊴NL(T) with CF(T)=FCS(T)(CL(T)).
Proof.
By [Hen21a, Lemma 3.35(b)], (NL(T),Δ,S) is a linking locality over NF(T), CL(T)⊴NL(T) and CF(T)=FCS(T)(CL(T)). As Δ=Fs, it follows moreover from [Hen21a, Lemma 3.39] that
[TABLE]
It follows thus from Lemma 3.29 applied with NL(T) and T in the roles of L and X that (NL(T),NF(T)s,S) is a proper locality and thus a subcentric locality over NF(T).
∎
3.8. Index prime to p, p-power index, simple and quasisimple localities
Definition 3.31**.**
Let (L,Δ,S) be a locality and N a partial normal subgroup of L. Set T:=S∩N.
•
Set
[TABLE]
and define
[TABLE]
•
Write Op(L) for OLp(L) and Op′(L) for OLp′(L).
•
We say that K⊴L has p-power index in N if K∈KN. Similarly, we say that K has index prime to p in N if K∈KN′.
It is shown in [Che15, Proposition 7.2] or [Hen21a, Lemma 7.2] that OLp(N) has p-power index in N. Clearly, OLp′(N) has index prime to p in N.
is a partial normal subgroup of L. So the following definition makes sense.
Definition 3.32**.**
•
A partial group L is called simple if there are exactly two partial normal subgroups of L (namely {1} and L).
•
If (L,Δ,S) is a proper locality, then L is called quasisimple if L=Op(L) and L/Z(L) is simple.
Notice that L={1} for every simple partial group L.
Lemma 3.33**.**
Let (L,Δ,S) be a proper locality which is quasisimple. Then S is non-abelian, every partial subnormal subgroup of L is either equal to L or contained in Z(L), and L=Op′(L).
Proof.
By [Hen21a, Lemma 7.10], S is non-abelian and every partial subnormal subgroup of L is either equal to L or contained in Z(L). As S⊆Op′(L)⊴L, this implies Op′(L)=L.
∎
3.9. Commuting partial normal subgroups and F∗(L)
Definition 3.34**.**
If L is a partial group with product Π:D→L and X,Y⊆L, then we say that X commutes with Y if for all x∈X and y∈Y the following implication holds:
[TABLE]
If (L,Δ,S) is a locality and N⊴L, then by [Hen21a, Corollary 5.11], there is a (with respect to inclusion) largest partial normal subgroup of L which commutes with N. We denote it by N⊥. If (L,Δ,S) is a proper locality, then an a priori different, but equivalent definition was given in [Che16, Definition 5.5]. The fact that both definitions are equivalent is shown in [Hen21a, Corollary 9.9].
Definition 3.35**.**
Let (L,Δ,S) be a proper locality and N⊴L.
•
The intersection of all partial normal subgroups N of L with N⊥⊆N and Op(L)⊆N is denoted by F∗(L) and called the generalized Fitting subgroup of L.
•
Set E(L):=OLp(F∗(L)) and call E(L) the layer of L.
It is shown in [Hen21a, Theorem 2] that F∗(L) itself has the property that F∗(L)⊥⊆F∗(L) and Op(L)⊆F∗(L); see also [Che16, Lemma 6.7, Corollary 6.9]. If (L,Δ,S) is a subcentric locality or a regular locality as defined in the next section and N⊴L, then N⊥⊆N if and only if CS(N)⊆N (cf. [Hen21a, Lemma 9.21, Corollary 10.10]).
3.10. Regular localities
Let F be a saturated fusion system over S and let (Ls,Fs,S) be a subcentric locality over F. As stated in Theorem 3.26, such a subcentric locality over F exists always and is unique up to a rigid isomorphism (with rigid isomorphisms introduced in Definition 3.23). This implies that the set δ(F) defined below depends only on F and not on Ls (cf. [Hen21a, Lemma 10.2]).
The set δ(F) is F-closed and Fcr⊆δ(F)⊆Fs. In particular (by Theorem 3.26) there exists a regular locality over F, which is unique up to a rigid isomorphism.
It is one of the main advantages of regular localities that partial normal subgroups have very nice properties. We summarize this in the next theorem. Part (b) will be crucial in the proof of Theorem A
Theorem 3.38**.**
Let (L,Δ,S) be a regular locality over F, let N⊴L, T:=N∩S and E:=FT(N).
(a)
The subsystem E is saturated, (N,δ(E),T) is a regular locality over E and
[TABLE]
(b)
CL(N)=N⊥⊴L.
(c)
We have TCS(T)∈Δ and E⊴F.
Proof.
Parts (a) and (b) are shown in [Che16, Theorem C] and in [Hen21a, Theorem 3]. In particular, E is saturated, and TCS(N)∈Δ since T∈δ(E). This implies TCS(T)∈Δ as Δ is overgroup-closed in S. By the saturation axioms, every F-automorphism of T extends to an F-automorphism of TCS(T), which is then by Lemma 3.17(a) of the form cf∣TCS(T) with f∈NL(TCS(T))⊆NL(T). This implies
[TABLE]
By [Hen21a, Theorem 10.16(f)], cf∣T induces an automorphism of E for every f∈NL(T). Hence, every element of AutF(T) induces an automorphism of E. The assertion follows now from [Hen21a, Lemma 3.28].
∎
By induction on the length of a subnormal series one obtains the following corollary to Theorem 3.38.
Let (L,Δ,S) be a regular locality over F, H⊴⊴L, T:=H∩S and E:=FT(H). Then E is saturated and subnormal in F, and (H,δ(E),T) is a regular locality over E. Moreover, PCS(H)∈Δ for every P∈δ(E).
Since every partial subnormal subgroup can be regarded as a regular locality, the following definition makes sense.
Definition 3.40**.**
A component of L is a partial subnormal subgroup K of L such that K is quasisimple. We write Comp(L) for the set of components of L.
As shown in [Hen21a, Theorem 4, Theorem 11.18], there is a theory of components of regular localities akin to the theory of components of finite groups. For example, if (L,Δ,S) is a regular locality and K1,…,Kr∈Comp(L) are pairwise distinct components of L, then the product K1K2⋯Kr is a partial normal subgroup of F∗(L) which is an internal central product of K1,…,Kr in the sense of [Hen21a, Definition 4.1]. In particular, the order of the factors in the product K1K2⋯Kr does not matter. Thus, given C⊆Comp(L), we may form ∏K∈CK⊴F∗(L). With the definition of the layer as in Definition 3.35, it turns out that F∗(L) is a central product of E(L) and Op(L) and that
[TABLE]
Indeed, in [Hen21a, Definition 11.8], the latter equation is used as the definition of E(L) in the case of regular localities; a somewhat similar definition is used in [Che16, Theorem 8.5]. It is then shown that E(L)⊴L and Op(F∗(L))=E(L) (cf. [Che16, Theorem 8.5] and [Hen21a, Lemma 11.18(a)]). Therefore, it makes sense to define E(L) for arbitrary proper localities as in Definition 3.35. We will use the stated properties of components, F∗(L) and E(L) later on to reprove results about components of fusion systems.
4. Partial normal subgroups and their products with p-subgroups
In this section we will state and prove some lemmas about partial normal subgroups which will be needed in the proofs of Theorem A and Theorem D.
Lemma 4.1**.**
Let (L,Δ,S) be a locality, N⊴L and T:=S∩N. Suppose
[TABLE]
Then the following hold:
(a)
L=D(f)* and cf∈Aut(L) for every f∈NL(T).*
(b)
Setting Γ:={P∈Δ:P≤T}, the triple (N,Γ,T) is a locality.
(c)
If (L,Δ,S) is of objective characteristic p, then (N,Γ,T) is of objective characteristic p.
Let (L,Δ,S) be a locality, N⊴L and T:=N∩S. Let Q∈Δ. Then there exists n∈N with NS(Q)≤Sn and NT(Qn)∈Sylp(NN(Qn)).
Proof.
By [Che22, Lemma 2.9], there exists g∈L such that NS(Q)≤Sg and NS(Qg)∈Sylp(NL(Qg)). By the Frattini Lemma and the Splitting Lemma [Che22, Corollary 3.11, Lemma 3.12], there exist n∈N and f∈NL(T) such that (n,f)∈D, g=nf and Sg=S(n,f). As NN(Qg) is a normal subgroup of NL(Qg), we have NT(Qg)=NS(Qg)∩NN(Qg)∈Sylp(NN(Qg)). By Lemma 3.11(b), cf:NL(Qn)→NL(Qg) is an isomorphism of groups which takes NN(Qn) onto NN(Qg). It follows that NT(Qg)f−1 is a Sylow p-subgroup of NN(Qn). Since f∈NL(T), we have NT(Qg)f−1≤NT(Qn). As NT(Qn) is a p-subgroup of NN(Qn), we conclude that NT(Qn)∈Sylp(NN(Qn)). Note that NS(Q)≤Sg=S(n,f)≤Sn.
∎
Lemma 4.3**.**
Let (L,Δ,S) be a locality of objective characteristic p. Suppose M and N are partial normal subgroups of L such that T:=M∩S=N∩S and TCS(T)Op(L)∈Δ. If FT(N)=FT(M) and M⊇N, then M=N.
Proof.
By the Frattini argument for localities [Che13, Corollary 4.8], we have L=NNL(T). So using the Dedekind Lemma for partial groups [Che22, Lemma 1.10], it follows M=NNM(T). As (L,Δ,S) is of objective characteristic p and P:=TCS(T)Op(L)∈Δ, Lemma 3.17(c) implies that G:=NL(P) is a model for NF(P). Since P⊴G and CS(P)≤P, it follows from Lemma 2.8(c) that CG(P)≤P. By [Che22, Lemma 3.5], NM(T) and NN(T) are contained NL(TCS(T)) and thus in G by Lemma 3.14. Notice also that T is normal in G as T≤P⊴G and T is strongly closed in FS(L) by [Che22, Lemma 3.1(a)]. Thus, M:=NM(T)=M∩G and N:=NN(T)=N∩G are normal subgroups of G with N≤M. As FT(M)=FT(N), we have AutM(T)=AutN(T) and so M=NCM(T). Notice that M is of characteristic p by Lemma 2.8(a). Moreover, [Che22, Lemma 3.1(c)] gives that T is a maximal p-subgroup of M and thus a normal Sylow p-subgroup of M. Therefore, CM(T)≤T≤N. So M=NCM(T)=N and M=NNM(T)=NM=N.
∎
Notice that Lemma 3.22 allows us to form the fusion system F(N∩S)R(NR) as in Definition 3.15 if N⊴L and R≤S. Therefore, we are able to formulate the following lemma.
Lemma 4.4**.**
Let (L,Δ,S) be a locality of objective characteristic p. Suppose M and N are partial normal subgroups of L such that M∩S≤T:=N∩S, TCS(T)Op(L)∈Δ and FT(MT)⊆FT(N). Then M⊆N.
Proof.
By Theorem 3.19, the subset MN is a partial normal subgroup of L with (MN)∩S=(M∩S)(N∩S)=T. Moreover, this theorem states that, given f∈MN, there exist m∈M and n∈N with (m,n)∈D, f=mn and Sf=S(m,n). For such f, m and n, the morphism cf∣Sf∩T:Sf∩T→T is the composition of cm∣Sf∩T with cn∣Sfm∩T. Thus, cf∣Sf∩T is a morphism in FT(N)⊇FT(MT) for all f∈MN. This shows FT(MN)⊆FT(N). By Remark 3.18, N⊆MN and so FT(N)⊆FT(MN). Hence, FT(MN)=FT(N) and Lemma 4.3 (applied with MN in place of M) implies MN=N. Using again Remark 3.18, this yields M⊆N as required.
∎
Corollary 4.5**.**
Let (L,Δ,S) be a locality of objective characteristic p. Let M and N be partial normal subgroups of L with T:=M∩S=N∩S and FT(M)=FT(N). If TCS(T)Op(L)∈Δ, then M=N.
Proof.
This follows from Lemma 4.4 applied twice, once with the roles of M and N reversed.
∎
Lemma 4.6**.**
Let (L,Δ,S) be a locality and N⊴L. Then the following hold:
(a)
The triple (NS,Δ,S) is a locality.
(b)
If P∈Δ such that NL(P) is of characteristic p, then NNS(P) is of characteristic p.
Proof.
For part (a) see [Che22, Lemma 4.1]; recall also that NS is a partial subgroup of L by Lemma 3.22. For the proof of (b) fix now P∈Δ such that NL(P) is of characteristic p. Then by Lemma 2.8(a), Op(NN(P))⊴NL(P) is of characteristic p. By [Hen21b, Lemma 6.1(b)], Op(NNS(P))=Op(NN(P)). It follows now from [MS12, Lemma 1.3] that NNS(P) is of characteristic p, i.e. (b) holds.
∎
Lemma 4.7**.**
Suppose (L,Δ,S) is a locality of objective characteristic p such that F=FS(L) is saturated. Let N⊴L and set T:=S∩N. If E:=FT(N) is normal in F, then NR∩S=TR and FTR(NR)⊆ER=(ER)F for every subgroup R of S.
Proof.
Let R≤S. We have seen already in Lemma 3.22 that (NR)∩S=(N∩S)R=TR. To ease notation, replacing R by RT, we assume from now on T≤R and thus (NR)∩S=R. Fix f∈NR and set P:=R∩Sf. We must show that cf∣P:P→R is a morphism in ER, since the fusion system FR(NR) is by definition generated by conjugation maps of this form. Write f=nr with n∈N and r∈R. By [Hen21b, Lemma 2.8], we have Sf=S(n,r)=Sn. Thus, cf=cn∣P∘cr∣Pn where Pn≤S∩(NR)=R. Note that cr∣Pn is clearly an element of ER. So to prove (a), it is enough to show that cn∣P:P→R is an element of ER.
By [Hen21b, Lemma 6.2], there exist k∈N, R1,R2,…,Rk∈Δ and (t,n1,n2,…,nk)∈D such that n=tn1n2⋯nk, Sn=S(t,n1,…,nk), t∈T and, for all i=1,…,k,
[TABLE]
Setting P0:=Pt and Pi:=Pi−1ni for i=1,…,k, we have cn∣P=(ct∣P)∘(cn1∣P0)∘⋯∘(cnk∣Pk−1). Clearly ct∣P is a morphism in ER as t∈T≤R. So it is sufficient to show that cni∣Pi−1:Pi−1→Pi is a morphism in ER for all i=1,…,k. To prove this fix i∈{1,…,k}.
Since Pi−1 and Pi are conjugate to P≤R under sequences of elements of the partial subgroup NR, we have ⟨Pi−1,Pi⟩≤(NR)∩S=R. So ⟨Pi−1,Pi⟩≤Qi:=Ri∩R. As (L,Δ,S) is a proper locality and Op(NNS(Ri))=Ri, it follows from [Hen21a, Lemma 6.3, Lemma 6.14] that Ri∩T∈Ec and thus Qi∩T=Ri∩T∈Ec. Note also that [Qi,NN(Ri)]≤[Ri,NN(Ri)]≤Ri∩N=Ri∩T=Qi∩T. In particular, NN(Ri)⊆NN(Qi). Moreover, as every element of NN(Ri) induces an E-automorphism of Ri∩T=Qi∩T, it follows that the automorphisms of Qi, which are obtained by conjugation by elements of Op(NN(Ri)), are in A∘(Qi) (cf. Definition 2.26). In particular, cni∣Qi∈A∘(Qi) extends cni∣Pi−1. Since Qi∩T=Ri∩T∈Ec, it follows that cni∣Pi−1 is a morphism in ER as was left to show.
∎
Lemma 4.8**.**
Let (L,Δ,S) be a locality of objective characteristic p such that F=FS(L) is saturated. Let M and N be partial normal subgroups of L and T:=S∩N. Assume that TCS(T)Op(L)∈Δ. Suppose moreover that FT(N) is saturated and that FS∩M(M) is a normal subsystem of FT(N) and of F. Then M⊆N.
Proof.
As EM:=FS∩M(M)⊴EN:=FT(N), we have in particular that S∩M≤T. Hence, by Lemma 4.4, it is sufficient to prove that FT(MT)⊆EN. By Lemma 4.7 applied with M and T in the role of N and R, we have FT(MT)⊆EMT=(EMT)F. By Remark 2.27, we have moreover EMT⊆EN. So the assertion follows.
∎
The following proposition can be regarded as a first step towards the proof of Theorem D.
Proposition 4.9**.**
Let (L,Δ,S) be a proper locality over F and let N be a partial normal subgroup of L. Set T:=S∩N and suppose that E=FT(N) is normal in F. Assume furthermore
[TABLE]
Then (ER)cr⊆Δ and ER=FTR(NR) for every subgroup R of S with CS(N)⊆RT. Moreover, (NS,Δ,S) is a proper locality over ES.
Proof.
Replacing R by RT we may assume that T≤R and CS(N)≤R. Recall from Lemma 3.22 that NR∩S=TR=R and NR is a partial subgroup. We know moreover from Lemma 4.6(a) that (NS,Δ,S) is a locality. Set X:=Op(L) and
[TABLE]
By Lemma 3.14, we have L=NL(X) and thus NS=NNS(X). So Lemma 3.29 yields firstly that (L,Δ~,S) is a proper locality and secondly that (NS,Δ,S) is a proper locality if and only if (NS,Δ~,S) is a proper locality. Moreover († ‣ 4.9) means that UCS(N)∈Δ~ for every U∈Ecr. Hence, replacing Δ by Δ~, we may assume from now on that
[TABLE]
Throughout we will use that CS(N)=CS(E) by [Hen19, Proposition 4], and that CS(E) is a strongly closed subgroup (cf. [Asc11, Chapter 6] or [Hen18, Theorem 1]). We will proceed in three steps.
Step 1: We show (ER)cr⊆Δ and A∘(P)≤AutN(P) for every P∈(ER)cr.
To prove this, fix P∈(ER)cr. As E is a normal subsystem of ER by Lemma 2.33, it follows from [AOV12, Lemma 1.20(d)] that P∩T∈Ecr. So (†† ‣ 4) implies
[TABLE]
As P is centric radical in ER and CS(E) is by Lemma 2.33 normal in ER, [AKO11, Proposition I.4.5] gives CS(E)≤P. Hence, Q≤P and thus P∈Δ. Because of the arbitrary choice of P, this shows (ER)cr⊆Δ.
It remains to show that A∘(P)≤AutN(P). By Lemma 4.2, there exists m∈N with NS(Q)≤Sm and NT(Qm)∈Sylp(NN(Qm)). Note that P≤NS(Q)≤Sm. By Lemma 4.7, we have moreover FR(NR)⊆ER. In particular, cm:Sm∩R→R is a morphism in ER and thus Pm∈(ER)cr. By Lemma 3.11(b), we have (cm∣P)−1AutN(P)(cm∣P)=AutN(Pm). Observe also that (cm∣P)−1A∘(P)(cm∣P)=A∘(Pm). Hence, it is sufficient to show that A∘(Pm)≤AutN(Pm). Since T is strongly closed, Pm∩T=(P∩T)m and thus Qm=(Pm∩T)CS(N). Hence, replacing P by Pm, we may assume that
[TABLE]
Let now α∈A∘(P) be a p′-element. By Lemma 3.17(a), there exists f∈NL(P) with α=cf∣P.
As T and CS(E) are strongly closed, Q is normalized by α. So
[TABLE]
From the definition of A∘(P), we see moreover that α∣P∩T∈AutE(P∩T). Hence, as E=FT(N), there exist n1,…,nk∈N such that P∩T≤S(n1,…,nk) and
[TABLE]
where P0:=P∩T and Pi:=Pi−1ni for i=1,…,k. Define now Qi:=PiCS(N) for i=0,1,…,k. Note that Pk=P∩T, Q0=(P∩T)CS(N)=Q=Qk and ni∈NN(Qi−1,Qi). Using Q∈Δ, we conclude that (n1,…,nk)∈D via Q0,Q1,…,Qk∈Δ. In particular, by Lemma 3.11(c), we have
[TABLE]
Observe that N is a normal subgroup of G. Let NS(Q)≤S0∈Sylp(G). Set
[TABLE]
As T0≤S0∩N and T0∈Sylp(N), it follows that T0=S0∩N. In particular, since P≤NS(Q)≤S0, we have P∩T0=P∩T. Moreover, we saw above that P∩T∈Ecr⊆Ec. Since FT0(N)⊆E, it follows P∩T0=P∩T∈FT0(N)c. Note now that α∈AutF0(P) is a p′ automorphism with [P,α]≤P∩T and α∣P∩T=cn∣P∩T∈AutN(P∩T). So using the notation introduced in Definition 2.26, we have α∈AF0,E0∘(P).
We use now that AF0,E0∘(P)=Op(AutN(P)) by [Hen13, Proposition 3.1]. So there exists x∈NN(P)⊆NN(P) with α=cx∣P. As α was arbitrary, this shows A∘(P)≤AutN(P) and Step 1 is complete.
Step 2: We show that ER=FR(NR). By Lemma 4.7, it is enough to show that ER⊆FR(NR). Since ER is saturated by [Hen13, Theorem 1], it is by Alperin’s Fusion Theorem [AKO11, Theorem I.3.6] generated by the automorphism groups AutER(P) with P∈(ER)cr∩(ER)f. So fixing P∈(ER)cr∩(ER)f, we need to show that AutER(P) consists of morphisms in FR(NR). As P is fully ER-normalized, the Sylow axiom yields AutR(P)∈Sylp(AutER(P)) and thus AutER(P)=AutR(P)Op(AutER(P)). Moreover, by [Hen13, Lemma 4.7], Op(AutER(P))=A∘(P). Since clearly AutR(P)≤AutNR(P), it follows now from Step 1 that AutER(P)≤AutFR(NR)(P) and thus ER=FR(NR).
Step 3: We show that (NS,Δ,S) is a proper locality over ES. By Step 2, FS(NS)=ES. Since (L,Δ,S) is by assumption a proper locality, Lemma 4.6(b) gives that NNS(P) is of characteristic p for every P∈Δ. Moreover, by Step 1, (ES)cr⊆Δ. This completes Step 3 and thus the proof of the proposition.
∎
To ease notation write FOp(F)q for the set of elements P∈Fq with Op(F)≤P. Similarly write δ(F)Op(F) for the set of P∈δ(F) with Op(F)≤P.
Corollary 4.10**.**
Let (L,Δ,S) be a proper locality over F such that FOp(F)q⊆Δ or δ(F)Op(F)⊆Δ. Let N be a partial normal subgroup of L, set T:=S∩N and suppose that E=FT(N) is normal in F. Then (ER)cr⊆Δ and ER=FTR(NR) for every subgroup R of S with CS(N)⊆TR. Moreover, (NS,Δ,S) is a proper locality over ES.
Proof.
By Proposition 4.9, it is sufficient to verify the condition († ‣ 4.9). We will use that Op(L)=Op(F) by [Hen19, Proposition 5]. If U∈Ecr, then U∈δ(E) by Lemma 3.37. Hence, Theorem 3.38(a) gives UCS(N)∈δ(F) and thus UCS(N)Op(F)∈δ(F)Op(F) as δ(F) is overgroup-closed. So if δ(F)Op(F)⊆Δ, then († ‣ 4.9) holds.
It follows from [Hen19, Proposition 4] that CS(N)=CS(E)∈CF(E)cr. Hence, Lemma 2.37(b),(c) yields UCS(N)∈Fq and thus UCS(N)Op(L)∈FOp(F)q for every U∈Ecr. So († ‣ 4.9) holds also in the case FOp(F)q⊆Δ.
∎
5. The correspondence between partial normal subgroups and normal subsystems
In this section we will prove that there is a one-to-one correspondence between the normal subsystems of a saturated fusion system F and the partial normal subgroups of a proper locality over F. More precisely, we show Theorem A except for the statement that the map ΨL is given by N↦FS∩N(N) if F∗(F)cr⊆Δ. We postpone the proof the latter statement until we have revisited the necessary background on the generalized Fitting subsystem. The results obtained in this section will be the basis to prove further one-to-one correspondences in later sections.
5.1. A construction of a partial normal subgroup
In this subsection, we prove the following proposition, which is our first step towards showing Theorem A. The reader might want to recall Definition 3.16.
Theorem 5.1**.**
Let F be a saturated fusion system over a p-group S, and let E be a normal subsystem of F over T≤S. Suppose (L,Δ,S) is an F-natural locality of objective characteristic p such that
[TABLE]
Then there exists a partial normal subgroup N of L such that T=N∩S and E∣Γ=FT(N).
The remainder of this section is devoted to the proof of Theorem 5.1. Fix a saturated fusion system F over S with a normal subsystem E over T. Assume the proposition is false for (F,E,T) and some choice of (L,Δ,S). Then there exists an F-natural locality (L+,Δ+,S) of objective characteristic p such that
[TABLE]
but there does not exist any partial normal subgroup N+ of L+ such that T=N+∩S and E∣Γ+=FT(N+). Among all localities with these properties we pick (L+,Δ+,S) such that ∣Γ+∣ is minimal. We will proceed now in a series of lemmas until we reach a contradiction.
5.2**.**
The set Γ+ is closed under F-conjugacy and is overgroup-closed in T.
Proof.
Since Γ+⊆Δ+, we have Γ+={P∈Δ+:P≤T}. As Δ+ is F-closed by Lemma 3.17(a) and as T is strongly closed, it follows that Γ+ is closed under F-conjugacy and under passing to overgroups in T.
∎
Let R∈Γ+ be of minimal order and choose R such that R is fully F-normalized. Note that this is possible since Γ+ is closed under F-conjugacy by 5.2. Set
[TABLE]
5.3**.**
If R∗∈RF and R∗<Q≤T, then Q∈Γ.
Proof.
By 5.2, R∈Γ+ implies Q∈Γ+ if R∗<Q≤T for some R∗∈RF. Since ∣Q∣>∣R∗∣=∣R∣, we have Q∈RF and hence Q∈Γ.
∎
5.4**.**
The following hold:
(a)
NF(R)* and NE(R) are saturated subsystems of F, and NE(R) is normal in NF(R).*
(b)
We have NS(R)∈Sylp(NL+(R)) and NL+(R) is a model for NF(R).
(c)
There exists a unique normal subgroup K of the group NL+(R) such that NT(R)=K∩NS(R) and FNT(R)(K)=NE(R).
Proof.
Property (a) is a special case of Lemma 2.13, and property (b) follows from Lemma 3.17(b),(c) and the assumption that (L+,Δ+,S) of objective characteristic p. By (b) and [AKO11, Theorem II.7.5] (which we generalized in Lemma 2.9), every normal subsystem of NF(R) is the p-fusion system of a unique normal subgroup of NL+(R). Together with (a) this implies (c).
∎
5.5**.**
The subgroup T is an element of Γ and so Γ=∅. Moreover, Γ is closed under F-conjugacy and is overgroup-closed in T.
Proof.
Assume T∈Γ. As S∈Δ+, we have T∈Γ+. So it follows T=R. Since R∈Γ+ is of minimal order, this implies Γ+={T}. So E∣Γ+=NE(T) and, by definition of Γ+, every element of Δ+ contains T. In particular, for every g∈L+, we have T≤Sg. As T is strongly closed in F and T∈Δ+, it follows that L+=NL+(T) is a group. So the partial normal subgroups of the locality (L+,Δ+,S) are precisely the normal subgroups of the group L+. Hence, it follows from 5.4(c) that there is a unique partial normal subgroup N+ of L+ such that N+∩S=T and FT(N+)=NE(T)=E∣Γ+. This is a contradiction to the assumption that (L+,Δ+,S) is a counterexample. Thus T∈Γ.
Since Γ+ is by 5.3 closed under F-conjugacy and since Γ=Γ+\RF, the set Γ is closed under F-conjugacy. Given P∈Γ and P≤Q≤T, we have Q∈Γ+ as Γ+ is overgroup-closed in T. If ∣Q∣=∣P∣ then Q=P∈Γ. If ∣Q∣>∣P∣ then again Q∈Γ as R∈Γ+ is of minimal order. Hence, Γ is overgroup-closed in T.
∎
Define now Δ to be the set of subgroups of S, which contain an element of Γ. Then Δ is overgroup-closed in S by construction. As Γ is by 5.5 non-empty and closed under F-conjugacy, it follows that Δ is non-empty and closed under F-conjugacy. So Δ=∅ is F-closed. Moreover, Γ is by 5.5 overgroup-closed in T, which implies that
[TABLE]
In particular, Δ is FS(L+)-closed as (L+,Δ+,S) is F-natural. Since Γ⊆Γ+⊆Δ+ and Δ+ is overgroup-closed, we have moreover Δ⊆Δ+. Thus, setting
[TABLE]
the triple (L,Δ,S) forms a locality. It follows from Lemma 3.17(a) and the definition of the restriction that (L,Δ,S) is F-natural. Observe that (L,Δ,S) is of objective characteristic p as (L+,Δ+,S) is of objective characteristic p. So it follows from the choice of (L+,Δ+,S), in particular from the minimality of ∣Γ+∣, that there exists a partial normal subgroup N of L such that
[TABLE]
We fix such N throughout. Write Π+:D+→L+ and Π:D→L for the partial products on L+ and L. Recall from the definition of the restriction that this means that D=DΔ and Π=Π+∣D, where DΔ is formed inside of L+.
5.6**.**
Let P∈Δ+\Δ. Then NT(P)∈Γ and NS(P)∈Δ.
Proof.
Since P∈Δ+\Δ, we have P∩T∈Γ+\Γ=RF. Moreover, as T∈Γ by 5.5, we have T≤P and thus P is properly contained in the p-group TP. So P<NTP(P)=NT(P)P and P∩T<NT(P). Now 5.3 gives NT(P)∈Γ and hence NS(P)∈Δ.
∎
Set
[TABLE]
By 5.4, 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
[TABLE]
We fix such K throughout.
5.7**.**
Let Q≤NT(R) with R<Q. Then NNN(Q)(R)=NK(Q).
Proof.
As R<Q≤T, it follows from 5.3 that Q∈Γ⊆Δ. As M is a model for NF(R), we can pick g∈M with Qg∈NF(R)f. Then Qg≤NS(R)≤S and in particular g∈L=L+∣Δ. Moreover, by Lemma 3.11(b),
[TABLE]
and cg−1:NN(Qg)→NN(Q) is an isomorphism of groups. Note that cg−1 leaves R invariant as g∈M. Hence, NNN(Qg)(R)g−1=NNN(Q)(R). As K is normal in M, we have furthermore NK(Qg)g−1=NK(Q). So if NNN(Qg)(R)=NK(Qg), then the assertion holds. Hence, replacing Q by Qg, it is enough to show that 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
[TABLE]
is saturated, and NM(Q) is a model for F0 by [AKO11, Proposition I.5.4] and Lemma 2.8(b). In particular,
[TABLE]
As NE(R)⊴NF(R), Lemma 2.13 yields that Q∈NE(R)f and that
[TABLE]
As K is a model for NE(R), it follows from [AKO11, Proposition I.5.4] and Lemma 2.8(b) that NK(Q) is a model for E0. Note also that NK(Q) is a normal subgroup of NM(Q). By [AKO11, Theorem II.7.5], there is a unique normal subgroup N0 of NM(Q) such that T0∈Sylp(N0) and FT0(N0)=E0. So since the corresponding properties hold with NK(Q) in place of N0, it is sufficient to show that
[TABLE]
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)=NL+(Q) as Q∈Δ. Hence, NM(Q)=NNL+(R)(Q)=NNL+(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). In particular, as S0∈Sylp(NM(Q)), we have that 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 FT(N)=E∣Γ⊆E and ⟨Q,R⟩≤Sn∩T0, 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. Appealing to Lemma 3.11(c) and using that E∣Γ=FT(N) and Q∈Γ, one sees that such a morphism φ is realized as a conjugation map by an element of N=NNN(Q)(R). So we have E0=FT0(N). As argued above this yields the assertion.
∎
5.8**.**
Let g∈K and R<Q≤NT(R) such that Qg≤NT(R). Then g∈N.
Proof.
By Alperin’s fusion theorem for groups [Alp67, Main Theorem] applied in the group K, there exist sequences of subgroups Q=P0,P1,…,Pl=Qg≤NT(R) and Q1,…,Ql≤NT(R) as well as elements gi∈NK(Qi) for i=1,…,l such that ⟨Pi−1,Pi⟩≤Qi, Pi−1gi=Pi and g=g1g2…gl (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 g=Π+(g1,…,gl). As R is normal in M and thus in K, we have R≤Pi≤Qi for i=1,…,r. Note that R is properly contained in Qi as ∣R∣<∣Q∣=∣Pi∣≤∣Qi∣ for i=1,…,n . Thus, 5.7 gives gi∈NK(Qi)=NNN(Qi)(R)⊆N for i=1,…,l. Furthermore, by 5.3, we have Q∈Γ⊆Δ and thus (g1,…,gl)∈D=DΔ via Q. As Π=Π+∣D and N is a partial subgroup of L, it follows g=Π+(g1,…,gl)=Π(g1,…,gl)∈N.
∎
Recall that N is a partial normal subgroup of L with N∩S=T and FT(N)=E∣Γ. We consider now the quotient locality L/N as described in Subsection 3.5. Let
[TABLE]
be the natural projection, set L:=L/N and adapt the bar notation. Recall that L is a partial group and α is a homomorphism of partial groups with ker(α)=N. Write Π for the product on L:=L/N. Setting Δ:={P:P∈Δ}, the triple (L,Δ,S) is a locality by [Che22, Corollary 4.5]. As T∈Δ, we have {1}=T∈Δ. Hence, L is a group and Δ is the set of subgroups of S.
Set now QT:=NT(R). By the Frattini argument, we have M=NM(QT)K. Hence, there is a natural isomorphism
[TABLE]
defined by gK↦gNK(QT) for all g∈NM(QT). By 5.6, we have QT=NT(R)∈Γ⊆Δ and therefore NM(QT)=NNL+(QT)(R)=NNL(QT)(R) is a subgroup of L. Hence, α induces a group homomorphism NM(QT)→L with kernel NNN(QT)(R). By 5.7, we have NNN(QT)(R)=NK(QT). Hence, α induces an an injective group homomorphism
[TABLE]
Writing π:M→M/K for the natural epimorphism, we define now αR:=πμα to be the composition of the maps
[TABLE]
Then αR:M→L is a group homomorphism. As μ and α are injective, we have ker(αR)=ker(π)=K.
5.9**.**
α∣NL(R)=αR∣NL(R).
Proof.
Let y∈NL(R). As y∈L, we have Sy∈Δ and thus R<Sy∩T. Hence,
[TABLE]
and, by 5.3, P∈Γ⊆Δ. Now Py is defined in L and Py≤QT. As NL(R)⊆M=NM(QT)K, we can write y=xk with x∈NM(QT) and k∈K (where the product xk is formed in M=NL+(R)). Then we have Px≤QT and (Px)k=Py≤QT. As R=Rx<Px, it follows from 5.8 that k∈N and thus kα=1. Note also that (x,k)∈D=DΔ via P and so y=Π(x,k). Hence, as α is a homomorphism of partial groups, we have yα=Π(xα,kα)=Π(xα,1)=xα. Notice that yπ=xπ and yπμ=xπμ=xNK(QT). So, by definition of αR, we have yαR=(xNK(QT))α=xα. Hence yα=yαR and the assertion holds.
∎
We are now in a position to reach the final contradiction: Notice that Rα=R={1}∈Δ and αR is a group homomorphism from M=NL+(R) to L=NL(Rα). As R is fully F-normalized and FS(L+)=F∣Δ+⊆F, the subgroup R is also fully FS(L+)-normalized. Hence, by 5.3 and 5.9, the hypothesis of [Hen21b, Lemma 3.1] is fulfilled with (L,Δ,S) and {R} in place of (L,Δ,S) and Γ0. So by this Lemma, there exists a homomorphism of partial group γ:L+→L with γ∣L=α and γ∣M=αR. Now
[TABLE]
is a partial normal subgroup of L+ by [Che13, Lemma 3.3]. Moreover, we have
[TABLE]
and
[TABLE]
In particular N+∩S=(N+∩L)∩S=N∩S=T. To obtain a contradiction it is thus enough to show that FT(N+)=E∣Γ+.
For any Q∈Γ+, set AutN+(Q):={cn∣Q:n∈NN+(Q)}. As K is by assumption a model for NE(R), it follows from (5.1) that
[TABLE]
Let R∗∈RF. By 5.6, NS(R∗)∈Δ. As R is fully normalized, by [AKO11, Lemma 2.6(c)], there exists a morphism in HomF(NS(R∗),S) taking R∗ to R. Hence, by Lemma 3.17(a), we may pick g∈L with NS(R∗)≤Sg and (R∗)g=R. It follows now from Lemma 3.11(b) applied with (L+,Δ+,N+,R∗,R) in place of (L,Δ,N,P,Q) that
[TABLE]
As E⊴F, this implies
[TABLE]
Recall now that N⊴L is chosen such that E∣Γ=FT(N). Moreover, if Q∈Γ⊆Δ, then NN+(Q)=NN(Q) and AutN+(Q)={cn∣Q:n∈NN(Q)}. So using Lemma 3.11(c), one sees that
[TABLE]
By Alperin’s fusion theorem for fusion systems [AKO11, Theorem I.3.6], every morphism in E is the product of restrictions of E-automorphisms of subgroups of T. As Γ+ is overgroup-closed in T and closed under E-conjugacy by 5.2, this implies that E∣Γ+ is generated by the automorphism groups AutE(Q) where Q∈Γ+=Γ∪RF. Hence, E∣Γ+⊆FT(N+) by (5.2) and (5.3).
By Lemma 4.1, (N+,Γ+,T) is a locality. So by Alperin’s fusion theorem for localities [Mol18], every element m∈N+ can be written as a product m=Π(n1,…,nk) of elements ni∈NN+(Qi) with Qi∈Γ+ (1≤i≤k) such that Sm=S(n1,…,nk). Hence, FT(N+) is generated by the groups AutN+(Q) with Q∈Γ+. So by (5.2) and (5.3), we have also FT(N+)⊆E∣Γ+ and thus FT(N+)=E∣Γ+. Since this contradicts the choice of (L+,Δ+,S), the proof of Theorem 5.1 is thereby complete.
5.2. A special case of the one-to-one correspondence
In this section, we show that Theorem A holds if Δ is, in a certain sense, large enough. More precisely, we prove the following theorem and corollary using Theorem 5.1.
Theorem 5.10**.**
Let F be a saturated fusion system over S, and let E be a normal subsystem of F over T≤S. Suppose (L,Δ,S) is a proper locality over F such that
[TABLE]
Then there exists a unique partial normal subgroup N of L such that T=S∩N and FT(N)=E.
Corollary 5.11**.**
Let (L,Δ,S) be a proper locality over a fusion system F such that
[TABLE]
Let E be a normal subsystem of F over a subgroup T≤S. Then there exists a unique partial normal subgroup N of L such that T=S∩N and FT(N)=E.
Assume that P∈Δ for every P∈Fq with Op(F)≤P. It is a consequence of Lemma 2.37(b),(c) that P1P2∈Fq for all P1∈Ecr and P2∈CF(E)cr. As Fq is overgroup-closed, it follows thus from our assumption that (∗ ‣ 5.10) holds. Hence the assertion follows from Theorem 5.10.
∎
So it remains to prove Theorem 5.10. For the remainder of this subsection we assume the hypothesis of Theorem 5.10. To ease notation we set
[TABLE]
For i=1,2, the fusion system Fi is a normal subsystem of F over Si. By Lemma 2.37, F1 and F2 centralize each other and
[TABLE]
is a normal subsystem of F over T:=S1S2. Suppose now there exists a proper locality (L,Δ,S) over F. Notice that TCS(E)Op(L)∈Δ by (∗ ‣ 5.10) and CS(E)≤CS(T). As Δ is overgroup-closed in S, it follows TCS(T)Op(L)∈Δ. Thus, if a partial normal subgroup N of L with T=N∩S and E=FT(N) exists, then it is unique by Corollary 4.5. Hence it remains only to prove the existence of N.
By [Hen19, Proposition 5], we have L=NL(Op(F)). Hence, setting Δ~:={P≤S:POp(F)∈Δ}, it follows from Lemma 3.29 that (L,Δ~,S) is a proper locality over F. By (∗ ‣ 5.10), we have P1P2∈Δ~ for all P1∈F1cr and all P2∈F2cr. Hence, replacing Δ by Δ~, we can and will assume from now on that
[TABLE]
By Lemma 2.37(b), this is equivalent to assuming that Ecr⊆Δ. Write Δ0 for the set of subgroups of S containing an element of Ecr.
5.12**.**
We have Fcr⊆Δ0⊆Δ and Δ0 is F-closed.
Proof.
Since Ecr is closed under F-conjugacy by Lemma 2.6, the set Δ0 is closed under F-conjugacy. By construction, Δ0 is also overgroup-closed in S. Notice that Δ0⊆Δ as Δ is overgroup-closed and Ecr⊆Δ by (∗∗ ‣ 5.2) and Lemma 2.37(b). For every R∈Fcr, [AOV12, Lemma 1.20(d)] gives R∩T∈Ecr and thus R∈Δ0 by construction of Δ0.
∎
is well-defined and so (L0,Δ0,S) is a locality of objective characteristic p with Fcr⊆Δ0. Alperin’s fusion theorem [AKO11, Theorem I.3.6] implies that FS(L0)=FS(L)=F. So (L0,Δ0,S) is a proper locality over F.
If there exists a partial normal subgroup N0 of L0 with T=N0∩S and E=FT(N0) then, as E=FT(N0) is normal in F, it follows from Theorem 3.28(b),(c) that there exists N⊴L with N∩L0=N0, T=N∩S and E=FT(N). So replacing (L,Δ,S) by (L0,Δ0,S), we may assume from now on that Δ=Δ0. Then the following property holds.
5.13**.**
The set Δ is the set of overgroups of the elements of Ecr in S. In particular,
[TABLE]
is the set of overgroups of the elements of Ecr in T.
By 5.13 the hypothesis of Theorem 5.1 is fulfilled with E in place of E. Hence, it follow from that theorem that there exists a partial normal subgroup M of L such that M∩S=T and FT(M)=E∣Γ. As Ecr⊆Γ, Alperin’s fusion theorem [AKO11, Theorem I.3.6] yields that E=E∣Γ=FT(M). Hence, if follows from Lemma 4.1(b),(c) that (M,Γ,T) is a proper locality over E.
For each i=1,2, write Δi for the set of overgroups of Ficr in Si. Notice that Δi is Fi-closed for i=1,2.
As Ficr⊆Fis and Fis is Fi-closed by [Hen19, Proposition 3.3], we have Δi⊆Fis.
Observe also that, by Lemma 2.37(b) and 5.13, Γ is the set of overgroups in T of the subgroups of the form P1P2 with Pi∈Δi for i=1,2. It follows from Lemma 2.19 that E is an internal central product of E and CF(E) not only in the definition given in this paper, but also in the sense of [Hen17, Definition 2.9]. So by [Hen17, Proposition 6.12(b)] applied with (E,M,Γ,T) in place of (F,L,Δ,S), the locality (M,Γ,T) is (in the sense of [Hen17, Definition 6.6]) an internal central product of two sublocalities (L1,Δ1,S1) and (L2,Δ2,S2) of (M,Γ,T) such that (Li,Δi,Si) is a proper locality over Fi for i=1,2.
Saying that (Li,Δi,Si) is a sublocality of (M,Γ,T) means here (according to [Hen17, 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 an internal central product of (L1,Δ1,S1) and (L2,Δ2,S2), but we will only use that Li⊴M for i=1,2 by [Hen17, Lemma 6.10]. More precisely, we use that
[TABLE]
Note that
[TABLE]
as (N,Δ1,T)=(L1,Δ1,S1) is a locality over F1=E. So it remains only to show that N⊴L. Let f∈NL(T). As N⊴M, it is by [Che22, Corollary 3.13] enough to show that nf∈N for every n∈N∩D(f).
Observe that L=D(f) and cf∈Aut(L) by 5.13 and Lemma 4.1(a). In particular, as N⊴M⊴L, it follows Nf⊴Mf=M. Moreover, cf induces an isomorphism from N to Nf. In particular, as T is strongly closed and a maximal p-subgroup of N, it follows that T=Tf≤S∩Nf is a maximal p-subgroup of Nf. Hence Tf=T=Nf∩S. Set Δ1f:={Pf:P∈Δ1}. As (N,Δ1,T) is a locality, the triple (Nf,Δ1f,T) is a locality; this is a special case of [Che22, Theorem 4.3], but can also easily be shown by direct arguments. Hence, by [Hen21b, Lemma 2.21(b)] or by a direct argument, cf induces an isomorphism from E=FT(N) to FT(Nf). Since α:=cf∣T∈AutF(T) and E⊴F, this implies FT(N)=E=Eα=FT(Nf). As (M,Γ,T) is a proper locality and TCT(T)=T∈Γ, it follows now from Corollary 4.5 applied with (M,Γ,T) in place of (L,Δ,S) that Nf=N. This shows the assertion.
5.3. The general one-to-one correspondence
In this section we will show that there is a natural one-to-one correspondence between the normal subsystems of F and the partial normal subgroups of an arbitrary proper locality over F. In particular, parts (a) and (b) of Theorem 5.14 below can be considered as a weak version of Theorem A. We will postpone the proof of the complete statement of Theorem A, since it uses results about components and E(F), which are known by work of Aschbacher [Asc11], but which we want to reprove later on using Theorem 5.14. We moreover state some details which are not mentioned in our main theorems.
Throughout this section, assume that F is a saturated fusion system over S. Write N(F) for the set of normal subsystems of F and, given a partial group L, 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+∣Δ, the map
[TABLE]
is well-defined and a bijection by Theorem 3.28(b). Against our usual convention we use the left-hand notation for the maps ΦL+,L and ΨL below. We write FOp(F)q for the set of all P∈Fq with Op(F)≤P. Similarly, δ(F)Op(F) denotes the set of all P∈δ(F) with Op(F)≤P. The main results of this subsection are summarized in the following theorem.
Theorem 5.14**.**
For every proper locality (L,Δ,S) over F, there is an inclusion-preserving bijection
[TABLE]
such that the following properties hold:
(a)
For any N∈N(L), the normal subsystem ΨL(N) is a fusion system over N∩S. Furthermore, ΨL(N) is the smallest normal subsystem of F containing FS∩N(N).
(b)
If FOp(F)q⊆Δ or δ(F)Op(F)⊆Δ, then ΨL(N)=FS∩N(N).
(c)
If (L+,Δ+,S) is another proper locality over F with Δ⊆Δ+ and L=L+∣Δ, then ΨL+=ΨL∘ΦL+,L.
(d)
If E1,E2∈N(F) with E1⊴E2, then ΨL−1(E1)⊆ΨL−1(E2).
(e)
If N1,N2∈N(L) with N1⊆N2, then ΨL(N1)⊴ΨL(N2).
(f)
If R≤S with R⊴L, then ΨL(R)=FR(R).
(g)
Let α∈Aut(L,S) and N∈N(L). Then α∣N∩S induces an isomorphism from ΨL(N) to ΨL(Nα).
We caution the reader that the assumption that E1⊴E2 in Theorem 5.14(d) is actually important, since ΨL−1 need not be inclusion-preserving as the following example shows.
Example 5.15**.**
Let G=G1×G2 with G1≅G2≅A4. Setting Ti:=Op(Gi) for i=1,2 and S:=T1×T2, we have S∈Sylp(G). Set F=FS(G) and set Δ:=Fs. Note that S=Op(G)∈Δ. As G is of characteristic p, Δ is the set of all subgroups of S and (G,Δ,S) is a proper locality over F (e.g. by Lemma 2.8(b) or by a direct argument). The partial normal subgroups of this locality correspond to the normal subgroups of the group G. However there are two normal subgroups M and N of G such that FS∩M(M)⊆FS∩N(N) and M≤N. Namely, for i=1,2 fix di∈Gi of order 3. Take M:=G1 and N:=S⟨d1d2⟩.
The remainder of this section is devoted to the proof of Theorem 5.14. We will build on Theorem 3.28, Theorem 3.38(c) and the following reformulation of Corollary 5.11.
Lemma 5.16**.**
Let (L,Δ,S) be a proper locality over F with FOp(F)q⊆Δ. Then there exists a map
[TABLE]
such that E=FΘ(E)∩S(Θ(E)). Moreover, Θ is injective and so ∣N(F)∣≤∣N(L)∣.
Proof.
By Corollary 5.11, for every E∈N(F), there exists a unique partial normal subgroup Θ(E)∈N(L) with E=FΘ(E)∩S(Θ(E)). This shows that the map Θ exists. If E,E′∈N(F) with Θ(E)=Θ(E′) then E=FΘ(E)∩S(Θ(E))=FΘ(E′)∩S(Θ(E′))=E′. So Θ is injective, which implies that ∣N(F)∣≤∣N(L)∣.
∎
Lemma 5.17**.**
Let (L,Δ,S) be a proper locality over F with δ(F)Op(F)⊆Δ. Then the map
[TABLE]
is well-defined and a bijection. In particular, ∣N(L)∣=∣N(F)∣. Moreover, if N⊴L and T=N∩S, then TCS(T)Op(L)∈Δ.
Proof.
We will use throughout that L=NL(Op(F)) and Op(F)=Op(L) by [Hen19, Proposition 5] and Lemma 3.14. Set Lδ:=L∣δ(F)Op(F) so that (Lδ,δ(F)Op(F),S) is a proper locality. It follows from [Hen21a, Lemma 10.6] that δ(F)={P≤S:POp(F)∈δ(F)Op(F)}. Hence, by Lemma 3.29, the triple (Lδ,δ(F),S) is a proper locality and thus a regular locality.
Let N∈N(L) and set T:=S∩N. Then Nδ=N∩Lδ⊴Lδ and Nδ∩S=T. Theorem 3.38(c) yields TCS(T)∈δ(F) and FT(Nδ)∈N(F). In particular FT(Nδ) is F-invariant. By Theorem 3.28(c) this implies FT(N)=FT(Nδ)∈N(F). Thus, ΨL is well-defined. As TCS(T)∈δ(F), we have TCS(T)Op(L)∈δ(F)Op(F)⊆Δ. Hence, it follows from Corollary 4.5 that ΨL is injective. In particular, ∣N(L)∣≤∣N(F)∣.
By Theorem 3.28(d), there exists a proper locality (Ls,Fs,S) over F with Ls∣Δ=L. Then Theorem 3.28(b) implies ∣N(Ls)∣=∣N(L)∣ and Lemma 5.16 shows ∣N(F)∣≤∣N(Ls)∣. So ∣N(F)∣≤∣N(Ls)∣=∣N(L)∣≤∣N(F)∣. Thus, all the inequalities are equalities and ΨL is a bijection.
∎
Lemma 5.18**.**
Let (L,Δ,S) be a proper locality over F such that FOp(F)q⊆Δ or δ(F)Op(F)⊆Δ. Define
[TABLE]
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 E1,E2∈N(F) with E1⊴E2 then ΨL−1(E1)⊆ΨL−1(E2).
Proof.
(a) Clearly ΨL is inclusion-preserving if it is well-defined. Hence, if δ(F)Op(F)⊆Δ, then (a) follows from Lemma 5.17. So for the proof of (a) we may assume FOp(F)q⊆Δ and only need to prove that ΨL is a well-defined bijection. By Theorem 3.28(d), there exists a proper locality (Ls,Fs,S) over F with Ls∣Δ and by Theorem 3.28(b), we have ∣N(L)∣=∣N(Ls)∣. Hence, Lemma 5.17 implies ∣N(L)∣=∣N(Ls)∣=∣N(F)∣. Thus, the injective map Θ:N(F)→N(L) from Lemma 5.16 is a bijection. As E=FΘ(E)∩S(Θ(E)) for every E∈N(F), the inverse of Θ must be the map ΨL, which is thus in particular well-defined and a bijection. This proves (a).
(b) Part (b) follows now from Lemma 4.8 provided we can show that TCS(T)Op(L)∈Δ for every N⊴L and T=N∩S. In the case δ(F)Op(F)⊆Δ, this property was shown in Lemma 5.17. As T is strongly closed, TCS(T)Op(L)∈Fc⊆Fq. By [Hen19, Proposition 5] and Lemma 3.14, we have Op(F)=Op(L). Hence, if FOp(F)q⊆Δ, then also TCS(T)Op(L)∈Δ.
∎
We show now the following preliminary version of Theorem 5.14.
Proposition 5.19**.**
For every proper locality (L,Δ,S) over F, there exists a proper locality (Ls,Fs,S) over F such that Ls∣Δ=L. Given such (L,Δ,S) and (Ls,Fs,S), the map
[TABLE]
is a well-defined bijection, and the map ΨL:=ΨLs∘ΦLs,L−1 is a well-defined inclusion-preserving bijection N(L)→N(F). Moreover, the following hold:
(a)
For any N∈N(L), the normal subsystem ΨL(N) is a fusion system over S∩N. Furthermore, ΨL(N) is the smallest normal subsystem of F containing FS∩N(N). In particular, the map ΨL is characterized by this property and thus independent of the choice of Ls.
(b)
If FOp(F)q⊆Δ or δ(F)Op(F)⊆Δ, then ΨL(N)=FT(N) for every N∈N(L).
(c)
If E1,E2∈N(F) with E1⊴E2, then ΨL−1(E1)⊆ΨL−1(E2).
Proof.
Given a proper locality (L,Δ,S), a proper locality (Ls,Fs,S) over F with Ls∣Δ=L exists by Theorem 3.28(d). The map ΨLs is a well-defined inclusion-preserving bijection by Lemma 5.18(a). Moreover, according to Theorem 3.28(b), ΦLs,L is an inclusion-preserving bijection such that ΦLs,L−1 is also inclusion-preserving. In particular, ΨL:=ΨLs∘ΦLs,L−1 is a well-defined inclusion-preserving bijection.
(c) By Lemma 5.18, we have ΨLs−1(E1)⊆ΨLs−1(E2) for any E1,E2∈N(F) with E1⊴E2. So (c) follows from the fact that ΦLs,L is inclusion-preserving.
(a,b) Note that (b) follows from (a) and Lemma 5.18(a). Hence, it remains only to prove (a). Let N⊴L, T:=N∩S and Ns:=ΦLs,L−1(N)⊴Ls. Then Ns∩L=N and so Ns∩S=T. In particular, E:=ΨL(N)=FT(Ns) is a normal subsystem of F over T. Let now E be a normal subsystem of F with FT(N)⊆E. We need to show that E⊆E.
Note that Ns:=ΨLs−1(E) is a partial normal subgroup of Ls with FNs∩S(Ns)=E. It follows that T≤Ns∩S. In particular,
[TABLE]
is a partial normal subgroup of Ls with M∩S=T. As ΨLs is an inclusion-preserving bijection, it follows that D:=FT(M) is normal in F, D⊆FT(Ns)=E and D⊆FS∩Ns(Ns)=E. In particular, D is F-invariant. From the equivalent condition for F-invariance given in [AKO11, Proposition I.6.4(d)], it follows thus that D is E-invariant. So from the Frattini condition (stated in [AKO11, Definition I.6.1]), we can conclude that E=⟨D,AutE(T)⟩.
As E=FT(Ns), the group AutE(T) is generated by the automorphisms of T which are obtained by conjugation by elements NNs(T). Moreover, by [Hen21a, Lemma 3.34], we have NNs(T)=NN(T). Hence, AutE(T)⊆FT(N)⊆E and so E=⟨D,AutE(T)⟩⊆E. This proves the assertion.
∎
(a,b,c,d) By Proposition 5.19, there exists a unique inclusion-preserving bijection ΨL:N(N)→N(F) such that properties (a),(b),(d) of Theorem 5.14 hold; moreover, if (Ls,Fs,S) is a proper locality over F with Ls∣Δ=L, then ΨL=ΨLs∘ΦLs,L−1. If (L+,Δ+,S) is a proper locality over F with Δ⊆Δ+ and L=L+∣Δ, then we can choose the proper locality (Ls,Fs,S) over F such that Ls∣Δ+=L+. We have then ΨL+=ΨLs∘ΦLs,L+−1. As ΦLs,L=ΦL+,L∘ΦLs,L+, we have ΦLs,L+−1=ΦLs,L−1∘ΦL+,L and hence
(e) For the proof of (e) we use that, by Lemma 3.37, the set δ(F) is F-closed with Fcr⊆δ(F)⊆Fs. So setting Lδ=Ls∣δ(F), the triple (Lδ,δ(F),S) is a regular locality over F. Recall that, by Theorem 3.28(b), ΦLs,L:N(Ls)→N(L) is an inclusion-preserving bijection such that ΦLs,L−1 is also inclusion-preserving. Using this, one sees that (e) is true if and only if it is true with (Ls,Fs,S) in place of (L,Δ,S). Similarly one can show that (e) is true for (Lδ,δ(F),S) if and only if it is true for (Ls,Fs,S). Hence, without loss of generality, we may assume for the proof of (e) that (L,Δ,S) is a regular locality. Let N1 and N2 be two partial normal subgroups of L with N1⊆N2. By Theorem 3.38(a), N2 is a regular locality over FS∩N2(N2). Since N1⊴N2, it follows thus from Theorem 3.38(c) applied with N2 in place of L that FS∩N1(N1) is normal in FS∩N2(N2). By part (b) of Theorem 5.14, we have ΨL(Ni)=FS∩Ni(Ni) for i=1,2. This shows part (e) of Theorem 5.14.
(f) Let now R≤S with R⊴L. Then R⊴F=FS(L). From this it is easy to check that FR(R)⊴F. It follows thus from (a) that ΨL(R)=FR(R). This proves (f).
(g) For the proof of (g) let now α∈Aut(L,S) and N∈N(L). Notice that Nα∈N(L). Set E:=ΨL(N) and β:=α∣S. It is easy to check that β∈Aut(F) and thus Eβ⊴F as E⊴F. Moreover, α∣N:N→Nα is an isomorphism of partial groups and (S∩N)α=Sα∩Nα=S∩Nα. From this it is easy to see that α∣N∩S=β∣N∩S induces an isomorphism from FS∩N(N) to FS∩Nα(Nα). As E is by (a) the smallest normal subsystem of F containing FS∩N(N), it follows that Eα is the smallest normal subsystem of F containing FS∩N(N)β=FS∩Nα(Nα). Hence, again by (a), we have Eβ=ΨL(Nα), i.e. β induces an isomorphism from E to ΨL(Nα). This proves (g) and completes thus the proof of the theorem.
∎
6. Towards a more comprehensive dictionary
In the previous section we showed that there is a one-to-one correspondence between the normal subsystems of a fusion system and the partial normal subgroups of an associated proper locality. We will use this now to establish a more comprehensive “dictionary” showing how concepts in fusion systems translate to concepts in associated proper localities. Along the way, we also reprove a theorem of Aschbacher [Asc11, Theorem 1] about the existence of “normal intersections” of normal subsystems (see Theorem B).
Throughout this section let F be a saturated fusion system over S. As before, write N(F) for the set of normal subsystems of F and N(L) for the set of partial normal subgroups of any given partial group L. If (L,Δ,S) is a proper locality over F, then ΨL:N(L)→N(F) will always denote the map from Theorem 5.14.
The reader should observe that the map ΨL from Theorem 5.14 must be the same as the map ΨL in Theorem A. Thus it makes sense to prove Theorem B at this stage, even though the proof of Theorem A is not yet complete.
6.1. Intersections of partial normal subgroups
In any partial group, the intersection of partial normal subgroups is trivially a partial normal subgroup. Hence, the results from the previous section imply easily the existence of “normal intersections” of normal subsystems of fusion systems. As a first step we prove the following proposition.
Proposition 6.1**.**
Let (L,Δ,S) be a proper locality over F. Let I be an index set such that, for any i∈I, we are given Ni∈N(L). Set
[TABLE]
and for i∈I set Ei:=ΨL(Ni). Then the following hold:
(a)
Ei* is a normal subsystem of F over Ti:=S∩Ni for all i∈I.*
(b)
M* is a partial normal subgroup of L and ΨL(M) is a normal subsystem of F over M∩S=⋂i∈ITi which is contained in ⋂i∈IEi.*
(c)
ΨL(M)* is the largest normal subsystem of F which is normal in Ei for all i∈I. Indeed, every normal subsystem of F which is normal in Ei for all i∈I is also normal in ΨL(M).*
Proof.
Clearly, M is a partial normal subgroup of L. It follows from Theorem 5.14(a) that Ei is a normal subsystem of F over Ti=Ni∩S for all i∈I, and that
[TABLE]
is a normal subsystem of F over M∩S=⋂i∈ITi. Moreover, as M⊆Ni, Theorem 5.14(e) gives that E⊴Ei for all i∈I. In particular, E⊆⋂i∈IEi. So (a) and (b) hold, and for (c) we only need to show that, given a normal subsystem D of F which is normal in Ei for all i∈I, we have D⊴E. Pick D with D⊴Ei for all i∈I and observe that, by Theorem 5.14(d),
[TABLE]
Hence, K⊆⋂i∈INi=M and, again by Theorem 5.14(e), D=ΨL(K)⊴ΨL(M)=E.
∎
We will now show the following generalization of Theorem B. The reader might want to note that Theorem 6.2 could also be obtained the other way around from Theorem B by induction as I can be assumed to be finite.
Theorem 6.2**.**
Let F be a saturated fusion system over S. Then for every family (Ei)i∈I of normal subsystems of F there exists a normal subsystem ⋀i∈IEi (denoted by E1∧E2∧⋯∧Ek if I={1,2,…,k}) such that the following hold, whenever I is an index set and Ei is a normal subsystems of F over Ti for all i∈I:
(a)
The subsystem ⋀i∈IEi is a normal subsystem of F over ⋂i∈ITi contained in ⋂i∈IEi; moreover ⋀i∈IEi is the largest normal subsystem of F which is normal in Ei for all i∈I.
(b)
Every normal subsystem of F, which is normal in Ei for all i∈I, is also normal in ⋀i∈IEi.
(c)
If I is the disjoint union of subsets I1,…,Ik, then
[TABLE]
(d)
If (L,Δ,S) is a proper locality over F, then for any collection of partial normal subgroups Ni of L (i∈I), we have
[TABLE]
Proof.
By Theorem 3.26, we may choose a proper locality (L,Δ,S) over F. Set
[TABLE]
With this definition, parts (a) and (b) hold by Proposition 6.1. In particular, the definition of ⋀i∈IEi is independent of the choice of L. So part (d) holds by definition of ⋀i∈IEi. Part (c) holds as taking the intersection of sets is an associative operation.
∎
6.2. Index prime to p and p-power index
The reader is referred to Section 2.6 for the definition of Op(F) and subsystems of F of p-power index. Write Dp=DFp for the set of normal subsystems of F of p-power index. Using the language introduced in the previous subsection we have the following lemma.
Lemma 6.3**.**
Op(F)=⋂D∈DpD=⋀D∈DpD.
Proof.
Recall from Section 2.6 (or from [AKO11, Theorem I.7.4]) that Op(F)∈Dp and Op(F)⊆D for every D∈Dp. Hence, Op(F)⊆⋂D∈DpD⊆Op(F) and thus Op(F)=⋂D∈DpD. We use the characterization of ⋀D∈DpD given in Theorem 6.2(a). Clearly Op(F)=⋂D∈DpD⊇⋀D∈DpD. Notice that Op(F)⊴F and, by Lemma 2.29, Op(F)=Op(D)⊴D for all D∈Dp. Hence, it follows also Op(F)⊆⋀D∈DpD.
∎
A subsystem E of F is said to be of index prime to p if it is a subsystem over S and Op′(AutF(P))≤AutE(P) for every P≤S. If E⊴F, then one checks easily that E is of index prime to p if and only if E is a fusion system over S. Note that it follows easily from Theorem B(a) (or from the similar statement in [Asc11, Theorem 1]) that there is a unique smallest normal subsystem of F of index prime to p. Namely, if Dp′=DFp′ denotes the set of all normal subsystems of F of index prime to p, then
[TABLE]
is a normal subsystem of F of p-power index which is contained in ⋂D∈Dp′D and thus the unique smallest element of Dp′ with respect to inclusion. It follows from [AKO11, Theorem I.7.7], that Op′(F) as defined above is the smallest saturated subsystem of E of index prime to p and thus coincides with the equally denoted subsystem from that theorem. We will use this property in the proof of Lemma 7.17 below, but it is not needed in this section and in the proofs of our main results as long as we use the definition of Op′(F) above.
For the results we state now, the reader might want to recall Definition 3.31.
Proposition 6.4**.**
Let (L,Δ,S) be a proper locality over F. If N∈N(L) and E:=ΨL(N), then the following hold:
(a)
N* has index prime to p if and only if E has index prime to p.*
(b)
N* has p-power index if and only if E has p-power index.*
(c)
ΨL(OLp(N))=Op(E)* and ΨL(OLp′(N))=Op′(E). In particular, ΨL(Op(L))=Op(F) and ΨL(Op′(L))=Op′(F).*
Proof.
(a) By Theorem 5.14(a), E is a fusion system over S∩N. So S⊆N if and only if E is a fusion system over S, i.e. (a) holds.
(b,c) For the proofs of (b) and (c) consider first the situation that (L+,Δ+,S) is a proper locality with Δ⊆Δ+ and L=L+∣Δ. Set N+=ΦL+,L−1(N). By [Hen21b, Theorem C(c)], N has p-power index in L if and only if N+ has p-power index in L+. Moreover, Theorem 5.14(c) yields ΨL+(N+)=ΨL(N). Hence
[TABLE]
Similarly, if ∗ is one of the symbols “p” or “p′”, then we have OL∗(N)=ΦL+,L(OL+∗(N+)) by [Hen21a, Lemma 7.5]. Using again Theorem 5.14(c), this implies
[TABLE]
Thus,
[TABLE]
By Theorem 3.28(d), there exists a subcentric locality (Ls,Fs,S) over F with Ls∣Δ=L. So for the proof of (b), (6.1) allows us to assume without loss of generality that Δ=Fs. Then E=FT(N) by Theorem 5.14(b). So by Corollary 4.10, FS(NS)=ES and (NS,Δ,S) is a proper locality over ES. If N has p-power index in L, then L=NS and thus F=FS(NS)=ES. So E has in this case p-power index by Lemma 2.29. By the same lemma, if E has p-power index in F, then ES=F. So (NS,Δ,S) is in this case a proper locality over F and thus isomorphic to (L,Δ,S) by [Hen19, Theorem A(a)]. Hence, as NS⊆L, we have then L=NS and N has p-power index in L. This shows (b).
For the proof of (c) we continue to work with the subcentric locality (Ls,Fs,S) as above. Note that the restriction (Ls∣δ(F),δ(F),S) is well-defined and a regular locality over F since δ(F) is F-closed by Lemma 3.37. Applying (6.2) twice, for the proof of (c) we may replace (L,Δ,S) by (Ls∣δ(F),δ(F),S) and assume that (L,Δ,S) is a regular locality over F. Then E=FT(N) by Theorem 5.14(b) and (N,δ(E),S∩N) is a regular locality over E by Theorem 3.38(a). By [Che16, Corollary 7.11] or [Hen21a, Lemma 10.18], we have OL∗(N)=O∗(N). Setting K:=O∗(N), Theorem 5.14(b) gives moreover ΨL(K)=FS∩K(K)=ΨN(K). Thus, it is sufficient to show ΨL(O∗(L))=O∗(F).
We use now the notation Dp and Dp′ from above as well as the notation from Definition 3.31. If ∗ denotes the symbol “p”, write D∗ for Dp and set K∗:=KL. If ∗ denotes “p′”, write D∗ for Dp′ and set K∗:=KL′. By Lemma 6.3 and the definition of Op′(F) above, we have
[TABLE]
Similarly, O∗(L)=⋂K∈K∗K by definition. Properties (a) and (b) together with the fact that ΨL is a bijection give moreover that D∗={ΨL(K):K∈K∗}. Hence, by Theorem 6.2(c), we have
[TABLE]
This proves (c).
∎
Corollary 6.5**.**
Suppose (L,Δ,S) is a proper locality over F. Then L=Op(L) if and only if F=Op(F). Similarly L=Op′(L) if and only if F=Op′(F).
Proof.
As FS(L)=F, Theorem 5.14(a) implies that ΨL(L)=F. Proposition 6.4(c) gives moreover that ΨL(Op(L))=Op(F) and ΨL(Op′(L))=Op′(F). As ΨL is a bijection, the assertion follows.
∎
6.3. Simple and quasisimple localities and fusion systems
Recall the definition of simple and quasisimple proper localities from Definition 3.32. The fusion system F is called simple if F has precisely two normal subsystems, and F is called quasisimple if F=Op(F) and F/Z(F) is simple.
Proposition 6.6**.**
If (L,Δ,S) is a proper locality over F, then the following hold:
(a)
L* is simple if and only if F is simple.*
(b)
Z(L)=Z(F).
(c)
L* is quasisimple if and only if F is quasisimple.*
Proof.
(a) By Proposition 5.14, there exists a bijection ΨL:N(L)→N(F), so (a) holds.
(b) As (L,Δ,S) is a proper locality, we have that Z(L)⊆CL(S)≤S. So [Hen19, Proposition 5] yields Z(L)=Z(F), i.e. (b) holds.
(c) For any Z≤Z(L), it is true by [Hen19, Proposition 9.3(a),(d)] that (L/Z,Δ/Z,S/Z) is a proper locality over F/Z, where Δ/Z:={PZ/Z:P∈Δ}. Set now Z:=Z(L)=Z(F). By (a), L/Z=L/Z(L) is simple if and only if F/Z=F/Z(F) is simple. By Corollary 6.5, F=Op(F) if and only if L=Op(L). Hence, (c) holds.
∎
6.4. Commuting partial normal subgroups and subsystems centralizing each other
In this subsection we will relate the concepts introduced in Subsections 2.5 and 2.7 to the concepts introduced in Subsection 3.9.
Proposition 6.7**.**
Suppose (L,Δ,S) is a proper locality over F and N⊴L. Set E:=ΨL(N). Then
[TABLE]
In particular, if (L,Δ,S) is a regular locality, then FCS(N)(CL(N))=CF(E).
Proof.
If (L,Δ,S) is a regular locality, then N⊥=CL(N) by Theorem 3.38(b). Moreover, by Theorem 5.14(b), the map ΨL is in this case given by ΨL(M)=FS∩M(M) for all M⊴L. Hence, it is sufficient to show ΨL(N⊥)=CF(E) if (L,Δ,S) is arbitrary. We show this in two steps.
Step 1: We show ΨL(N⊥)=CF(E) in the case Δ=Fs. For the proof assume Δ=Fs and set T:=N∩S. Then by Lemma 3.30, (NL(T),NF(T)s,S) is a subcentric locality over NF(T) and CL(T)⊴L with CF(T)=FCS(T)(CL(T)). In particular,
[TABLE]
is defined. By [Hen21a, Corollary 9.9], we have N⊥=CS(N)M and N⊥∩S=CS(N). By Theorem 5.14(b), E=ΨL(N)=FS∩N(N)⊴F. Hence, it follows from [Hen19, Proposition 4] that N⊥∩S=CS(N)=CS(E).
Using again Theorem 5.14(b) (applied both to (L,Δ,S) and to (NL(T),NF(T)s,S)), we have ΨL(N⊥)=FS∩N⊥(N⊥)=ΨNL(T)(N⊥). Moreover, ΨNL(T)(CL(T))=FCS(T)(CL(T))=CF(T) and so, by Proposition 6.4(c), ΨNL(T)(M)=Op(ΨNL(T)(CL(T)))=Op(CF(T)). As M⊆N⊥⊆CL(T), it follows now from Theorem 5.14(e) that
[TABLE]
Hence, by Lemma 2.29, ΨL(N⊥)=ΨNL(T)(N⊥) is a normal subsystem of CF(T) of p-power index. Thus, by [AKO11, Theorem I.7.4], ΨL(N⊥) is the unique saturated subsystem of CF(T) over N⊥∩S=CS(E), which is of p-power index in CF(T) (cf. Subsection 2.6). So ΨL(N⊥)=CF(E) by definition of CF(E) (cf. Subsection 2.7).
Step 2: We show ΨL(N⊥)=CF(E) if (L,Δ,S) is arbitrary. By Theorem 3.28(d), there exists a subcentric locality (Ls,Fs,S) over F with Ls∣Δ=L and we can consider the map ΦLs,L:N(Ls)→N(L),Ms↦Ms∩L which is a bijection by Theorem 3.28(b). Setting Ns:=ΦLs,L−1(N), it follows from Step 1 that ΨLs((Ns)⊥)=CF(E). Furthermore, by [Hen21a, Lemma 9.11], we have ΦLs,L((Ns)⊥)=N⊥. Hence, using Theorem 5.14(c) we can conclude that E=ΨL(N)=ΨL(ΦLs,L(Ns))=ΨLs(Ns) and ΨL(N⊥)=ΨL(ΦLs,L((Ns)⊥))=ΨLs((Ns)⊥)=CF(E). This completes the proof.
∎
Corollary 6.8**.**
Let (L,Δ,S) be a regular locality over F and N⊴L. Set T:=S∩N and E:=ΨL(N) so that E is a normal subsystem of F over T. Then the following are equivalent:
(i)
CF(E)⊆E;
(ii)
CS(E)≤T;
(iii)
N⊥⊆N;
(iv)
N⊥∩S≤T;
(v)
CF(E)=FZ(E)(Z(E)).
Proof.
Clearly (i) implies (ii) and (v) implies (i). By Proposition 6.7, ΨL(N⊥)=CF(E). In particular, N⊥∩S=CS(E). Hence, (ii) and (iv) are equivalent.
By [Hen21a, Lemma 9.21, Corollary 10.10], (iii) and (iv) are equivalent as well; moreover, these properties are equivalent to N⊥=Z(Ns), where (Ls,Fs,S) is a subcentric locality over F with Ls∣Δ=L and Ns⊴Ls such that Ns∩L=N. Assume the latter property holds. It remains to show that (v) follows. By Theorem 5.14(b),(c) we have that E=ΨL(N)=ΨL(ΦLs,L(Ns))=ΨLs(Ns)=FS∩Ns(Ns). By [Hen21a, Lemma 9.10], Z(Ns)≤S. It is shown in [Hen19, Proposition 4] that CS(E)=CS(Ns). Hence, we can conclude that Z(Ns)≤Z(E)≤CS(E)∩T=CS(Ns)∩T≤Z(Ns) and thus N⊥=Z(Ns)=Z(E). It follows CF(E)=ΨL(N⊥)=ΨL(Z(E))=FZ(E)(Z(E)) by Theorem 5.14(f).
∎
Recall Definition 3.34. We say that partial normal subgroups N1,…,Nk of Lcommute pairwise if Ni commutes with Nj for all i,j∈{1,2,…,k} with i=j.
Proposition 6.9**.**
Suppose (L,Δ,S) is a proper locality over F and k∈N with k≥1. For i=1,2,…,k let Ni⊴L and set Ei=ΨL(Ni). Then N1,N2,…,Nk commute pairwise if and only if E1,E2,…,Ek centralize each other in F. Moreover, if so, then ΨL(N1N2⋯Nk)=E1∗E2∗⋯∗Ek.
Proof.
For i=1,…,k set Si=Ni∩S and note that Ei is a subsystem of F over Si. Assume first that N1,N2,…,Nk commute pairwise. Then Nj⊆Ni⊥ for i=j and hence M:=∏j=iNj⊆Ni⊥. Thus, Ni⊆M⊥ by [Hen21a, Corollary 5.13] and hence Ei=ΨL(Ni)⊆ΨL(M⊥)⊆CF(ΨL(M))⊆CF(M∩S) by Proposition 6.7. By Theorem 3.19(a), M∩S=∏j=iSj. Hence, it follows from Lemma 2.21 that E1,…,Ek centralize each other.
Assume now that E1,E2,…,Ek centralize each other. Fix i,j∈{1,2,…,k} with i=j. Note that Ei and Ej centralize each other. So by Proposition 2.35, we have Ei⊴CF(Ej). Thus, it follows from Theorem 5.14(d) and Proposition 6.7 that Ni=ΨL−1(Ei)⊆ΨL−1(CF(Ej))=Nj⊥. Hence, Ni commutes with Nj by definition of Nj⊥.
We have shown now that E1,E2,…,Ek centralize each other in F if and only if N1,N2,…,Nk commute pairwise. Assume now that these two equivalent conditions hold. By Lemma 2.24, E1∗E2∗⋯∗Ek⊴F and Ei⊴E1∗E2∗⋯∗Ek for i=1,2,…,k. Hence, by Theorem 5.14(d), we have Ni=ΨL−1(Ei)⊆N:=ΨL−1(E1∗E2∗⋯∗Ek) for i=1,2,…,k and therefore N1N2⋯Nk⊆N. As ΨL is inclusion-preserving, it follows E:=ΨL(N1N2⋯Nk)⊆ΨL(N)=E1∗E2∗⋯∗Ek. Since Ni⊆N1N2⋯Nk, Theorem 5.14(e) gives Ei=ΨL(Ni)⊴E for i=1,2,…,k. Hence, by Lemma 2.23(c), we have E1∗E2∗⋯∗Ek⊆E. This proves E1∗E2∗⋯∗Ek=E=ΨL(N1N2⋯Nk) as required.
∎
6.5. Characteristic subsystems
Following Aschbacher [Asc11, p. 40] we define a subsystem E of F over T≤S to be characteristic in F if E⊴F and E is Aut(F)-invariant. The latter property means that, for every α∈Aut(F), Tα=T and α∣T induces an automorphism of E.
Proposition 6.10**.**
Let (L,Δ,S) be a proper locality over F, let N⊴L and set E:=ΨL(N). Then the following hold:
(a)
If β∈Aut(L,S) and α=β∣S, then Nβ=N if and only if Eα=E.
(b)
Suppose Δ∈{Fc,Fq,Fs,δ(F)} or assume more generally that Δ is Aut(F)-invariant. Then N is Aut(L,S)-invariant if and only if E is characteristic in F.
Proof.
(a) Suppose first that α and β are as in (a). It is a restatement of Theorem 5.14(g) that Eα=ΨL(Nβ). As ΨL is a bijection, this yields (a).
(b) The sets Fc, Fq, Fs and δ(F) are Aut(F)-invariant; this is elementary to check for Fc, Fq and Fs (cf. [Hen19, Lemma 3.6]) and for δ(F) this is shown in [Hen21a, Lemma 11.19]. Thus, for the proof of (b) we may just assume that Δ is Aut(F)-invariant. One observes easily that β∣S∈Aut(F) for every β∈Aut(L,S); this follows also from the more general statement [Hen21b, Lemma 2.21(b)]. On the other hand, as Δ is Aut(F)-invariant, it follows from [Hen17, Proposition 3.19] (which uses essentially the uniqueness statement in Theorem 3.26) that every element of Aut(F) extends to an element of Aut(L,S). Thus, (b) follows from (a).
∎
7. Subnormal subsystems, partial subnormal subgroups and components
Throughout this section let F be a saturated fusion system over S.
In this section, we will be particularly interested in regular localities over F. The reason is that every partial subnormal subgroup of a regular locality is a regular locality and there are components, the layer and the generalized Fitting subgroup defined; see [Che16, Hen21a] and Subsection 3.10. We will show Theorem F and complete the proof of Theorem E(d) in Subsection 7.1. Moreover, Theorem G is proved in Subsection 7.2. As mentioned in the introduction, our work serves also the dual purpose of revisiting Aschbacher’s theory. In particular, we take great care not to use his results, but to reprove them. Essentially this is done in Subsection 7.3 and partly also in Subsection 7.2. Once the necessary results on fusion systems are reproved we will also complete the proof of Theorem A in Subsection 7.4. At the end we use the results from Subsection 7.1 to show two lemmas that are needed in the next section.
7.1. Important one-to-one correspondences
Proposition 7.1**.**
Let (L,Δ,S) be a regular locality over F and consider the map
[TABLE]
Then the following hold:
(a)
Ψ^L* is well-defined and bijective. Moreover, Ψ^L restricts to the map ΨL from Theorem 5.14.*
(b)
If E1 and E2 are subnormal subsystems of F with E1⊴⊴E2, then Ψ^L−1(E1)⊴⊴Ψ^L−1(E2).
(c)
Suppose H1 and H2 are partial subnormal subgroups of L with H1⊆H2. Then Ψ^L(H1)⊴⊴Ψ^L(H2). If H1⊴H2, then Ψ^L(H1)⊴Ψ^L(H2).
Proof.
We will use throughout that, by Theorem 5.14(a), the map ΨL:N(L)→N(F),N↦FS∩N(N) is well-defined and a bijection. Moreover, we will use that every partial subnormal subgroup H of L is a regular locality over FH∩S(H) by Corollary 3.39.
(a) Using induction on ∣L∣ one verifies easily that Ψ^L is well-defined and surjective. Clearly Ψ^L restricts to ΨL.
Suppose now that H1 and H2 are partial subnormal subgroups of L with FS∩H1(H1)=FS∩H2(H2). Then in particular, T:=H1∩S=H2∩S. We want to show that H1=H2. Assume that this is false and L is a minimal counterexample. As H1=H2, there exists i∈{1,2} such that Hi=L. Suppose without loss of generality that H1=L. Then there exists H~⊴L with H1⊴⊴H~=L. Note that T⊆H1∩H2⊆H~∩H2⊴H2 and thus Op′(H2)⊆H2∩H~⊆H~. Notice that Op′(H2) is subnormal in L and thus, by Lemma 3.6(c), also in H~. Clearly Op′(H1) is also subnormal in H~. As H1 and H2 are regular localities over E, it follows from Proposition 6.4(c) that FT(Op′(H1))=Op′(E)=FT(Op′(H2)). As ∣H~∣<∣L∣ and L was assumed to be a minimal counterexample, it follows that
[TABLE]
By [Hen21a, Lemma 11.14], Comp(Hi)=Comp(Op′(Hi)) for i=1,2. Hence
[TABLE]
Set
[TABLE]
By the Frattini Lemma [Che22, Corollary 3.11], we have Hi=E(Hi)NHi(T0) for i=1,2. Thus it remains to show that NH1(T0)=NH2(T0).
It follows from Lemma 3.6(a) that Comp(H1)⊆Comp(L). Write M for the product of the components of L which are not in Comp(H1)=Comp(H2). Recall that E(L) can be described as the product of components of L; moreover every component and every product of components is normal in F∗(L) (cf. Subsection 3.10 and [Hen21a, Proposition 11.7, Definition 11.8, Theorem 11.18(a)]). Hence, using Theorem 3.19, one sees that E(L)=E(H1)M and
[TABLE]
By [Hen21a, Lemma 4.5, Theorem 11.18(c)], the product HiM is a central product of Hi and M for i=1,2. In particular, by [Hen21a, Lemma 4.8], we have Hi⊆CL(M) and so NHi(T0)⊆NHi(S0). As E(Hi)⊴Hi it follows NHi(T0)=NHi(S0) for i=1,2.
is a subgroup of L which is a group of characteristic p. As Hi⊴⊴L, it follows from Lemma 3.6(c) that NHi(T0)=NHi(S0) is a subnormal subgroup of G for i=1,2. Since (Hi,δ(E),T) is a regular locality over E for i=1,2 and T0∈δ(E) by [Hen21a, Corollary 11.10], it follows from Lemma 3.17(c) that FT(NH1(T0))=NE(T0)=FT(NH2(T0)). So Lemma 2.9 yields NH1(T0)=NH2(T0). As argued above this implies H1=H2. This completes the proof of (a).
(b) Assume now that E1 and E2 are subnormal subsystems of F with E1⊴⊴E2. Then
[TABLE]
and FS∩H2(H2)=E2, i.e. H2 is a regular locality over E2 by Corollary 3.39. Hence,
[TABLE]
is a well-defined bijection. In particular, H1:=Ψ^H2−1(E1)⊴⊴H2⊴⊴L and thus H1⊴⊴L. Moreover, Ψ^L(H1)=FS∩H1(H1)=Ψ^H2(H1)=E1. Hence,
[TABLE]
This proves (b).
(c) Let H1 and H2 be arbitrary partial subnormal subgroups of L with H1⊆H2. Then again, by Corollary 3.39, H2 is a regular locality over E2:=Ψ^L(H2). Moreover, H1⊴⊴H2 by Lemma 3.6(c). Thus, Ψ^H2 is defined and Ψ^L(H1)=FS∩H1(H1)=Ψ^H2(H1)⊴⊴E2=Ψ^L(H2). If H1⊴H2, then by (a), Ψ^L(H1)=Ψ^H2(H1)=ΨH2(H1)⊴E2. This proves (c).
∎
The next definition follows Aschbacher [Asc11, p.3].
Definition 7.2**.**
•
A component of F is a subnormal subsystem which is quasisimple. By Comp(F) we denote the set of components of F.
•
Let E1,E2,…,En be the normal subsystems of F containing every component of F. Building on Theorem 6.2, define E(F)=⋀i=1nEi to be the largest normal subsystem of F which is normal in Ei for all i=1,…,n.
•
Set F∗(F):=E(F)Op(F) (with the product defined as in Definition 2.26).
Lemma 7.3**.**
Let (L,Δ,S) be a regular locality over F and let Ψ^L be the map from Proposition 7.1. Then the following hold.
(a)
The map Ψ^L from (a) induces a bijection from the set of components of L to the set of components of F.
(b)
ΨL(E(L))=FS∩E(L)(E(L))=E(F).
(c)
E(F)⊴CF(Op(F))* and*
[TABLE]
Proof.
We will use throughout that, by Proposition 7.1, Ψ^L is bijective and restricts to the bijection ΨL:N(L)→N(F) from Theorem 5.14.
(a) Part (a) follows from Ψ^L being bijective and Proposition 6.6(c) in combination with Corollary 3.39.
(b) We will use the characterization of E(L) as the product of components of L throughout (cf. Subsection 3.10).
As E(L)⊴L, we have E:=ΨL(E(L))=FS∩E(L)(E(L))⊴F. Since every component of L is contained in E(L), it follows from (a) and the fact that Ψ^L is clearly inclusion-preserving that E contains every component of F. Hence, by definition of E(F), we have
[TABLE]
To prove the converse inclusion set M:=ΨL−1(E(F)) and let K be a component of L. By (a), FS∩K(K) is a component of F. Hence, it follows from the definition of E(F) and from Theorem 6.2(a) that E(F) is a subsystem over a subgroup of S, which contains K∩S. As E(F)=ΨL(M)=FS∩M(M), it follows that K∩S⊆M∩S and so K∩S⊆K∩M⊴K. Since K is quasisimple, we have K=Op′(K) by Lemma 3.33. This implies K=K∩M⊆M. As K was arbitrary, this shows E(L)⊆M and thus E=ΨL(E(L))⊆ΨL(M)=E(F) as ΨL is inclusion-preserving by Theorem 5.14. Therefore E=E(F) and (b) holds.
(c) By [Hen19, Proposition 5] and Lemma 3.14, R:=Op(L)=Op(F), and by Theorem 5.14(b), ΨL(F∗(L))=FS∩F∗(L)(F∗(L)). Moreover, [Hen21a, Lemma 11.9] states that F∗(L)=E(L)R and [Hen21a, Lemma 11.5] gives E(L)⊆R⊥=CL(R). The latter property implies by [Hen21a, Lemma 3.5] that E(L) commutes with R. By Theorem 5.14(f), we have ΨL(R)=FR(R). Hence, it follows from Proposition 6.9 and from (b) that E(F) and FR(R) centralize each other and
[TABLE]
In particular, E(F)=ΨL(E(L))⊆CF(R). So by Lemma 2.32, E(F)∗FR(R)=E(F)R=F∗(F). It follows moreover from Proposition 2.35 that E(F)⊴CF(FR(R)). One observes easily that FR(R) and CF(R) centralize each other in F, so by [Hen18, Theorem 2], CF(R)⊆CF(FR(R)). By definition of CF(FR(R)), the converse inclusion holds as well. Hence E(F)⊴CF(FR(R))=CF(R). This proves (c).
∎
The first part is a reformulation of Proposition 7.1. The statement about components is shown in Theorem 7.3.
∎
Corollary 7.4**.**
Let (L,Δ,S) be a proper locality over F. Then
[TABLE]
Proof.
By Theorem 3.28(d) there exists a subcentric locality (Ls,Fs,S) over F with Ls∣Δ=L. Then Lδ:=Ls∣δ(F) is a regular locality. Thus, by Proposition 7.3(b),
[TABLE]
If ΦLs,L and ΦLs,Lδ are defined as in Theorem 3.28(b), then it follows from [Hen21a, Lemma 12.2] that
Parts (a) follows from Theorem 5.14(f) and [Hen19, Proposition 5]. Part (b) was proved in Proposition 6.4(c), part (c) is Proposition 6.7, and part (d) is Corollary 7.4.
∎
7.2. Intersections of partial subnormal subgroups and of subnormal subsystems
In this subsection and the next we demonstrate that many results about fusion systems follow easily from results about localities and the one-to-one correspondences shown so far. We start by revisiting the notion of a “subnormal intersection” of subnormal subsystems of F. So in particular we prove Theorem G. Apart from the existence of a regular locality over F, this needs only Proposition 7.1 and the elementary properties shown in Lemma 3.6. The arguments and results are very similar to the ones in Subsection 6.1. The existence of a “subnormal intersection” of subnormal subsystems of a saturated fusion system was first shown by Aschbacher [Asc11, 7.2.2]. However, we obtain a more precise characterization of this subsystem and we show how to translate between subnormal intersections in regular localities and in fusion systems.
Proposition 7.5**.**
Let (L,Δ,S) be a regular locality over F and consider the map Ψ^L from Theorem F or Proposition 7.1. Let I be an index set and suppose for every i∈I we are given a partial subnormal subgroup Hi of L. Set
[TABLE]
and M:=⋂i∈IHi. Then the following hold:
(a)
M* is a partial subnormal subgroup of L, and Ψ^L(M) is a subnormal subsystem of F over M∩S=⋂i∈ITi contained in ⋂i∈IEi.*
(b)
Ψ^L(M)* is the largest subsystem of F which is subnormal in Ei for all i∈I. Indeed, if D⊴⊴F such that D⊴⊴Ei for all i∈I, then D⊴⊴Ψ^L(M).*
Proof.
As L is finite, there are only finitely many partial subnormal subgroups of L. Hence, we may assume that I is finite. It follows then from Lemma 3.6(c) that M is subnormal in L. So Ψ^L(M) is defined and
[TABLE]
(a) Observe that E=FS∩M(M) is a fusion system over S∩M=⋂i∈ITi. As M⊆Hi it follows from Proposition 7.1(c) that E is subnormal in Ei for all i∈I. In particular, E⊆⋂i∈IEi. This proves (a).
(b) Fix now a subsystem D of F with D⊴⊴Ei for all i∈I. Then in particular D⊴⊴F. For (b) it is sufficient to prove that D⊴⊴E. Observe that
[TABLE]
Moreover, by Proposition 7.1(b), we have K⊴⊴Ψ^L−1(Ei)=Hi for all i∈I and so K⊆⋂i∈IHi=M. Hence, by Proposition 7.1(c), D=Ψ^L(K)⊴⊴Ψ^L(M)=E. This proves the assertion.
∎
We are now in a position to prove Theorem G. Indeed we prove the following theorem. Notice that parts (a),(b),(e) generalize Theorem G. The other way around, as I can be assumed to be finite, these parts could be obtained from Theorem G by induction on ∣I∣.
Theorem 7.6**.**
Let F be a saturated fusion system over S. Then for every family (Ei)i∈I of subnormal subsystems of F there exists a subsystem ⋀i∈IEi (denoted by E1∧E2∧⋯∧Ek if I={1,2,…,k}) such that the following hold, whenever I is an index set and Ei is a subnormal subsystems of F over Ti for all i∈I:
(a)
⋀i∈IEi* is a subnormal subsystem of F over ⋂i∈ITi contained in ⋂Ei. Moreover, it is the largest subsystem of F that is subnormal in Ei for all i∈I.*
(b)
Every subsystem of F which is subnormal in Ei for all i∈I is also subnormal in ⋀i∈IEi.
(c)
If I is the disjoint union of subsets I1,…,Ik, then
[TABLE]
(d)
If j∈I such that Ej⊴F, then ⋀i∈IEi is a normal subsystem of ⋀i∈I\{j}Ei.
(e)
Let (L,Δ,S) be a regular locality over F. If Ψ^L is the map from Theorem F or Proposition 7.1, then for any collection Hi (i∈I) of partial subnormal subgroups of L, we have Ψ^L(⋂i∈IHi)=⋀i∈IΨ^L(Hi).
Proof.
Fix a regular locality (L,Δ,S) over F (which exists by Lemma 3.37), and consider the map Ψ^L from Theorem F and Proposition 7.1. If Ei (i∈I) is a collection of subnormal subsystems of F, set
[TABLE]
(a,b,c,e) It follows from Proposition 7.5 that (a) and (b) hold. In particular, the definition of ⋀i∈IEi does not depend on the choice of the regular locality (L,Δ,S). This implies that (e) is true by the definition above. Since taking the intersection of sets is an associative operation, part (c) follows as well.
(d) For the proof of (d), part (c) allows us to assume without loss of generality that I={1,2} and j=1, i.e. E1⊴F. We need to show that E1∧E2⊴E2. Recall from Proposition 7.1(a) that Ψ^L restricts to the bijection ΨL:N(L)→N(F) from Theorem 5.14. So H1:=Ψ^L−1(E1)=ΨL−1(E1) is a partial normal subgroup of L. Setting H2:=Ψ^L−1(E2), one observes therefore easily that H1∩H2⊴H2. Hence, by the last part of Proposition 7.1(c), it follows E1∧E2=ψ^L(H1∩H2)⊴ψ^L(H2)=E2. This completes the proof.
∎
7.3. More proofs of theorems about fusion systems
In this subsection we reprove some results about fusion systems which are due to Aschbacher [Asc11] and mainly concern components, the layer and the generalized Fitting subsystem of a fusion system. Recall that F is assumed to be a saturated fusion system.
Let X≤S be fully F-normalized. Then E(NF(X))⊆E(F).
Proof.
By Theorem 3.26, there exists a subcentric locality (L,Δ,S) over F. We define NL(X)=NL(X)∣NF(X)s as in [Hen21a, Subsection 3.9] and remark that (NL(X),NF(X)s,NS(X)) is a subcentric locality over NF(X) by [Hen19, Lemma 9.13]. By [Hen21a, Theorem 5], we have E(NL(X))⊆E(L). Hence, applying Corollary 7.4 (combined with Theorem 5.14(b))
both to F and to NF(X), we can conclude that
[TABLE]
∎
The following lemma can be easily proved directly, but we give a proof using localities.
Lemma 7.8**.**
For every R∈Ff, the centralizer CF(R) is a normal subsystem of NF(R).
Proof.
Recall that NF(R) is saturated by [AKO11, Theorem I.5.5]. Hence, replacing F by NF(R) we may assume R⊴F. By Theorem 3.26, we can choose a subcentric locality (L,Δ,S) over F. Then R=NL(R) by [Hen19, Proposition 5]. Moreover, by Lemma 3.30, CL(R)⊴L and FCS(R)(CL(R))=CF(R). Hence, if ΨL is the map from Theorem 5.14, then by part (b) of that theorem, CF(R)=ΨL(CL(R))⊴F.
∎
By Lemma 3.37, there exists a regular locality over F. Thus, we can work under the following assumption to prove properties of F.
For the remainder of this subsection (L,Δ,S) is a regular locality over F.
Lemma 7.9**.**
Suppose F is quasisimple. Then F=Op′(F) and S is non-abelian. Moreover, if E is subnormal in F, then E=F or E⊆FZ(F)(Z(F)).
Proof.
By Proposition 6.6(c), L is quasisimple. Thus, by Lemma 3.33, L=Op′(L), S is non-abelian and every partial subnormal subgroup of L is either equal to L or contained in Z(L). Corollary 6.5 gives now F=Op′(F). Recall from Proposition 7.1 that Ψ^L is a bijection from the set of partial subnormal subgroups of L to the set of subnormal subsystems of F which takes H⊴⊴L to FS∩H(H) and thus L to FS(L)=F. So if E is subnormal in F with E=F, then there exists H⊴⊴L with E=FS∩H(H) and H=L. The property stated above together with Proposition 6.6(b) gives then H⊆Z(L)=Z(F) and thus E=FS∩H(H)⊆FZ(F)(Z(F)).
∎
The next theorem is now relatively easy to prove. Similar results were stated before by Aschbacher [Asc11, 9.6,9.8,9.9,9.13]. Recall the definition of an internal central product from Definition 2.20. It should be noted in this context that, by Lemma 2.19, our notion of an internal central product of fusion systems is closely related to Aschbacher’s notion of a central product [Asc11, p.14].
Theorem 7.10**.**
The following hold:
(a)
E(F)* and F∗(F) are characteristic subsystems of F.*
(b)
E(F)=C1∗C2∗⋯∗Cn* is an internal central product of the components C1,…,Cn of F (listed in arbitrary order).*
(c)
Comp(E(F))=Comp(F∗(F))=Comp(F)* and E(F)=F∗(E(F))=E(E(F)).*
(d)
E(F)=Op(E(F))=Op(F∗(F))=Op′(E(F)).
(e)
E(F)* is a normal subsystem of CF(Op(F)). Moreover, F∗(F)=E(F)∗FOp(F)(Op(F)) is an internal central product of E(F) and FOp(F)(Op(F)); thus F∗(F) is also an internal central product of FOp(F)(Op(F)) and the components of F (listed in arbitrary order).*
(f)
If C1,C2,…,Ck are pairwise distinct components of F, then C1,…,Ck centralize each other in E(F). Moreover, C1∗C2∗⋯∗Ck is a normal subsystem of E(F) and of F∗(F), which is an internal central product of C1,…,Ck with
[TABLE]
(g)
CF(E(F))* is constrained.*
Proof.
We will use throughout that F∗(F)=ΨL(F∗(L)) and E(F)=ΨL(E(L)) by Lemma 7.3(b),(c). Let Ψ^L always be the map from Proposition 7.1. We will also use that, by [Hen21a, Proposition 11.7],
[TABLE]
Moreover, we use that E(L) is the product of the components of L (cf. [Hen21a, Definition 11.8, Theorem 11.18(a)]). By Lemma 3.6(a),(c), this yields in particular that
[TABLE]
(a) By [Hen21a, Lemma 9.19, Lemma 11.12], F∗(L) and E(L) are Aut(L,S)-invariant. Hence, by Proposition 6.10, F∗(F)=ΨL(F∗(L)) and E(F)=ΨL(E(L)) are characteristic subsystems of F. This proves (a). Alternatively, part (a) can easily be checked directly by seeing that an automorphism of F takes components to components and normalizes Op(F).
(c) By definition of the map Ψ^L from Proposition 7.1, Ψ^L restricts to Ψ^E(L) and to Ψ^F∗(L). Moreover, by Lemma 7.11(a), Ψ^L induces a bijection between Comp(L) and Comp(F); similarly Ψ^L induces a bijection between Comp(F∗(L)) and Comp(F∗(F)) and between Comp(E(L)) and Comp(E(F)). Hence, it follows from (7.1) and (7.2) that
[TABLE]
By (7.2) and Lemma 7.3(b),(c) (applied also with E(L) in place of L) E(F)=FS∩E(L)(E(L))=FS∩E(E(L))(E(E(L)))=E(FS∩E(L)(E(L)))=E(E(F)). In particular E(F)=E(E(F))⊆F∗(E(F))⊆E(F), i.e. equality holds and thus (c) is true.
(b,d,f) If K1,…,Kr are pairwise distinct components of L, then it follows from [Hen21a, Theorem 11.18(e)] that K1,…,Kr commute pairwise. As mentioned above, Ψ^L restricts to Ψ^F∗(L) and Ψ^E(L). Thus, by Proposition 7.1(a), Ψ^L restricts also to ΨF∗(L) and ΨE(L). Recall that, by (7.1), Ki⊴F∗(L) and therefore also Ki⊴E(L). So in particular,
[TABLE]
Set M:=K1K2⋯Kr. Then M⊴F∗(L) and M⊴E(L) by Theorem 3.19(a). Applying Proposition 6.9 twice (once with F∗(L) and once with E(L) in place of L), one sees that C1,…,Cr centralize each other in E(F) and that
[TABLE]
is a normal subsystem of F∗(F) and E(F). Clearly C1∗C2∗⋯∗Cr is a central product of C1,…,Cr. By [Hen21a, Lemma 10.18, Theorem 11.11], OF∗(L)p(M)=M=OF∗(L)p′(M). So by Proposition 6.4(c),
[TABLE]
and similarly Op′(C1∗C2∗⋯∗Cr)=C1∗C2∗⋯∗Cr. It follows now from Proposition 7.3(a) that (f) holds. As E(L) is the product of the components of L, Proposition 7.3(a) implies also that E(F)=ΨL(E(L))=ΨF∗(L)(E(L)) is an internal central product of the components of F, i.e. (b) holds. In particular, we have E(F)=Op(E(F))=Op′(E(F)). As F∗(F)=E(F)Op(F) by definition, it follows from [Hen13, Theorem 1] that Op(F∗(F))=Op(E(F))=E(F) and so (d) holds.
(e) By Lemma 7.3(c), E(F)⊴CF(Op(F)) and F∗(F)=E(F)∗FOp(F)(Op(F)). Hence, the assertion follows from (b), Lemma 2.16(c) and Lemma 2.17.
(g) It follows from (7.2) and [Hen21a, Lemma 11.16] that Comp(E(L)⊥)=∅. As E(L)⊥ is a regular locality over FS∩E(L)⊥(E(L)⊥) by Theorem 3.38(a), it follows from [Hen21a, Lemma 11.6] that FS∩E(L)⊥(E(L)⊥) is constrained. Moreover, by Theorem 5.14(b), ΨL(E(L)⊥)=FS∩E(L)⊥(E(L)⊥). As ΨL(E(L))=E(F), it follows from Proposition 6.7 that CF(E(F))=ΨL(E(L)⊥) is constrained. So (g) holds.
∎
Part (a) of the following lemma was first proved by Aschbacher [Asc11, 9.11]. If E is a subsystem of F over T, then we write Op(F)⊆E to indicate that Op(F)≤T.
Lemma 7.11**.**
(a)
CF(F∗(F))=FZ(F∗(F))(Z(F∗(F))).
(b)
Set E:={E⊴F:Op(F)⊆E,CF(E)⊆E}. Then F∗(F)=⋀E∈EE.
Proof.
Recall Definition 3.35 and write N for the set of partial normal subgroups N of L with N⊥⊆N and Op(L)⊆N. By definition, F∗(L)=⋂N∈NN and by [Hen21a, Theorem 2], F∗(L)∈N. By [Hen19, Proposition 5] and Lemma 3.14, Op(F)=Op(L). Hence, it follows from Corollary 6.8 that ΨL induces a bijection from N to E and that CF(E)=FZ(E)(Z(E)) for every E∈E. Together with Lemma 7.3(c) this yields that F∗(F)=ΨL(F∗(L))∈E and (a) holds. Moreover, by Theorem 6.2(d),
[TABLE]
So (b) holds as well.
∎
Lemma 7.12**.**
Let E⊴F and let D be characteristic in E. Then D⊴F.
Proof.
We use Theorem 5.14 throughout, in particular part (b) of that theorem. Let E and D be subsystems over T and R respectively. Pick N⊴L with FS∩N(N)=ΨL(N)=E. Hence, by Theorem 3.38(a), (N,δ(E),T) is a regular locality over E. As D⊴E, there exists M⊴N with FS∩M(M)=ΨN(M)=D. By Proposition 6.10(b), M is Aut(N,T)-invariant. Therefore, it follows from [Hen21a, Lemma 10.17] applied with K={M} that M⊴L. Thus, D=FS∩M(M)=ΨL(M)⊴F.
∎
Lemma 7.13**.**
Let E⊴F. Then the following hold:
(a)
E(E), F∗(E) and E(CF(E)) are normal in F.
(b)
The set of components of F is the disjoint union of Comp(E) and Comp(CF(E)).
(c)
E(E), E(CF(E)) and FOp(F)(Op(F)) centralize each other, E(F)=E(E)∗E(CF(E)) and
[TABLE]
Proof.
(a) Part (a) follows from Theorem 7.10(a) and Lemma 7.12; alternatively, part (a) can be concluded from [Hen21a, Theorem 10.16(d), Lemma 11.13], Theorem 5.14 and Lemma 7.3(b),(c).
(b) We use now Theorem 5.14, in particular part (b) of that theorem. Fix N⊴L with FS∩N(N)=ΨL(N)=E. Then FS∩N⊥(N⊥)=ΨL(N⊥)=CF(E) by Proposition 6.7. So by Theorem 3.38(a), N is a regular locality over E and N⊥ is a regular locality over CF(E). The map Ψ^L:{H:H⊴⊴L}→{D:D⊴⊴F},H↦FS∩H(H) is by Proposition 7.1 a bijection, which then clearly restricts to Ψ^N and Ψ^N⊥. Now it follows Lemma 7.3(a) that Ψ^L induces a bijection Comp(L)→Comp(F), a bijection Comp(N)→Comp(E) and a bijection Comp(N⊥)→Comp(CF(E)). By [Hen21a, Lemma
11.16], Comp(L) is the disjoint union of Comp(N) and Comp(N⊥). Hence (b) follows.
(c) This follows from part (b), Lemma 2.16(c), Lemma 2.17, Lemma 2.23(a) and Theorem 7.10(b),(e).
∎
To formulate the next lemma, it will be convenient to use the following notation.
Notation 7.14**.**
If E is a subsystem of F over T and P≤S, then set P∩E:=P∩T. In particular, S∩E:=T.
Lemma 7.15**.**
Suppose E is a subnormal subsystem of F. Then the following hold:
If C1,…,Ck⊆Comp(F)\Comp(E) are pairwise distinct, then E,C1,C2,…,Ck centralize each other in F. Moreover, E∗C1∗C2∗⋯∗Ck is an internal central product of E,C1,C2,…,Ck with Comp(E∗C1∗C2∗⋯∗Ck)=Comp(E)∪{C1,…,Ck}.
Proof.
(a) If C∈Comp(E), then C⊴⊴E⊴⊴F and thus C∈Comp(F). So
[TABLE]
Let now C∈Comp(F) with S∩C≤S∩E. Then C∧E is by Proposition 7.5(a) a subsystem over S∩C which is subnormal in C and E. By Lemma 7.9, S∩C is non-abelian and every subnormal subsystem of C is equal to C or contained in FZ(C)(Z(C)). Thus, C∧E=C. In particular C⊴⊴E and thus C∈Comp(E). This proves (a).
(b) Let C1,…,Ck be as in (b). The map Ψ^L:{H:H⊴⊴L}→{D:D⊴⊴F},H↦FS∩H(H) is by Proposition 7.1(a) a bijection, which restricts by Lemma 7.3(a) to a bijection between Comp(L) and Comp(F). So H:=Ψ^L−1(E)⊴⊴L and Ki:=Ψ^L−1(Ci)∈Comp(L) for i=1,…,k. By [Hen21a, Theorem 11.18(c)], M:=H∏i=1kKi is a partial subnormal subgroup of L which is an internal central product of H, K1,…,Kk with Comp(M)=Comp(H)∪{K1,…,Kk}. So it follows from Lemma 3.5, Lemma 4.8 and Lemma 4.9 in [Hen21a] that H,K1,…,Kk are partial normal subgroups of M which commute pairwise. Notice that Ψ^L restricts to Ψ^M and thus, by Proposition 7.1(a), to ΨM. Now ΨM(M)=Ψ^L(M)⊴⊴F, ΨM(H)=Ψ^M(H)=E and ΨM(Ki)=Ψ^M(Ki)=Ci. By Corollary 3.39, M is a regular locality over ΨM(M). So by Proposition 6.9, E,C1,…,Ck centralize each other in ΨM(M) and thus in F; moreover, ΨM(M)=E∗C1∗C2∗⋯Ck is an internal central product of E,C1,…,Ck. By Lemma 7.3(a), Ψ^M induces a bijection between Comp(M) and Comp(ΨM(M)); similarly, Ψ^H induces a bijection between Comp(H) and Comp(E). Thus, as Ψ^M restricts to Ψ^H and Comp(M)=Comp(H)∪{K1,…,Kk}, part (b) follows.
∎
Corollary 7.16**.**
For every R∈Ff, Comp(NF(R))=Comp(CF(R)) and E(NF(R))=E(CF(R)).
Proof.
By Lemma 7.8, CF(R)⊴NF(R) and by Lemma 7.3(c), E(NF(R))⊆CNF(R)(Op(NF(R)))⊆CF(R). Hence, it follows from Lemma 7.15(a) that Comp(NF(R))=Comp(CF(R)). Now the assertion follows from Theorem 7.10(b).
∎
Lemma 7.17**.**
If E⊴F is a saturated subsystem of F of p-power index or of index prime to p, then Comp(F)=Comp(E) and E(F)=E(E). In particular,
[TABLE]
Proof.
Assume first that E⊴F is of p-power index or of index prime to p. Let H:=ΨL−1(E). By Proposition 6.4(a),(b), H has p-power index or index prime to p in L. Hence, by [Hen21a, Lemma 11.14], Comp(H)=Comp(L). By Theorem 3.38(a), H is a regular locality over E. As the map Ψ^L from Proposition 7.1 restricts to Ψ^H, it follows from Lemma 7.3(a) that Comp(F)={Ψ^L(K):K∈Comp(L)}={Ψ^H(K):K∈Comp(H)}=Comp(E). Hence, E(F)=E(E) by Theorem 7.10(b).
This proves in particular that Comp(F)=Comp(Op(F))=Comp(Op′(F))\mboxandE(F)=E(Op(F))=E(Op′(F)).
Suppose now that E is an arbitrary saturated subsystem of F of p-power index or of index prime to p. If E has p-power index, then by Lemma 2.29, Op(E)=Op(F), so Comp(F)=Comp(Op(F))=Comp(Op(E))=Comp(E) and E(F)=E(E). By [AKO11, Theorem I.7.7], Op′(F) (as we defined it in Subsection 6.2)
is the smallest saturated subsystem of F of index prime to p. Hence, if E has index prime to p, then Op′(E)=Op′(F). Hence, Comp(E)=Comp(Op′(E))=Comp(Op′(F))=Comp(F) and E(E)=E(F).
∎
Corollary 7.18**.**
Let E be a normal subsystem of F over T≤S. Then
[TABLE]
Proof.
By definition, CF(E) is a saturated subsystem of CF(T) over CS(E) of p-power index (see Subsection 2.7). Hence, Comp(CF(E))=Comp(CF(T)) and E(CF(E))=E(CF(T)) by Lemma 7.17. Corollary 7.16 yields now the assertion.
∎
By [Hen21a, Lemma 11.6], (i) is equivalent to F∗(L)=Op(L) and to Comp(L)=∅. By [Hen19, Proposition 5] and Lemma 3.14, Op(L)=Op(F). So the assertion follows from Lemma 7.3.
∎
We have now revisited the background on fusion systems which is necessary to complete the proof of Theorem A. The essential part that was missing before is the following lemma.
Lemma 7.20**.**
Let E⊴F. Then Q1Q2Op(F)∈F∗(F)cr for all Q1∈E(E)cr and Q2∈E(CF(E))cr.
Proof.
By Lemma 7.13(c), we have E(F)=E(E)∗E(CF(E)) and F∗(F)=E(F)∗FOp(F)(Op(F)). Therefore, applying [Hen21a, Lemma 2.2, Lemma 2.14(f)] twice, we get first Q1Q2∈E(F)cr and then Q1Q2Op(F)∈F∗(F)cr.
∎
Let ΨL be as in Theorem 5.14 and notice that part (a) of this theorem asserts that Theorem A(a) holds. Recall Notation 7.14. By Lemma 7.11(a), CS(F∗(F))⊆S∩F∗(F). Therefore, it follows from Lemma 2.36 that F∗(F)cr⊆F∗(F)c⊆Fq. Similarly, F∗(F)cr⊆F∗(F)s⊆δ(F). Hence, for the proof of (b) it remains to show the following: If F∗(F)cr⊆Δ, then ΨL(N)=FS∩N(N) for all N⊴L.
So suppose now that F∗(F)cr⊆Δ. Let E be a normal subsystem of F. If P1∈Ecr and P2∈CF(E)cr, then
it follows from [AOV12, Lemma 1.20(d)] that Q1:=P1∩E(E)∈E(E)cr and Q2:=P2∩E(CF(E))∈E(CF(E))cr. Hence, Lemma 7.20 gives that Q1Q2Op(F)∈F∗(F)cr⊆Δ. As Δ is overgroup-closed, this implies P1P2Op(F)∈Δ. Therefore, it follows from Theorem 5.10 that there exists a unique partial normal subgroup N of L with FS∩N(N)=E. As E⊴F was arbitrary, this means that there is a map
[TABLE]
such that E=FS∩Θ(E)(Θ(E)) for all E⊴F. Such a map is clearly injective. As ΨL is bijective, we have ∣N(L)∣=∣N(F)∣. Hence, Θ is bijective as well. Observe now that Θ−1(N)=FS∩N(N) for all N⊴L. In particular, for all N∈N(L), we have FS∩N(N)⊴F. Thus, FS∩N(N) is equal to ΨL(N) by the characterization of ΨL(N) given in Theorem 5.14(a).
If (N(F),⊴) is a poset, then Theorem A(c) is equivalent to Theorem 5.14(d),(e). Clearly, the normality relation on N(F) is reflexive and antisymmetric. To prove transitivity let E1,E2,E3∈N(F) with E1⊴E2 and E2⊴E3. Then by Theorem 5.14(d), ΨL−1(E1)⊆ΨL−1(E2)⊆ΨL−1(E3). Hence, by Theorem 5.14(e), E1=ΨL(ΨL−1(E1))⊴ΨL(ΨL−1(E3))=E3. This shows that (N(F),⊴) is a poset and completes thus the proof.
∎
7.5. An alternative characterization of δ(F)
As a consequence of Lemma 7.3(c) we can characterize the set δ(F) now without mentioning localities at all. Recall Notation 7.14.
Lemma 7.21**.**
δ(F)={P≤S:P∩F∗(F)∈Fs}={P≤S:P∩F∗(F)∈F∗(F)s}.
Proof.
By Lemma 3.37, there exists a regular locality (L,Δ,S) over F. Hence, the assertion follows from Lemma 7.3(c) combined with Lemma 10.2 and Lemma 10.11(f) in [Hen21a] (see also [Hen21a, Remark 10.12]).
∎
The following lemma will be useful in the next subsection.
Lemma 7.22**.**
δ(E(F))=E(F)s⊆F∗(F)s⊆δ(F).
Proof.
Lemma 7.21 gives F∗(F)s⊆δ(F). As F∗(E(F))=E(F) by Theorem 7.10(c), it follows also from Lemma 7.21 that δ(E(F))=E(F)s. By Theorem 7.10(d),
E(F)=Op(F∗(F)) has p-power index in F∗(F). Therefore, [Hen19, Proposition 3(d)] yields E(F)s⊆F∗(F)s.
∎
8. Products with p-subgroups
Throughout let F be a saturated fusion system over S.
Lemma 8.1**.**
Let E be a normal subsystem of F over T. Then the following hold:
(a)
Comp(ES)=Comp(E)* and E(ES)=E(E).*
(b)
δ(F)⊆δ(ES).
(c)
For every P∈δ(ES), we have POp(ES)∈δ(F).
(d)
Let (L,Δ,S) be a regular locality over F and suppose N is a partial normal subgroup of L with E=FS∩N(N). Then (NR,δ(ER),TR) is a regular locality over ER for every R≤S.
Proof.
(a) By Lemma 2.29 and Lemma 2.33, E is a normal subsystem of ES of p-power index. Hence, by
Lemma 7.17, we have E(ES)=E(E). So (a) holds.
For the proof of the remaining parts let (L,Δ,S) be a regular locality over F (which exists always by Lemma 3.37). By Theorem 5.14 (in particular by part (b) of that theorem), there exists furthermore N⊴L with FS∩N(N)=ΨL(N)=E. By Corollary 4.10, (NS,Δ,S) is a proper locality over ES. Set
[TABLE]
It follows from Lemma 7.13(a) that S1⊴S. Moreover, by [Hen19, Proposition 4], S1≤CS(E)=CS(N) and so N⊆CL(S1)⊆NL(S1) by [Hen21a, Lemma 3.5]. By [Hen19, Lemma 5.5], NL(S1) is a partial subgroup of L. Thus, NS⊆NL(S1). By [Hen19, Proposition 5] and Lemma 3.14, Op(F)=Op(L)⊴NS. So it follows
[TABLE]
Notice also that, by Lemma 7.13(c) and Lemma 2.16(c),
[TABLE]
Observe moreover that D is a fusion system over S0.
(b) Let P∈δ(F) and set P~:=PS0. As δ(F) is overgroup closed, we have P~∈δ(F) and thus P~∩F∗(F)∈F∗(F)s by Lemma 7.21. By (8.2) S∩F∗(F)=(S∩E(E))S0 and thus P~∩F∗(F)=(P~∩E(E))S0. Thus, it follows from (8.2) and [Hen21a, Lemma 2.14(g)] that P~∩E(E)∈E(E)s. Hence, by (a) and Lemma 7.22, we have P~∩E(ES)∈E(ES)s⊆δ(ES). As δ(ES) is overgroup closed, it follows P~∈δ(ES). As S0 is by (8.1) normal in NS and (NS,Δ,S) is a proper locality over ES, [Che16, Lemma 7.3] or [Hen21a, Lemma 10.6] yields now P∈δ(ES). This proves (b).
(c) Let P∈δ(ES) and set P^:=POp(ES). As δ(ES) is overgroup closed, we have P^∈δ(ES) and thus, by Lemma 7.21, P^∩F∗(ES)∈F∗(ES)s. By (a) and Theorem 7.10(e), F∗(ES)=E(E)∗FOp(ES)(Op(ES)), so in particular, P^∩F∗(ES)=(P^∩E(E))Op(ES). Now [Hen21a, Lemma 2.14(g)] yields P^∩E(E)∈E(E)s. By (8.1), S0≤Op(ES)≤P^. As P^∩E(E)∈E(E)s, it follows thus from (8.2) and [Hen21a, Lemma 2.14(g)] that P^∩F∗(F)=(P^∩E(E))S0∈F∗(F)s. Thus, by Theorem 7.21, P^∈δ(F). This shows (c).
(d) Recall from above that (L,Δ,S) is a regular locality over F, in particular Δ=δ(F). Moreover, (NS,Δ,S) is a proper locality over ES. In particular, by [Hen19, Proposition 5], Op(ES)⊴NS. It follows from (b) and (c) and from [Che16, Lemma 7.3] or [Hen21a, Lemma 10.6] that
[TABLE]
Thus, Lemma 3.29 yields that (NS,δ(ES),S) is a proper locality and hence
[TABLE]
Let now R≤S. As S is a p-group, R is subnormal in S. If R=R0⊴R1⊴⋯⊴Rn=S is a subnormal series, then by Lemma 3.22, NR=NR0⊴NR1⊴⋯⊴NRn=NS. It follows thus from (8.3) and Corollary 3.39 that F0:=FTR(NR) is saturated and (NR,δ(F0),TR) is a regular locality over F0. By Lemma 4.7, F0⊆ER and thus Op(F0)⊆Op(ER)=Op(E). As E⊆F0, it follows Op(F0)=Op(E). By [Hen13, Theorem 1], ER is the unique saturated fusion system D on TR with Op(D)=Op(E). Hence, F0=ER. This shows the assertion.
∎
Property (a) is Proposition 8.1(d) and property (c) is Corollary 4.10. Thus it remains to show part (b). For that let (L,Δ,S) be a proper locality over F such that δ(F)⊆Δ. Let moreover N⊴L, R≤S, T:=S∩N and E:=FT(N).
Notice that L0:=L∣δ(F) is a regular locality over F. Set N0:=N∩L0 and observe T=N0∩S. By Theorem 5.14(b),(c), E=ΨL(N)=ΨL0(N0)=FT(N0) is normal in F. In particular, ER is well-defined. By Proposition 8.1(d), ER=FTR(N0R). So by Lemma 4.7, FTR(NR)⊆ER=FTR(N0R)⊆FTR(NR) and thus FTR(NR)=ER.
By Corollary 4.10, (NS,Δ,S) is a proper locality over ES. In particular, by [Hen19, Proposition 5], X:=Op(ES) is normal in NS. Set Δ+:=Δ∪δ(ES). By Lemma 8.1(c), we have PX∈δ(F)⊆Δ for every P∈δ(ES). So using that Δ is overgroup closed in S, we can conclude that
[TABLE]
Notice also that Δ+ is ES-closed, as Δ and δ(ES) are ES-closed (cf. Lemma 3.37). Hence, it follows from Lemma 3.29 that (NS,Δ+,S) is a proper locality over ES and so the assertion holds.
∎
9. Products of normal subsystems
Theorem 9.1**.**
Let (L,Δ,S) be a regular locality over F. Suppose N1,N2,…,Nk are partial normal subgroups of L. For each i=1,2,…,k set Ti:=Ni∩S and Ei:=FTi(Ni). Furthermore, set
[TABLE]
Then E1,E2,…,Ek are normal in F and the following hold:
(a)
N* is a partial normal subgroup of L with N∩S=T, and FT(N) is the unique smallest normal subsystem of F over T containing each Ei as a normal subsystem (i=1,2,…,k).*
(b)
If E⊴⊴F with Ei⊴⊴E for all i=1,2,…,k, then Ei⊴E for all i=1,2,…,k and FT(N)⊴E.
(a,b) By Theorem 3.19(a), N is a partial normal subgroup of L with N∩S=T. By Theorem 5.14, in particular by part (b) of that theorem, E:=FT(N)=ΨL(N)⊴F and similarly Ei=ΨL(Ni)⊴F for i=1,2,…,k. Clearly, E is a subsystem over T. As Ni⊆N, it follows from Theorem 5.14(e) that Ei is normal in E for i=1,…,k. Thus (a) holds if (b) is true.
Let now E be a subnormal subsystem of F in which E1,E2,…,Ek are subnormal. Consider the map Ψ^L from Proposition 7.1, which restricts to ΨL. Proposition 7.1(b) gives then Ni=ΨL−1(Ei)=Ψ^L−1(Ei)⊆Ψ^L−1(E) for each i=1,2,…,k. This implies Ni⊴Ψ^L−1(E) and N=N1N2⋯Nk⊴ΨL−1(E). So Proposition 7.1(c) yields Ei=Ψ^L(Ni)⊴E and E=ΨL(N)=Ψ^L(N)⊴E. This shows (b) and thus (a) holds as well.
(c) By Proposition LABEL:ProductPSubgroupRegularLocality2, we have FT(NiT)=EiT for i=1,2,…,k. Moreover, as NiT⊆N, it follows FT(NiT)⊆E for i=1,2,…,k. Hence,
[TABLE]
The fusion system E is by definition generated by the group homomorphisms which are of the form cf∣Sf∩T:Sf∩T→T with f∈N. Fix f∈N. By Theorem 3.19(d), there exist ni∈Ni for i=1,…,k such that f=Π(n1,n2,…,nk) and Sf=S(n1,n2,…,nk). As T is strongly F-closed by [Che22, Lemma 3.1(a)], it follows that cf∣Sf∩T is the composition of restrictions of the morphisms cni∣Sni∩T (i=1,…,k). As cni∣Sni∩T is a morphism in FT(NiT) for each i=1,…,k, it follows that E⊆⟨FT(N1T),FT(N2T),…,FT(NkT)⟩. Hence
[TABLE]
This shows the assertion.
∎
The following theorem is an extended version of Theorem C.
Theorem 9.2**.**
Let F be a saturated fusion system over S. Let k≥1 and let Ei be a normal subsystem of F over Ti for i=1,2,…,k. Set T:=T1T2⋯Tk. Then there exists a subsystem E1E2⋯Ek of F such that the following hold:
(a)
E1E2⋯Ek* is the unique smallest normal subsystem of F over T containing each Ei as a normal subsystem (i=1,2,…,k).*
(b)
If E⊴⊴F such that Ei⊴⊴E for all i=1,2,…,k, then E1E2⋯Ek⊴E.
(c)
E1E2⋯Ek* is generated by E1T,E2T,…,EkT. In particular, setting*
[TABLE]
for each i=1,2,…,k and each P≤T, it follows that
[TABLE]
(d)
The product of normal subsystems is associative, i.e. if 1≤l<k, then
[TABLE]
(e)
If E1,E2,…,Ek centralize each other in F, then E1E2⋯Ek=E1∗E2∗⋯∗Ek is an internal central product of E1,E2,…,Ek (as defined in Definition 2.20).
(f)
Suppose (L,Δ,S) is a proper locality over F. If ΨL is the map from Theorem A and Ni:=ΨL−1(Ei) for i=1,2,…,k, then
[TABLE]
Proof.
By Lemma 3.37, there exists a regular locality (Lδ,δ(F),S) over F. By Theorem 5.14 (in particular by part (b) of that theorem), there exist partial normal subgroups Niδ⊴Lδ with Niδ∩S=Ti and FTi(Niδ)=ΨLδ(Niδ)=Ei for i=1,2,…,k. Set now
[TABLE]
where
[TABLE]
(a,b,c,d,e) With this definition of E1E2⋯Ek it follows from Theorem 9.1 that parts (a) and (b) of the theorem hold and moreover
[TABLE]
Using Definition 2.26, the latter equality implies part (c). It follows from Theorem 3.19(b) that part (d) holds. Moreover, Proposition 6.9 yields (e).
(f) Let (L,Δ,S) be a proper locality over F. By Theorem 3.28(d), there exists a subcentric locality (Ls,Fs,S) over F such that L=Ls∣Δ. As Fcr⊆δ(F) and δ(F) is F-closed by Lemma 3.37, the restriction Ls∣δ(F) is defined. Clearly, (Ls∣δ(F),δ(F),S) is a regular locality over F. Notice that either of the properties (a) or (c) implies that the definition of E1E2⋯Ek does not depend on the choice of (Lδ,δ(F),S). Thus, we may assume Lδ=Ls∣δ(F).
We will consider now the bijections ΦLs,L and ΦLs,Lδ given by Theorem 3.28(b) and the bijections ΨL and ΨLs given by Theorem 5.14. By part (c) of the latter theorem, we have
[TABLE]
Set Ni:=ΨL−1(Ei) and Nis:=ΦLs,L−1(Ni) for i=1,2,…,k. Put furthermore
[TABLE]
By definition of Nis, we have Nis∩L=Ni for i=1,2,…,k. Hence, it follows from Corollary 3.20 that Ns∩L=N and thus
[TABLE]
Observe also that
[TABLE]
Hence, Nis∩Lδ=Niδ. Thus, again by Corollary 3.20, Ns∩Lδ=Nδ, i.e. ΦLs,Lδ(Ns)=Nδ. We obtain now
[TABLE]
where the last equality uses Theorem 5.14(b). This shows (f) and completes thus the proof.
∎
We caution the reader that, while E1E2⋯Ek is the smallest normal subsystem of F in which E1,E2,…,Ek are normal, there may exist a smaller normal subsystem containing E1,E2,…,Ek. This is illustrated by the following example.
Example 9.3**.**
Fix the notation as in Example 5.15. Set moreover Ei=FTi(Gi) for i=1,2. Notice that Gi⊴G and thus Ei⊴F for i=1,2. Moreover, by Theorem 9.2(f), E1E2=FS(G1G2)=FS(G)=F. Observe that E1 and E2 are contained in FS(N) and, as N⊴G, we have FS(N)⊴F. However, FS(N) is properly contained in F=E1E2.
Bibliography26
The reference list from the paper itself. Each links out to its DOI / PubMed record.
1[AKO 11] 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.
2[Alp 67] J. L. Alperin, Sylow intersections and fusion , J. Algebra 6 (1967), 222–241. MR 0215913 (35 #6748)
3[AOV 12] 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.
4[Asc 08] M. Aschbacher, Normal subsystems of fusion systems , Proc. Lond. Math. Soc. (3) 97 (2008), no. 1, 239–271.
5[Asc 11] by same author, The generalized Fitting subsystem of a fusion system , Mem. Amer. Math. Soc. 209 (2011), no. 986, vi+110.
6[BCG + 05] C. Broto, N. Castellana, J. Grodal, R. Levi, and B. Oliver, Subgroup families controlling p 𝑝 p -local finite groups , Proc. London Math. Soc. (3) 91 (2005), no. 2, 325–354.
7[BCG + 07] by same author, Extensions of p 𝑝 p -local finite groups , Trans. Amer. Math. Soc. 359 (2007), no. 8, 3791–3858 (electronic).
8[BLO 03] C. Broto, R. Levi, and B. Oliver, The homotopy theory of fusion systems , J. Amer. Math. Soc. 16 (2003), no. 4, 779–856.