アーベル群Ｇ1とその部分群Ｈ、準同型写像ｆ1：Ｇ1→Ｇ2に対し、f2（ｘＨ）＝ｆ1（ｘ）ｆ1（Ｈ）、ｆ3（ｘ）＝ｘＨ（定義域はKerｆ1）と定めると、同型定理でＫｅｒｆ1／Ｋｅｒｆ3〜Ｋｅｒｆ2 というようなことまでやって、ひとまず群の話が終わった。どうで…