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