# Cyclic Sylow $p$-subgroup in finite simple groups

Hello,

I came accross a beautiful and "simple" (no pun intended) theorem, mentioned here in slide 14 by Jack Schmidt.

All finite simple groups have a cyclic Sylow $p$-subgroup for some $p$

I found references to proofs that involve the classification of finite simple groups, for instance in Composition factors from the group ring and Artin's theorem on orders of simple groups by Wolfgang Kimmerle , Richard Lyons , Robert Sandling , David N. Teague (theorem 4.9).

Is there a known proof that does not involve the classification of finite simple groups? That would be really nice.

Thank you.

-
I do not think there is a simpler proof. There are other "easy" facts that cannot be proved without the Classification. For example, every finite simple group is generated by (at most) two elements, has very little automorphism group, etc. –  Mark Sapir Oct 14 '12 at 14:55
It's hard to state categorically that an elementary proof is impossible, but it's hard to envisage one. How would you prove that a simple group of odd order had a cyclic Sylow $p$-subgroup for some prime $p$ without using Feit Thompson, for example? –  Geoff Robinson Oct 14 '12 at 15:47
I'd add to the comments by Mark and Geoff that there is definitely no known proof without the classification. And such a proof seems impossible for mere mortals to achieve. –  Jim Humphreys Oct 14 '12 at 19:57
Thank you very much Mark, Geoff and Jim. I won;t spend anymore time finding a simpler proof. –  Portland Oct 15 '12 at 11:44