指標群

数学において、指標群 (character group) は複素数値関数による群の表現の群である。これらの関数は一次元行列表現と考えることができ、したがって関連した文脈である指標理論において生じる群指標の特別な場合である。群が行列によって表現されるときにはいつでも、行列のトレースによって定義される関数は指標 (character) と呼ばれる。しかしながら、これらのトレースは一般には群をなさ"ない"。これらの 1 次元指標のいくつかの重要な性質は一般の指標に適用する：
有限アーベル群の指標群の主要な重要性は数論においてである。そこではそれがディリクレ指標を構成するために使われる。巡回群の指標群はまた離散フーリエ変換の理論においても現れる。局所コンパクトなアーベル群に対して、（連続性を仮定して）指標群はフーリエ解析の中核をなす。
前書き.
"G" をアーベル群とする。群を 0 でない複素数に写す関数 formula_1 はそれが群準同型であるとき、つまり任意の formula_2 に対して formula_3 であるときに、"G" の指標 (character) と呼ばれる。
"f" が有限群 "G" の指標であれば、各関数値 "f"("g)" は1の冪根である（なぜならば任意の "g" ∈ "G" に対してある "k" ∈ N が存在して formula_4 であり、formula_5 となるからである）。
各指標 "f" は "G" の共役類上定数である、つまり、"f"("h" "g" "h"−1) = "f"("g"). この理由のため、指標は類関数 (class function) と呼ばれることがある。
位数 "n" の有限アーベル群はちょうど "n" 個の異なる指標をもつ。これらは "f"1, ..., "f"n で表記される。関数 "f"1 は自明な表現である、すなわち formula_6。それは "G" の主指標 (principal character of "G") と呼ばれる。それ以外は非主指標 (non-principal character) と呼ばれる。非主指標はある formula_7 に対して formula_8 という性質をもつ。
定義.
"G" が位数 "n" のアーベル群であれば、指標 "fk" たちの集合は各元 formula_7 に対して formula_10 という積の下でアーベル群をなす。この群は "G" の指標群　(character group of "G") であり、formula_11 と表記されることがある。その位数は "n" である。formula_11 の単位元は主指標 "f"1 である。"f"k の逆元は逆数 1/"f"k である。任意の "g" ∈ "G" に対して formula_13 であるから逆は複素共役に等しいことに注意する。
指標の直交性.
成分が formula_14、ただし formula_15 は "G" の "k" 番目の元、であるような formula_16 行列 "A"="A"("G") を考えよう。
"A" の "j" 行目の成分の和は次で与えられる。
"A" の "j" 列目の成分の和は次で与えられる。
formula_23 で "A" の共役転置 () を表す。すると
これは指標の所望の直交性関係を意味する。すなわち、
ただし formula_26 はクロネッカーのデルタで formula_27 は formula_28 の複素共役である。