指標 (数学)
数学において、ある指標（しひょう、英: character）とは、群から（複素数全体のような）体へのある特殊な関数のことを言う。少なくとも二つの、異なるが重複もする意味が存在する。
乗法的指標
群 G 上の乗法的指標（あるいは線形指標または単純に指標）とは、G からある体（通常は複素数体）の乗法群への群準同型である {{#invoke:Footnotes | harvard_citation }}。G を任意の群としたとき、そのような準同型の集合 Ch(G) は点ごとの乗算の下でのアーベル群をなす。
この群は G の指標群と呼ばれる。しばしば、「単位的」な指標のみが考慮され、したがって像は単位円の中にある。このとき、その他の準同型は準指標 (quasi-character) と呼ばれる。この定義の特殊な場合として、ディリクレ指標がある。
乗法的指標は線形独立である。つまり [math]\chi_1,\chi_2, \ldots , \chi_n [/math] をある群 G 上の異なる指標としたとき、[math]a_1\chi_1+a_2\chi_2 + \ldots + a_n \chi_n = 0 [/math] であるなら [math]a_1=a_2=\cdots=a_n=0 [/math] が成立する。
表現の指標
体 F 上の有限次元ベクトル空間 V 上の群 G の表現 φ の指標とは、その表現 φ のトレースのことを言う。一般に、そのトレースは群準同型ではなく、そのトレースの集合が群をなすこともない。一次元表現の指標は、一次元表現と同一であり、したがって上述の乗法的指標の概念はより高次元の指標の特別な場合として考えられる。指標を用いた表現の研究は指標理論と呼ばれ、その分野において一次元指標は線形指標とも呼ばれる。
関連項目
参考文献
- Artin, Emil (1966), Galois Theory, Notre Dame Mathematical Lectures, number 2, Arthur Norton Milgram (Reprinted Dover Publications, 1997), ISBN 978-0-486-62342-9 Lectures Delivered at the University of Notre Dame
- Serre, Jean-Pierre (1977), Linear Representations of Finite Groups, Springer-Verlag, ISBN 0-387-90190-6.