El siguiente teorema es una generalización del Teorema [THM:OrderImage] y se desprende del Teorema del Primer Isomorfismo junto con el Teorema de Lagrange. En particular, cada subgrupoG es de la f...El siguiente teorema es una generalización del Teorema [THM:OrderImage] y se desprende del Teorema del Primer Isomorfismo junto con el Teorema de Lagrange. En particular, cada subgrupoG es de la formaH/N para algún subgrupoH deG contenerN (es decir, su preimagen enG debajo de la proyección canónica homomorfismo de GaG/N.) Esta bijección tiene las siguientes propiedades: para todosH,K≤G conN≤H yN⊆K, tenemos
