群の表現

数学において、**群の表現**（ぐんのひょうげん、）とは、抽象的な群  の元  に対して具体的な線形空間  の正則な線形変換としての実現を与える準同型写像  のことである。線型空間  の基底を取ることにより、 をより具体的な正則行列として表すことができる。

## 定義

### 群の表現
群  の各元  に対して線形空間  上の線形変換  が対応し、
:T(gh)=T(g)T(h)
が成り立つとき、 を  に対応させる写像  を群  の線形空間  上の**表現**といい、線形空間  を群  の**表現空間**という。すなわち群  の表現とは「群  から線形空間  上の正則な線形変換のつくる群への準同型写像」のことである。

 に対して  のことを単に  あるいは  と表すことが多い。

表現空間は群上の加群と見ることもできる。このとき表現空間は群環  上**表現加群**と呼ばれ、このことを強調するために  と表すこともある。

### 表現行列
表現空間を明示したいときは組  で表現を表す。表現空間  の次元  を**表現の次元**という。表現空間  に適当な基底を導入すれば、 は具体的に  次正方行列で書き表せるから、群  の表現とは「から正則行列の成す群  への準同型写像である」といってもよい。このとき行列  を  の**表現行列**と呼ぶ。

つまり群  に対応して行列の集合 \Gamma = \{\, T(g) \mid g \in G \,\} があり、任意の群の元  に対して  が成り立つとき、これらの行列を群  の表現行列という。

### 同値な表現
群  の2つの表現  と  が与えられたとき、ある線型同型  が存在して、すべての元  に対して相似変換
:ST_1(g)S^{-1}=T_2(g)
で繋がるならば、表現  と  は**同値**あるいは**同型**であるといい、両者は本質的には同じ表現である。この条件はすべての元  に対して次の図式が可換であるといってもよい。
:\begin{array}{ccc}
 V                          & \stackrel{T_1(g)}{\longrightarrow} & V                          \\
 {\scriptstyle S}\downarrow &                                    & \downarrow {\scriptstyle S}\\
 W                          & \stackrel{T_2(g)}{\longrightarrow} & W
\end{array}
なお、一般に、全単射とは限らないこのような変換をという。

## 特別な表現

### 恒等表現・忠実表現

