Finite groups in which pronormality and \(\mathfrak F\)-pronormality coincide. (Q254324)

For a formation \(\mathfrak F\) of groups, \(\mathfrak F\)-pronormal subgroups \(U\subseteq G\) satisfy \(U^g=U^x\) with \(x\in\langle U,U^g\rangle^{\mathfrak F}\) for all \(g\in G\). (For \(\mathfrak N\) the formation of nilpotent groups, \(\mathfrak N\)-pronormal subgroups are just pronormal subgroups.) The authors describe formations of solvable groups with the property of the title with a special look at supersolvable groups.