Find the center of the symmetry group $S_n$.

Here is a different proof based on the fact that the center of any group is precisely the set of elements whose conjugacy classes are singletons.

For $S_n$, the conjugacy classes are in bijection with partitions of $n$ (since conj. classes are determined by cycle type.) We'll focus on $n\geq 3$ since $S_2$ is abelian. So fix an arbitrary non-increasing partition $\lambda_1,\cdots,\lambda_k$ of $n$ whose largest part is $>1$ (otherwise it's the conj. class of the identity).

The conjugacy class of $\sigma = (1\cdots\lambda_1)(\lambda_1{+}1\ \cdots\ \lambda_1{+}\lambda_2)\cdots((\sum_{i=1}^{k-1}\lambda_i){+}1\ \cdots\ n)$ has an element distinct from $\sigma$ since we can switch 1 & 3 (remember $\lambda_1>1$ and $n\geq 3$). Thus there are no nontrivial conjugacy classes with only 1 element for $n\geq 3$, so the center of $S_n$, $n\geq 3$, is trivial.


If $n=2$; $S_2$ is cyclic of order $2$, so it is abelian and $Z(S_2)=S_2$.

Suppose $n>2$. If $\sigma \in S_n$ is not the identity, then it moves at least one letter $i$, say $\sigma(i)=k$ and since $i\neq k$, it also moves $k$, say $\sigma(k)=j$. Can you produce a permutation (a simple one, don't think too hard) that doesn't commute with $\sigma$?

Spoiler For example, say $\sigma(i)=k$ and $\sigma(k)=i$; (so $i=j$), and $\sigma$ is of the form $\sigma=(ij)\tau$, with $\tau(ij)=\tau(ji)$. Note that $\tau$ fixes $i,j$, and cannot map something to $i$ or $j$. Then consider $(i\ell)$, a transposition. Then $\sigma(i\ell)$ doesn't map $i$ to $j$: if $\tau$ moves $\ell$, it moves $i$ to something different from $j$; and if $\tau$ doesn't move $\ell$, $i\to\ell$ -- but $(i\ell)\sigma$ maps $i\to j$, so $(i\ell)\sigma\neq \sigma(i\ell)$.

It remains you see what happens when $i\neq j$; but it shouldn't be too hard either.