Propiedades de la definición, el núcleo y la imagen del homomorfismo modular