15/03/08 09:56:15.17 AXAfK1QO.net
>>447 補足
>正規部分群の性質を強く使えば、１通りはすぐ言えそうだが
先に群Gを部分群Hで類別することの一意性から、１通りを言ったが
正規部分群の性質から、商群を成すを使うと、二通りの類別、例えばHg'≠Hg（g'≠g）のような要素が出てくると
例えば、群を成すから、逆元も異なるし、積も異なるしと、全体が異なってしまう・・
そういう筋で証明できると思うんだが・・
実際に実行するとなると、大変そうなのでやめた
15/03/08 09:56:15.17 AXAfK1QO.net
>>447 補足
>正規部分群の性質を強く使えば、１通りはすぐ言えそうだが
先に群Gを部分群Hで類別することの一意性から、１通りを言ったが
正規部分群の性質から、商群を成すを使うと、二通りの類別、例えばHg'≠Hg（g'≠g）のような要素が出てくると
例えば、群を成すから、逆元も異なるし、積も異なるしと、全体が異なってしまう・・
そういう筋で証明できると思うんだが・・
実際に実行するとなると、大変そうなのでやめた