Conjugacy classes of derangements in finite transitive groups (Q2631144)

Let \(G\) be a transitive permutation group on a finite set \(\Omega\) of size at least 2. An element \(g\in G\) is called a derangement on \(\Omega\) if it acts fixed-point free on \(\Omega\). By a theorem of \textit{B. Fein} et al. [J. Reine Angew. Math. 328, 39--57 (1981; Zbl 0457.13004)], \(G\) contains a derangement of prime power order. In this paper, the author classifies all such \((G,\Omega)\) for which \(G\) contains a single conjugacy class of derangements. This was done under the assumption that \(G\) acts primitively on \(\Omega\) by \textit{T. C. Burness} and \textit{H. P. Tong-Viet} [Q. J. Math. 66, No. 1, 63--96 (2015; Zbl 1335.20001)]. It turns out that there are no imprimitive examples. The reduction to the primitive case is an inductive proof and requires the result for almost simple groups. The author also discusses some results on the proportion of conjugacy classes which consist of derangements.