Group element that normalizes finite subgroup that is generated by a subset of $G$ Let $N$ be a finte subgroup of a group $G$, and assume $N = \langle S \rangle$ for some subset $S$ of $G$. Prove that an element $g \in G$ normalizes $N$ if and only if $gSg^{-1} \subset N$.
My question is about the forward direction. That is, we assume that $g$ normalizes $N$, i.e. $gNg^{-1} = N$, and we want to prove that if $s \in S$, then $gsg^{-1} \in N$. But I cannot see how to do this. In fact, if we let $N = \{e\}$ and $S$ be any nontrivial subset of $G$, then every $g$ normalizes $N$, but $gsg^{-1} \not \in N$ if $s \neq e$. 

If $S$ generates $N$, then each element of $N$is of the form  $s_1\ldots s_n$, where each $s_i$ is either an element of $S$ or the inverse of an element of $S$ or the identity element of $G$. In particular, $S$ is contained in $N$. Hence if an element $g$ of $G$ normalizes $N$ then in particular it normalizes every element of $S$.
