勉強会でした。群論ムズい。 とりあえず商群G/Nというのが、「Gの元のうち、Nの分だけ違うものを同一視したもの」からなる群だということはわかりました。この理解で良いのかはよくわからない。 あとは直積とか。これはまぁ難しくはないけども。2つの群が同…