Groups having all elements off a normal subgroup with prime power order (Q6073854): Difference between revisions

Let \(G\) be a finite group and let \(N\) be a normal subgroup of \(G\). In the paper under review, the author proves that if there is a prime \(p\) so that all the elements in \(G\setminus N\) have \(p\)-power order, then either \(G\) is a \(p\)-group or \(G = PN\) where \(P\) is a Sylow \(p\)-subgroup of \(G\) and \((G,P,P \cap N)\) is a Frobenius-Wielandt triple. Furthermore he proves that if all the elements of \(G \setminus N\) have prime power orders and the orders are divisible by two primes \(p\) and \(q\), then \(G\) is a \(\{p, q\}\)-group and \(G/N\) is either a Frobenius group or a \(2\)-Frobenius group. Finally, he proves that if all the elements of \(G \setminus N\) have prime power orders and the orders are divisible by at least three primes, then all elements of \(G\) have prime power order and \(G/N\) is non-solvable.