Los subgrupos normales de "G" son exactamente los núcleos de los homomorfismos de grupo "f": "G" → "H".