Description d'une permutation
dans Algèbre
Bonjour à tous, j'ai récemment démontré le théorème suivant: "Toute permutation différente de l'identité peut s'écrire de façon unique (à l'ordre près ) comme le produit de k-cycles tous distincts (k>1)"
Je pense avoir globalement compris la preuve de l'existence néanmoins je me casse la tête sur l'unicité. Quelqu'un pourrait-il m'expliquer/ me proposer une preuve de celle ci?
Merci d'avance.
Je pense avoir globalement compris la preuve de l'existence néanmoins je me casse la tête sur l'unicité. Quelqu'un pourrait-il m'expliquer/ me proposer une preuve de celle ci?
Merci d'avance.
Réponses
-
Le théorème est suspect : voici deux décompositions différentes de la même permutation comme produit de $2$-cycles : \[(123)=(12)(23)=(23)(13).\]Il y a deux problèmes dans ton « théorème ». D'une part, la lettre $k$ n'est pas définie : veux-tu dire « produit de cycles » ? La différence, c'est que la longueur des cycles n'a pas de raison d'être la même pour chaque cycle de la décomposition. D'autre part, la contrainte « distincts » n'est pas assez forte. Je pense que tu as mal lu (ou mal transcrit).
-
Au temps pour moi. En effet les cycles sont de longueurs à priori quelconques (>1). Quant à ma transcription elle est en effectivement erronée. Par distinct je voulais signifier disjoints.
-
Comment as-tu construit les cycles? Via les orbites?
-
Oui tout à fait j’ai écrit Nn comme une union disjointe d’orbites.
-
Disons que ta permutation se décompose en k cycles à supports disjoints. Peux-tu trouver une décomposition en k' cycles à supports disjoints? Et y a-t-il un lien entre cycle et orbite?
Je pense que si tu réponds à ces questions, tu trouveras comment montrer l'unicité. -
En fait la question à se poser est "quelles sont les orbites d'un produit de cycles à support disjoints ?" Une fois la réponse obtenue, il reste à montrer que si deux permutations ont les mêmes orbites (ordonnées) alors elles coïncident.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres