Normal subgroups and \(p\)-regular \(G\)-class sizes. (Q657953)

In the paper under review, the authors study finite \(p\)-soluble groups with a normal subgroup \(N\) in which the \(p\)-regular elements have exactly two \(G\)-conjugacy class sizes, \(1\) and \(m\), say. They prove in Theorem~A that in this case \(N\) possesses nilpotent \(p\)-complements and give further information about the structure of the \(p\)-complements: if \(H\) is a \(p\)-complement of \(N\), then either \(H\) is Abelian or \(H\) is a product of a \(q\)-group for some prime \(q\neq p\) and a central subgroup of~\(G\). In order to prove the nilpotency of the \(p\)-complements of \(N\), they use the classification of \textit{H. Heineken} [Math.\ Proc.\ R. Ir.\ Acad.\ 106A, No. 2, 191-198 (2006; Zbl 1146.20032)] of non-Abelian simple CP-groups, that is, groups in which every element has prime power order. As a corollary, it is obtained that if \(N\) is a normal subgroup of a finite group \(G\) such that the size of any \(G\)-conjugacy class contained in \(N\) is \(1\) or \(m\), then \(N\) is nilpotent.