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 \}\)

Question 1 : Soit \(f\) de \((E, *)\) vers \((F, \perp)\), avec \(e_E\) et \(e_F\) les éléments neutres. Quelle est la définition du Noyau de \(f\) ?