Zassenhaus Lemma

A structural lemma (also called the Butterfly Lemma) asserting an isomorphism between certain quotient subgroups (or submodules) constructed from two subnormal series; it compares the neighbouring factors obtained when two series cross, producing an explicit isomorphism of the corresponding quotients.