Homepage › Solution manuals › David S. Dummit › Abstract Algebra › Exercise 4.5.15 (A group of order $351$ has a normal Sylow $p$-subgroup)
Exercise 4.5.15 (A group of order $351$ has a normal Sylow $p$-subgroup)
Prove that a group of order has a normal Sylow -subgroup for some prime dividing its order.
Answers
Proof. Suppose that .
By Sylow’s Theorem,
Therefore
Similarly , thus
Assume that . Then . Therefore there are subgroups of order , and distinct -subgroups intersect in the identity. Thus there are elements of order in . It remains a set of elements, whose orders are not . Then every Sylow -subgroup, of order , is included in this set , so is equal to , hence there is only one Sylow -subgroup, and so .
This shows that or : a group of order has a normal Sylow -subgroup for or . □