指標群とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 指標群の意味・解説 

指標群

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/07 03:47 UTC 版)

ナビゲーションに移動 検索に移動

数学において、指標群 (character group) は複素数関数による表現の群である。これらの関数は一次元行列表現と考えることができ、したがって関連した文脈である指標理論において生じる群指標の特別な場合である。群が行列によって表現されるときにはいつでも、行列のトレースによって定義される関数は指標 (character) と呼ばれる。しかしながら、これらのトレースは一般には群をなさない。これらの 1 次元指標のいくつかの重要な性質は一般の指標に適用する:

  • 指標は共役類で不変である。
  • 既約表現の指標は直交する。

有限アーベル群の指標群の主要な重要性は数論においてである。そこではそれがディリクレ指標を構成するために使われる。巡回群の指標群はまた離散フーリエ変換の理論においても現れる。局所コンパクトなアーベル群に対して、(連続性を仮定して)指標群はフーリエ解析の中核をなす。

前書き

G をアーベル群とする。群を 0 でない複素数に写す関数 はそれが群準同型であるとき、つまり任意の に対して であるときに、G指標 (character) と呼ばれる。

f が有限群 G の指標であれば、各関数値 f(g)1の冪根である(なぜならば任意の g ∈ G に対してある k ∈ N が存在して であり、 となるからである)。

各指標 fG共役類上定数である、つまり、f(h g h−1) = f(g). この理由のため、指標は類関数 (class function) と呼ばれることがある。

位数 n の有限アーベル群はちょうど n 個の異なる指標をもつ。これらは f1, ..., fn で表記される。関数 f1 は自明な表現である、すなわち 。それは G の主指標 (principal character of G) と呼ばれる。それ以外は非主指標 (non-principal character) と呼ばれる。非主指標はある に対して という性質をもつ。

定義

G位数 n のアーベル群であれば、指標 fk たちの集合は各元 に対して という積の下でアーベル群をなす。この群は G の指標群 (character group of G) であり、 と表記されることがある。その位数は n である。 の単位元は主指標 f1 である。fk の逆元は逆数 1/fk である。任意の g ∈ G に対して であるから逆は複素共役に等しいことに注意する。

指標の直交性

成分が 、ただし Gk 番目の元、であるような 行列 A=A(G) を考えよう。

Aj 行目の成分の和は次で与えられる。

if , and
.

Aj 列目の成分の和は次で与えられる。

if , and
.

A共役転置 (conjugate transpose) を表す。すると

.

これは指標の所望の直交性関係を意味する。すなわち、

,

ただし クロネッカーのデルタ の複素共役である。

関連項目

参考文献




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「指標群」の関連用語

指標群のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



指標群のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの指標群 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS