Todos los subgrupos "N" de un grupo abeliano "G" son normales, porque "gNg" = "Ngg" = "N".