対応  は一般には単射であるとは限らない。たとえば、すべての元  に恒等変換を対応させるものも表現であって、これは**恒等表現**あるいは***'と呼ばれる。一方、対応  が単射のときはその表現は'''[[忠実な表現]]'''であるという。

=== 既約表現 ===

<math>\{\, T(g) \mid g \in G \,\}</math> で[[不変部分空間|不変]]な表現空間  の部分空間が と  のふたつ以外に存在しないとき、表現  は'''既約'''であるという。既約でない表現を'''可約'''という。特に表現空間をいくつかの既約な不変部分空間の[[直和]]に分解できる場合、その表現を'''[[完全可約]]'''であるという。[[マシュケの定理]]より複素数体上における有限群の有限次元表現は常に完全可約である。既約表現に対して次の重要な補題が成り立つ：
;[[シューアの補題]]:  を群  の[[代数的閉体]]上における有限次元既約表現とすると、すべての  と可換な変換は恒等変換の定数倍に限られる。

また適当な[[相似変換]]によって[[ブロック対角]]型になる（簡約できる）表現を'''直可約表現'''、直可約でない表現を'''[[直既約表現]]'''という。

有限群の同値でない複素数体上の有限次元既約表現の数は、群の[[共役類]]の数と等しい。

=== ユニタリ表現 ===

すべての  が[[ユニタリ変換]]であるような表現を'''[[ユニタリ表現]]'''と呼ぶ（[[直交変換]]はユニタリ変換の特別な場合であるから、直交変換による表現もユニタリ表現である）。

=== 誘導表現 ===

有限群  の部分群  を取り、[[剰余類]]分解の[[完全代表系]]  をひとつ固定する。
:<math> G = t_1H \amalg \dotsb \amalg t_mH.</math>
体  上の表現  の***'  とは次で定義される群  の表現のことである。
: T(g) = \begin{bmatrix} T(t_i^{-1}gt_j) \end{bmatrix}_{1 \leq i, j \leq m} 
ただし x \not\in H のときは  とする。誘導表現は剰余類分解の代表系の取り方に依存しない。

誘導表現  の次数は表現  の次数の  倍である。また自明な部分群の自明な表現の誘導表現は群  の正則表現を与える。

部分群  の表現加群を  としたとき誘導表現から定まる群  の表現加群のことを**誘導加群**といい、,  あるいは  で表す。代数のテンソル積を使って  と定義しても同型な表現加群が定義できる。

## 具体例
3次対称群  の複素数体  上の有限次元な既約表現は同値なものを除くと次で定まる準同型写像  の3つである。
* 1次元の自明表現 
:: (1, 2)(3) &#8614; [1], (1, 2, 3) &#8614; [1]
* 符号表現 
:: (1, 2)(3) &#8614; [&minus;1], (1, 2, 3) &#8614; [1]
* 
:: (1, 2)(3) &#8614; \begin{bmatrix}0 & 1\\ 1 & 0\end{bmatrix}, (1, 2, 3) &#8614; \begin{bmatrix}e^{2\pi i/3} & 0\\ 0 & e^{-2\pi i/3}\end{bmatrix}

## 基本的な定理
### Frobenius相互律
有限群  の部分群  を取る。群  の表現  に対し、部分群  への**制限表現**  を  で定める。またこの制限表現から定まる部分群  の表現加群のことを**制限加群**といい、,  あるいは  で表す。このとき線型空間としての同型
:
 \operatorname{Hom}_{FH}(U, V_H) \cong \operatorname{Hom}_{FG}(U^G, V), \quad
 f \mapsto \big(\sum_{t \in G/H} u \otimes t \mapsto \sum_{t \in G/H} f(u)t\big)

:
 \operatorname{Hom}_{FH}(V_H, U) \cong \operatorname{Hom}_{FG}(V, U^G), \quad
 f \mapsto \big(v \mapsto \sum_{t \in G/H} f(vt^{-1}) \otimes t)\big)

が成り立つ。これを**Frobenius相互律** (Frobenius reciprocity) という。

### Mackeyの分解定理
有限群  の部分群  を取り、その両側剰余類分解を
:G = \coprod_{t \in H \backslash G/K} HtK
とする。このとき  加群  について  加群として次の同型が成り立つ。
: (W^G)_K \cong \bigoplus_{t \in H \backslash G/K} (W^t_{H^t \cap K})^K 
ここで  は  加群で、線形空間としては  と同型であり、 の元を（形式的に） と表したとき、その作用は  で定める。この  加群  は  の共役加群と呼ばれることがある。

### Cliffordの定理
有限群  の正規部分群  を取る。このとき  加群  に対して
:T = \{\, t \in G \mid W^t \cong W \,\}
を  の**惰性群**（inertia group）という。

既約  加群  とその制限  の既約部分  加群  に対して、**分岐指数**（ramification index）と呼ばれる自然数  が存在して、次の  加群としての同型が成り立つ。
:V_N \cong e\bigoplus_{t \in G/T} W^t

## 量子力学における群の表現
量子力学におけるハミルトニアン \hat{H} が、ある変換群  で不変であるとすると、1つのエネルギー固有値  に属するハミルトニアン \hat{H} の固有空間は群  のユニタリ表現の表現空間になっている。したがって群  の既約なユニタリ表現を知ることで、ハミルトニアン \hat{H} の固有状態を分類することができる。これが原子や分子の状態や素粒子の分類に群論が有力な道具となる理由である。

## 脚注

## 参考文献
* Jean-Pierre Serre: *Linear Representations of Finite Groups*, Springer (GTM,vol.42), 978-1-4684-9458-7 (1977).
* Jin-Quan Chen: *Group Representation Theory for Physicists*, World Scientific (1989)
* 
* 
* Walter Ledermann: *Introduction to group characters*, 2nd Ed., Cambridge University Press, ISBN 0-521-33781-X (1987). ※ 有限群の指標は表現行列の対角和である。

和書：
*『物理学辞典』 培風館、1984年.
* 山内恭彦：「回転群とその表現」、岩波書店（1957年).
* 服部昭：「群とその表現」、共立出版（共立数学講座18）(1967年11月1日).
* 横田一郎：「群と表現」、裳華房、ISBN 4-7853-1110-X (1973年5月).　※ 復刊版2001年8月
* J.-P.セール(著)、岩堀長慶、横沼健雄(共訳)：「有限群の線型表現」、岩波書店（1974年3月4日）.
* 島和久：「連続群とその表現」、岩波書店 (1981年4月24日).
* 永尾汎、津島行男：「有限群の表現」、裳華房、ISBN 4-7853-1310-2 (1987年8月15日).　※ 復刊版2001年9月 ※ 程度はかなり高い。
* 吉川圭二：「群と表現」、岩波書店、ISBN 4-00-007979-4 (1996年10月18日).
* 平井武：「線型代数と群の表現 I」、朝倉書店、ISBN 4-254-11496-6 (2001年11月20日).
* 平井武：「線型代数と群の表現 II」、朝倉書店、ISBN 4-254-11497-4 (2001年11月20日).
* 岡田聡一：「古典群の表現論と組合せ論　上」、培風館、ISBN 4-563-00663-7 (2006年3月30日).
* 岡田聡一：「古典群の表現論と組合せ論　下」、培風館、ISBN 4-563-00664-5 (2006年3月30日).
* 高瀬幸一：「群の表現論序説」、岩波書店、ISBN 978-4-00-005271-9（2013年5月30日).

## 関連項目
* 
* 位相群の表現
* リー群の表現
* 指標表

## 外部リンク
* 
*