Définition
Le Groupe Symétrique S_n est le groupe de permutations constitué de toutes les bijections d'un ensemble à n éléments, d'ordre n! et dont l'opération est la composition ; c'est le groupe d'automorphismes complet d'un ensemble discret de n points.