ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Le groupe symétrique
Exercice 12
Soit et un morphisme du groupe dans le groupe .
1. On suppose que . Montrer que pour toute transposition .
2. Déterminer tous les morphismes de groupes de dans .
Corrigé
1. Soit une transposition. Il existe une permutation telle que et : on complète par une bijection quelconque de sur , ces deux ensembles ayant éléments. Par l'exercice 8, , et comme est un morphisme à valeurs dans le groupe commutatif ,
2. Le calcul de la question 1 n'a pas utilisé l'hypothèse : toutes les transpositions ont la même image . Comme , on a (proposition 10 du chapitre 11), donc . Soit une écriture de comme produit de transpositions (proposition 3) ; alors . Si , est constant égal à ; si , par la proposition 5 (i). Réciproquement, ces deux applications sont des morphismes, la seconde par le théorème 2. À retenir. Un morphisme vers un groupe commutatif prend la même valeur sur deux permutations conjuguées, et toutes les transpositions sont conjuguées entre elles. Bien que soit très grand, n'y a que deux images possibles, et : c'est une autre façon de voir le point (iii) du théorème 2.