蝴蝶引理

在數學中，蝴蝶引理(或是稱作 Zassenhaus 引理)是一個關於群中子群的關係或是模中的子模的一個技巧性的結果。引理: 假設是一個群而且是的一個子群。假設以及分別是和的正規子群。那麼則有這個引理主要用於證明關於Schreier refinement theorem。其中關於蝴蝶的名稱由來則是在於當繪製出關於這裡頭的群的哈斯圖時，會出現的一隻蝴蝶，故稱為蝴蝶引理。

證明概要 
這個證明分成幾個部分，第一步確認  都是一個群