ポスト

Gを群,N<Gとする. ∀g∈G,∀n∈Nに対してgng⁻¹∈Nのとき, Nを正規部分群といい,N◁Gと表す. N◁GのときはgN=Ngとなり, (gN)(hN):=(gh)Nと定めることで G/Hは群になる. また,G,Nの生成系S,Tについて ∀s∈S,∀t∈Tに対しsts⁻¹∈Nかつs⁻¹ts∈N が成り立てばNは正規部分群である.

メニューを開く

大数学使いフリーレン@frieren_math

みんなのコメント

メニューを開く

正規部分群の例: φ:G→Hを準同型とすると, Kerφは正規部分群. (∵) Kerφ<Gはよい. ∀g∈G,∀k∈Kerφをとると, φ(gkg⁻¹)=φ(g)φ(k)φ(g)⁻¹=1 すなわちgkg⁻¹∈Kerφ

大数学使いフリーレン@frieren_math

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