Lemme de Zassenhaus
Cet article est une ébauche concernant l’algèbre.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Ne doit pas être confondu avec Théorème du papillon.
En algèbre, le lemme de Zassenhaus, ou lemme du papillon, est un résultat technique sur le treillis des sous-groupes d'un groupe, qui permet de démontrer le lemme de raffinement de Schreier (utile dans le théorème de Jordan-Hölder), selon lequel deux suites de composition d'un groupe donné possèdent toujours un raffinement commun[1].
Lemme — Soient un groupe, et deux sous-groupes de , un sous-groupe normal de , et un sous-groupe normal de . Alors est normal dans ), est normal dans , et les deux groupes quotients correspondants sont isomorphes. Plus formellement :
- et
Ce lemme fut publié par Hans Zassenhaus en 1934[2].
Notes et références
- ↑ Pour une démonstration, voir par exemple N. Bourbaki, Algèbre I, Chapitres 1 à 3, Paris, 1970, p. I.40-41, ou encore J. Calais, Éléments de théorie des groupes, Paris, 1984, p. 227-228, ou encore Serge Lang, Algèbre [détail des éditions], 3e édition révisée, Paris, 2004, p. 22-23.
- ↑ (de) H. Zassenhaus, « Zum Satz von Jordan-Hölder-Schreier », Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, vol. 10, 1934, p. 187-220, DOI 10.1007/BF02940667. Référence donnée par J. Calais, Éléments de théorie des groupes, Paris, 1984, p. 371.
- Portail de l’algèbre