数学において、指標とは(最も一般的には)群から体(複素数など)への特殊な関数を指します。少なくとも2つの異なる、しかし重複する意味があります。[ 1 ]「指標」という言葉の他の用法は、ほぼ常に限定されます。
群G上の乗法指標(または線形指標、あるいは単に指標)は、 Gから体( Artin 1966 )の乗法群(通常は複素数体)への群準同型写像である。Gが任意の群である場合、これらの準同型写像の集合 Ch( G ) は、点ごとの乗法に関してアーベル群を形成する。
この群は、 Gの指標群と呼ばれます。場合によっては、単位指標のみが考慮されます(したがって、像は単位円内にあります)。このような他の準同型写像は、準指標と呼ばれます。ディリクレ指標は、この定義の特殊な場合と見なすことができます。
乗法的な文字は線形独立である、つまりグループGの異なる文字が同じフィールドにある場合、したがって、。
キャラクター 表現の体F上の有限次元ベクトル空間V上の群Gの表現のトレースは、( Serre 1977 )すなわち
一般に、トレースは群準同型ではなく、またトレースの集合も群を形成しません。1次元表現の指標は1次元表現と同一であるため、上記の乗法指標の概念は高次元指標の特殊な場合と見なすことができます。指標を用いた表現の研究は「指標理論」と呼ばれ、この文脈では1次元指標は「線形指標」とも呼ばれます。
有限アーベル群に制限する場合代表(つまり))、次の代替定義は上記と同等である(アーベル群の場合、すべての行列表現は、次の直和に分解される。表現。非可換群の場合、元の定義はこれよりも一般的になります。
キャラクターグループの群準同型であるつまりすべての人々のために
もしは有限アーベル群であり、指標は調和関数の役割を果たします。無限アーベル群の場合、上記は に置き換えられます。どこは円グループです。