On Wielandt’s join theorem for fusion systems and localities

Saturated fusion systems are categories modeling properties of conjugacy of p-elements in finite groups. It was shown by Chermak that there are group-like structures called regular localities associated to saturated fusion systems. Both the theory of fusion systems and the theory of regular localities are developed in analogy to the theory of finite groups. In this paper we focus on a classical theorem of Wielandt, which states that any two subnormal subgroups of a finite group G generate a subnormal subgroup of G. We prove versions of this theorem for regular localities and for fusion systems. Along the way we prove also a purely group-theoretical result which may be of independent interest.