On generalised pronormal subgroups of finite groups. (Q2921066)

A subgroup \(U\) of \(G\) is \(\mathfrak F\)-pronormal (for \(\mathfrak F\) a formation), if for each \(g\in G\) there exists \(x\in\langle U,U^g\rangle^{\mathfrak F}\) such that \(U^x=U^g\); \(U\) is \(\mathfrak F\)-weakly normal in \(G\) if \(g\in N_G(U)\) whenever \(\langle U,U^g\rangle^{\mathfrak F}\subseteq N_G(U)\). Further \(\mathfrak f\) means a subgroup embedding functor of a finite group \(G\) such that \(\mathfrak f(G)\) contains the set of normal subgroups and is contained in the set of Sylow permutable subgroups of \(G\). These are examples of concepts used in this article. The authors test, in what way results known for the initial concepts (for \(\mathfrak F\) the formation of \(\{1\}\)) can be generalized or modified; for instance by restricting \(\mathfrak F\). The results need too much further explanation to state here.