• ベストアンサー
  • 困ってます

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

余剰群の演算において 群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を証明すればいいのか分かりません。。 どなたか分かる方よろしくお願いします。

共感・応援の気持ちを伝えよう！

質問者が選んだベストアンサー

  • ベストアンサー
  • 回答No.6
  • alice_44
  • ベストアンサー率44% (2109/4758)

←A No.4 補足 質問文中の証明前半から、群の任意の元 a について aK⊆Ka ですから、a の代わりに aの逆元 を使えば (aの逆元)K⊆K(aの逆元) となります。 式の左右両方から a を掛けると、Ka⊆aK。 これだけでいいのでした。 最後の式の両側に a を掛る部分は、 aK や Ka の定義に基づいて 少し説明が必要かもしれません。 やってみてください。

共感・感謝の気持ちを伝えよう！

質問者からのお礼

又の回答ありがとうございます。 やっと分かりました。ありがとうございます

その他の回答 (5)

  • 回答No.5

「aK⊆Ka　⇒　aKa^(-1)⊆K　から、Ka⊆aKであると言うことでしょうか」 ⇒　任意のaについてaKa^(-1)⊆Kですから、aの代わりにa^(-1)をとって、左からaをかければ、 a^(-1)Ka⊆K　⇒　Ka⊆aK となります。

共感・感謝の気持ちを伝えよう！

質問者からのお礼

またの回答ありがとうございます。 よく分かりました＾＾

  • 回答No.4
  • alice_44
  • ベストアンサー率44% (2109/4758)

ああ、そうか。 前半より (aの逆元)K⊆K(aの逆元) だけでいいのか。

共感・感謝の気持ちを伝えよう！

質問者からのお礼

又の回答ありがとうございます どういう意味でしょうか？？ もう少し詳しく教えてくださるとありがたいです！

  • 回答No.3

ANo.2です。勘違いしていました。Ka*Kbというのは、Kaに属する元とKbに属する元の積全体から成る集合のことですね。 後半の証明ですが、Gの任意の元aに対して aK⊆Ka　⇒　aKa^(-1)⊆K となるので、Kが正規部分群であると知れます。

共感・感謝の気持ちを伝えよう！

質問者からのお礼

回答ありがとうございます。 記号を明確に説明せず、申し訳ありませんでした；； Ka*Kbというのは集合ではなく、＊は剰余群で成り立つ演算を示したものです。 つまり、写像：Ka*Kb=Kab　 はf(Ka,Kb)=Kab は、確かに正規部分群だと成り立つが、 逆にこの写像が成り立つにはKが正規部分群であることの証明がしたかったんです。 aK⊆Ka　⇒　aKa^(-1)⊆K では、確かにそれが正規部分群であることが証明されるのですが、 もしそれが、正規部分群であるならば、集合　Ka=Ka つまり、aK⊆Ka とKa⊆aK が証明出来るはずです。 そこでaK⊆Kaは証明出来るのですが、Ka⊆aKが証明出来ず悩んでたんですが、つまり aK⊆Ka　⇒　aKa^(-1)⊆K　から、Ka⊆aKであると言うことでしょうか。

  • 回答No.2

言葉や記号の意味をひとつひとつ明確にする作業が先決だと思います。 まず、Ka*Kb というのは、何を意味しているのでしょうか？ もし、剰余群（「余剰群」と言わない!）としての演算を考えているのなら、Kが正規部分群であることは、前提条件ですから、「証明されるべきこと」でありません。

共感・感謝の気持ちを伝えよう！

  • 回答No.1
  • alice_44
  • ベストアンサー率44% (2109/4758)

ひとつめの証明は、K,k,k',k'' が入り乱れて読み難いのですが、 ∀k∈K; Ka=K(ak) から ∃k',k''∈K; k''a=k'ak を言った後、 aka^-1=k'^-1k''∈K が言える …の間違いではないでしょうか？ 途中で k,k',k'' の役割を取り違えている気がします。 ∀ と ∃ が異なるので、入れ換えることはできないのです。 もうひとつの証明の前半は、間違ってはいませんが、 g∈aK ならば、∃k''∈K; g=ak'' だから Kg=K(ak'')=Ka*Kk''=Ka*K=Ka*K1=K(a1)=Ka. よって、∃k,k'∈K; kg=k'a より g=k^-1k'a∈Ka. 程度には説明しておいたほうがよいと思います。 後半については、 結局ひとつめの証明に帰着してしまう証明しか思いつきませんでした。 何かスパッと簡明なやりかたがあるのでしょうか？

共感・感謝の気持ちを伝えよう！

質問者からのお礼

