- ベストアンサー
群論
群論を学んでいます。部分群、不変部分群、真部分群、正規部分群、剰余類分解などの用語がわかりません。どのような意味か教えていただけないでしょうか!!また、上記の群や類を探す方法も教えていただけるとうれしいです。 また、参考になるホームページや本などがあれば教えてください。 なお、「分子の対称性と群論」や"シュライバー","バーロー"などの本では載っていませんでした…。
- みんなの回答 (2)
- 専門家の回答
質問者が選んだベストアンサー
その他の回答 (1)
関連するQ&A
- 群論の証明
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問に「Gが群、Hが指数有限の部分群であれば、Hは指数有限の正規部分群を含む」ことを示せという問題があります。「剰余類の置換による群の表現を利用する、いわば常識的問題」とのことで解答も載っていないのですが、剰余類の置換というのがググってもそもそも何のことか分かりません。 (1)剰余類の置換とはそもそも何でしょうか。 (2)宜しければどの本の何と言う分野に当たるのかというのもお教え頂けると幸いです。 (3)また、その分野に関する知識を前提としたこの問題へのアプローチも伺いたいと思います。 ご親切な方がいらっしゃいましたら、よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
回答ありがとうございます。わざわざ調べていただいて!!本当にわかりやすい説明ありがとうございます