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.

Principle

Intersections and products of subobjects from two series produce 'butterfly' configurations whose symmetric quotient pieces are isomorphic; the lemma formalizes how local overlaps in two filtrations yield matching factor quotients.

Demonstration

Given subgroups A ⊲ A* and B ⊲ B*, form the intersection A* ∩ B* and the subgroups A(A* ∩ B*) and B(A* ∩ B*); Zassenhaus provides an isomorphism between the corresponding quotient pieces obtained on the two sides of this butterfly, illustrating how refinements of series align.

Misapplication

Applying the lemma without the necessary normality/subnormality hypotheses, or treating the isomorphism of the indicated quotients as evidence that the original series are termwise isomorphic as sequences without considering refinement, is incorrect.

Consequence

Is a central technical tool to prove the Schreier refinement theorem and Jordan–Hölder: it allows one to compare and match factors from different series, showing that refinements can be arranged to give corresponding isomorphic quotients.

Reversal

Viewed conversely, the lemma shows that failure of the butterfly alignment indicates genuine structural differences between filtrations: non-isomorphic quotient pieces signal that series cannot be reconciled by refinement into matching factors.

Boundary

Requires appropriate normality (or submodule) conditions on the participating subobjects; it is formulated in group and module categories where intersections and products behave classically. It does not assert global isomorphism of whole series, only of the constructed quotient pieces.

Semantic Tension

Tension exists with naive expectations of termwise comparability: Zassenhaus gives isomorphisms of local quotients but leaves room for different global extension patterns, so it interacts with but does not replace extension-class analysis.

Synthesis

Zassenhaus's Lemma is the precise statement that overlapping filtrations produce paired isomorphic quotient pieces—the 'butterfly'—and it supplies the local isomorphisms needed to align refinements, underpinning refinement and uniqueness theorems in structure theory.