Centralizers of normal subsystems revisited (Q1663530)

It is not easy to identify the origin of the theory of fusion systems: it could be argued that they stretch back to Burnside and Frobenius, with arguments about the fusion of \(p\)-elements of finite groups. Alternatively, it may be thought that it really began with the theorems on fusion in finite groups, such as Alperin's fusion theorem and Grün's theorems. The notion of a fusion system was first defined and explored by Puig in the context of modular representation theory. Later, \textit{C. Broto} et al. [J. Am. Math. Soc. 16, No. 4, 779--856 (2003; Zbl 1033.55010)] significantly extended the theory of fusion systems as a tool in homotopy theory. In this paper, the author revisits two concepts which were originally introduced by \textit{M. Aschbacher} [The generalized Fitting subsystem of a fusion system. Providence, RI: American Mathematical Society (AMS) (2011; Zbl 1278.20020)] and are crucial in the theory of saturated fusion systems. Firstly, the author gives a new approach to defining the centralizer of a normal subsystem. Secondly, the author revisits the construction of the product of two normal subsystems which centralize each other.