Let $\sigma$ and $\sigma'$ be two elements of $S_n$.
Prove that $P_\sigma P_{\sigma'} = P_{\sigma \circ \sigma'}$.
Justify that the application $\left\{\begin{array}{l} \mathbb{Z} \rightarrow S_n \\ k \mapsto \sigma^k \end{array}\right.$ is not injective.
Deduce that there exists an integer $N \geqslant 1$ such that $\sigma^N = \operatorname{Id}_{\{1,\ldots,n\}}$, where $\operatorname{Id}_{\{1,\ldots,n\}}$ denotes the identity map on the set $\{1,\ldots,n\}$.