Los subgrupos normales son claves en los homomorfismos de grupos y permiten definir grupos cociente.