離散系列のユニタリ性（GKO）

定理 5.4（「coset 構成と極小模型」§5）・ ✓公理まで証明済み

この定理は有料章（研究水準・買い切り ¥200）の中にあります。主張と証明は記事の該当箇所で読めます（料金）。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 57 件、定義なども含めて 64 件）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

$h_{r,s}$ の恒等式✓補題 5.3・coset 構成と極小模型
coset 最高ウェイトベクトルはユニタリ表現を与える✓命題 5.2・coset 構成と極小模型
- GKO の coset Virasoro✓定理 5.1・coset 構成と極小模型（上で展開済み）
- ユニタリ加群の中の最高ウェイトベクトル✓補題 4.2・coset 構成と極小模型
  - 菅原構成✓定理 3.1・coset 構成と極小模型
sl(2,C) の有限次元加群の構造✓系 10.2・Lie 環の構造論
- Weyl の完全可約性定理✓定理 9.2・Lie 環の構造論
  - 単純イデアルへの分解✓定理 8.2・Lie 環の構造論
    Cartan の判定法✓定理 7.2・Lie 環の構造論この先をたどる →
  - Casimir 作用素の性質✓補題 9.1・Lie 環の構造論
最高ウェイト空間での L₀✓系 3.3・coset 構成と極小模型
GKO の coset Virasoro✓定理 5.1・coset 構成と極小模型
- 菅原構成✓定理 3.1・coset 構成と極小模型
- ユニタリ加群の中の最高ウェイトベクトル✓補題 4.2・coset 構成と極小模型（上で展開済み）

証明で明示的に参照している定理は、まだありません。