##  [Lemme de Zassenhaus](/fr/node/62400) 

 Définition

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

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

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

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

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

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

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 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

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.