sous-groupe caractéristique

Aide à la résolution d'exercices ou de problèmes de niveau Supérieur.

Modérateur: gdm_aidesco

Règles du forum
Merci d'éviter le style SMS dans vos messages et de penser à utiliser la fonction Recherche avant de poster un message. Pour joindre des fichiers à vos messages, consulter ce sujet.
> Penser à utiliser le mode LaTeX (voir ici) afin de rendre vos formules plus lisibles.
> Ne poster qu'un exercice (ou problème) par sujet et indiquer son niveau précis dans le titre du message.

sous-groupe caractéristique

Messagepar paspythagore » Lundi 21 Octobre 2013, 14:09

Bonjour.
Retour sur cette notion que je ne maîtrise pas :
Soit $G$ un groupe et $K$ un sous-groupe de $G$.
On dit que $K$ est caractéristique dans $G$ si :

$$\forall f\in Aut(G),f(g)\in K$$


Soit $G$ un groupe. Montrer que le groupe dérivé de $G$ est caractéristique.

Il faut montrer que c'est un sous-groupe de $G$. (ça OK)

Comment montrer que : $\forall f\in Aut(G),f(g)\in D(g)$ ?

Est ce que $f$ est l'application : $g,h\in G^2 \stackrel{f}{\mapsto} ghg^{-1}h^{-1}$ ?

Comment prouver que $f(g)\in D(g),\forall f\in Aut(G)$ ?
paspythagore
Exa-utilisateur
 
Messages: 2287
Inscription: Mercredi 19 Novembre 2008, 15:35
Statut actuel: Post-bac

Publicité

Re: sous-groupe caractéristique

Messagepar balf » Lundi 21 Octobre 2013, 15:28

paspythagore a écrit:Est ce que $f$ est l'application : $g,h\in G^2 \stackrel{f}{\mapsto} ghg^{-1}h^{-1}$ ?

Non, parce que ce que vous décrivez est une application de G² dans G. L'image de cete application est l'ensemble des commutateurs.

Comment prouver que $f(g)\in D(g),\forall f\in Aut(G)$ ?

En vérifiant que l'image d'un commutateur est un commutateur, et que par un morphisme de groupes f (auto, iso, endo ou tout ce que vous voudrez), si X est une partie de G engendrant un sous-groupe < X >, f(< X >) = < f(X) >.

B.A.
balf
Zetta-utilisateur
 
Messages: 3619
Inscription: Mercredi 02 Janvier 2008, 23:18
Statut actuel: Actif et salarié | Maître de conférence

Re: sous-groupe caractéristique

Messagepar Tonn83 » Lundi 21 Octobre 2013, 16:03

Et une question pour Paspythagore
Pouvez vous donner un exemple d'un sous-groupe normal qui ne soit pas sous-groupe caractéristique ? (Précision : normal = distingué)
----------------------------
Tonn83
Tonn83
Giga-utilisateur
 
Messages: 889
Inscription: Mercredi 05 Novembre 2008, 01:19
Localisation: Paris, France
Statut actuel: Actif et salarié | Enseignant

Re: sous-groupe caractéristique

Messagepar paspythagore » Lundi 21 Octobre 2013, 21:13

@balf : Un commutateur, c'est $[g,h]=ghg^{-1}h^{-1}$.
$f([g,h]}=f(ghg^{-1}h^{-1})$
Et puisque $f$ est un morphisme :
$f(ghg^{-1}h^{-1})=f(g)f(h)f(g^{-1})f(h^{-1})=f(g)f(h)f(g)^{-1}f(h)^{-1}$

Donc $f([g,h]}=[f(g),f(h)]$ est un commutateur.

@Tonn83 $A_4\triangleleft S_4$.
$a=(12)(34)\in A_4$ et $s=(12)\in S_4$

$ab=(12)(34)(12)=\begin{pmatrix}1&2&3&4\\1&2&4&3\end{pmatrix}=(34)\notin A_4$ ?
paspythagore
Exa-utilisateur
 
Messages: 2287
Inscription: Mercredi 19 Novembre 2008, 15:35
Statut actuel: Post-bac

Re: sous-groupe caractéristique

Messagepar Tonn83 » Lundi 21 Octobre 2013, 22:18

paspythagore a écrit:@Tonn83 $A_4\triangleleft S_4$.
$a=(12)(34)\in A_4$ et $s=(12)\in S_4$

$ab=(12)(34)(12)=\begin{pmatrix}1&2&3&4\\1&2&4&3\end{pmatrix}=(34)\notin A_4$ ?

Ceci est vrai de tout sous-groupe $H$ d'un groupe $G$. Si $h\in H$ mais $g\in G\setminus H$ alors $hg\notin H$. Vous n'avez pas répondu à ma question ...

Votre réponse à la question de balf est néanmoins correcte. :wink:
----------------------------
Tonn83
Tonn83
Giga-utilisateur
 
Messages: 889
Inscription: Mercredi 05 Novembre 2008, 01:19
Localisation: Paris, France
Statut actuel: Actif et salarié | Enseignant


Retourner vers Exercices et problèmes : Supérieur

 


  • Articles en relation
    Réponses
    Vus
    Dernier message

Qui est en ligne

Utilisateurs parcourant ce forum: Bing [Bot], Grapeshot [Crawler] et 2 invités