Kernels of Localities

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 results, we define and study certain products in fusion systems and localities, thus giving a new method to construct saturated subsystems of fusion systems.