23/01/30 21:35:14.17 kcnn4hJ8.net
>>99
つづき
URLﾘﾝｸ(ja.wikipedia.org)
指標理論 「指標 (数学)」も参照
群の表現の指標（しひょう、英: character）は、群の各元に対応する行列のトレースを対応させる写像である。指標は表現の本質的な情報をより凝縮された形で持っている。ゲオルク・フロベニウスは最初に、指標のみに基づいて、表現の明示的な行列表示は用いずに、有限群の表現論（英語版）を発展させた。これは有限群の複素表現はその指標によって（同型を除いて）決定されるから可能である。正標数の体上の表現、いわゆる「モジュラー表現」の場合には、状況はより繊細であるが、リチャード・ブラウアー（英語版）はこの場合にも指標の強力な理論を発展させた。有限群の構造に関する多くの深い定理はモジュラー表現の指標を用いる。
応用
既約表現の指標には群の多くの重要な性質が反映されており、したがってその構造の研究に用いることができる。指標理論は有限単純群の分類において本質的な道具である。Feit?Thompson の定理（英語版）の半分近くは指標の値の入り組んだ計算を伴う。指標理論を使う、より容易だがなお本質的な結果は、バーンサイドの定理（純粋に群論的な証明は見つかっているが、バーンサイドのもともとの証明のあと半世紀以上経ってからである）や、有限単純群はシロー 2-部分群として一般四元数群を持つことはできないというブラウアー・鈴木の定理である。
指標表
詳細は「指標表」を参照
有限群の既約複素指標は群 G についての多くの有用な情報を凝縮された形で表現する指標表をなす。各行は既約表現によってラベルづけられ、行の成分は G のそれぞれの共役類上の表現の指標である。列は G の共役類（の代表元）によってラベル付けられる。第一行を自明指標でラベル付け、第一列を単位元（の共役類）でラベル付けるのが通例である。第一列の成分は単位元における既約指標の値、既約指標の次数である。
直交関係式
詳細は「シューアの直交関係式（英語版）」を参照
URLﾘﾝｸ(en.wikipedia.org)
Character theory
(引用終り)
以上