Are the conjugacy classes normal subgroups in $S_n$?

Question

I am working on proving that if $C$ is a conjugacy class in $S_n$ then $C^g =C$ for all $g \in S_n$.

I went over similar questions which only prove that a normal subgroup is contained in union of conjugacy classes, but not claiming a conjugacy class is normal subgroup.

Answer 1

We don’t talk about “normality” except for subgroups. You may ask whether a set is “closed under conjugation”, and conjugacy classes certainly are: let $C$ be a conjugacy class, and let $x\in G$. To show $C^x\subseteq C$, let $g\in C$. Then $x^{-1}gx$ is conjugate to $g$, hence it lies in the conjugacy class of $g$... that is, in $C$. Thus, $x^{-1}Cx\subseteq C$. As this holds for all $x\in G$, it follows that $C^g=C$ for all $g\in G$.

Note that this holds for any group, not just $S_n$>

Answer 2

Let $G$ be any group, $a\in G$ and $\operatorname{cl}(a):=\{g'ag'^{-1}, g'\in G\}$. Then:

\begin{alignat}{1} g\operatorname{cl}(a)g^{-1} &= \{gg'ag'^{-1}g^{-1}, g'\in G\} \\ &= \{(gg')a(gg')^{-1}, g'\in G\} \\ \tag 1 \end{alignat}

Since, for every $g\in G$, the map $g'\mapsto gg'$ is onto $G$, from $(1)$ follows: $g\operatorname{cl}(a)g^{-1}=\{g''ag''^{-1}, g''\in G\}=\operatorname{cl}(a)$, for every $g\in G$.