La siguiente proposición muestra como generar subgrupos a partir de un homomorfismo.