\begin{definition}[Definition:Cycle Decomposition]
Let $S_n$ denote the symmetric group on $n$ letters.
Let $\pi$ be a permutation on $S_n$.
The '''cycle decomposition''' of $\pi$ is the product of the disjoint cycles in which $\pi$ can be expressed.
\end{definition}