On the \(p\)-length and \(\mathfrak{U}\)-class of a \(p\)-solvable finite group (Q6908148)

An element \(x\) of a group \(G\) is quasicentral in \(G\) if \(\langle x\rangle \langle y \rangle=\langle y\rangle \langle x \rangle\) for all \(y\in G.\) The quasicenter \(Q(G)\) of \(G\) is the subgroup generated by the set of all its quasicentral elements and the hyperquasicenter \(Q_\infty(G)\) is the terminal term of the chain of subgroups \(Q_0(G)=1\leq Q_1(G)=Q(G)\leq Q_2(G)\leq \cdots ,\) with \(Q_{i+1}(G)/Q_i(G):=Q(G/Q_i(G)).\) If \(G\) is supersolvable, then the supersolvable class \(c_{\mathfrak U}(G)\) is defined as the smallest \(n\in \mathbb N\) such that \(Q_n(G)=G.\) The famous Hall-Higman \(p\)-length theorem states that the \(p\)-length of a \(p\)-solvable group is bounded by the nilpotent class of its Sylow \(p\)-subgroups. This motivates the following question: is the \(p\)-length of a \(p\)-solvable group bounded by the \(\mathfrak U\)-class of its Sylow \(p\)-subgroups? The authors give an affirmative answer when \(p\) is odd.