Given a natural number k, are there only finitely many finite simple groups with the property that all elements have order at most k?


This holds if I only look at the finite simple groups I understand 
(e.g. alternating groups and SL(k,finite field)), but it's not clear to me whether this holds for all finite simple groups, even using their classification.



Finite simple groups with upper bound on order of elements
The classification of the finite simple groups implies that there are only finitely many finite simple groups of a given exponent $k$. To see this, first note that we can ignore the sporadic groups, as well as the cyclic groups of prime order. It is also also clear that there are only finitely many alternating groups of a given exponent. So we need only consider groups of (possibly twisted) Lie type over finite fields. Here we see that there are only finitely possibilities for the Lie type: otherwise, the Weyl groups would involve arbitrarily large alternating groups. Once the Lie type is fixed, there are only finitely many possibilities for the finite field: otherwise we would obtain semisimple/diagonal elements of arbitrarily large exponent.


There are currently no proofs of this result which do not use the classification of the finite simple groups.


