単元一覧 › 大学院数学 表現論

表現論の問題

難易度 1大学院の講義の例題レベル大学院数学 表現論

を 次対称群とし、 を集合 のちょうど 個の元からなる部分集合全体()とする。 は によって に作用する。この作用から得られる置換表現 (基底 に で作用する複素表現)について、 を求めよ。

この問題で使うもの

この問題を解けるようになるまで(60 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 三角形の角の大きさ
  2. 対頂角と平行線の同位角・錯角
  3. 三角形の外角と角の組み合わせ
  4. 小数の四則計算
  5. 分数のたし算・ひき算
  6. 分数のかけ算・わり算
  7. 小数と分数のまじった計算
  8. 逆算(□ を求める)
  9. 正負の数の加法・減法
  10. 四則の混じった計算の順序
  11. 正負の数の乗除・累乗と四則混合
  12. 分配法則を使った計算のくふう
  13. 文字式の計算(同類項・分配法則)
  14. 1 次方程式の解き方
  15. 二等辺三角形の角
  16. 平行四辺形と特別な四角形の性質
  17. 三角形・四角形の面積
  18. 約数の見つけ方
  19. 素因数分解と約数の個数
  20. 平方根の意味と根号の簡単化
  21. 三平方の定理
  22. 乗法公式による展開
  23. 折り返した図形の角と長さ
  24. 三平方の定理と平面図形
  25. ベクトルの演算と成分
  26. 行列の和・積と 2 次の逆行列
  27. 掃き出し法と連立 1 次方程式
  28. 行列の階数と解の存在
  29. ベクトル空間・一次独立・基底・次元
  30. 円の周の長さと面積
  31. おうぎ形の弧の長さと面積
  32. 弧の長さからおうぎ形の中心角と面積を求める
  33. 特別な直角三角形の辺の比
  34. 弧度法と単位円による三角関数
  35. 加法定理と 2 倍角・半角・積和の公式
  36. 線形変換と行列
  37. 核と像と次元定理
  38. 掃き出し法による逆行列
  39. 基底の変換と表現行列
  40. 最大公約数と最小公倍数
  41. 最大公約数と最小公倍数
  42. 因数分解
  43. 文字式で表した整数の性質
  44. 余りによる整数の分類
  45. 樹形図で数え上げる
  46. 積の法則と和の法則
  47. 和の法則・積の法則と樹形図
  48. 合同式
  49. 群の位数と元の位数
  50. 群の表現と指標
  51. 比の性質と簡単な比
  52. 相似な三角形と長さの比
  53. 三角形の相似条件と対応する辺の長さ
  54. 三角比の定義と値
  55. 内積となす角
  56. 内積空間とグラム・シュミットの直交化
  57. 指標の直交関係と重複度
  58. 置換の巡回置換分解と位数
  59. バーンサイドの補題
  60. 置換表現と軌道の数

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

置換表現 では が の 軌道の個数に等しい、という技能を使います。

ヒント 2

2 つの 元部分集合 の組 に対して、 の作用で変わらない量 に注目しましょう。

ヒント 3

は のいずれかです。それぞれの値について、その値をもつ組全体が つの軌道になっているかを確かめます。

答えと解説

答えを見る
結果を記録する(このブラウザにだけ保存されます):
解説を読む

手順 1: 次元を軌道の個数に言いかえる。 置換表現の指標は なので

であり、バーンサイドの補題により、これは への対角作用 の軌道の個数に等しい。

手順 2: の軌道を数える。 で移しても は変わらないので、組 は で分かれる。
- (): は 元部分集合に推移的に作用するので 個の軌道
- : , の形で、 は相異なる 文字の並びに対応する。 は相異なる 文字の並びに推移的に作用するので 個の軌道
- : は の補集合で から決まるので、 の軌道と同じく 個の軌道

よって軌道は 個。

確認(指標で計算). は、 で 、互換( 個)で 、 型( 個)で 、長さ の巡回置換( 個)で 、長さ の巡回置換( 個)で 。

答えは 。

別解

(軌道の個数、バーンサイドの補題)。 の への作用の軌道は、組 の交わり方で分類できる: (1) ()、(2) 、(3) ( は の補集合)。各タイプの組の個数は 、、 で合計 。 は各タイプの中で推移的に作用する( を固定すると、 の stabilizer が の 4 個の に推移的に作用する)ので、軌道はちょうど 3 個。よって答えは 3。検算: (次元 )で、既約成分 3 個がすべて互いに非同型なので 。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題