Collier hexagonal
Bonjour, on voudrait connaître tous les colliers différents de 6 perles pour un choix de 7 perles différentes qu'on peut former.
Dans mon cours, on pose donc $X=\big\{x\mid\{P_1,\dots,P_6\}\to \{1,2,\dots,7\}\big\}$. $X$ représente donc tous les colliers qu'on peut former, même s'ils sont les mêmes symétriquement ($|X|=7^6$).
On considère l'action de $\mathcal D_{12}$ [groupe diédral à 12 éléments] sur $\begin{array}[t]{cccl} X:& \mathcal D_{12}\times X&\to& X \\& (g,x)&\mapsto& y:\{P_i\mapsto x(g^{-1}P_i)\} \end{array}$
Il y a l'affirmation sans justification dans mon cours qui est que deux représentations de colliers $x_1,x_2\in X$ représentent le même collier $\iff x_1,x_2$ sont dans la même orbite de l'action de $\mathcal D_{12}$ sur $X$.
Comment justifier cette affirmation ? Merci.
Dans mon cours, on pose donc $X=\big\{x\mid\{P_1,\dots,P_6\}\to \{1,2,\dots,7\}\big\}$. $X$ représente donc tous les colliers qu'on peut former, même s'ils sont les mêmes symétriquement ($|X|=7^6$).
On considère l'action de $\mathcal D_{12}$ [groupe diédral à 12 éléments] sur $\begin{array}[t]{cccl} X:& \mathcal D_{12}\times X&\to& X \\& (g,x)&\mapsto& y:\{P_i\mapsto x(g^{-1}P_i)\} \end{array}$
Il y a l'affirmation sans justification dans mon cours qui est que deux représentations de colliers $x_1,x_2\in X$ représentent le même collier $\iff x_1,x_2$ sont dans la même orbite de l'action de $\mathcal D_{12}$ sur $X$.
Comment justifier cette affirmation ? Merci.
Réponses
-
On te dit que deux colliers sont les mêmes s'ils sont symétriques ou encore (c'est implicite mais bon) si deux colliers se déduisent l'un de l'autre par rotation.
Les composées de rotations et d'une symétrie forment le bon vieux groupe dièdral, d'où l'action naturelle qui apparaît.
(On a la variante un peu plus simple pour laquelle on ne considère pas que deux colliers déduits symétriquement l'un de l'autre sont identiques : ils le sont seulement si l'un se déduit de l'autre par rotation. Quel est alors le groupe qui agit naturellement sur l'ensemble des enfilage possibles de perles ?) -
Je vois, mais pourquoi dans l'action on a $g^{-1}$ et pas juste $g$ ?
Pour la variante il suffit de restreindre au groupe des rotations, c'est-à-dire $\{id,r,\dots,r^5\}$ non ? -
Si tu ne mets pas l'inverse, tu n'obtiens pas une action à gauche mais à droite : $A(g,A(h,x))=A(hg,x)$ pour $g$, $h$ dans le groupe et $x$ dans l'ensemble des fonctions.
-
Je vois merci
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.1K Toutes les catégories
- 58 Collège/Lycée
- 22.1K Algèbre
- 37.5K Analyse
- 6.3K Arithmétique
- 58 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 20 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.7K Géométrie
- 83 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
- 24 Mathématiques et finance
- 337 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
- 801 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres