Stabilizer in Group of Transformations

Theorem
Let $X$ be any set with $n$ elements (where $n \in \N^*$).

Consider the symmetric group on $n$ letters $S_n$ as a group of transformations on $X$.

Let $x \in X$.

Then the stabilizer of $x$ is isomorphic to $S_{n - 1}$.

Proof
Consider the initial segment of natural numbers $\N^*_n = \set {1, 2, \ldots, n}$.

By the definition of cardinality, $H$ is equivalent to $\N^*_n$.

we can consider $S_n$ acting directly on $\N^*_n$.

The stabilizer of $n$ in $\N^*_n$ is all the permutations of $S_n$ which fix $n$, which is clearly $S_{n - 1}$.

A permutation can be applied to $\N^*_n$ so that $i \to n$ for any $i$.

Thus one can build an isomorphism to show the result for a general $i$.