締切済み

交換子群について

2010/02/18 23:21

Gを群とするとき，交換子群[G,G]がGの部分群になるのはなぜでしょうか？具体的に[G,G]の任意の元を用いて証明していただけると助かります．よろしくお願いします．

frag4life
お礼率2% (7/264)

数学・算数
回答数1
ありがとう数2

みんなの回答 （1）
専門家の回答

みんなの回答

koko_u_u
ベストアンサー率18% (216/1139)

2010/02/18 23:31 回答No.1

>交換子群[G,G]がGの部分群になるのはなぜでしょうか？何故もへったくれもないと思うのですが、念のため、交換子群の定義を補足にどうぞ。

関連するQ&A

部分群について

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

（問題） Gを群,HをGの部分群とする.また,[G,G]をGの交換子群とするとき, [G,G]⊂H⇔H\GかつG/Hがアーベル群となることを示せ. ここで,H\GはHがGの正規部分群であることを表し（記号が環境依存文字だったので\で代用させていただきました）,G/HはHによる商群とする. （質問）この証明なのですが,H\Gは証明できました,しかし,G/Hがアーベル群であることが示せません. 手持ちの参考書には,任意のGの元a,bに対して, {a^(-1)b^(-1)ab}H=H・・・(1) であるから, (aH)(bH)=abH=ba{a^(-1)b^(-1)ab}H=baH=(bH)(aH) よって,G/Hはアーベル群である. とあるのですが,(1)が示せません. (1)が示せれば後は簡単なのですが,ここが理解できないので困っています. a^(-1)およびb^(-1)はそれぞれa,bの逆元です. どなたか群論に詳しい方よろしくお願いします.
代数学　交換子群は部分群か

いつもお世話になります。交換子群というのありますよね？[H,K]という、H,Kの二つのGの部分群で構成されている交換子群はどうやったらGの部分群だとわかりますか？証明方法がピンときません。二つの交換子の積が交換子になっていればいいのでしょうが・・・。よろしくお願いします。
群の証明です。

群の証明です。 Gを有限群とし、HはGの部分群でGの元のちょうど半分を含むものとする。 gH＝HgがGの全ての元gに対して成り立つ事を示せ。証明が苦手なので助けてください。
群Ｇの部分集合Ｍによって生成されるGの部分群

定理群Gの部分集合Ｍによって生成される部分群H＝〈Ｍ〉はＭを含むGの部分群のうち最小なものである。証明 H⊃ＭであることはHの定義より明らかである。また、Ｍを含むGの任意の部分群をＵとすれば、Ｍの元のべき積はすべてＵに含まれ、H⊂Ｕを得る。したがって、HはＭを含む最小な部分群である。 (1)なぜＭの元のべき積で表される元の全体Hは明らかにGの部分群なんでしょうか。例えばもし部分集合Ｍに単位元、逆元がなかったらHは部分群にならないように思えます。 (2)証明の2文目までは理解できましたが、「したがって」以降、つまり３文目が理解できません。H⊂ＵからなぜHが最小だと言えるのでしょうか。よろしくお願いします。
有限群が自由加群でないことの証明

田村の「トポロジー」を勉強しています。その中で次のような証明がありました。 "Gを有限群とするとき、aをGの任意の元とするとta=0となる整数tが存在するからGは自由加群ではない" しかし、この証明でなぜ自由加群でないことを証明できたのか分かりません。また、t=0とすれば自由加群でなくても成立は明らかだと思います。アドバイスをお願いします。
部分群であることの証明

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

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

Gを群とするとき、もし任意のx∈Gに対して、x^2＝eが成り立てば、GはAbel群であるか？また、x^6＝eならAbel群であるか？という問題を考えています。前半はなんとかできたという感じです。前半は次のような証明を考えました。 Gの任意の元x,yをとる。すると仮定から(xy)^2＝eだが一方で、(xy)^2＝xyxyであるからxyxy＝eである。すると yx＝yxe＝(yx)(xyxy)＝y(x^2)yx＝yeyx＝(y^2)xy＝exy＝xy よってAbel群■ 後半も同じようにやろうとしましたが、前半のようにはうまくいかず、全くできません。本当にx^6＝e (∀x∈G)ならAbel群ですか？前半がＡAbel群だと証明できてしまったので、後半はAbel群でないような気がします・・・。もちろん反例がみつかればよいのですが、任意の元が6乗するとeになる群ってどんなものがあるでしょうか？想像がつきません。。。簡単な質問かもしれませんが、どうか教えてください。
正規部分群の特性部分群が正規部分群である証明

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

Ｈはアーベル群（Ｇ，＋）の部分群とするとき０∈Ｈを示したいんです。ここでの０はＧの単位元です。部分集合の定理 ⅰ）Ｈ∋∀　x，y　に対して、x＋y∈Ｈ ⅱ）Ｈ∋∀　x　に対して、－x∈Ｈ上記の定理を用いて証明を展開すればいいのですか？回答の程よろしくお願いします。
クラインの4元群と対称群について

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

H,KをGの部分群とする。HKがGの部分群となるためにはHK＝KHであることが必要かつ十分であることを示せ。この命題の十分性は分かるんですけど、必要性はどうやって証明したらよいでしょうか？
ある問いの巡回群の証明

