随伴表現

定義 2.2（「非可換ゲージ理論の量子化」§2）

$\dim G$ 次の行列

(t^b_G)_{ac}=if^{abc}

を随伴表現の生成子と呼びます。 $C_G\equiv C(G)=C_2(G)$ と書きます。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

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

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