Groupe alterné
En mathématiques, et plus précisément en théorie des groupes, le groupe alterné de degré n, souvent noté An, est un sous-groupe distingué du groupe symétrique des permutations d'un ensemble fini à n éléments. Ce sous-groupe est constitué des permutations produits d'un nombre pair de transpositions. Une transposition est une permutation qui échange deux éléments et fixe tous les autres. Il existe un groupe alterné pour chaque entier n supérieur ou égal à 2 ; il se note habituellement An (ou parfois en écriture Fraktur) et possède n!/2 éléments. Le plus petit groupe alterné, A2, est trivial ; A3 est cyclique d'ordre 3 ; le suivant, A4, est résoluble et, plus précisément, est produit semi-direct d'un groupe de Klein par le groupe cyclique d'ordre 3. À partir du groupe A5, les groupes alternés sont simples et non abéliens, donc non résolubles. Cette non-résolubilité à partir de n = 5 a pour conséquence le théorème d'Abel, stipulant qu'il ne peut exister d'expression générique par radicaux des solutions d'une équation algébrique de degré supérieur ou égal à 5. Le groupe alterné est la structure source de certains casse-têtes mathématiques comme le jeu de taquin ou le Rubik's Cube. Les mouvements possibles dans les deux jeux cités sont des éléments d'un groupe alterné. Cette propriété permet de montrer qu'il n'est pas possible de permuter deux cases du taquin sans modifier le reste du jeu. Les groupes alternés de degré 4 et 5 se représentent comme le groupe des rotations laissant invariant un polyèdre régulier, le tétraèdre pour A4 et le dodécaèdre régulier ou encore l'icosaèdre pour A5. Un résultat, à la base de la définition de la signature, stipule que le nombre de transpositions nécessaires pour décomposer une permutation donnée est toujours de même parité. Ainsi, le cycle (abc), qui transforme a en b, b en c et c en a peut se décomposer en deux transpositions (bc), puis (ab) ou encore en (ac) puis (bc) mais jamais en un produit d'un nombre impair de transpositions. Cette définition est à l'origine de celle d'un groupe alterné.