Strongly base-two groups (Q6050113)

Let \(G\) be a transitive permutation group on a finite set \(\Omega\). A subset \(B\) of \(\Omega\) is a base for \(G\) if the pointwise stabilizer of \(B\) in \(G\) is trivial. The minimal size of a base for \(G\) is called the base size for \(G\). The base size of a finite permutation group is a classical invariant that has been studied for many decades in group theory (see, for example, the survey article by \textit{R. F. Bailey} and \textit{P. J. Cameron} [Bull. Lond. Math. Soc. 43, No. 2, 209--242 (2011; Zbl 1220.05030)]). Now let \(G\) be a finite group, let \(H\) be a core-free subgroup of \(G\) and let \(b(G, H)\) denote the base size for the action of \(G\) on \(G/H\). Let \(\alpha(G)\) be the number of conjugacy classes of core-free subgroups \(H\) of \(G\) with \(b(G, H)\geq 3\). We say that \(G\) is a strongly base-two group if \(\alpha(G)\leq 1\), which means that almost every faithful transitive permutation representation of \(G\) has base size 2. In this paper, the authors study the strongly base-two finite groups with trivial Frattini subgroup.