締切済み

群論の問題について

2011/07/26 15:49

Ｇを群とし、Ｈ，Ｋをその部分群とする。１、|Ｇ:Ｈ|が有限ならば |Ｋ:Ｈ∩Ｋ|≦|Ｇ:Ｈ| が成り立つことを示せ２、Ｋ⊂Ｈ⊂Ｇとする。 |Ｇ:Ｈ|、|Ｈ:Ｋ|が有限ならば、 |Ｇ:Ｋ|=|Ｇ:Ｈ||Ｈ:Ｋ| が成り立つことを示せ。 -------------------------- お願いします！

gja1234
お礼率0% (0/1)

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

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

みんなの回答

eibu
ベストアンサー率56% (9/16)

2011/07/26 20:06 回答No.1

あなたがどこまで考えてどこまで分かったのかを教えてくれなければ、適切な回答はできないと思いますよ。また、問題の内容は教科書に載っているレベルです。

関連するQ&A

群論です

Gを群、Hをその指数有限な部分群とする。Hに含まれるGの指数有限な正規部分群Nが存在することを示せ。　全く分かりません。どなたか教えてください。
群論の問題です。

群論の問題です。整数全体がなす加法群Zに対して、G＝Z×Z＝{ ( a,b ) ｜a,b ∈ Z } とおきこれを成分ごとの加法 ( a , b )＋( a' , b' )＝( a＋a' , b＋b' ) により群と見なす。２元 x = ( 2 , 4 ) , y = ( 6 , 8 )により生成される群Gの部分群Hとし、写像 φ : G → H を φ(( a , b )) = ( 2a ＋ 6b , 4a ＋ 8b) = ax ＋ by により定義する。ことのきつぎの問いに答えよ。 (１)φは群の同型写像であることを示す。 (２)φによるHの像 K＝ φ (H) ＝ { φ ( h ) | h ∈ H } はGの部分群であることを示す。 (３)GのKによる剰余群 G / H に対して群の同型 G / H ≅ Z / mZ × Z / nZ がなりたつような自然数 m , n で m が n の約数となるものを求める。 (１)、(２)は示すことができたのですが、 (３)の考え方がよくわかりません。できるだけわかりやすく教えていただけるとうれしいです… よろしくお願いします。
元の個数について（群論）

H,KをGの有限部分群とする．このとき，HKの元の個数は， #H・#G/#(H∩K) （#は元の個数）である． HKの元の個数は#H・#Gから重複しているものを除いたものだということは分かるのですが，それが何故このような形で表せるのかがよくわかりません．お願いします．
群論の問題です。

Ｇを群とする。Ｈ⊂ＧＨ・Ｈ⊂Ｈ｜Ｈ｜＜∞のときＨがＧの部分群であることを示せ。という問題なんですけど、 ∀ｈ∊Ｈ⇒ｈ＾（-1）∈Ｈということが示せなくて困っています。どうか教えてください。
群論の問題です

(１)G, G′ を群，H を G の正規部分群とする．f : G → G′ が準同型写像のとき f(H)は G′ の正規部分群か否か？正規部分群ならば証明し，そうでないならば反例をあげよ． (２) n を正整数とするとき，Aut(Z/nZ) ≅ (Z/nZ)＾ｘを示せ．この二問がわかりません。教えていただければ幸いです。
群論

定理：有限冪零群ＧのΦー部分群(Frattini部分群）はＧの交換子を含む（証明）Ｇの極大部分群をＧ*とすればＧ*は正規で、かつ（Ｇ：Ｇ*）は素数である。故にーーと続く中で「（Ｇ：Ｇ*）は素数である」というのはどうしてでしょうか。わかりやすく説明ください。
群論

『群Gの位数は，ある部分群Hの正規化群N(H)の位数と，その部分群の共役類の位数(位数をc(H)とする） (その部分群に共役な部分群が何個あるか)の積に等しい』という |G|=|N(H)|*|Ｃ(H)|の証明はどう考えていけばいいのでしょうか。
群論の指数に関する定理

Hをアーベル群Gの部分群、ｆ：G→G’を群の準同型とする。この時、指数[f(G):f(H)]と[ker（ｆ）：ker（ｆ）∧H] はともに有限である。さらに[ｆ（G):f（H)]＝[G:H]/[ker(f):ker(f)∧H]が成り立つ。どなたか証明をお願いします。僕は高校数学と群論の基礎的な知識しか背景として持っていないです・・・特にker(f):ker(f)∧Hあたりが出てこないです。ぼくがやったら[ｆ（G):f（H)]＝[G:H]/[ker(f)]が成り立つ。となってしまいました
代数学の問題です。

ものすごく考えてもなかなか出来なくて困っています。 Gを群とし、H、KをGの部分群とする。 H　または　K　がGの部分群となるためには、 HがKに含まれる　または　KがHに含まれることが必要十分条件であることを示せ。 H　または　K　が部分群とならない例をあげよ。出来たらくわしく教えてほしいです。お願いします。
群論の問題です。

群 G に対し，Int G はAut G の正規部分群である事を示せ。この問題がわかりません。なるべく証明っぽく示していただける助かります。
群論の問題

