数学 › Lie 群と Lie 環の表現論 › Lie 環の構造論
sl(2,C) の有限次元加群の構造
を の有限次元加群とする。
- は 上で対角化可能で、固有値はすべて整数である。
- 各整数 について であり、 なら は同型である。
- の既約成分の個数は である。
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 50 件、定義なども含めて 57 件)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義(直接 1 件)
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
Weyl の完全可約性定理✓定理 9.2・Lie 環の構造論
単純イデアルへの分解✓定理 8.2・Lie 環の構造論
Cartan の判定法✓定理 7.2・Lie 環の構造論
- Casimir 作用素の性質✓補題 9.1・Lie 環の構造論
これを使っている定理 証明で参照している 4 件
- 有限次元既約表現の分類(最高ウェイト定理)✓定理 5.1・最高ウェイト理論
- SL(2,C) の有限次元表現の分類✓定理 4.1・Lorentz 群・Poincaré 群の表現
- ルートの整数性と鎖の性質✓定理 3.2・ルート系と Weyl 群
- 離散系列のユニタリ性(GKO)✓定理 5.4・coset 構成と極小模型