Homomorphisme
Définition
Un homomorphisme est une application entre structures algébriques de même signature qui préserve les opérations et relations définissantes (par ex. un homomorphisme de groupes préserve la multiplication, une application linéaire préserve l'addition et la multiplication scalaire).