Bonjour !
Voilà, je suis en train de travailler depuis pas mal de temps sur un exercice dont je n'ai pas de réponse et mes amis que je connais non plus ... Malheureusement, même si je comprends l'exercice, je n'arrive pas à démontrer ce qu'il fautOr, il est très important car en plus, il est fort théorique et complet. Quelqu'un pourrait-il m'aider ? Je vous remercie d'avance pour toute votre aide !
Voici le problème :
(G,.,1) et (G',.,1') sont deux groupes, f:G->G' est un morphisme surjectif de groupes et H un sous-groupes de G.
a) Sachant que ker(f)H={kH|kker(f), h
H}. Démontrez que :
.
Déduisez-en que si ker(f) est inclus dans H, alors.
b) Démontrez que si H est un sous-groupe normal de G, alors f(H) est un sous-groupe normal de G.
c) Supposons que H et K soient deux sous-groupes normaux dans G. Démontrez que siest un sous-groupe normal de
. Puis, démontrez que pour tout x
,
, on trouve que
.
Moi, j'essaie de répondre en commençant par ceci :
Pour le a), je commence par utiliser le fait que f est un morphisme surjectif. Or, l'image d'un morphisme de groupesest donnée par :
. f est surjectif si et seulement si son image est égale à G'.
Hélas, je n'ai pas l'impression que ce me soit d'une grande aide. Car ici, on s'occupe du sous-groupe H et non de G.
Mais je pense par contre que si j'applique f à chaque membre de l'équation et et que j'utilise le fait que :
, y a moyen de m'en sortir comme ceci :
Or,
![]()
Cependant, j'ai l'impression que c'est insuffisant, càd que ma réponse manque de justification, non ? Ou est-ce que ma façon de répondre est suffisamment justifiée mathématiquement parlant ?
Pour la suite càd pour, je me demandais si je ne pouvais pas tout simplement appliquer f des 2 côtés de l'égalité comme ceci :
?
Malheureusement, dans ce cas, je n'aurais pas utilisé l'information donnée à savoir que ker(f) est inclus dans H. Donc, y a de forte chance que ma mini démo soit fausse, non ?
b) Par définition, on sait qu'un sous-groupe H d'un groupe G est normal dans G si il est stable par conjugaison, càd si :
Notation :
J'applique le morphisme f à la définition ce qui donne :
Comme f est un morphisme, je peux écrire que :
(car tout morphisme préserve l'inverse et que h appartient à H).
Maintenant là aussi, je me demande si c'est bon et s'il ne manque pas des justifications ?
c) Pour le c), je n'arrive pas du tout avec la 1ère partie de la question mais pour la 2e partie, tout ce que je pense parvenir à démontrer c'est ceci (mais j'ai l'impression que ce n'est pas bon et que ce serait trop simple) :
Si pour tout x,
, on trouve que
alors je me permets d'appliquer f à chaque côté ce qui donne :
équivalant à
Et là, je devrais utiliser la 1ère partie de la question c) que je n'ai pas su démontré à savoir que siest un sous-groupe normal de
d'où
.
Mais pour cet exercice, je crois bien que je me trompe sur de nombreux points
Quelqu'un pourrait-il m'aider ? J'en ai vraiment besoin.
Merci d'avance pour toute votre aide !
-----