Me preguntaba si había alguna aplicación estándar perspicaz del segundo isomorfismo para grupos:
THM: Deja que sea un grupo con como subgrupos y normal en . Entonces es normal en y .
He leído algunos posts útiles sobre la intuición del teorema y creo que ahora lo entiendo, pero sigo teniendo problemas para inventar un ejemplo claro. Se agradecería cualquier ejemplo sólido.