14/10/19 09:35:59.87
>>258
どうも
スレ主です。
>>255と同一人物と見たので、コメントしておく（ここではIDが出ないので不便だ）
>Ｈが正規部分群でなくても、σ-1・Ｈ・σはＨと同型である。
>念のため書いとくとＨからσ-1・Ｈ・σへの同型写像はh→σ-1・h・σで与えられる。
ここ、なんか勘違いしてないか？ σには、何の制約も付かないのか？
大本の群をG、Ｈ⊂G, σ∈G として
σには、何の制約も付かないとしたら、「σ-1・Ｈ・σはＨと同型」ってまさに正規部分群でしょ？
自分で気付くまで放置しようと思ったが、うるさいので一言