Propriétés du noyau et de l'image de l'homomorphisme modulaire : définition