Définition et préservation des opérations des morphismes de groupe