代数わからん

きつい。うおお。

(Z/2Z)^3の指数2の部分群の個数は位数2の(剰余)群の個数と同じで7個かと思ってたら、いざ位数が4の部分群を具体的に作ろうとするとどうしても6個しかできなくて、うんうんうなって苦しんでいた。それでよくよく見てみると(1, 1, 1)で生成される巡回剰余群は他のすべての巡回剰余群を作るのと同じ正規部分群から作られることがわかった。だから1個足りんかったんやな～。

もう自分で書いてて「これ絶対自分以外読めへん説明やろ」というのがわかります。おやすみなさい。