"N es un subgrupo normal de G" se escribe