Prove that for any odd prime , a Sylow -subgroup of is cyclic and normal in .
Let be a Sylow -subgroup, where is an odd prime. Note that every element of the form has order 2 and thus by Lagrange’s Theorem cannot be an element of ; thus . Hence is cyclic. Moreover, in this previous exercise we showed that every subgroup of (in particular ) is normal in .