Test : Noyau et Image d’un homomorphisme
Pour un morphisme \(f\) de \((E, *)\) vers \((F, \perp)\) :
1. Le Noyau (Ker(f)) est l’ensemble des éléments de l’ensemble de départ (\(E\)) qui sont « écrasés » sur l’élément neutre de l’ensemble d’arrivée (\(e_F\)).
\(Ker(f) = \{ x \in E \mid f(x) = e_F \}\)
2. L’Image (Im(f)) est l’ensemble de tous les éléments de l’ensemble d’arrivée (\(F\)) qui sont « atteints » par au moins un élément de \(E\).
\(Im(f) = \{ f(x) \mid x \in E \}\)
Quiz terminé !
Félicitations ! Le noyau et l’image sont des outils puissants pour analyser les morphismes.
Rappelez-vous :
- Le Noyau mesure à quel point le morphisme est « injectif ». Si \(Ker(f) = \{e_E\}\), il est injectif.
- L’Image mesure à quel point le morphisme est « surjectif ». Si \(Im(f) = F\), il est surjectif.
