Paper 3, Section II, E
Part IA, 2017
Let be a normal subgroup of a finite group of prime index .
By considering a suitable homomorphism, show that if is a subgroup of that is not contained in , then is a normal subgroup of of index .
Let be a conjugacy class of that is contained in . Prove that is either a conjugacy class in or is the disjoint union of conjugacy classes in .
[You may use standard theorems without proof.]