14/10/19 11:12:12.88
>>265
どうも
スレ主です。
>＞σには、何の制約も付かないとしたら、「σ-1・Ｈ・σはＨと同型」ってまさに正規部分群でしょ？
何の制約も付かないを、∀σという意味で使っている>>259
だから、大本の群をG、Ｈ⊂G, ∀σ∈G として
σには、何の制約も付かない（∀σ∈G）としたら、「σ-1・Ｈ・σはＨと同型」ってまさに正規部分群でしょ？
URLﾘﾝｸ(ja.wikipedia.org)
正規部分群（せいきぶぶんぐん、英: normal subgroup）は、群の任意の元による内部自己同型のもとで不変な部分群である。
正規部分群の重要性は、エヴァリスト・ガロアによって最初に明らかにされた。