Lema de Zassenhaus

Lema estructural (también llamado Lema de la Mariposa) que afirma un isomorfismo entre ciertos cocientes construidos a partir de dos series subnormales; compara los factores vecinos que aparecen cuando dos series se cruzan y produce un isomorfismo explícito de los cocientes correspondientes.