>>705
なら、最初に4元数体で出題すれば良かったろう

ところで、群Gとその部分群Hで、g∈G、h∈H、として、アーベルならgh=hg。これから、gH=Hgが導かれる。
これが普通のアーベル群の部分群が正規部分群になることの証明だろう。どこにでも書いてある通りだろ。１行で終わり

なんで長文の証明になるのか理解できなかった・・・