An intersection property of Hall \(\pi\)-subgroups affecting \(\pi\)-length in finite \(\pi\)-solvable groups (Q1924952)

We say \(G\) has property \({\mathbf I}_\pi\) when, for any \(H\in\text{Hall}_\pi(G)\) and \(U,V\leq G\), if \(H\cap U\in\text{Hall}_\pi(U)\) and \(H\cap V\in\text{Hall}_\pi(V)\), then \(H\cap U\cap V\in\text{Hall}_\pi(U\cap V)\). \textit{J. Shamash} [Math. Z. 109, 288-310 (1969; Zbl 0186.32201)] asked what class of groups has Property \({\mathbf I}_\pi\). \textit{K. Doerk} and \textit{T. Hawkes} [Finite Soluble Groups (Walter de Gruyter, 1992; Zbl 0753.20001), p. 229] rephrased the question, indicating that it was still unknown whether all finite groups have the Property. \textit{K. Doerk} [Arch. Math. 60, No. 6, 505-507 (1993; Zbl 0791.20014)] has presented an example of a solvable group that does not have Property \({\mathbf I}_{\{3,5\}}\). In this paper, we introduce and construct badly \(p\)-\(r\) separated groups, certain solvable \(\{p,q,r\}\)-groups of \(\pi\)-length 2 in which \(p\) and \(r\) are in \(\pi\) and \(q\) is not. We prove that these groups have Property \({\mathbf I}_\pi\) and obtain as our main result the following: Theorem. Suppose \(G\) is a finite \(\pi\)-solvable group and \(G\) has Property \({\mathbf I}_\pi\). Then \(G\) has \(\pi\)-length 1 if and only if there is no pair of primes \(\{p,r\}\) in \(\pi\) such that \(G\) has a section that is badly \(p\)-\(r\) separated.