Une questions sur les morphismes
Bonsoir,
Soient G et H deux ensembles et f une fonction quelconque de G vers H.
f peut être injective, surjective ou bijective.
Mais dans le cas ou f est un morphisme de groupe entre (G,.) et (H,*) , f est forcément bijective non ?
En prime, im f = H tout entier, non ?
J'ai un doute...
Soient G et H deux ensembles et f une fonction quelconque de G vers H.
f peut être injective, surjective ou bijective.
Mais dans le cas ou f est un morphisme de groupe entre (G,.) et (H,*) , f est forcément bijective non ?
En prime, im f = H tout entier, non ?
J'ai un doute...
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Ok, merci.
Je vais continuer dans ce post, j'ai une autre clarification à vous demander...
Je lis :
Il résulte du théorème 7 que si f est un homomorphisme de G dans H, alors f(G) est un sous groupe de H; on l'appelle l'image de f, et on le note Im(f);
de même, l'ensemble f$^{-1}$({e}), formé des x $\in$ G tels que f(x)=e est un sous-groupe de G, on l'appelle le noyau de G, et on le désigne par Ker(f);
Donc on parle d'homomorphisme, je dois comprendre qu'il est quelconque donc pas forcément bijectif, n'est-ce pas...
Mais ensuite on parle d'une fonction f$^{-1}$, mais là du coup je dois comprendre ça comme l'antécédent (pris dans G) de ce qui pointe sur e (pris dans H), ... pas un f$^{-1}$ la fonction réciproque de f... qui permettrait une bijection entre G et H ?
Mais $f^{-1}(\{e\})$ est bien un ensemble qui existe toujours et qui ne suppose rien sur $f$.
En première lecture, je n'avais pas saisit que pour lui f$^{-1}$ représentait un antécédent.
Merci.
Ainsi, pour utiliser la notation "antécédent" on doit ajouter obligatoirement un ensemble comme argument.