DejarH ser un subgrupo de índice2 de un grupoG. Demostrar queH debe ser un subgrupo normal deG. Concluir que noSn es sencillo paran≥3. DejarG...DejarH ser un subgrupo de índice2 de un grupoG. Demostrar queH debe ser un subgrupo normal deG. Concluir que noSn es sencillo paran≥3. DejarG ser un grupo y dejarG′=⟨aba−1b−1⟩; que sea,G′ es el subgrupo de todos los productos finitosG de elementos en deaba−1b−1. la forma El subgrupoG′ se llama el subgrupo conmutador deG.