查看“︁蝴蝶引理”︁的源代码

{{Unreferenced|time=2021-04-22T04:02:32+00:00}}
[[File:Butterfly lemma.svg|缩略图|蝴蝶引理]]
在數學中，'''蝴蝶引理'''(或是稱作 '''Zassenhaus 引理''')是一個關於群中子群的關係或是模中的子模的一個技巧性的結果。<blockquote>'''引理:''' 假設<math>G</math>是一個群而且<math>H,K</math>是<math>G</math>的一個子群。假設<math>H^* </math>以及<math>K^*</math>分別是<math>H</math>和<math>K</math>的正規子群。那麼則有

<math display="inline">(1) \; \; \;  H^*(H \cap K^*) \trianglelefteq  H^*(H \cap K)
</math>

<math display="inline">(2) \; \; \;  K^*(H^* \cap K) \trianglelefteq  K^*(H \cap K)
</math>

<math display="inline"> 
(3) \; \; \; H^*(H \cap K)/H^*(H \cap K^*) 
\simeq \;
K^*(H \cap K)/K^*(H^* \cap K)  
\simeq \;
(H \cap K)/[(H^* \cap K)(H \cap K^*)]


</math></blockquote>這個引理主要用於證明關於Schreier refinement theorem。其中關於蝴蝶的名稱由來則是在於當繪製出關於這裡頭的群的哈斯圖時，會出現的一隻蝴蝶，故稱為蝴蝶引理。

== 證明概要 ==
這個證明分成幾個部分，第一步確認 <math display="inline"> H^*(H \cap K),H^*(H \cap K^*),K^*(H \cap K),K^*(H^* \cap K)  
</math> 都是一個群