Zassenhaus-Lemma (Schmetterlingslemma)

Ein strukturales Lemma (auch Schmetterlingslemma genannt), das ein Isomorphismusverhältnis zwischen bestimmten Quotienten-Untergruppen (oder -Modulen) herstellt, die aus zwei subnormalen Reihen konstruiert sind; es vergleicht benachbarte Faktoren, die entstehen, wenn zwei Reihen sich überschneiden.