É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:G⟶Abij(G)a⟼f(a)≐fa (le symbole ≐ veut dire "... est définie par ...")Telle que fa soit définie par: fa:G⟶Gx⟼fa(x)=a⋆x⋆a−1 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 a∈G 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(x⋆y)=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 fa⋆b, si elle est égale à la composée des deux images (les deux applications) fa∘fb alors on pourra dire que c'est un homomorphisme. C'est à dire on doit montrer que: ∀(a,b)∈G2:fa⋆b=fa∘fb 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:fa⋆b(x)=(fa∘fb)(x) Démontrons donc cela: ∀(a,b,x)∈G3:fa⋆b(x)=(a⋆b)⋆x⋆(a⋆b)−1=a⋆b⋆x⋆b−1⋆a (car ⋆ est associative)=a⋆(b⋆x⋆b−1)⋆a (car ⋆ est associative)=a⋆fb(x)⋆a=fa[fb(x)]=(fa∘fb)(x) Et ceci esr valable quel que soit x, donc: ∀(a,b)∈G2,∀x∈G:fa⋆b(x)=(fa∘fb)(x)⟹∀(a,b)∈G2,:fa⋆b=fa∘fb[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:
Enregistrer un commentaire