• 締切済み

正規部分群

SはMの、MはLのそれぞれ正規部分群であるが、SがLの正規部分群でないよう三つの群S,M,Lの例にはどのようなものがあるのでしょうか? なかなか、条件を満たすような、三つの群が見つかりません。 解答お願いいたします。

みんなの回答

  • ojisan7
  • ベストアンサー率47% (489/1029)
回答No.2

あまり、本質的ではないのですが、気になったので訂正させて下さい。A4>V>1は可換正規鎖ですから、A4>V>K>1も当然、可換正規鎖になります。KはVの正規部分群ですが、KはA4の正規部分群ではありません。

  • ojisan7
  • ベストアンサー率47% (489/1029)
回答No.1

4次の交代群A4の可換正規鎖(可解群としての)はA4>V>1となりますが、可換という条件をはずして、単に正規鎖をあげるのであれば、A4>V>K>1という正規鎖もあります。Kは(1,2)(3,4)で生成される位数2の巡回群です。このKがクラインの4元群Vの正規部分群であることと、KはA4の正規部分群ではないことを確認して下さい。

関連するQ&A

  • S4の正規部分群

    V={e,(12)(34),(13)(24),(14)(23)}が4次対称群S4の位数4の正規部分群となることは分かるのですが、Vの他にS4の位数4の正規部分群は存在しないのでしょうか?

  • 正規部分群の特性部分群が正規部分群である証明

    G:正規部分群、A:Gの正規部分群、B:Aの特性部分群 とするとき、BはGの正規部分群となること この証明が分かりません。 どうやって証明すればいいのでしょうか? ご教授よろしくお願いいたします。

  • 正規部分群

    NをGの部分群、GにおけるNの指数が2であるときNは正規部分群であることを示せ。 これはどうやって導けばよいでしょうか?

  • 対称群S4の正規部分群

    対称群S4の正規部分群をすべて求めよ。という問題を解いているのですが、まったくとっかかりすらわかりません。  中心や交換子群、または共役な要素を見つけるのでしょうか?それでは、かなり膨大な計算をしなければいけません。何かもっとスマートな方法はありませんか?ヒントだけでいいのでわかる方、よろしくお願いします!

  • クラインの4元群と対称群について

    クラインの4元群V_4が,対称群S_4の正規部分群になることはどのようにして証明すればいいでしょうか? 正規部分群となるための条件は分かっているのですが,示し方がいまいち分かりません. よろしくお願いします.

  • 余剰群が正規部分群でなければいけない証明

    余剰群の演算において 群Gの部分群Kでa,b ∈Gの時 Ka*Kb=Kab が成り立つ時、 部分群Kは正規部分群である。 というのを証明したいのですが、 一つのやり方として、 k,k'∈K Ka=Ka*K1=Ka*Kk=Kak と出来き、 ka=k'ak'' =>k'^-1k=ak'a^-1∈K となることにより、Kは正規部分群であると言える、という証明'が記述してあるのは拝見したんですが、 もう一つの証明の仕方として、 g∈aK Kg=Kak'=Ka*Kk'=Ka => kg=k'a g=k^-1k'a∈Ka から aK⊆Ka が示せます。 そして Ka⊆aK を示すことが出来れば、Ka=aKとなり、 正規部分群の定義 aK=Kaとして、Kが正規部分群と言えるとなります。 ですが、 どうやってKa⊆aKを証明すればいいのか分かりません。。 どなたか分かる方よろしくお願いします。

  • 代数学の、正規部分群の問題を教えて下さい。

    Gを群、HをGの部分群、NをGの正規部分群とする。 (1)NはHN:={hn|h∈H,n∈N}の正規部分群になっている事を示しめしなさい。 (2)剰余群HN/NとH/(H∩N)は同型である事を示しなさい。 という問題です。 お願いいたします。

  • 置換群の部分群について

    大学の講義で次のような問題が出て、とりあえず解けたのですが、もっわかりやすい解答がないか考えています。 考えているのは次のような問題です。 置換群S[4](x[1]、x[2]、x[3]、x[4]上の置換群)の部分集合Hを次のように定義する。 H={σ∈S[4]|x[1]x[2]+x[3]x[4]=x[σ(1)]x[σ(2)]+x[σ(3)]x[σ(4)]} このとき、HはS[4]の部分群であることを示し、その位数を求めよ。 私の思いついたやり方は、まずS[4]の24個の元をすべて書きだして、その中でHに含まれているものをさがし、それらの積の表をつくって、群になっていることを示す、という方法です。しかし実際にやってみるとHの位数は8であり、積は64通りあるのでこの方法では効率が悪いです。もっとエレガントな解答はないのでしょうか。よろしくお願いします。

  • 部分群の問題について

    教科書の章末問題を学習中の者です。 「1の6乗根全体の群Uの部分群を全て求めよ」 という問題にあたりました。 自分の回答としては、 (以下、a^xはaのx乗をあらわすものとします。) U ={1,a,a^2,a^3,a^4,a^5} ただし aは、a^6 = 1 を満たすものとする。 という風にUを置き、部分群の条件を考え、 H ={1,a^2,a^4} --(1) H ={1,a^3} --(2) H ={1,a,a^5} --(3) という3つを部分群と解答しました。 巻末の解答には (3)はのっていなかったので、 (3)は間違いなのかな、と疑問に思っています。 自分の理解では(3)の例は、 A. 単位元1 が存在している。 B. 1の逆元は1、a の逆元はa^5、a^5の逆元はa。 (∵ a・a^5 = a^6 = 1 ) C. また・に関して閉じている。 という部分群の条件を満たすので(3)もUの部分群になっている、 と思うのですが。 どなたか解説をお願いできないでしょうか。 よろしくお願いします。

  • 群論について(部分群)

    群Gが正規部分群Nと、部分群Hを持つとします。 このとき、HNはGの部分群となり、NはHNの正規部分群になるみたいなのですが、これは何故なのでしょうか? よろしくお願います。