ベストアンサー 群論の問題です。 2011/11/23 22:08 Gを群とする。 H⊂G H・H⊂H|H|<∞のときHがGの部分群であることを示せ。 という問題なんですけど、 ∀h∊H⇒h^(-1)∈Hということが示せなくて困っています。どうか教えてください。 みんなの回答 (1) 専門家の回答 質問者が選んだベストアンサー ベストアンサー hrsmmhr ベストアンサー率36% (173/477) 2011/11/23 23:45 回答No.1 h^nはH*H⊂Hの元で有限個だから h^k=h^lとなるk,l,k>lが存在して h^(k-l)=1となる 広告を見て全文表示する ログインすると、全ての回答が全文表示されます。 通報する ありがとう 0 カテゴリ 学問・教育数学・算数 関連するQ&A 群論の問題です。 群論の問題です。 整数全体がなす加法群Zに対して、G=Z×Z={ ( a,b ) |a,b ∈ Z } とおき これを成分ごとの加法 ( a , b )+( a' , b' )=( a+a' , b+b' ) により群と見なす。 2元 x = ( 2 , 4 ) , y = ( 6 , 8 )により生成される群Gの部分群Hとし、 写像 φ : G → H を φ(( a , b )) = ( 2a + 6b , 4a + 8b) = ax + by により定義する。ことのきつぎの問いに答えよ。 (1)φは群の同型写像であることを示す。 (2)φによるHの像 K= φ (H) = { φ ( h ) | h ∈ H } はGの部分群であることを示す。 (3)GのKによる剰余群 G / H に対して群の同型 G / H ≅ Z / mZ × Z / nZ がなりたつような自然数 m , n で m が n の約数となるものを求める。 (1)、(2)は示すことができたのですが、 (3)の考え方がよくわかりません。 できるだけわかりやすく教えていただけるとうれしいです… よろしくお願いします。 群論の問題です (1)G, G′ を群,H を G の正規部分群とする.f : G → G′ が準同型写像のとき f(H)は G′ の正規部分群か否か? 正規部分群ならば証明し,そうでないならば反例をあげよ. (2) n を正整数とするとき,Aut(Z/nZ) ≅ (Z/nZ)^x を示せ. この二問がわかりません。教えていただければ幸いです。 群論の問題について Gを群とし、H,Kをその部分群とする。 1、|G:H|が有限ならば |K:H∩K|≦|G:H| が成り立つことを示せ 2、K⊂H⊂Gとする。 |G:H|、|H:K|が有限ならば、 |G:K|=|G:H||H:K| が成り立つことを示せ。 -------------------------- お願いします! 天文学のお話。日本ではどのように考えられていた? OKWAVE コラム 群論 『群Gの位数は,ある部分群Hの正規化群N(H)の位数と,その部分群の共役類の位数(位数をc(H)とする) (その部分群に共役な部分群が何個あるか)の積に等しい』という |G|=|N(H)|*|C(H)|の証明はどう考えていけばいいのでしょうか。 群論です Gを群、Hをその指数有限な部分群とする。Hに含まれるGの指数有限な正規部分群Nが存在することを示せ。 全く分かりません。どなたか教えてください。 群論の問題です。 群 G に対し,Int G はAut G の正規部分群である事を示せ。 この問題がわかりません。なるべく証明っぽく示していただける助かります。 群論の交換子群について (問題) 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の逆元です. どなたか群論に詳しい方よろしくお願いします. 群論について(部分群) 群Gが正規部分群Nと、部分群Hを持つとします。 このとき、HNはGの部分群となり、NはHNの正規部分群になるみたいなのですが、これは何故なのでしょうか? よろしくお願います。 群論 定理:有限冪零群GのΦー部分群(Frattini部分群)はGの交換子を含む (証明)Gの極大部分群をG*とすればG*は正規で、かつ(G:G*)は素数である。故にーー と続く中で「(G:G*)は素数である」というのはどうしてでしょうか。わかりやすく説明ください。 群論 何度も考えても分からず質問致しました。 xy平面における合同変換O2(R)をGとし,回転部分群Rot(V2(R))をHとする!また,X軸に関する対称変換をfとする!このとき,G=H∪fHとなることの証明を教えてください! 群論の証明 xy平面における合同変換群O2(R)をGとし、回転部分群Rot(V2(R))をHとする。 また、x軸に関する対称変換をfとする。このとき、G=H∨fHとなることを証明せよ。 とあるのですが証明できません。 ここまで調べてきたことは、 xy平面の回転群Rot(V2(R))は直交変換群O2の正規部分群であること。 正三角形の合同変換群<(12)、(13)>において、回転変換からなる部分群<(123)>は正規部分群であること。 です。 これらをうまく利用して解くのだとは思いますが、いざ文章で表記した時にどう書けばいいかわからないのが現状です。 最悪アドバイスだけでもかまいません。 どうかよろしくお願いします。 群論の指数に関する定理 Hをアーベル群Gの部分群、f:G→G’を群の準同型とする。この時、指数[f(G):f(H)]と[ker(f):ker(f)∧H] はともに有限である。さらに[f(G):f(H)]=[G:H]/[ker(f):ker(f)∧H]が成り立つ。 どなたか証明をお願いします。僕は高校数学と群論の基礎的な知識しか背景として持っていないです・・・特にker(f):ker(f)∧Hあたりが出てこないです。ぼくがやったら[f(G):f(H)]=[G:H]/[ker(f)]が成り立つ。となってしまいました 日本史の転換点?:赤穂浪士、池田屋事件、禁門の変に見る武士の忠義と正義 OKWAVE コラム 元の個数について(群論) H,KをGの有限部分群とする. このとき,HKの元の個数は, #H・#G/#(H∩K) (#は元の個数) である. HKの元の個数は#H・#Gから重複しているものを除いたものだということは分かるのですが,それが何故このような形で表せるのかがよくわかりません. お願いします. 群論の問題でf : G/H→H\G 群論の問題なんですが Gを群、Hをその部分群とする。写像 f : G/H→H\G (\はバックスラッシュです) xH→Hx^-1 (環境依存文字で打てませんでしたが、 xH→Hx^-1の→は対応するという意味です) は全単射であることを証明せよ まずwell-definedで xH=x'H⇒Hx^-1=Hx'^-1 を証明したいのですがどうすればいいか わかりません それと全単射を示す時 たまに定義より明らかと書いてありますが なぜ明らかなのでしょうか? well-defined 全単射どちらでもいいので 証明の仕方を教えてください よろしくお願いします 群論なのですが 群論なのですが Gを有限群としGの元をgとする。このとき、gの位数はGの位数の約数であることを証明せよ という問題の解法がわかりません、わかる方いましたらよろしくお願いします 代数学の問題 群Gの部分群Hが交換子群D(G)を含めば、HはGの正規部分群である わかりません どなたか教えてください 代数学の問題です。 ものすごく考えてもなかなか出来なくて 困っています。 Gを群とし、H、KをGの部分群とする。 H または K がGの部分群となるためには、 HがKに含まれる または KがHに含まれることが 必要十分条件であることを示せ。 H または K が部分群とならない例をあげよ。 出来たらくわしく教えてほしいです。 お願いします。 群論の問題 「A を半群とし、集合として有限集合であるとする。A において左簡約律「ab = ac ならば b = c」と右簡約律が成り立つならば A は群であることを示せ。また、Gが無限半群であるときはそうはならないが、そのような例を示せ。」 という問題で、「写像 f : A → A を f(x) = ax で定めるたとき、A は有限集合なので f は全射となる」ことの正確な理由がわかりません。(本当にすべての元に写るようなxが具体的にきちんと存在するのか?単射性は簡約律からわかります。) また、後半の例について、どのような例があるのかがわかりません。 もしも可能であれば、お教え頂けると大変有り難く思います。 代数学の、正規部分群の問題を教えて下さい。 Gを群、HをGの部分群、NをGの正規部分群とする。 (1)NはHN:={hn|h∈H,n∈N}の正規部分群になっている事を示しめしなさい。 (2)剰余群HN/NとH/(H∩N)は同型である事を示しなさい。 という問題です。 お願いいたします。 群論について ジョージャイの「物理学におけるリー代数」を読んでいるのですが、次の文章の意味がわかりません。 物理系の変換には自然な掛け算則が存在する。g1とg2を2つの変換とすれば、g1g2は、先ずg2を行い、次にg1を行うことを意味する。ただし、合成則を我々が今やったように右から左へと定義するか、左から右へとするかは全くの約束であることに注意しておきたい。どちらでも、完全に矛盾のない変換群の定義を与える。 この変換が量子力学系の対称性である場合には、変換はそのヒルベルト空間を等価なヒルベルト空間に移す。各々の群の元gに対し、ヒルベルト空間を等価なそれに移すユニタリー演算子D(g)がある。変換された量子状態は変換された物理系を表すので、これらのユニタリー演算子は変換群の表現をなしている。かくして対称性の任意の集合に対し、ヒルベルト空間上の対称性の群の表現が存在する。ーヒルベルト空間はその群のある表現にしたがって変換する、と言う。さらにまた、変換された状態はもとのそれと同じエネルギーを持っているので、D(g)はハミルトニアンと交換する。 (引用終わり) 以下の5つの部分がわかりません。 (1)「この変換が量子力学系の対称性である場合」とはどういうことでしょうか?この場合の対称性とは何のことですか? (2)「等価なヒルベルト空間」とはどういう意味でしょうか? (3)「変換された量子状態は変換された物理系を表すので、~変換群の表現をなしている」というロジックがわかりません。 (4)「ヒルベルト空間はその群のある表現にしたがって変換する」とはどういう意味でしょうか? (5)最後に、変換された状態はもとの状態と同じエネルギーを持っているというのは、どうしてですか? 分かる方ご教授ください。よろしくおねがいします。 注目のQ&A 「You」や「I」が入った曲といえば? Part2 結婚について考えていない大学生の彼氏について 関東の方に聞きたいです 大阪万博について 駅の清涼飲料水自販機 不倫の慰謝料の請求について 新型コロナウイルスがもたらした功績について教えて 旧姓を使う理由。 回復メディアの保存方法 好きな人を諦める方法 小諸市(長野県)在住でスキーやスノボをする方の用具 カテゴリ 学問・教育 人文・社会科学 語学 自然科学 数学・算数 応用科学(農工医) 学校 受験・進学 留学 その他(学問・教育) カテゴリ一覧を見る OKWAVE コラム 突然のトラブル?プリンター・メール・LINE編 携帯料金を賢く見直す!格安SIMと端末選びのポイントは? 友達って必要?友情って何だろう 大震災時の現実とは?私たちができる備え 「結婚相談所は恥ずかしい」は時代遅れ!負け組の誤解と出会いの掴み方 あなたにピッタリな商品が見つかる! OKWAVE セレクト コスメ化粧品 化粧水・クレンジングなど 健康食品・サプリ コンブチャなど バス用品 入浴剤・アミノ酸シャンプーなど スマホアプリ マッチングアプリなど ヘアケア 白髪染めヘアカラーなど インターネット回線 プロバイダ、光回線など