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.

Prinzip

Schnittmengen und Produkte von Unterobjekten zweier Reihen erzeugen 'Schmetterlings'‑Konfigurationen, deren symmetrische Quotiententeile isomorph sind; das Lemma formt die Regel, wie lokale Überlappungen in zwei Filtrationen übereinstimmende Faktoren liefern.

Demonstration

Sind A ⊲ A* und B ⊲ B* Untergruppen, bilde A* ∩ B* und die Untergruppen A(A* ∩ B*) sowie B(A* ∩ B*); Zassenhaus liefert ein Isomorphismus zwischen den entsprechenden Quotiententeilen auf den beiden Flügeln des Schmetterlings und zeigt so, wie Verfeinerungen angeglichen werden können.

Fehlanwendung

Das Lemma ohne die erforderlichen Normalitäts- bzw. Subnormalitätshypothesen anzuwenden oder das Isomorphieverhältnis der angegebenen Quotienten als Beleg dafür zu werten, die ursprünglichen Reihen seien gliedweise isomorph, ist fehlerhaft.

Konsequenz

Ist ein zentrales technisches Werkzeug zur Beweisführung des Schreier‑Verfeinerungssatzes und des Jordan–Hölder‑Satzes: es erlaubt, Faktoren verschiedener Reihen zu vergleichen und zu paaren, sodass Verfeinerungen so angeordnet werden können, dass entsprechende Quotienten isomorph sind.

Umkehrung

Umgekehrt zeigt das Lemma, dass das Ausbleiben der Schmetterlings‑Übereinstimmung auf echte strukturelle Differenzen zwischen Filtrationen hinweist: nicht isomorphe Quotiententeile signalisieren, dass Reihen sich nicht durch Verfeinerung angleichen lassen.

Abgrenzung

Setzt geeignete Normalitäts- (oder Submodul-) Bedingungen an die beteiligten Unterobjekte voraus; es ist in den Kategorien Gruppen und Module formuliert, in denen Schnitt und Produkt klassisch wirken. Es behauptet kein globales Isomorphismusverhältnis der Reihen, sondern nur der konstruierten Quotiententeile.

Semantische Spannung

Spannung zur naiven Erwartung termweiser Vergleichbarkeit: Zassenhaus liefert Isomorphien lokaler Quotienten, lässt jedoch unterschiedliche globale Extensionsmuster zu, und ergänzt daher die Analyse von Extensionsklassen.

Synthese

Das Zassenhaus-Lemma besagt präzise, dass sich überschneidende Filtrationen gepaarte, isomorphe Quotiententeile — den 'Schmetterling' — erzeugen, und liefert die lokalen Isomorphismen, die zum Abgleichen von Verfeinerungen und zur Untermauerung von Verfeinerungs‑ und Eindeutigkeitsaussagen nötig sind.