>>433
丁寧にありがとうございます。
>> このとき G の元 b と正規部分群の元 a に対して、
>これではダメで、次のようにする：
>「このとき『H に属さない元』b と H の元 a に対して」
これはすっかり抜けていましたね。
>
>> bab^-1 もまた H の元になるので、bab^-1 の位数もまた 4 になる。
bab^-1 の位数は、そもそもの議論であったGにおける元の位数の資格から決まっ
ているのかと思いきや。1,2,4,8のうち、4だけではなく、2も資格があるような気
がしてきました。。