群の表現
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/04/29 15:18 UTC 版)
数学において、群の表現(ぐんのひょうげん、英: group representation)とは、抽象的な群 G の元 g に対して具体的な線形空間 V の正則な線形変換としての実現を与える準同型写像 π: G → GL(V) のことである。線型空間 V の基底を取ることにより、π(g) をより具体的な正則行列として表すことができる。
- ^ Alperin & Bell 1995, pp. 165, 173.
- ^ Isaacs 1994, Problem 5.6.
- ^ 永尾 & 津島 2009, 定理III.3.1.
群の表現
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/06 05:53 UTC 版)
詳細は「群の表現」を参照 群 G が集合 X に作用するとは、G の各元が、X 上定義された全単射で群構造と両立するものを定めることをいう。ただし、X にさらに構造が入っているときは、それに応じて表現の概念に制限を加えるほうが有効である。例えばよくある状況として、群 G のベクトル空間 V における(または V を表現空間とする)表現(線型表現)とは、GL(V) を V 上の正則線型変換全体の成す群として、群準同型 ρ: G → GL(V) のことをいう。これはつまり、群 G の各元 g に線型自己同型 ρ(g) が割り当てられていて、さらに G の別の任意の元 h に対して ρ(g) ∘ ρ(h) = ρ(gh)が成り立つということである。 この定義は二つの方向性で捉えることができて、いずれの仕方でも(群コホモロジーや同変 K-理論のような)数学のまったく新たな領域を生じる。ひとつは、群 G について新たな情報をもたらすものである。例えば群 G における演算はしばしば抽象的に与えられるけれども、表現 ρ を通じて(特に表現が忠実のとき)群演算は行列の積という非常に具体的なものに対応付けられることになる。もうひとつは、よく知られた群が与えられ、それが複雑な対象に作用しているものとすれば、そのような対象を調べるのが簡単になるというものである。例えば、G が有限群とすれば、表現空間 V が既約表現の直和に分解されるというマシュケの定理が知られているが、既約表現に対してはシューアの補題などが利用できるので、V 全体を考えるよりもずっと扱いやすい。 与えられた群 G に対する表現論とは、G の表現としてどのようなものが存在しうるかを問うものである。状況設定はさまざまで、どのような手法を使えるかとか、どのような結果が得られるかというようなことがそれぞれの場合で変わってくる。有限群の表現論およびリー群の表現論は表現論における二大主要テーマである。群の表現の全体像は群の指標によって統制されている。例えば、フーリエ多項式は、周期函数全体の成す L2-空間に作用する、絶対値 1 の複素数全体の成す群 U(1) の指標として解釈することができる。
※この「群の表現」の解説は、「群論」の解説の一部です。
「群の表現」を含む「群論」の記事については、「群論」の概要を参照ください。
- 群の表現のページへのリンク