Goursat's lemma

Goursatの補題という，準同型定理を全部導けるやつを紹介します．

直積の部分群が同型写像を誘導するという話で，ごちゃごちゃした同型定理も部分群の射影やスライスを計算するだけで統一的(?)に記述(?)できます(?)

おまけでジョルダンヘルダーとかも証明してます．

PDFはこちら

www.dropbox.com