「A を半群とし、集合として有限集合であるとする。A において左簡約律「ab = ac ならば b = c」と右簡約律が成り立つならば A は群であることを示せ。また、Gが無限半群であるときはそうはならないが、そのような例を示せ。」という問題で、「写像 f : A → A を f(x) = ax で定めるたとき、A は有限集合なので f は全射となる」ことの正確な理由がわかりません。(本当にすべての元に写るようなxが具体的にきちんと存在するのか？単射性は簡約律からわかります。) また、後半の例について、どのような例があるのかがわかりません。もしも可能であれば、お教え頂けると大変有り難く思います。
代数学

１、群Gが部分集合Sから生成された有限群ならば、Gの任意の元はSの元の積の形であらわせることを示せ。２、群Gの部分集合HがGの演算で群をつくるならば、HはGの部分群であることを示せ。３、Hが群Gの部分群、KがHの部分群ならば、KはGの部分群であることを示せ。こちらの３つご教授おねがいします。
群論なのですが

群論なのですが Gを有限群としGの元をｇとする。このとき、ｇの位数はGの位数の約数であることを証明せよという問題の解法がわかりません、わかる方いましたらよろしくお願いします
群論について（部分群）

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

（問題） 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の逆元です. どなたか群論に詳しい方よろしくお願いします.
群論

何度も考えても分からず質問致しました。 xy平面における合同変換O2(R)をGとし,回転部分群Rot(V2(R))をHとする!また,X軸に関する対称変換をfとする!このとき,G=H∪fHとなることの証明を教えてください!
群論の証明

xy平面における合同変換群Ｏ２（Ｒ）をＧとし、回転部分群Ｒｏｔ（Ｖ２（Ｒ））をＨとする。また、ｘ軸に関する対称変換をｆとする。このとき、Ｇ＝Ｈ∨ｆＨとなることを証明せよ。とあるのですが証明できません。ここまで調べてきたことは、ｘｙ平面の回転群Rot（Ｖ２（Ｒ））は直交変換群Ｏ２の正規部分群であること。正三角形の合同変換群＜（１２）、（１３）＞において、回転変換からなる部分群＜（１２３）＞は正規部分群であること。です。これらをうまく利用して解くのだとは思いますが、いざ文章で表記した時にどう書けばいいかわからないのが現状です。最悪アドバイスだけでもかまいません。どうかよろしくお願いします。
群論【有限群への準同型写像】

無限巡回群Zから有限群Gへの準同型写像の数は|G|だと本に書いてあるのですが、どうしてなんでしょうか。有限群Gのすべての元はGの内部で有限巡回群を作るということですか？
代数学　群の問題

Ｇをアーベル群、eをＧの単位元、ｋを整数とする。（１）H={g＾k｜g∈G}はＧの部分群であること（２）N={g∈G｜g＾k=e}はＧの正規部分群であること（３）剰余群Ｇ/ＮはＨと同型であること上記３つを示したいのですが、お力を貸してください。どうぞよろしくお願いします。
群論の基礎で・・・

今群論を勉強しているのですが、勉強を進めていてわからないところがいくつかあって困っています。どなたか教えていただけると嬉しいです。 (1)「Gを有限群、Hをその部分群、とする時 Gの元の位数、は、Gの位数、の約数である。」と、あったのですが、これは何故でしょうか。。 (2)「写像fを、R(実数)-{0} → C(複素数)-{0} 　　　　　　　　　θ　　　　　→　　　exp(2πiθ) で定めるとき、これは準同型写像」とあったのですが、準同型の定義に従って、R-{0}の２つの元としてθ,ψをとってきて、f(θψ)=f(θ)f(ψ)が成立することを確認しようとすると、(左辺)=exp(2πiθψ)、(右辺)=exp(2πiθ)・exp(2πiψ)=exp(2πi(θ+ψ))となり、この２つが等しいとは思えません。 f(θψ)=f(θ)f(ψ)が成り立つためには、R-{0}内での演算は＋(足し算)で、C-{0}内での演算は×(掛け算)、というふうに演算が定められている、と、考えるのかな？と思ったのですが、違う演算が定義された群同士を結ぶ写像が準同型になる、というのは許されるのですか？長くてわかりにくい文章になってしまいすみません。よろしくお願いいたします。

群論の問題について

みんなの回答

関連するQ&A

群論です

群論の問題です。

元の個数について（群論）

群論の問題です。

群論の問題です

群論

群論

群論の指数に関する定理

代数学の問題です。

群論の問題です。

群論の問題

代数学

群論なのですが

群論について（部分群）

群論の交換子群について

群論

群論の証明

群論【有限群への準同型写像】

代数学　群の問題

群論の基礎で・・・

注目のQ&A

カテゴリ
一覧

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

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

群論の問題について

みんなの回答

関連するQ&A

群論です

群論の問題です。

元の個数について（群論）

群論の問題です。

群論の問題です

群論

群論

群論の指数に関する定理

代数学の問題です。

群論の問題です。

群論の問題

代数学

群論なのですが

群論について（部分群）

群論の交換子群について

群論

群論の証明

群論【有限群への準同型写像】

代数学 群の問題

群論の基礎で・・・

注目のQ&A

カテゴリ 一覧

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

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

代数学　群の問題

カテゴリ
一覧

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