群の表現

数学において、群の表現（ぐんのひょうげん、）とは、抽象的な群 の元 に対して具体的な線形空間 の正則な線形変換としての実現を与える準同型写像 のことである。線型空間 の基底を取ることにより、 をより具体的な正則行列として表すことができる。
定義.
群の表現.
群 の各元 に対して線形空間 上の線形変換 が対応し、
が成り立つとき、 を に対応させる写像 を群 の線形空間 上の表現といい、線形空間 を群 の表現空間という。すなわち群 の表現とは「群 から線形空間 上の正則な線形変換のつくる群への準同型写像」のことである。
 に対して のことを単に あるいは と表すことが多い。
表現空間は群上の加群と見ることもできる。このとき表現空間は群環 上表現加群と呼ばれ、このことを強調するために と表すこともある。
表現行列.
表現空間を明示したいときは組 で表現を表す。表現空間 の次元 を表現の次元という。表現空間 に適当な基底を導入すれば、 は具体的に 次正方行列で書き表せるから、群 の表現とは「から正則行列の成す群 への準同型写像である」といってもよい。このとき行列 を の表現行列と呼ぶ。
つまり群 に対応して行列の集合 formula_2 があり、任意の群の元 に対して が成り立つとき、これらの行列を群 の表現行列という。
同値な表現.
群 の2つの表現 と が与えられたとき、ある線型同型 が存在して、すべての元 に対して相似変換
で繋がるならば、表現 と は同値あるいは同型であるといい、両者は本質的には同じ表現である。この条件はすべての元 に対して次の図式が可換であるといってもよい。
なお、一般に、全単射とは限らないこのような変換をという。
特別な表現.
恒等表現・忠実表現.
対応 は一般には単射であるとは限らない。たとえば、すべての元 に恒等変換を対応させるものも表現であって、これは恒等表現あるいはと呼ばれる。一方、対応 が単射のときはその表現は忠実な表現であるという。
既約表現.
formula_5 で不変な表現空間 の部分空間が と のふたつ以外に存在しないとき、表現 は既約であるという。既約でない表現を可約という。特に表現空間をいくつかの既約な不変部分空間の直和に分解できる場合、その表現を完全可約であるという。マシュケの定理より複素数体上における有限群の有限次元表現は常に完全可約である。既約表現に対して次の重要な補題が成り立つ：
また適当な相似変換によってブロック対角型になる（簡約できる）表現を直可約表現、直可約でない表現を直既約表現という。
有限群の同値でない複素数体上の有限次元既約表現の数は、群の共役類の数と等しい。
ユニタリ表現.
すべての がユニタリ変換であるような表現をユニタリ表現と呼ぶ（直交変換はユニタリ変換の特別な場合であるから、直交変換による表現もユニタリ表現である）。
誘導表現.
有限群 の部分群 を取り、剰余類分解の完全代表系 をひとつ固定する。
体 上の表現 の とは次で定義される群 の表現のことである。
ただし formula_8 のときは とする。誘導表現は剰余類分解の代表系の取り方に依存しない。
誘導表現 の次数は表現 の次数の 倍である。また自明な部分群の自明な表現の誘導表現は群 の正則表現を与える。
部分群 の表現加群を としたとき誘導表現から定まる群 の表現加群のことを誘導加群といい、, あるいは で表す。代数のテンソル積を使って と定義しても同型な表現加群が定義できる。
具体例.
3次対称群 の複素数体 上の有限次元な既約表現は同値なものを除くと次で定まる準同型写像 の3つである。
基本的な定理.
Frobenius相互律.
有限群 の部分群 を取る。群 の表現 に対し、部分群 への制限表現 を で定める。またこの制限表現から定まる部分群 の表現加群のことを制限加群といい、, あるいは で表す。このとき線型空間としての同型
が成り立つ。これをFrobenius相互律 (Frobenius reciprocity) という。
Mackeyの分解定理.
有限群 の部分群 を取り、その両側剰余類分解を
とする。このとき 加群 について 加群として次の同型が成り立つ。
ここで は 加群で、線形空間としては と同型であり、 の元を（形式的に） と表したとき、その作用は で定める。この 加群 は の共役加群と呼ばれることがある。
Cliffordの定理.
有限群 の正規部分群 を取る。このとき 加群 に対して
を の惰性群（inertia group）という。
既約 加群 とその制限 の既約部分 加群 に対して、分岐指数（ramification index）と呼ばれる自然数 が存在して、次の 加群としての同型が成り立つ。
量子力学における群の表現.
量子力学におけるハミルトニアン formula_17 が、ある変換群 で不変であるとすると、1つのエネルギー固有値 に属するハミルトニアン formula_17 の固有空間は群 のユニタリ表現の表現空間になっている。したがって群 の既約なユニタリ表現を知ることで、ハミルトニアン formula_17 の固有状態を分類することができる。これが原子や分子の状態や素粒子の分類に群論が有力な道具となる理由である。