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.

Principe

Inclure toutes les permutations de n points étiquetés ; S_n est engendré par des transpositions (les transpositions adjacentes suffisent) et sa structure algébrique est gouvernée par la décomposition en cycles et les classes de conjugaison déterminées par le type de cycle.

Démonstration

S_3 a six éléments correspondant aux permutations de {1,2,3} ; il contient des cycles comme (1 2), (1 2 3) et réalise les permutations d'un triangle étiqueté lorsque les étiquettes sont permutées.

Mauvaise application

Confondre le groupe diédral des symétries géométriques d'un polygone avec S_n (ils coïncident seulement pour n ≤ 3) ou supposer que S_n préserve une structure supplémentaire (ordre, métrique) sans la préciser est incorrect.

Conséquence

S_n fournit des représentations par permutations canoniques, la classification des éléments par type de cycle, le réseau explicite des sous-groupes incluant le sous-groupe alternant A_n, et sert de cible pour les plongements de groupes finis arbitraires par le théorème de Cayley.

Inversion

Le sous-groupe alternant A_n est l'inversion d'indice deux qui ne retient que les permutations paires ; restreindre S_n aux permutations qui préservent certaines structures (par ex. l'ordre) donne des sous-groupes propres, non le groupe symétrique complet.

Limite

Défini pour une cardinalité finie n ; pour des ensembles infinis on considère le groupe symétrique complet sur un ensemble infini avec des propriétés différentes. S_n traite les points comme permutables mais n'encode pas de structures supplémentaires comme la topologie ou la géométrie sauf contraintes additionnelles.

Tension sémantique

Tension entre S_n en tant que groupe algébrique de toutes les permutations et les groupes de symétrie géométriques (diédral, polyédral) qui agissent sur le même ensemble mais préservent métrique ou orientation — même ensemble sous-jacent, structures préservées différentes.

Synthèse

S_n est le groupe de permutations universel fini sur n points : il contient toute bijection d'un ensemble à n éléments, est engendré par des transpositions et organise les permutations par type de cycle, constituant le groupe ambiant de symétrie pour les actions combinatoires sur les points.