Finite \(p'\)-semiregular groups (Q1355528)

In this interesting paper the classification of finite \(p'\)-semiregular groups is given. For a prime \(p\) a finite group \(G\) is called \(p'\)-semiregular if there exists a finite-dimensional \(KG\)-module \(V\) (\(K\) a field) such that every nontrivial \(p'\)-element of \(G\) acts fixed point freely on \(V\setminus\{0\}\). In case the action is \(p'\)-semiregular for all primes \(p\), the group is called semiregular. In 1936 semiregular groups have been described by \textit{H. J. Zassenhaus} in his famous paper on finite nearrings [Abh. Math. Semin. Univ. Hamb. 11, 187-220 (1935; Zbl 0011.10302)]. One of his results is that \(\text{SL}(2,5)\) is the only nontrivial perfect semiregular group. The \(p\)-local semiregularity as considered in the paper under review turns out to be much weaker than the global one and for the reach list of groups which occur and many interesting details the reader is referred to the paper. A necessary condition for \(p'\)-semiregularity is that each subgroup of order \(qr\) with \(q,r\in\pi(G)\setminus\{p\}\) is cyclic. The converse holds for solvable groups, but not in general. In the semiregular case, this is Satz 11 in Zassenhaus' paper. Note that \(\text{SL}_2(17)\) is not \(2'\)-regular, but all odd \(qr\)-subgroups are cyclic. The work of this paper has interrelations with certain classes to faithful primitive permutation groups. More precisely, if the socle \(V\) of such a group is elementary abelian than the two-point stabilizer is a \(p\)-group if and only if the one-point stabilizer acts irreducibly and \(p'\)-semiregular on \(V\).