数学 › 代数学(群・環・体) › 有限群の表現

指標

定義 5.1(「有限群の表現」§5)

表現 (ρ,V)(\rho, V) の指標とは、関数 χρ:G→C\chi_\rho : G \to \mathbb{C}, χρ(g)=tr ρ(g)\chi_\rho(g) = \mathrm{tr}\,\rho(g) のことをいう。関数 f:G→Cf : G \to \mathbb{C} が類関数であるとは、共役で不変(f(hgh−1)=f(g)f(hgh^{-1}) = f(g))であることをいう。類関数 α,β\alpha, \beta に対し

⟨α,β⟩=1∣G∣∑g∈Gα(g) β(g)‾\langle \alpha, \beta \rangle = \frac{1}{|G|} \sum_{g \in G} \alpha(g)\,\overline{\beta(g)}

とおく。これは類関数全体の上のエルミート内積である。

本文で読む(前後の説明と例)→

閉包の状態

定義

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

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

これを使っている定理 証明で参照している 1 件