16/08/11 15:11:30.04 AONA9sxo.net
>>705
なら、最初に4元数体で出題すれば良かったろう
ところで、群Gとその部分群Hで、g∈G、h∈H、として、アーベルならgh=hg。これから、gH=Hgが導かれる。
これが普通のアーベル群の部分群が正規部分群になることの証明だろう。どこにでも書いてある通りだろ。１行で終わり
なんで長文の証明になるのか理解できなかった・・・
16/08/11 15:11:30.04 AONA9sxo.net
>>705
なら、最初に4元数体で出題すれば良かったろう
ところで、群Gとその部分群Hで、g∈G、h∈H、として、アーベルならgh=hg。これから、gH=Hgが導かれる。
これが普通のアーベル群の部分群が正規部分群になることの証明だろう。どこにでも書いてある通りだろ。１行で終わり
なんで長文の証明になるのか理解できなかった・・・