Processing math: 100%

Pages

Homomorphismes de groupes

Si vous n'arrivez pas à lire cette page essayez:
Cette page en IMAGE
Cette page en PDF

Énoncé du test

Soit (G,) un groupe et soit Abij(G) l'ensemble des applications bijectives de G dans G. On définit une application f de G vers Abij(G) de la façon suivante: f:GAbij(G)af(a)fa (le symbole veut dire "... est définie par ...")
Telle que fa soit définie par: fa:GGxfa(x)=axa1 On a déjà montré que fa est un homomorphisme du groupe (G,) vers lui-même (donc un endomorphisme), montrer maintenant que f elle même est aussi un homomorphisme du groupe (G,) vers le groupe (Abij(G),) [Essayez de faire cet exercice]

Attention f n'est pas la même application que fa, fa est l'image de l'élément aG par l'application f, cette image fa est elle-même une autre application, voila ce qui s'est passé: on a appliqué l'application f sur un élément a de G et on a trouvé une application fa, on définit cette dernière en l'appliquant sur un autre élément x de G, elle nous donne alors aussi un élément de G.

Indications

Un homomorphisme du groupe (G,) vers le groupe (G,Δ) est une application f de G vers G telle que: f(xy)=f(x)Δf(y) pour tout x et y de G.
Dans notre cas, le premier groupe est noté de la même façon ((G,)), mais (G,Δ) représente le groupe (Abij(G),).

Correction du test

On veut montrer que c'est un homomorphisme de (G,) vers (Abij(G),), on prend donc deux éléments a et b de G, et on regarde l'image de leur composition via f qui est fab, si elle est égale à la composée des deux images (les deux applications) fafb alors on pourra dire que c'est un homomorphisme. C'est à dire on doit montrer que: (a,b)G2:fab=fafb Bien entendu, on ne peut pas travailler avec fa toute seule, car c'est une application, il faudra l'appliquer sur un élément x de G: (a,b,x)G3:fab(x)=(fafb)(x) Démontrons donc cela: (a,b,x)G3:fab(x)=(ab)x(ab)1=abxb1a (car  est associative)=a(bxb1)a (car  est associative)=afb(x)a=fa[fb(x)]=(fafb)(x) Et ceci esr valable quel que soit x, donc: (a,b)G2,xG:fab(x)=(fafb)(x)(a,b)G2,:fab=fafb

[Vous pouvez poser des questions, faire des commentaires ou signaler une erreur en cliquant sur Commentaires ci dessous, vous pouvez aussi écrire des éxpressions mathématiques, voir comment]

Aucun commentaire: