groupe symetrique
dans Les-mathématiques
Bonjour
Dans le livre de Patrice Tauvel "algèbre", pour montrer que tout groupe G est isomorphe à un sous groupe de S_G (le groupe symétrique de G)
Il faut considérer s(a): G -> G défini par x -> ax qui est un élément de S_G.
or, s(a) n'est pas injective. Ca ne serait pas plutôt a . x . a^-1 ?
Ensuite, on utilise que G -> S_G défini par a -> s(a) est injective
Ai-je raison ou tort ?
Merci d'avance
chris
Dans le livre de Patrice Tauvel "algèbre", pour montrer que tout groupe G est isomorphe à un sous groupe de S_G (le groupe symétrique de G)
Il faut considérer s(a): G -> G défini par x -> ax qui est un élément de S_G.
or, s(a) n'est pas injective. Ca ne serait pas plutôt a . x . a^-1 ?
Ensuite, on utilise que G -> S_G défini par a -> s(a) est injective
Ai-je raison ou tort ?
Merci d'avance
chris
Réponses
-
L'application $s_a:x\in G\mapsto a.x\in G$ est bien injective, mais ce n'est pas un morphisme de groupes (le neutre ne s'envoie même pas sur le neutre), il ne faut donc pas utiliser le noyau - qui n'existe pas - pour montrer l'injectivité.
-
okok
merci
chris -
Bonjour
Précisons :
On envoie G dans S(G) groupe des bijections de G sur G ( loi de composition: la composée bien sûr)
par l'application f envoyant a sur la translation à gauche g_a
définie par x->ax
On a bien un morphisme injectif de G dans S(G) d'ou le résultat ( appelé théorème de Cayley)
Les ingrédients du théorème semblent mal compris par chris et romain..
Oump.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.4K Toutes les catégories
- 62 Collège/Lycée
- 22.2K Algèbre
- 37.6K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 23 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 84 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
- 26 Mathématiques et finance
- 342 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
- 804 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres