Regular orbits of finite primitive solvable groups, the final classification (Q2100049): Difference between revisions

Let \(G\) be a finite group and \(V\) a finite, faithful and completely reducible \(G\)-module. In this case, one might naturally wonder what the orbits of \(G\) on \(V\) look like, and in particular whether there exists a regular orbit (an orbit with trivial point stabiliser). In the case of solvable groups \(G\), this last question is the focus of this article. Continuing previous work of the second author, the authors here prove the following theorem: Let \(G\) be a solvable group acting faithfully, irreducibly and quasi-primitively (every normal subgroup of \(G\) acts transitively) on a finite vector space \(V\). Assume that \(G\) is not metacyclic. Then either \(G\) has a regular orbit on \(V\) or \((G,V)\) is listed in Table 4.1. The theorem in this case is proved via a Magma computation. Theorem 2.1 as well as Tables 2.1 and 2.2 are from [\textit{Y. Yang} et al., J. Algebra 590, 139--154 (2022; Zbl 07420015)] and yield a list of all examples of groups satisfying the hypotheses of the main theorem which may not have regular orbits. In section 3, it is then detailed how this list is checked via Magma to obtain the result.