Number of k-Cycles on Set of k Elements

Theorem
Let $k \in \N$ be a natural number.

Let $S_k$ denote the symmetric group on $k$ letters.

The number of elements of $S_k$ which are $k$-cycles is $\paren {k - 1}!$.

Proof
Let $\N_k$ denote the set $\set {1, 2, \ldots, k}$.

Let $\pi$ be a $k$-cycle in $S_k$.

By definition, $\pi$ moves all $k$ elements of $\set {1, 2, \ldots, k}$.

Let $j \in \N_k$ be an arbitrary element of $\N_k$.

By definition of $k$-cycle, $k$ is the smallest integer such that $\map {\pi^k} j = j$.

Thus for each $r \in \set {1, 2, \ldots, k}$, $\map {\pi^r} j$ is a different element of $\N_k$.

That is:
 * $\set {\map {\pi^r} j: r \in \N_k} = \N_k$

Let $\pi$ and $\rho$ be $k$-cycles in $S_k$ such that $\pi \ne \rho$.

From the above, the distinguishing feature of $\rho$ and $\pi$ is the order of elements of $\N_k \setminus \set j$ that $\map {\pi^r} j$ and $\map {\rho^r} j$ move $j$ to for $1 \le r < k$.

Each different ordered $\paren {k - 1}$-tuple of $\N_k \setminus \set j$ corresponds to a different $k$-cycle of $S_k$

Thus there are as many $k$-cycles of $S_k$ as there are different ordered $\paren {k - 1}$-tuples of $\N_k \setminus \set j$.

From Number of Permutations, there are $\paren {k - 1}!$ different ordered $\paren {k - 1}$-tuples of $\N_k \setminus \set j$.

Hence the result.