On coprime \(G\)-conjugacy class sizes in a normal subgroup. (Q741242)

The set of conjugacy class sizes of a finite group \(G\) exerts a strong influence on the structure of \(G\), and in the past few years, it has been put forward that the sizes of the conjugacy classes of \(G\) contained in a normal subgroup \(N\) of \(G\) can also have a strong control on the structure of \(N\). In 1981, L. Kazarin showed that when the set of class sizes of \(G\) is \(\{1,m,n\}\), with \(m\) and \(n\) coprime numbers, then \(G/Z(G)\) is a Frobenius group in which the inverse images of the kernel and the complement are Abelian. The same structure for \(G\) was obtained later by Bianchi, Gillio and Casolo in the case in which the two largest class sizes of \(G\) are two coprime numbers. In the paper under review, the authors obtain a similar result for the structure of a normal subgroup \(N\) when the two largest sizes of the \(G\)-classes contained in \(N\) are coprime. In this case, \(N/Z(N)\) is either a prime power order group or a Frobenius group with Abelian kernel and complement. However, this is done only under the assumption that \(m\) is squarefree.