A1.4
Part II, 2003
(i) Let be a prime number. Show that a group of order has a nontrivial normal subgroup, that is, is not a simple group.
(ii) Let and be primes, . Show that a group of order has a normal Sylow -subgroup. If has also a normal Sylow -subgroup, show that is cyclic. Give a necessary and sufficient condition on and for the existence of a non-abelian group of order . Justify your answer.