grandes-ecoles 2016 QIII.B.1

grandes-ecoles · France · centrale-maths1__psi Groups Symmetric Group and Permutation Properties
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\}$.
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\}$.