Décomposition de l'ensemble des classes
Bonsoir à tous
Soit $H$ un sous-groupe d'un groupe $G$. On considère l'action naturelle de $G$ sur $H\backslash G$. Soit $g\in G$. Écrivons la décomposition en cycles disjoints de $g$: $g=\prod_{i=1}^t c_i$, où chaque cycle $c_i$ a pour ordre $f_i$. Pour tout $i$, on considère $s_i\in G$ tel que $Hs_i$ appartient à l'orbite non triviale de $c_i$. Je ne vois pas pourquoi on a l'égalité
$$H\backslash G=\{Hs_ig^k\mid1\le i\le t,\ 0\le k<f_i\}$$
Merci d'avance.Réponses
-
Bonjour,Une coquille, peut-être ? (Remplacer le deuxième $t$ par l'ordre de $g$ .)
-
Bien vu. Je modifie le premier message.
-
Bonsoir
Je n'ai rien vu de bien mystérieux là-dedans. Je n'ai donc sûrement rien compris.Soit $\Omega_1, \Omega_2, \dots \Omega_t$ les orbites de $H \backslash G$ sous l'action de $\langle g \rangle$. Alors d'une part , $H \backslash G= \displaystyle \bigcup_{i=1}^t \Omega_i ,$ et d'autre part, pour tout $i\in [\![1;t]\!], \:$ on peut énumérer les éléments de $\Omega_i = \{ a_0,a_1, \dots a_{f_i-1}\} $ de façon à ce que $a_0 = Hs_i, \: $ et $ \forall k \in [\![0; f_i-1]\!],\:\: a_k =a_0g^k.$
($c_i$ permute cycliquement les éléments de son support $\Omega_i$ et fixe ceux qui ne sont pas dans $\Omega_i.$)$$ H \backslash G = \displaystyle \bigcup_{i=1}^t \Big\{Hs_ig^k \mid k \in [\![0;f_i-1 ]\!] \Big\}.$$ -
Merci pour l'éclairage. Je m'étais méchamment embrouillé avec les notations.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 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
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 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
- 312 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
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres
Qui est en ligne 5
5 Invités