##  [Lema de Zassenhaus](/es/node/62400) 

 Definición

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

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

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

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

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

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

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 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

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.