Kelebek önsavı

Matematikte, Kelebek önsavı veya Zassenhaus önsavı, Hans Zassenhaus adına ithaf edilir,bir grubunun altgrupların kafesinin  veya bir modülün altmodullerin kafesinin, veya daha genel herhangi moduler kafes için teknik bir sonuçtur.

Önsav: Varsayım   bir grup ile operatorlerinin ve  ve altgruplarıdır. Varsayım

 ve 

kararlı altgruplarıdır. Öyleyse,

 ifadesi  ya eşyapıdır

Schreier arıtma teoremi'nin verilen sorunsuz kanıtını  Zassenhaus önsavının özelliği sağlar. İlgili çeşitli grupların çizilen Hasse diagramına çalışırken 'kelebek' belirginleşir.

Notlar

Kaynakça 
.
.
.
 Carl Clifton Faith, Nguyen Viet Dung, Barbara Osofsky (2009) Rings, Modules and Representations. p. 6. AMS Bookstore, ISBN 0-8218-4370-2
 Hans Zassenhaus (1934) "Zum Satz von Jordan-Hölder-Schreier", Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 10:106–8.
 Hans Zassenhaus (1958) Theory of Groups, second English edition, Lemma on Four Elements, p 74, Chelsea Publishing.

Dış bağlantılar 
 Zassenhaus Lemma and proof at http://www.artofproblemsolving.com/Wiki/index.php/Zassenhaus%27s_Lemma

Grup teorisi
Lemmas
Isomorphism theorems