I wonder does the following statement holds: 1. For any sufficiently large $n$ the symmetric group $S\_n$ contains at least one 2-transitive subgroup other than $S\_n$ itself and $A\_n$?


2. Actually I'm interested in whether every symmetric group $S\_n$, for sufficiently large $n$, contains a transitive subgroup whose order is divisible by $n(n-1)$. If the first statement holds then it obviously implies the second.


I would appreciate any comments on the above two questions. 



2-transitive subgroups of a symmetric group
It has been pointed out in comments that the answer to Question 1 is no. The answer to Question 2 is also no.


Let $p$ be a prime with $p \equiv 1 \bmod 72$, and let $n = 2p+1$. Then $n \equiv 3 \bmod 9$, so $n$ is not prime and is not a proper power. Also, $n \equiv 3 \bmod 8$, so $n+1$ is not a power of $2$.


I claim that no transitive subgroup $G$ of $S\_n$ apart from $A\_n$ and $S\_n$ has order divisible by $n(n-1)$.


Such a $G$ contains an element $g$ of order $p$, and it would have to be primitive because the maximal imprimitive subgroups of $S\_n$ are wreath products of the form $S\_a \wr S\_b$ with $ab=n$, and their orders are not divisible by $p$ (note that $n$ odd implies $a,b \ge 3$). Now by an old [theorem of Jordan](https://en.wikipedia.org/wiki/Jordan%27s_theorem_(symmetric_group)), if $g$ was a single $p$-cycle then we would have $G=A\_n$ or $S\_n$, so we can assume that $g$ is a product of two disjoint $p$-cycles.


So $G$ is either 2-transitive, or its point stabilizer has two orbits of the same length $p$, and then $G$ is $3/2$-transitive.


$3/2$-transitive groups are classified in Corollary 3 of a [paper by Liebeck, Praeger and Saxl](https://arxiv.org/abs/1412.3912).
The list consists of $2$-transitive groups, Frobenius groups, affine groups, and almost simple groups of even degree or degree $21$. A Frobenius group with an element of order $p$ would have to be affine, and is ruled out by our choice of $n$, which is odd, not prime, and not a proper power.


So we are just left with the $2$-transitive groups. For sufficiently large $n$, the only such groups of odd degree (apart from $A\_n$ and $S\_n$) are the Suzuki groups ${\rm Sz}(2^k)$, which are of degree $2^{2k}+1$, and so cannot occur in this context, the unitary groups $U\_3(2^k)$ of degree $2^{3k}+1$, ditto, and the groups containing $L\_k(q)$ of degree $n=(q^k-1)/(q-1)$.


Groups in the last class have order dividing
$$q^{k(k-1)/2}(q^{k}-1)(q^{k-1}-1)\cdots(q-1)e,$$
where $q=r^e$ with $r$ prime.
Our choice of $n$ ensures that $n+1$ is not a power of $2$, which rules out $q=2$, and for $q>2$ , we see that all prime divisors of $|G|$ are less than $p = (n-1)/2$.


