Existence of Hall subgroups and embedding of \(\pi\)-subgroups into Hall subgroups (Q1262948)

Let \(\pi\) be a set of primes. A Hall \(\pi\) subgroup of a finite group G is a subgroup H whose order is divisible only by primes in \(\pi\) and whose index [G:H] is not divisible by any prime in \(\pi\). A subgroup H of a finite group G is called a \(\pi\)-group if each prime divisor of the order of H belongs to \(\pi\). Define: \(E_{\pi}:\) A finite group G is said to satisfy \(E_{\pi}\) if there exists a Hall \(\pi\) subgroup of G. \(C_{\pi}: \) A finite group G is said to satisfy \(C_{\pi}\) if G satisfies \(E_{\pi}\) and any two \(\pi\)-Hall subgroups of G are conjugate. \(D_{\pi}: \) A finite group G is said to satisfy \(D_{\pi}\) if G satisfies \(C_{\pi}\) and any \(\pi\) subgroup of G is contained in a \(\pi\)-Hall subgroup of G. \textit{P. Hall} [Proc. Lond. Math. Soc., III. Ser. 6, 286-304 (1956; Zbl 0075.239)] conjectured that if \(2\not\in \pi\) then \(E_{\pi}\Rightarrow D_{\pi}\). \textit{F. Gross} [ibid. 52, 464-494 (1986; Zbl 0559.20014)] proved that if \(2\not\in \pi\) then \(E_{\pi}\Rightarrow C_{\pi}\) but not \(D_{\pi}\). \textit{E. L. Spitznagel} [Math. Z. 97, 259-290 (1967; Zbl 0183.031)] gives necessary and sufficient conditions that \(E_{\{r,s\}}\) holds in \(GL(n,p^ a)\) where r, s are primes. In this paper the author gives necessary and sufficient conditions that \(E_{\pi}\) holds in \(GL(n,p^ a)\) provided 2,p\(\not\in \pi\). He also shows that in two out of 3 cases where \(E_{\pi}\) holds then \(D_{\pi}\) also holds but in the third case \(D_{\pi}\) does not hold thus giving counterexamples to P. Hall's conjecture.