Permutations commutatives = support stable ?

Bonjour,

Si on se donne deux permutations $\sigma ,\tau \in \mathfrak{S}_n$ et si $I$ désigne le support de $\sigma$ est-il vrai que $\tau(I)=I$ implique la commutativité $\sigma \tau = \tau \sigma$ ?

C'est vrai si on prend $x \notin I$ ,donc il reste à considérer le cas $x \in I$ et je pense que les décompositions en cycles disjoints de $\tau$ et $\sigma$ doivent jouer un rôle pour se ramener à des cycles mais j'ai beau tourner le problème en tout sens, il me manque le déclic... si l'énoncé est valide.

Merci pour vos lumières !

Réponses

  • L'énoncé est faux, prendre par exemple pour $\sigma$ un dérangement (càd une permutation sans points fixes), de sorte que l'hypothèse sur $\tau$ est vide. Les dérangements ne sont pas centraux.
  • C'est faux. Dans $\mathfrak S_4$, prenons $\sigma=(1\,2\,3\,4)$ et $\tau=(1\,2)(3\,4)$.
    Toutes deux ont même support $I=\{1,2,3,4\}$, on a $\tau(I)=I$,
    pourtant $\sigma\tau=(1\,3)$ alors que $\tau\sigma=(2\,4).$
    Alain
  • Merci à vous deux ! (tu)(tu)

    Je tournais "à vide" sur cet exercice depuis plusieurs jours sans succès (je commençais tout juste à envisager l'existence d'un contre-exemple ...)

    Bonne soirée
Connectez-vous ou Inscrivez-vous pour répondre.