• ベストアンサー

群論

群論を学んでいます。部分群、不変部分群、真部分群、正規部分群、剰余類分解などの用語がわかりません。どのような意味か教えていただけないでしょうか!!また、上記の群や類を探す方法も教えていただけるとうれしいです。 また、参考になるホームページや本などがあれば教えてください。 なお、「分子の対称性と群論」や"シュライバー","バーロー"などの本では載っていませんでした…。

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

  • ベストアンサー
  • liar_adan
  • ベストアンサー率48% (730/1515)
回答No.2

数学をやっていました。 「部分群」とは、かんたんに説明しますと、その名の通り、 「他の群の部分になっている群」ということです。 たとえば、「回転」を群と見て、 G={0度回転,60度回転,120度回転,180度回転,240度回転,300度回転} で群になっていることはわかりますね? この群の部分である、 H={0度回転,120度回転,240度回転} だけでも群になります。 もとの群の部分的な群で、部分群となります。 真部分群というのは、たぶん、 「群Gの部分群であり、群G自体ではない部分群」 という意味でしょう。 ある群Gがあったとき、G自体は当然、Gに含まれ、群をなしているので GはGの部分群になります。 真部分群というのは、そういう自明な群を除いたものだと思います。 不変部分群というのは、 手元の『数学小辞典』(矢野健太郎編、共立出版)で見ると、 正規部分群と同じ意味だと書いていました。 正規部分群をいちおう説明すると、 「群Gとその部分群Hにおいて、 ∀g∈G,h∈Hについてgh(g^-1)∈H であるとき、Hは正規部分群である」 という定義になっています。 剰余類分解というのは、これを説明するには「写像」と 「同値関係」の概念が必要になります。 たとえば、さっき提示した回転群で G/Hの剰余類は、 {0度回転,60度回転} の2つによって代表される集合となります。 「部分群」と「真部分群」は説明できたように思いますが、 正直、「不変部分群」以下は、説明できたという自信がありません。 これらのことは、群論の教科書の最初の方に書いてある事項です。 群論を最初から勉強するのが早いような気がします。 数学の先生の所に行って、 群論の教科書でいちばん簡単な本を推薦してもらい、 第一章ぐらいを勉強すればそれでいいと思います。

chechem
質問者

お礼

回答ありがとうございます。わざわざ調べていただいて!!本当にわかりやすい説明ありがとうございます

全文を見る
すると、全ての回答が全文表示されます。

その他の回答 (1)

noname#160321
noname#160321
回答No.1

このカテゴリーでなく数学の方へ聞いて下さい。 化学者でこれに答えられる人は点群の専門家だけでしょう。

chechem
質問者

お礼

この分野はやっぱり数学ですよね…。回答ありがとうございました

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 群論

    何回考えても分からず質問致しました! 四次対称群S4の正規部分群をすべて求めるという解を教えてください!!

  • 群論の証明

    xy平面における合同変換群O2(R)をGとし、回転部分群Rot(V2(R))をHとする。 また、x軸に関する対称変換をfとする。このとき、G=H∨fHとなることを証明せよ。 とあるのですが証明できません。 ここまで調べてきたことは、 xy平面の回転群Rot(V2(R))は直交変換群O2の正規部分群であること。 正三角形の合同変換群<(12)、(13)>において、回転変換からなる部分群<(123)>は正規部分群であること。 です。 これらをうまく利用して解くのだとは思いますが、いざ文章で表記した時にどう書けばいいかわからないのが現状です。 最悪アドバイスだけでもかまいません。 どうかよろしくお願いします。

  • 群論の問題です。

    群論の問題です。 整数全体がなす加法群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.3次対称群S3の部分群をすべて書き出せ。 2.正規部分群になるものとそうでないものに分類せよ。 3.次の置換σを互換の積で表し、その符号を求めよ。さらに、σの位数および剰余群S6/<σ>の位相を求めよ。 σ=(上段123456 下段534216)∈S6 これらの問題の答えと解き方を教えてください。

  • 3次の対称群について

    3次の対称群を、 A={e = (1 2 3 |1 2 3), r+ =(1 2 3 | 2 3 1), r-=(1 2 3 | 3 1 2), σ1=(1 2 3|1 3 2), σ2=(1 2 3 |3 2 1), σ3=(1 2 3|2 1 3)} とする部分群G={e, r+, r-}およびH={e, σ1}に対して (1) ラグランジェの定理を使って [A:G]および[A:H]を求めよ。 (2) G、Hに対して、全ての左剰余類を求めよ。 (3) G、Hに対して、全ての右剰余類を求めよ。 (4) G、HがAの正規部分群であるかを判定せよ。 分かりません。。よろしくお願いします!

  • 群論の交換子群について

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

  • 既約剰余類群の部分群について

    群論の問題です。 大学のレポート課題ですが、途中までしかわからず困っているため、お時間のある方ご回答よろしくお願いいたします。 問 既約剰余類群(z/7z)^*の部分群を全て求めよ。 答 部分群の位数は群の位数の約数なので、1,2,3,6のどれかである。 ここまでしかわかりません、、

  • 群論について

    ジョージァイの「物理学におけるリー代数」を読んでいるのですが既約・可約・完全可約表現について質問です。 この本によると可約表現とは不変部分空間をもつ表現で、そうでないものが既約表現。既約表現の直和で表される表現あるいはそれに同値な表現を完全可約と書いてありました。 それを踏まえてパリティ変換を元とする群(Z_2)には「既約表現が2つしかない」という記述があったのですが、これは明白なことですか? どのように考えて得られた結論なのかわからないのですが、その表現は自明な表現とD(e)=1,D(p)=-1の2つらしいです。 わからないのは (1)既約表現が2つしかないというのは何故言えるのか。 (2)具体的にその2つの既約表現をどのように求めるのか。 (3)表現が与えられた時にそれが既約か可約か具体的にどのように確かめることができるのか。 の3点です。(そもそも自明な表現では既約・可約が定義できるか疑問ですが)

  • 対称群、交代群。

    群論の課題が出たのですが、よくわかりません。 アドバイスお願いします。 (1)4次の交代群A_4の位数4の可換部分群Kを答えよ。 (2)対称群S_4の部分群Hで(1)のKを含み、 位数8の2面体群と同型な群を答えよ。 (1)で部分群の位数は、4の約数だから、1,2,4の どれかであることは、わかるのですが、それからが わかりません。あと、A_4に位数4の元は、存在しない といわれたのですが、なぜですか? (2)は、どうやって同型な群を見つければよいのですか?  よろしくお願いします。

  • 剰余類の置換表現

    永田雅宜「大学院への代数学演習」の第1章第4問に「Gが群、Hが指数有限の部分群であれば、Hは指数有限の正規部分群を含む」ことを示せという問題があります。「剰余類の置換による群の表現を利用する、いわば常識的問題」とのことで解答も載っていないのですが、剰余類の置換というのがググってもそもそも何のことか分かりません。 (1)剰余類の置換とはそもそも何でしょうか。 (2)宜しければどの本の何と言う分野に当たるのかというのもお教え頂けると幸いです。 (3)また、その分野に関する知識を前提としたこの問題へのアプローチも伺いたいと思います。 ご親切な方がいらっしゃいましたら、よろしくお願いします。