2005-08-31 群 semi 担当者が頑張ったおかげで群を扱った章が終了。証明を追っていけば各部分には納得できるのだけれど全体を見ると納得しきれてないような補題があったのだけれど、少しは分かったかもしれない(まやかしかも)。 次からは環。