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 (G, \Omega) bir grup ile operatorlerinin ve A ve Caltgruplarıdır. Varsayım
B\triangleleft A ve D\triangleleft C
kararlı altgruplarıdır.