指標表

抽象代数学の一分野である群論において、指標表（しひょうひょう、）とは、与えられた群について、その全ての既約表現の指標を表にまとめたものである。これは直交関係などにより対象としている群についての比較的少ない情報から計算できて、群の性質をそこから引き出すことができる。
化学・結晶学・分光学において点群の指標表は、対称性の観点から分子振動を分類したり、2つの量子状態間の遷移が可能かどうかを考える場合に用いられる。
定義.
有限群 "G" の複素数体 C 上既約表現 "X": "G" → GL"n"(C) に対して写像 χ = Tr "X": "G" → C を次数 "n" の既約指標という。既約指標の数と共役類の数は等しい。群 "G" の既約指標 χ1, …, χ"k" と共役類の完全代表系 "g"1, …, "g""k" に対して正方行列 "T" = [ χ"i"("g""j") ]1 ≤ "i", "j" ≤ "k" を指標表という。指標は類関数なので指標表は矛盾なく定まるが、行と列に関する入れ替えを除いてしか決まらない。
性質.
以下では群とは有限群のことを指す。群 "G" の既約指標のなす集合を Irr("G") とおく。群 "G" の元 "g" に対して "g""G" は共役類、C"G"("g") は中心化群を表す。
既約表現への分解.
非自明な可約表現の表現行列 "R" は、相似変換によってブロック行列 "R""i" ≠ 0 に分解することができる。
それ以上ブロック行列に分解できなくなったとき、それぞれのブロック行列は既約表現の表現行列となる。
相似変換をしても指標は変化しない。また可約表現の表現行列の指標は、それぞれのブロック行列の指標を足し合わせたものと等しい。よってある可約表現が与えられたときに、指標表のみを用いて既約表現に分解することができる。ここで可約表現に現れる既約表現の重複度 formula_4 は、次のように与えられる。
ここで formula_6 は既約表現の指標、formula_7 は可約表現の指標、|"G"| は群 "G" の位数である。この式は指標表の直交関係から直ちに導かれ、簡約公式などと呼ばれる。
具体例.
3次対称群"S"3の指標表.
3次対称群 "G" := "S"3 の既約表現は同値なものを除くと次で定まる準同型写像 "X"1, "X"2, "X"3 の3つである。
したがってχ"j" = Tr "X""j" とおけば "G" の指標表は次のようになる。
位数8の非可換群の指標表.
位数8の非可換群には二面体群 "D"8 = 〈 "r", "s" | "r"4 = "s"2 = "e", "r""s" = "r"-1 〉 と "Q"8の2つの非同型類があるが、その指標表は等しい。したがって一般に指標表から群の同型類を決定することはできない。