蝴蝶引理(群论)

蝴蝶引理 $U,V\subseteq G$为其子群,$u,v$分别是$U,V$的正规子群.则有

1. $u(U\cap v)◃u(U\cap V),(u\cap V)v◃(U\cap V)v$
2. $\frac{u(U\cap V)}{u(U\cap v)}\cong \frac{(U\cap V)v}{(u\cap V)v}$

证明:
因$N(u)\supset U\supset (U\cap V)$,故而$u(U\cap V),u(U\cap v)$都是G的子群,这里$N(u)$表示$u$的Normalizer.同理,$(U\cap V)v,(u\cap V)v$也都是G的子群.
令$H=U\cap V,K=u(U\cap v)$,则有$KH=u(U\cap v)(U\cap V)=u(U\cap V)$,并且有
$N(K)=N(U\cap v)\supset N(u)\cap N(U\cap v)\supset U\cap V=H$,故而由群同构第二定理,可知

1. $u(U\cap v)=K◃KH=u(U\cap V)$
2. $\frac{u(U\cap V)}{u(U\cap v)}=\frac{HK}{K}\cong \frac{H}{H\cap K}=\frac{U\cap V}{U\cap V\cap u(U\cap v)}$

引理1. $u(U\cap v)=U\cap uv$.注意,$uv$并不一定G的子群,但是作为G的子集是良定义的.
证明:首先有$u(U\cap v)\subseteq U,u(U\cap v)\subseteq uv\Rightarrow u(U\cap v)\subseteq U\cap uv$
其次,$\forall x\in U\cap uv,\exists a\in u,b\in v,s.t.x=ab\Rightarrow b=a^{-1}\cdot x$
因$a^{-1}\in u\subseteq U,x\in U\Rightarrow b\in U\Rightarrow b\in U\cap v\Rightarrow x=ab\in u(U\cap v)\Rightarrow u(U\cap v)\supseteq U\cap uv$. $■$

由引理1,有$\frac{u(U\cap V)}{u(U\cap v)}\cong \frac{U\cap V}{U\cap V\cap (U\cap uv)}=\frac{U\cap V}{U\cap V\cap uv}$.
同理,可证$(u\cap V)v◃(U\cap V)v$,以及$\frac{(U\cap V)v}{(u\cap V)v}\cong \frac{U\cap V}{U\cap V\cap uv}$.同之前的结论合在一块即得蝴蝶引理. $■$