\item L'élément neutre $e$ est unique. En effet si $e'$ vérifie aussi le point (\ref{it:groupeiii}), alors on a $e' \star e = e$ (car $e$ est élément neutre) et ...

dans $\{1,2,\ldots,n\}$ s'appelle une permutation. Le groupe $\mathcal{S}_n$ s'appelle le groupe des permutations ou aussi le groupe symétrique. La preuve n'est pas ...