リー群・リー環の問題
に標準内積 を入れ、標準基底を とする。 型のルート系
のワイル群 を、鏡映 ()全体で生成される の部分群とする。ベクトル
の -軌道 の元の個数を求めよ。
この問題で使うもの
- ワイル群の位数と軌道(説明と入口の問題)
この問題を解けるようになるまで(45 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 三角形の角の大きさ
- 対頂角と平行線の同位角・錯角
- 三角形の外角と角の組み合わせ
- 小数の四則計算
- 分数のたし算・ひき算
- 分数のかけ算・わり算
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 正負の数の加法・減法
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 1 次方程式の解き方
- 二等辺三角形の角
- 平行四辺形と特別な四角形の性質
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 乗法公式による展開
- 折り返した図形の角と長さ
- 三平方の定理と平面図形
- ベクトルの演算と成分
- 行列の和・積と 2 次の逆行列
- 掃き出し法と連立 1 次方程式
- 行列の階数と解の存在
- ベクトル空間・一次独立・基底・次元
- 特別な直角三角形の辺の比
- 最大公約数と最小公倍数
- 比の性質と簡単な比
- 相似な三角形と長さの比
- 三角形の相似条件と対応する辺の長さ
- 三角比の定義と値
- 内積となす角
- 内積空間とグラム・シュミットの直交化
- ルート系と鏡映
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 順列・円順列・重複順列
- 組合せ
- 同じものを含む順列・重複組合せ
- ワイル群の位数と軌道
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
ワイル群を座標の置換群として表し、軌道と固定部分群の関係 を使おう。
ヒント 2
に対する鏡映 は、第 成分と第 成分を入れかえる。したがって は 次対称群と同じで、位数は である。
ヒント 3
を動かさない並べ替えは、同じ値 をもつ第 ・第 成分の入れかえだけで生じる。固定部分群の位数を求めて割ればよい。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
方針: ワイル群 を置換群として表して位数を求め、軌道と固定部分群の関係 を使う。
1. 鏡映の作用
のとき なので、 に対し
となる。これは の第 成分と第 成分を入れかえる写像である。
2. の位数
互換 全体は 次対称群 を生成するので、 は座標の並べ替え全体と一致し
3. 固定部分群
は、 の成分を並べ替えても のままである置換全体である。値 は第 ・第 成分に 個、値 と は 個ずつなので、 を動かさない並べ替えは「第 成分と第 成分を入れかえるかどうか」の 通り。よって 。
4. 軌道の元の個数
(確認: 軌道は を並べてできるベクトル全体であり、同じものを含む順列の数 と一致する。)
別解
鏡映 は座標 の入れ替え(互換)である。実際 のとき 、 で、 は第 座標が 、第 座標が になる。互換は を生成するので が座標を置換する群として作用する。
の軌道は、座標の並べ替えで得られる相異なるベクトル全体。成分の多重集合は で、 が 個、 と が各 個。よって軌道の元の個数は 。
検算(軌道・固定部分群): の固定部分群は座標 の入れ替えで生成される位数 の群なので、。