カテゴリー論(2)

がしがしとやる。３時間くらい。たくさんやったつもりでも２ページ。

宿題として残しておいた、「有限生成群の部分群は有限生成群である」の証明がうまくいかない。生成元が一つ（巡回群）の場合は簡単にいけるのだが、同じ論法でやろうとしてもどうも。もう少し考えるか。