回答ありがとうございます。 記号が大変混み合ってしまい申し訳ありません。。 違うアルファベットでも使うべきでした。 ＞∀k∈K; Ka=K(ak) から ∃k',k''∈K; k''a=k'ak を言った後、 ＞aka^-1=k'^-1k''∈K が言える …の間違いではないでしょうか？ 本当だ！ 間違えてました。 というか、皆さんのご意見を参考にして、色々考えて思いついたのですが, b∈Ka とします。 つまり、∃ k∈K, ka=b∈Ka で、 Kb=Kb*K1=Kka*Kk'=Kk*Kak'=Kak' ＝＞∃t,s ∈K tb=sak' s^-1*t*b=ak' s^-1*t=r　とすると r∈K で rb=ak' ということが言え、 rK={rb l b∈Ka}の集合は、Kaと同等であるから Ka=rK⊆aK が言える、というので証明できるんじゃないでしょうか！？ これはあってますでしょうか？？

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

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

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

  • 位数45の群が位数9の正規部分群をもつことの証明はどうすればいいのでし

    位数45の群が位数9の正規部分群をもつことの証明はどうすればいいのでしょうか？ シローの定理が必要だとおもうのですが。。。 <シローの定理> (1)p^r | |G| ==> Gは位数p^rの部分群をもつ よってシローp-部分群は存在する (2)H: Gのp-部分群とすれば Hを含むシローp-部分群が存在する (3)シローp-部分群は互いにG共役 (4)シローp-部分群の個数は 1+k*p の形 (k∈Z,k≧0)

  • 正規部分群の基本性質の証明について。

    お世話になります。よろしくお願いします。 正規部分群の基本性質の証明問題です。 問題＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿ Ｈを群Ｇの部分群とする時 『∀a,b∈Ｇ,aH＝bH⇔Ha＝Hb』 ならば 『∀a∈Ｇ,aH＝Ha』 を証明せよ。 ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿ ヒントだけでもよいのでよろしくお願い致します。

  • 加法群は半直積の正規部分群であることについて

    GをGL(n,R)の部分群とし、G×R^n上に (A,a)・(B,b):=(AB,a+Ab) という演算・を定め、これをGとR^nの半直積とし、G∝R^nと書くことにします。 このとき、加法群(R^n,+)はG∝R^nの正規部分群であるといえるのでしょうか？ よろしくおねがいします。

  • 部分群であることの証明

    部分群であることの証明 Gを群、Hをその部分集合とし、a,b∈Gに対し、「a～b⇔ab^(-1)∈H」なる～ が同値関係であるとする。このとき、HはGの部分群であることを証明してほしいです。 部分群であることを証明するには、(1)結合法則が成り立つこと(2)単位元の存在(3)逆元の存在が言えればいいこと、 同値関係の定義については理解しています。 ですが証明文を書くことができず、困っています。 回答よろしくお願いします。

  • 正規部分群

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

  • 部分群について

    群Ｇの部分群Ｎについて、次の４条件は同値である １　ＮはＧの正規部分群である ２　Ｇの任意の元ａに対して、(ａ^(-1))Ｎａ⊆Ｎ　である ３　Ｇの任意の元ａに対して、Ｎａ＝ａＮ　である ４　Ｇの任意の元ａに対して、Ｎａ⊆ａＮ　である _________________＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿ ランダムで　１⇔３　や　２⇔３　などは証明できました。 次に　３⇔４　の証明で躓いてしまいました。 ３⇒４　は明らかだと思うのですが、問題は　４⇒３　です。。。 すみませんが、知恵を貸してください。 よろしくお願いします。

  • 代数学について（正規部分群）

    問：群Gの中心ZはGの正規部分群であることを示せ。 G の任意の元 a に対して a-1Na ⊆ N が成り立つ 群Ｇの元ａに共役な元ａだけであるとき、Ｇ＝Ｃ（ａ）となり、ａは群Ｇの任意の元と可換である。このような元の集合をＧの中心という という部分はかいてあったのですが、いまいち言葉の意味が判りませんでしたので、 ご回答をお願いします。

  • 正規部分群の基本性質の証明について。

    またお世話になります。よろしくお願いします。 正規部分群の基本性質の証明問題です。 問題＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿ 「∀a,b,c,d∈G,aH＝bH,cH＝dH→acH＝bdH」 ならば 「∀a,b∈G,aH＝bH⇔Ha＝Hb」 ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿ 方針、ヒントだけでもよいのでよろしくお願い致します。

  • 群数列についての証明

    第k群までの項をすべて順に並べた数列を、 c1,c2,c3.......,cn 　とする。 この群数列は次の条件を満たしている。 　項はすべて自然数 　nは第k群までの項の総数 　第k群を有限数列と考えたとき、初項はak,末項はbk　(特にbk=cn) 　第1群の項は自然数aである。(a1=b1=a) 　第1群から第k群までに現れない自然数の中で最小のものが第(k+1)群の 　　　初項a k+1 　第(k+1)群の第2項以降は 　　　c1+a k+1, c2+a k+1, ....... ,cn+a k+1 (1) a k+1≦bk +1 を証明せよ(k=1,2,3,......) (2)　2ak≦a k+1 　　を証明せよ(k=1,2,3,......)

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する
質問する