Lemme de Zassenhaus

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.