Partially ordered sets of non-trivial nilpotent \(\pi\)-subgroups (Q315850)

Let \(G\) be a finite group and \(\mathrm{Sgp}(G)\) the poset of all subgroups. Define the following subposets of \(\mathrm{Sgp}(G)\): \(N_{\pi}(G)\) the subposet of all non-trivial nilpotent \(\pi\)-subgroups, \(\mathrm{Ab}_{\pi}(G)\) the subposet of all non-trivial abelian \(\pi\)-subgroups, \(A_{\pi}(G)\) the subposet of all non-trivial direct products of elementary abelian \(p\)-subgroups of \(G\) where \(p\in \pi\), \(L_{\pi}(G)=\{U\in N_{\pi}(G) \mid U\geq O_{\pi}ZN_G(U)\}\), \(L^{*}_{\pi}(G)=\{U\in N_{\pi}(G) \mid U\geq \Omega_{1}O_{\pi}ZN_G(U)\}\). For instance for \(S_5\), we have \(L_{2,3}=L^{*}_{2,3}(G)=N_{2,3}(G)\setminus \langle(123)\rangle^G\). For a poset \(P\) denote by \(O(P)\) the order complex of P defined by all inclusion-chains. The posets \(P\) and \(Q\) are called homotopy equivalent if the complexes \(O(P)\) and \(O(Q)\) are homotopy equivalent. The authors continue their research set forth in the papers [Tokyo J. Math. 37, No. 1, 37--59 (2014; Zbl 1334.16010); Osaka J. Math. 52, No. 1, 161--204 (2015; Zbl 1366.20013)]. The main result of the authors states that the posets \(N_{\pi}(G)\), \(L_{\pi}(G)\), \(L^{*}_{\pi}(G)\), \(\mathrm{Ab}_{\pi}(G)\), \(A_{\pi}(G)\), \(\mathrm{Ab}_{\pi}(G)\cap L_{\pi}(G)\) and \(\mathrm{Ab}_{\pi}(G)\cap L^{*}_{\pi}(G)\) are pairwise homotopy equivalent, extending results in [\textit{M. S. Lucido}, Commun. Algebra 23, No. 5, 1825--1836 (1995; Zbl 0831.20021)]. Moreover, the poset \(L_{\pi}(S_n)\) is described. Checking \(H\in L_{\pi}(S_n)\) is reduced to the case where the subgroup \(H\) is irreducible with empty stabilizer. A strategy is introduced to perform the task and carried through for \(n\leq6\).