This problem is taken from I.N. Herstein
Problem:
If $G$ is a group and $a \in G$ if of finite order and has only a finite number of conjugates in $G$, prove that these conjugates of $a$ generate a finite normal subgroup of $G$.
I would like to see a solution for this and also I would like to know whether the conjugates always generate a normal subgroup.