Générateurs de $\frak S_n$
Bonjour tout le monde j'ai essayé de démontrer que les cycles $(1,2)$ et $(1,2,...,n)$ engendrent $\mathfrak S_n$, mais je ne suis pas sûr de mon raisonnement.
Merci à ceux qui auront la patience de consulter mon travail.
Ps : dans l'exercice ils ont admis que les transpositions (i, i+1) engendrent $\mathfrak S_n$
Merci à ceux qui auront la patience de consulter mon travail.
Ps : dans l'exercice ils ont admis que les transpositions (i, i+1) engendrent $\mathfrak S_n$
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
À ceci près, ton raisonnement n'est pas loin d'être correct. Peux-tu calculer $\sigma (1,2)\sigma^{-1}$ de manière générale, et te convaincre que tu obtiens $(i,i+1)$ avec $\sigma =$ une certaine puissance de $(1,...,n)$ ?
Ce que tu as écris ne colle pas.
Un conseil : tu peux commencer par remarquer que pour toute permutation $\sigma$ de $\{1,\ldots,n\}$, on a $\sigma\, (1,2) \,\sigma^{-1}=(\sigma(1),\sigma(2))$.
Après, il est facile de trouver la bonne puissance du cycle $(1,2,\ldots,n)$ qui fera le $\sigma$ pour trouver $(i,i+1)$.