Hall subgroups of order not divisible by 3 (Q1316349)

Let \(\pi\) be a set of primes. According to \textit{P. Hall}'s paper [Proc. Lond. Math. Soc., III. Ser. 6, 286-304 (1956; Zbl 0075.239)] we say that the group \(G\) satisfies \(E_ \pi\) if \(G\) has a Hall \(\pi\)-subgroup; \(G\) satisfies \(C_ \pi\) if \(G\) satisfies \(E_ \pi\) and all Hall \(\pi\)- subgroups of \(G\) are conjugate. The main result of this paper is the following theorem (cf. 3.3 and 3.7 of this paper): Theorem. Let \(S\) be one of the simple groups \(A_ n(q)\) or \(C_ n(q)\). Assume \(S\) satisfies \(E_ \pi\) with \(3 \notin \pi\). Then \(S\) satisfies \(C_ \pi\) and a Hall \(\pi\)-subgroup of \(S\) has a Sylow tower. Furthermore, if \(S \leq G \leq \text{Aut} (S)\), then \(G\) satisfies \(C_ \pi\) and a Hall \(\pi\)-subgroup of \(G\) is solvable. We note that the author has proved earlier [Bull. Lond. Math. Soc. 19, 311-319 (1987; Zbl 0616.20007)] that if a finite group \(G\) satisfies \(E_ \pi\) and if \(\pi\) does not contain 2 then \(G\) satisfies \(C_ \pi\).