Centralisateurs dans un p-groupe
Bonjour
Soit $K< G$ deux $p$-groupes. Je note $C_G$ le commutateur centralisateur d'un élément dans $G$.
Le cardinal de l'ensemble $\{y\in K \mid C_K(y) = C_G(y)\}$ est-il toujours divisible par $p$ ?
Quelques éléments :
$-$ lorsque $K$ est normal, on peut réfléchir à l'action de $G$ sur cet ensemble par conjugaison, et obtenirvque la réponse est "oui". Plus généralement, on pourrait essayer de faire intervenir le groupe des automorphismes de $G$ qui envoient $K$ dans $K$, mais pas sûr de voir comment exploiter ça...
$-$ pour des petits exemples (e.g. certains sous-groupes $K$ du $p$-Sylow de $GL_3(\mathbb F_p)$, ou encore les quaternions) j'ai l'impression que la réponse est oui, mais le souci est qu'il y a beaucoup de sous-groupes normaux dans ces cas....
$-$ il doit être possible de coder la question en GAP ou en Sage mais je ne sais pas faire, donc si une personne savait faire une recherche d'exemples sur des petits 2-groupes ou 3-groupes (peut-être plus simple ?) ça pourrait indiquer si on cherche un contre-exemple ou une preuve.
Soit $K< G$ deux $p$-groupes. Je note $C_G$ le commutateur centralisateur d'un élément dans $G$.
Le cardinal de l'ensemble $\{y\in K \mid C_K(y) = C_G(y)\}$ est-il toujours divisible par $p$ ?
Quelques éléments :
$-$ lorsque $K$ est normal, on peut réfléchir à l'action de $G$ sur cet ensemble par conjugaison, et obtenirvque la réponse est "oui". Plus généralement, on pourrait essayer de faire intervenir le groupe des automorphismes de $G$ qui envoient $K$ dans $K$, mais pas sûr de voir comment exploiter ça...
$-$ pour des petits exemples (e.g. certains sous-groupes $K$ du $p$-Sylow de $GL_3(\mathbb F_p)$, ou encore les quaternions) j'ai l'impression que la réponse est oui, mais le souci est qu'il y a beaucoup de sous-groupes normaux dans ces cas....
$-$ il doit être possible de coder la question en GAP ou en Sage mais je ne sais pas faire, donc si une personne savait faire une recherche d'exemples sur des petits 2-groupes ou 3-groupes (peut-être plus simple ?) ça pourrait indiquer si on cherche un contre-exemple ou une preuve.
Réponses
-
Si $K$ ne contient pas le centre $Z$ de $G$, ton ensemble est vide. Sinon $Z$ (qui est toujours non trivial) agit librement dessus.
-
Tu veux dire "commutateur" ou "centralisateur" ?
-
Pea : ah bah bien sûr, le centre ! Merci !
Paul : euh centralisateur certainement, même si je ne sais pas trop ce que "commutateur d'un élément dans un groupe" peut vouloir dire (ah genre le sous-groupe engendré par $[y,G]$ ?)
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.8K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 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