Domestic intersections in fusion systems (Q6594888)

Let \(\mathcal {F}\) be a saturated fusion system over a \(p\)-group \(S\) and let \(\mathcal {E}\) be a subsystem of \(\mathcal {F}\) with \(Aut_{\mathcal {F} }(S)=Aut_{\mathcal {E} }(S)\). The authors proved that the fusion system \(\mathcal {F}\) is generated by all \(\mathcal {E}\)-morphisms and all \(\mathcal {F}\)-automorphisms of some domestic intersections (called \(\mathcal {F} \setminus \mathcal {E}\)-domestic intersections in the paper) of \(\mathcal {F}\). The authors also got some results about control of fusion in finite groups as applications. This improves some known results.