Extensions et Out
Bonjour,
Je cherche un exemple facile (pas forcément minimal du coup) de groupes $G$ et $H$, ainsi que d'un morphisme $G\to Out(H)$ qui n'est réalisé par aucune extension $1\to H\to E\to G\to 1$.
On m'a dit qu'il y avait un exemple avec $H$ le groupe dihédral à 16 éléments et $G=C_2$, mais ça me paraît pénible à vérifier, et il devrait y avoir des exemples simples si on ne les cherche pas minimaux (ou en s'autorisant par exemple des groupes infinis).
Bien sûr, il faut des exemples de $G\to Out(H)$ qui ne se relèvent pas le long de $Aut(H)\to Out(H)$, donc il faut que $G$ ne soit pas libre, et que $H/Z(H)$ soit relativement gros.
Je cherche un exemple facile (pas forcément minimal du coup) de groupes $G$ et $H$, ainsi que d'un morphisme $G\to Out(H)$ qui n'est réalisé par aucune extension $1\to H\to E\to G\to 1$.
On m'a dit qu'il y avait un exemple avec $H$ le groupe dihédral à 16 éléments et $G=C_2$, mais ça me paraît pénible à vérifier, et il devrait y avoir des exemples simples si on ne les cherche pas minimaux (ou en s'autorisant par exemple des groupes infinis).
Bien sûr, il faut des exemples de $G\to Out(H)$ qui ne se relèvent pas le long de $Aut(H)\to Out(H)$, donc il faut que $G$ ne soit pas libre, et que $H/Z(H)$ soit relativement gros.
Réponses
-
Je ne sais pas si ça peut faire avancer le schmilblick mais juste une remarque: si $(H,G)$ vérifie la condition que tu cherches alors $(H, Out(H))$ convient aussi et de plus je crois que cela se traduit cohomologiquement par le fait que l'homomorphisme de restriction $H^2(Aut(H), Z(H))\to H^2(H/Z(H), Z(H))$ ne contient pas la classe correspondant à l'extension "tautologique" $1\to Z(H)\to H\to H/Z(H)\to 1$.
-
Pea : bien vu ! Je n'avais pas repéré le critère cohomologique et ça m'a pris plus de temps pour le compremdre que je n'aurais espéré mais c'est ok maintenant :-D
Et il est particulièrement sympa puisqu'on peut faire des calculs, et qu'on s'est débarassé de $G$. Bon, il est un peu tard pour les faire, mais au moins c'est jouable
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K 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