title: Lema de Zassenhaus
text: # Lema de Zassenhaus
  
  En matemáticas, el lema de la mariposa o el lema de Zassenhaus, llamado así por Hans Zassenhaus, es un resultado técnico en el retículo de subgrupos de un grupo o el retículo de submódulos de un módulo, o más generalmente, para cualquier retículo modular.
  
  Lema: supóngase que $G$ es un grupo con subgrupos $A$ y $C$. Suponiendo que
  
      $B\triangleleft A$ y $D\triangleleft C$
  
  son subgrupos normales, entonces existe un isomorfismo de grupos cocientes:
  
      ${\frac {(A\cap C)B}{(A\cap D)B}}\ \cong \ {\frac {(A\cap C)D}{(B\cap C)D}}\,.$
  
  Esto se puede generalizar al caso de un grupo con operadores $(G,\Omega )$ con subgrupos estables $A$ y $C$, la declaración anterior es el caso de $\Omega =G$ actuando sobre sí mismo por conjugación.
  
  Zassenhaus demostró este lema específicamente para dar la prueba más directa del teorema de refinamiento de Schreier. La mariposa se hace evidente cuando se intenta dibujar el diagrama de Hasse de los diversos grupos involucrados.
  
  El lema de Zassenhaus para grupos puede deducirse de un resultado más general, conocido como el teorema de Goursat establecido en una variedad de Goursat (de la que los grupos son una instancia); sin embargo, la ley modular específica del grupo también debe usarse en la deducción.
  
  