étant une permutation de donnée, on définit la matrice notée , carrée d’ordre dont le terme ligne colonne est (où est le symbôle de Kronecker. On note l’ensemble des où décrit .
1
et étant deux éléments de , calculer .
2
En déduire que est un sous-groupe de , isomorphe à (les matrices sont appelées matrices de permutation ).