Sea sea un grupo topológico y sea sea un subgrupo normal. Demostrar que es un grupo topológico, donde se considera el espacio cociente de por el núcleo del mapa natural.
¿Qué significa "por el núcleo del mapa natural"?
Entiendo que el mapa natural es un mapa de un espacio a su espacio cociente que mapea puntos a sus clases de equivalencia, pero no entiendo a qué se refieren con núcleo del mapa natural ya que está hablando de un espacio topológico.
Entiendo " es un espacio cociente de ". Esto significa que el mapa natural a través de alguna partición o relación de equivalencia que dé como resultado el espacio .