Class sizes of prime-power order \(p'\)-elements and normal subgroups. (Q495625)

A well-known theorem of Itô states that a finite group having exactly two conjugacy class sizes is nilpotent. In recent years the first two authors and their collaborators extended this result in various directions such as normal subgroups or \(p'\)-elements. In the paper under review, they present the following new theorem which implies many of their earlier generalizations: Theorem. Let \(m\) be a positive integer and \(p\) a prime. Let \(N\) be a normal subgroup of the finite group \(G\). Suppose that for every prime \(q\neq p\) the \(p'\)-part of the \(G\)-conjugacy class size of every non-central \(q\)-element of \(N\) is \(m\). Then \(N\) has nilpotent \(p\)-complements. -- The proof uses the prime graph and its independence numbers and depends on CFSG.