融合系统子系统的中心化子

当 $(S,\mathcal{F},\mathcal{L})$ 是一个 $p$-局部有限群且 $(T,\mathcal{E},\mathcal{\L}_0)$ 在 $(S,\mathcal{F},\mathcal{L})$ 中弱正规时，我们证明了 Aschbacher 给出的 $C_S(\mathcal{E})$ 定义具有一个简单的解释，由此可以非常轻松地推导出其存在性和强闭包性。我们还引用 Gross 的一个结果，给出了在 $C_S(\mathcal{E})$ 上存在唯一融合系统 $C_{\mathcal{F}}(\mathcal{E})$ 的新证明。