Related papers: Fusion systems and localities -- a dictionary
The theory of saturated fusion systems resembles in many parts the theory of finite groups. However, some concepts from finite group theory are difficult to translate to fusion systems. For example, products of normal subsystems with other…
We state a sufficient condition for a fusion system to be saturated. This is then used to investigate localities with kernels, i.e. localities which are (in a particular way) extensions of groups by localities. As an application of these…
Every saturated fusion system corresponds to a group-like structure called a regular locality. In this paper we study (suitably defined) normalizers and centralizers of partial subnormal subgroups of regular localities. This leads to a…
Linking systems are crucial for studying the homotopy theory of fusion systems, but are also of interest from an algebraic point of view. We propose a definition of a linking system associated to a saturated fusion system which is more…
Saturated fusion systems are categories modeling properties of conjugacy of p-subgroups in finite groups. It was shown by Chermak that they correspond nicely to group-like structures called localities. In this paper we start to explore how…
Saturated fusion systems are categories generalizing important aspects of conjugacy of $p$-subgroups in finite groups. It was shown by Chermak that there are group-like structures called regular localities associated to saturated fusion…
We show that the automorphism group of a linking system associated to a saturated fusion system $\mathcal{F}$ depends only on $\mathcal{F}$ as long as the object set of the linking system is $\mathrm{Aut}(\mathcal{F})$-invariant. This was…
This paper introduces the notion of fusion action system, an abstraction of the $p$-local data of a finite group acting on a finite set. Fusion action systems are closely connected with the theory of fusion systems; we detail the…
In this article we prove that for any saturated fusion system, that the (unique) smallest weakly normal subsystem of it on a given strongly closed subgroup is actually normal. This has a variety of corollaries, such as the statement that…
In this paper, important concepts from finite group theory are translated to localities, in particular to linking localities. Here localities are group-like structures associated to fusion systems which were introduced by Chermak. Linking…
We show that every saturated fusion system $\mathcal{F}$ has a unique minimal $\mathcal{F}$-characteristic biset $\Lambda_\mathcal{F}$. We examine the relationship of $\Lambda_\mathcal{F}$ with other concepts in $p$-local finite group…
Suppose $\mathcal{E}$ is a normal subsystem of a saturated fusion system $\mathcal{F}$ over $S$. If $X\leq S$ is fully $\mathcal{F}$-normalized, then Aschbacher defined a normal subsystem $N_{\mathcal{E}}(X)$ of $N_{\mathcal{F}}(X)$. In…
We show that every (not necessarily saturated) fusion system can be realized as a full subcategory of the fusion system of a finite group. This result extends our previous work \cite{Park2010} and complements the related result…
We say that a fusion system is the composition product of two subsystems if every morphism can be factored as a morphism in one fusion system followed by a morphism in the other. We establish a relationship between the characteristic…
A saturated fusion system over a finite $p$-group $S$ is a category whose objects are the subgroups of $S$ and whose morphisms are injective homomorphisms between the subgroups satisfying certain axioms. A fusion system over $S$ is realized…
Let $\mathcal F$ be a saturated fusion system on a finite $p$-group $S$, and let $P$ be a strongly $\mathcal F$-closed subgroup of $S$. We define the concept ``$\mathcal F$-essential subgroups with respect to $P$" which are some proper…
We define a `tree of fusion systems' and give a sufficient condition for its completion to be saturated. We apply this result to enlarge an arbitrary fusion system by extending the automorphism groups of certain of its subgroups.
When $(S,\mathcal{F},\mathcal{L})$ is a $p$-local finite group and $(T,\mathcal{E},\mathcal{\L}_0)$ is weakly normal in $(S,\mathcal{F},\mathcal{L})$ we show that a definition of $C_S(\mathcal{E})$ given by Aschbacher has a simple…
We introduce the notion of a pro-fusion system on a pro-p group, which generalizes the notion of a fusion system on a finite p-group. We also prove a version of Alperin's Fusion Theorem for pro-fusion systems.
For a prime $p$, we describe a protocol for handling a specific type of fusion system on a $p$-group by computer. These fusion systems contain all saturated fusion systems. This framework allows us to computationally determine whether or…