Partially ordered sets of non-trivial nilpotent \(\pi\)-subgroups. II. (Q2411465)

Let \(G\) be a finite group, \(\pi,\pi_1,\pi_2\subseteq\pi(G)\) be nonempty sets, \(\pi_1\cap\pi_2=\emptyset\), \(p\in\pi(G)\). Denote by \(\mathcal{N}_{\pi}(G)\) and \(\mathcal{S}_p (G)\) the posets of non-trivial nilpotent \(\pi\)-subgroups and non-trivial \(p\)-subgroups of \(G\), respectively. Continuing their studies set out in [the second author, Bull. Lond. Math. Soc. 35, No. 2, 196--202 (2003; Zbl 1025.20018)] and [the authors, Osaka J. Math. 53, No. 3, 731--750 (2016; Zbl 1358.20015)], the authors examine further the subposet \(\mathcal{L}_{\pi} (G)=\{U\in N_{\pi}(G)|\,O_{\pi}ZN_G(U)\subseteq U\}\). In [the authors, loc. cit.] it was proved that \(\mathcal{L}_{\pi}(G)\) is homotopy equivalent to \(\mathcal{N}_{\pi}(G)\). The main result of this paper is as follows: \(\mathcal{N}_{\pi_1\cup\pi_2}(G)\setminus \mathcal{N}_{\pi_1}(G)\simeq \mathcal{N}_{\pi_2}(G)\) and \(\mathcal{L}_{\pi_1\cup\pi_2}(G)\setminus \mathcal{L}_{\pi_1}(G)\simeq \mathcal{L}_{\pi_2}(G)\). Then, the homology \(H_n(N_{\pi}(G))\) of the associated order complex is considered using Mayer-Vietoris sequences. For a subfamily \(\mathcal{H}_{\pi}(G)\) of \(\pi\)-subgroups the following posets are examined further: \(\mathcal{H}_{\underline{\pi_1}\cup\pi_2}(G)=\{H\in \mathcal{H}_{\pi_1\cup\pi_2}(G)\mid \pi(H) \cap \pi_1\neq\emptyset\}\), \(\mathcal{H}_{\pi_1\cup\underline{\pi_2}}(G)=\{H\in \mathcal{H}_{\pi_1\cup\pi_2}(G)\mid \pi(H) \cap \pi_2\neq \emptyset\}\), \(\mathcal{S}_{\pi_1,\pi_2}(G)^{H}(G)=\mathcal{H}_{\underline{\pi_1}\cup\pi_2}(G)\cap \mathcal{H}_{\pi_1\cup\underline{\pi_2}}(G)\), first through numerous examples, and, in particular, it is proved that \(\mathcal{S}_{\pi_1,\pi_2}^{H}(G)\simeq \mathcal{S}_{\pi_1,\pi_2}(G)\). Finally, let \(G=\mathrm{GL}(n,F)\) be the general linear group over the Galois field \(F\) of \(p^t\) elements. The authors provide an algorithm for determining \(\mathcal{L}_{p'}(G)\), by virtue of which \(\mathcal{L}_{\pi}(G)\) may be determined for any \(\pi\) not containing \(p\), and illustrate the method for \(\mathrm{GL}(2,F)\).