In mathematics, the butterfly lemma or Zassenhaus lemma, named after Hans Zassenhaus, is a technical result on the lattice of subgroups of a group or the lattice of submodules of a module, or more generally for any modular lattice.[1]

Hasse diagram of the Zassenhaus "butterfly" lemma – smaller subgroups are towards the top of the diagram
Lemma. Suppose is a group with subgroups and . Suppose and are normal subgroups. Then there is an isomorphism of quotient groups:

This can be generalized to the case of a group with operators with stable subgroups and , the above statement being the case of acting on itself by conjugation.

Zassenhaus proved this lemma specifically to give the most direct proof of the Schreier refinement theorem. The 'butterfly' becomes apparent when trying to draw the Hasse diagram of the various groups involved.

Zassenhaus' lemma for groups can be derived from a more general result known as Goursat's theorem stated in a Goursat variety (of which groups are an instance); however the group-specific modular law also needs to be used in the derivation.[2]

References

edit
  1. ^ Pierce, R.S. (1982). Associative algebras. Springer. p. 27, exercise 1. ISBN 0-387-90693-2.
  2. ^ J. Lambek (1996). "The Butterfly and the Serpent". In Aldo Ursini; Paulo Agliano (eds.). Logic and Algebra. CRC Press. pp. 161–180. ISBN 978-0-8247-9606-8.

Resources

edit
edit