Teorema 1.34 (Segundo teorema de isomorfía): "Si formula_9 es un subgrupo normal de un grupo formula_1 y formula_2 es un subgrupo cualquiera de formula_1, entonces formula_90 es normal en formula_2 y formula_92."