Herstein: Abstract Algebra Proof (Sylow's Theorem)

[ThatPinkSock]

if p^m divides |G|, show that G has a subgroup of order p^m

 

[daon2]

The base case is Cauchy's theorem. The proof of this is wide-spread, and is even on wikipedia.