Quizz : Qu’est-ce qu’un morphisme ?

Un morphisme (ou homomorphisme) est une application \(f\) qui « préserve la structure » entre deux ensembles munis de lois, \((E, *)\) et \((F, \perp)\).

La règle est : pour tous \(a, b\) dans \(E\) :
\(f(a * b) = f(a) \perp f(b)\)

Cela signifie : « Appliquer l’opération dans \(E\) puis envoyer le résultat vers \(F\) » donne la même chose que « Envoyer les éléments vers \(F\) d’abord, puis appliquer l’opération de \(F\) ».

Question 1 : Quelle est la définition formelle d’un morphisme \(f\) de \((E, *)\) vers \((F, \perp)\) ?