Ｇを有限群として、任意の自然数ｄに対してＧの部分集合｛x|x^d=e,x∈Ｇ｝に含まれる元の数がｄ以下ならＧは巡回群となる。Ｇの位数をｎとしてｎの元の存在を示そうと思うんですがうまく説明ができなく困ってます、、
巡回群

「Gを位数がnの巡回群とする。nの任意の正の約数dに対して、Gは位数dの部分群をちょうど1つだけ持つことを示せ。」私はこれを次のようにして示しましたが・・・。 xをGの生成元とする。するとx^n＝eである。 dはnの約数であるから、∃q∈N　s.t. n＝dq が成立。すると、x^n＝(x^q)^d＝eである。よって、x^q∈Gから生成される巡回部分群Hを考えると H＝{x^q,x^(2q),・・・,x^((d-1)q),e}で、Hの位数はdである■ (1)とりあえず位数dの部分群の存在は示せたと思うのですが・・・あっているでしょうか？ (2)あと、問題文を見る限り、位数dの部分群の"一意性"も示さねばならないと思うのですが、これがよくわかりません。位数dの部分群H'を任意に取ってきて、H＝H'であることを示せばいいのかな？と思ったのですが、できませんでした。。。 (1)(2)に関して、どなたかわかる方がいましたら、教えていただけないでしょうか？よろしくお願い致します。
巡回群について

Ｇは位数Ｎの巡回群とする。ＨはＧの部分群とする。Ｇ=＜ａ＞、｛ｍは自然数｜ａ^ｍはＨの元｝＝ｈとおく。（１）任意のａ^ｎ（Ｈの元）のついて１≦ｎ≦Ｎなら、ｎはｈで割り切れることを　　　示せ。（ヒント：除法の原理）（２）Ｈ＝＜ａ^ｈ＞であることを示せ。（３）Ｎ＝１２のとき、Ｇの部分群をすべてあげよ。という問題なんですが、（１）は除法の原理から「ｎ＝ｐｈ＋ｑ（ｐ，ｑは正の整数、０≦ｑ＜ｈ）」という関係式を導いたのですが、解答につながりません。（１）～（３）のアドバイスお願いします。
群の問題

「演算＊で定義され、偶数個の元からなる群Gにおいて、単位元でないGの要素aでa＊a=eを満たすものが存在する」という命題に証明を与えるのに苦労しています。一般にはどう証明したら良いのでしょうか。ヒントをお願いします。
余剰群が正規部分群でなければいけない証明

余剰群の演算において群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が群をなすとは、任意のGの元 a,b,cについて (1)結合法則：(a・b)・c ＝ a・(b・c) (2)単位元：e・a = a・e = e (3)逆元：a-1・a=e が成り立つこと」とあります。漠然とした質問で申し訳ないのですが、 (1) なぜ、こんなことを定義するのでしょうか！？ (2) 導入なしにいきなり定義がきて面食らっているのですが、最初に群を考えた数学者はどういう必要性があって（実用問題？）こういうことを考えたのでしょうか？
任意の有限群は、適当な置換群 Sn(N) の部分群？

Wikipedia のどこかで「任意の有限群は適当な置換群 Sn(N) の部分群である」ことが 20 世紀の終わりごろ証明されたと書いてあるのを見た記憶があります。でも、英語だったか、日本語だったかも記憶がありません。何度も検索しなおしたのですが、そのページが見つかりません。私の直感は掲題の命題が成り立つとも言っています。でも、こんな凄まじい結果が数学の教科書や web ページに書いてないのも変です。私の認識に、何らかの誤りがありそうです。以下のことについて教えてもらえますでしょうか。１「任意の有限群は適当な置換群 Sn(N) の部分群である」の証明があるか否か。１－１あるのならば、それを解説してある web ページ、１－２無いのならば、その反例。２より狭めて「位数 N の有限群は置換群 Sn(N) の部分群である」が言えそうに思えます。　でも反例もありそうにも思えます。この証明があるか否か。２－１あるのならば、それを解説してある web ページ、２－２無いのならば、その反例。以上、詳しい方、よろしくお願いします。

交換子群について

みんなの回答

関連するQ&A

部分群について

群論の交換子群について

代数学　交換子群は部分群か

群の証明です。

群Ｇの部分集合Ｍによって生成されるGの部分群

有限群が自由加群でないことの証明

部分群であることの証明

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

Abel群

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

アーベル群

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

群の証明

ある問いの巡回群の証明

巡回群

巡回群について

群の問題

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

群っていったい・・

任意の有限群は、適当な置換群 Sn(N) の部分群？

注目のQ&A

カテゴリ
一覧

専門家に質問してみよう
専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

交換子群について

みんなの回答

関連するQ&A

部分群について

群論の交換子群について

代数学 交換子群は部分群か

群の証明です。

群Ｇの部分集合Ｍによって生成されるGの部分群

有限群が自由加群でないことの証明

部分群であることの証明

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

Abel群

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

アーベル群

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

群の証明

ある問いの巡回群の証明

巡回群

巡回群について

群の問題

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

群っていったい・・

任意の有限群は、適当な置換群 Sn(N) の部分群？

注目のQ&A

カテゴリ 一覧

専門家に質問してみよう 専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

代数学　交換子群は部分群か

カテゴリ
一覧

専門家に質問してみよう
専門家登録