Lemme structurel (aussi appelé Lemme du Papillon) affirmant l'existence d'un isomorphisme entre certains quotients construits à partir de deux séries subnormales ; il compare les facteurs voisins obtenus lorsque deux séries se croisent, fournissant un isomorphisme explicite des quotients correspondants.

Principe

Les intersections et produits de sous‑objets issus de deux séries forment des configurations en 'papillon' dont les pièces de quotient symétriques sont isomorphes ; le lemme formalise comment les recouvrements locaux dans deux filtrations produisent des facteurs correspondants.

Démonstration

Étant données des sous‑groupes A ⊲ A* et B ⊲ B*, former l'intersection A* ∩ B* et les sous‑groupes A(A* ∩ B*) et B(A* ∩ B*) ; Zassenhaus fournit un isomorphisme entre les morceaux de quotient correspondants sur les deux ailes du papillon, illustrant l'alignement des raffinements de séries.

Mauvaise application

Appliquer le lemme sans les hypothèses nécessaires de normalité/subnormalité, ou prendre l'isomorphisme des quotients indiqués comme preuve que les séries initiales sont isomorphes terme à terme sans considérer les raffinements, est une erreur.

Conséquence

Constitue un outil technique central pour démontrer le théorème de raffinement de Schreier et Jordan–Hölder : il permet de comparer et d'apparier les facteurs de séries différentes, montrant que des raffinements peuvent être organisés pour donner des quotients isomorphes correspondants.

Inversion

Pris à l'inverse, le lemme montre que l'absence d'alignement en papillon indique de véritables différences structurelles entre des filtrations : des morceaux de quotient non isomorphes signalent que les séries ne peuvent pas être conciliées par raffinement.

Limite

Exige des conditions appropriées de normalité (ou de sous‑module) sur les sous‑objets concernés ; il se formule dans les catégories de groupes et de modules où intersections et produits se comportent classiquement. Il n'affirme pas l'isomorphisme global des séries, seulement des pièces de quotient construites.

Tension sémantique

Tension avec l'attente naïve d'une comparabilité terme à terme : Zassenhaus donne des isomorphismes de quotients locaux mais laisse place à des schémas d'extensions globaux différents, il complète sans remplacer l'analyse des classes d'extensions.

Synthèse

Le lemme de Zassenhaus affirme précisément que des filtrations qui se recoupent produisent des pièces de quotient appariées et isomorphes — le 'papillon' — et fournit les isomorphismes locaux nécessaires pour aligner des raffinements, fondant les théorèmes de raffinement et d'unicité en théorie de structure.