Zassenhaus lemma

From formulasearchengine
Jump to navigation Jump to search
Hasse diagram of the Zassenhaus "butterfly" lemma - smaller subgroups are towards the top of the diagram

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]

Lemma: Suppose is a group with operators and and are subgroups. Suppose

and

are stable subgroups. Then,

is isomorphic to

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

Notes

  1. See Pierce, p. 27, exercise 1.

References

  • {{#invoke:citation/CS1|citation

|CitationClass=citation }}.

  • {{#invoke:citation/CS1|citation

|CitationClass=citation }}.

  • {{#invoke:citation/CS1|citation

|CitationClass=citation }}.

External links