Homomorphisme de Groupes

Une fonction f : G → H entre groupes qui préserve l'opération de groupe : pour tous a,b dans G, f(ab) = f(a)f(b) ; les homomorphismes envoient l'identité sur l'identité et les inverses sur des inverses, et leurs noyaux et images sont des invariants centraux.