Science Fair Project Encyclopedia

Zassenhaus lemma

In mathematics, the butterfly lemma or Zassenhaus lemma is a technical result on the lattice of subgroups of a group.

First, a definition. A group, $G$ , is an $Ω$ -group if and only if there exists a set map

$\Omega\rightarrow\mathrm{End}_{\mathbf{Grp}}(G)$ ,

where $\mathbf{Grp}$ is the category of groups and $\mathrm{End}_{\mathbf{Grp}}(G)$ is the set of group endomorphisms of $G$ .

Lemma (Butterfly lemma): Say $G$ is an $Ω$ -group and $A$ and $C$ are subgroups. Suppose $B\subset A$ and $D\subset C$ are $Ω$ -subgroups. Then,

$(A\cap C)B/(A\cap D)B$ is isomorphic to $(C\cap A)D/(C\cap B)D.$

Hans Julius 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.

Last updated: 05-24-2005 12:24:55

10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details