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.

Principio

Intersecciones y productos de subobjetos procedentes de dos series generan configuraciones en 'mariposa' cuyas piezas de cociente simétricas son isomorfas; el lema formaliza cómo los solapamientos locales en dos filtraciones dan lugar a factores coincidentes.

Demostración

Dadas subgrupos A ⊲ A* y B ⊲ B*, formar la intersección A* ∩ B* y los subgrupos A(A* ∩ B*) y B(A* ∩ B*); Zassenhaus proporciona un isomorfismo entre los fragmentos de cociente correspondientes en los dos lados de esta mariposa, ilustrando cómo se alinean los refinamientos de series.

Aplicación incorrecta

Aplicar el lema sin las hipótesis necesarias de normalidad/subnormalidad, o interpretar el isomorfismo de los cocientes indicados como prueba de que las series iniciales son isomorfas término a término sin considerar refinamientos, es incorrecto.

Consecuencia

Es una herramienta técnica central para probar el teorema de refinamiento de Schreier y Jordan–Hölder: permite comparar y emparejar factores de series distintas, mostrando que los refinamientos se pueden organizar para dar cocientes isomorfos correspondientes.

Inversión

Visto al revés, el lema muestra que la falta de alineamiento en mariposa indica diferencias estructurales genuinas entre filtraciones: los fragmentos de cociente no isomorfos señalan que las series no pueden reconciliarse por refinamiento.

Límite

Requiere condiciones apropiadas de normalidad (o de submódulo) en los subobjetos participantes; se formula en categorías de grupos y módulos donde intersecciones y productos tienen el comportamiento clásico. No afirma isomorfismo global de las series, solo de los fragmentos de cociente construidos.

Tensión semántica

Tensión con expectativas ingenuas de comparabilidad término a término: Zassenhaus da isomorfismos de cocientes locales pero permite distintos patrones globales de extensiones, por lo que complementa pero no reemplaza el análisis de clases de extensión.

Síntesis

El lema de Zassenhaus afirma con precisión que las filtraciones solapadas producen pares de fragmentos de cociente isomorfos — la 'mariposa' — y suministra los isomorfismos locales necesarios para alinear refinamientos, apoyando los teoremas de refinamiento y unicidad en teoría de la estructura.