[Thm]第二同构定理
亦称群同态第三基本定理: 设 $H\leq G$, $K\trianglelefteq G$, 则 $H\cap K\trianglelefteq H$, 且
\[ HK/K\cong H/(H\cap K). \]设 $H,K$ 是 $G$ 的子群, $H\leq N_G(K)$, 则 $HK\leq G$, $K\trianglelefteq HK$, $H\cap K\trianglelefteq H$, 且 \[ HK/K\cong H/(H\cap K). \]