Finite groups with some pronormal subgroups. (Q546300)

This paper deals with a subgroup embedding property called pronormality, which plays an important role in the structural study of groups. A subgroup \(A\) of a group \(G\) is said to be pronormal in \(G\) if \(A\) and \(A^g\) are conjugate in \(\langle A,A^g\rangle\) for all \(g\in G\). Then a finite group \(G\) is said to be a PRN-group if every cyclic subgroup of \(G\) of prime order or order \(4\) is pronormal in \(G\). The first main result of this interesting paper is a characterisation of finite PRN-groups based on the normal structure. The result remains the classical characterisation of the finite soluble T-groups (groups in which every subnormal subgroup is normal) due to W. Gaschütz (see Theorem 2.1.11 of the book by \textit{A. Ballester-Bolinches, R. Esteban-Romero}, and \textit{M. Asaad}, Products of finite groups. [de Gruyter Expositions in Mathematics 53. Berlin: Walter de Gruyter (2010; Zbl 1206.20019)]). It is not surprising bearing in mind the classical characterisation due to D. J. S. Robinson and T. A. Peng of the finite soluble T-groups as the groups in which every subgroup of prime power order is pronormal (see Theorem 2.3.1 of the above mentioned book). The second main result is the classification of the minimal non-PRN-groups. Again this classification remains the one of minimal non-T-groups due to D. J. S. Robinson. The last result classifies the finite groups whose second maximal subgroups are PRN-groups.