Permutation groups, simple groups, and sieve methods

We show that the number of integers n ≤ x which occur as indices of subgroups of nonabelian finite simple groups, excluding that of A_n-1 in A_n, is ∼ hx/log x, for some given constant h. This might be regarded as a noncommutative analogue of the Prime Number Theorem (which counts indices n ≤ x of subgroups of abelian simple groups). We conclude that for most positive integers n, the only quasiprimitive permutation groups of degree n are S_n and A_n in their natural action. This extends a similar result for primitive permutation groups obtained by Cameron, Neumann and Teague in 1982. Our proof combines group-theoretic and number-theoretic methods. In particular, we use the classification of finite simple groups, and we also apply sieve methods to estimate the size of some interesting sets of primes.