Pronormality and strong pronormality of subgroups. (Q354488)

A subgroup \(H\) of a group \(G\) is called `pronormal' if, for every element \(g\in G\), the subgroups \(H\) and \(H^g\) are conjugate in the subgroup \(\langle H,H^g\rangle\) of \(G\). The subgroup \(H\) is called `strongly pronormal' if, for any subgroup \(K\) of \(H\) and any element \(g\in G\), there exists an element \(x\in\langle H,K^g\rangle\) such that \(K^{gx}\leq H\). Examples of pronormal subgroups in finite groups are: normal subgroups, maximal subgroups, Sylow subgroups and Carter subgroups of finite groups (and subgroups in the first three classes are also strongly pronormal). The authors consider the following two questions: (a) Will Carter subgroups of finite groups be strongly pronormal? (b) Will pronormal subgroups of soluble groups be strongly pronormal? (In Proposition 2 it is proved that in nilpotent groups pronormal subgroups are strongly pronormal.) Theorem 3, which is too technical to be reported here, is used to answer the questions (a) and (b) in the negative.