Signature d'une permutation d'ordre 2
Bonjour à tous, je ne parviens pas à comprendre la justification d'un des exemples de mon cours.
"On pose $\sigma$ une permutation d'ordre 2 de $G$ qui est un groupe fini d'ordre $2n$ (c'est une involution) qui n'a pas de point fixe : sa décomposition en produit de cycles à support disjoints est un produit de $\frac{\left|G \right|}{2} = n$ transpositions. En particulier sa signature est $(-1)^{n}$."
Je ne comprends pas pourquoi la décomposition de $\sigma$ se fait forcément en produit de transpositions, est-ce parce que $\sigma$ est d'ordre 2, et que s'il y avait disons un 3-cycle dans sa décomposition (qui n'est donc pas d'ordre 2), alors $\sigma$ ne pourrait pas être d'ordre 2 ? Dans ce cas, y a-t-il un moyen de généraliser ce résultat où une permutation d'ordre 3 se décomposerait en produit de 3-cycles à support disjoints uniquement ?
"Young man, in mathematics you don't understand things. You just get used to them." John Von Neumann
Réponses
-
Bonjour, de l'existence et l'unicité (à l'ordre près) de la décomposition des permutations en produit de cycles à supports disjoints découle facilement le résultat stipulant que l'ordre d'une permutation est égal au plus petit multiple commun des longueurs des cycles apparaissant dans sa décomposition.Comprends-tu ce que cela implique pour ta question ?
-
Pareil je ne comprends pas d'où vient le $\frac{\left|G \right|}{2}$?"Young man, in mathematics you don't understand things. You just get used to them." John Von Neumann
-
Je ne sais pas si tu comprends le lien entre ma réponse et ta question initiale. Si tu le comprends, alors ajoute à cet argument le fait que ta permutation ne possède pas de points fixes et tu verras assez vite d'où vient $\dfrac{|G|}{2}$.
-
Pour la décomposition en cycle d'ordre 2 comme te l'a dit Traversin, c'était le fait que l'élément était une involution qui comptait. Pour la signature, c'est le résultat, le fait que la permutation n'a pas de point de fixe et l'ordre 2n de $|G|$qui comptent.
-
Si une permutation se décompose en cycles disjoints d'ordres $a_1,\ldots,a_k$ alors son ordre est le PPCM des $a_1,\ldots,a_k$.
-
Ok merci à tous, j'ai écris mon deuxième post sans rafraîchir la page donc je n'avais pas vu qu'il y avait déjà des réponses ahah. C'est beaucoup plus clair maintenant!"Young man, in mathematics you don't understand things. You just get used to them." John Von Neumann
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.4K Toutes les catégories
- 63 Collège/Lycée
- 22.2K Algèbre
- 37.6K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 23 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 84 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 26 Mathématiques et finance
- 342 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 804 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres