Conditions for the supersolvability of \(\mathcal{F}_S(G)\) (Q6962909)

This article studies structural conditions ensuring the supersolvability of the fusion system \(\mathcal{F}_{S}(G)\) of a finite group \(G\) with respect to a fixed Sylow \(p\)-subgroup \(S\).\N\NThe main results provide sufficient conditions for the supersolvability of \(\mathcal{F}_{S}(G)\) based on the structure of specific subgroups of \(S\): Theorem A deals with subgroups of order \(p\) in the case of odd primes; Theorem B considers the case when all maximal subgroups of \(S\) satisfy required normality or complement conditions; Theorem C generalizes these to the case where \(S\) contains a proper non-trivial subgroup \(U\) and every subgroup of \(S\) of order \(|U|\) or \(p|U|\) is normal in \(G\) or has a normal complement in \(G\).\N\NA concrete example (with \(G = A_5\) and \(p = 5\)) shows that these conditions ensure the supersolvability of the fusion system even when the group \(G\) itself fails to be \(p\)-supersolvable, thereby emphasizing that fusion-theoretic supersolvability does not necessarily reflect global group-theoretic supersolvability.