Kelebek önsavı

Zassenhaus Hasse diagramı "kelebek" önsavı - daha küçük altgrupları diyagramın üst kısmına doğrudur

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 $(G,\mathrm{\Omega })$ bir grup ile operatorlerinin ve $A$ ve $C$altgruplarıdır. Varsayım

$B◃A$ ve $D◃C$

kararlı altgruplarıdır. Öyleyse,

$(A\cap C)B/(A\cap D)B$ ifadesi $(A\cap C)D/(B\cap C)D.$ 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.

Kaynakça

• Şablon:Kaynak.
• Şablon:Kaynak.
• Şablon:Kaynak.
• 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Şablon:Webarşiv