Subgrupo transitivamente normal

---

En matemáticas , en el campo de la teoría de grupos , se dice que un subgrupo de un grupo es transitivamente normal en el grupo si cada subgrupo normal del subgrupo también es normal en el grupo completo. En símbolos, es un subgrupo transitivamente normal de si para cada normal en , tenemos que es normal en .${\ estilo de visualización H}$${\ estilo de visualización G}$${\ estilo de visualización K}$${\ estilo de visualización H}$${\ estilo de visualización K}$${\ estilo de visualización G}$

Una forma alternativa de caracterizar estos subgrupos es: cada subgrupo normal que conserva el automorfismo del grupo completo debe restringirse a un subgrupo normal que conserva el automorfismo del subgrupo.

---