在群論中，**群表示論**（英語：）是一个非常重要的理論。它包含了（局部）緊緻群、李群、李代數及群概形的表示等種種分支，近來無限維表示理論也漸露頭角。表示理論在量子物理與數學的各領域中均有重要應用。

基本定義
----

表示理論早期是藉矩陣的語言描述的，具體定義如下：

* 如果任何非零方陣的集合的乘法關係和给定群的乘法關係相同，则這個矩陣集合形成群的一個**表示**，這套矩陣的階稱為表示的**維數**。
* 如果兩個同維表示的矩陣以同一相似變換相關聯，則稱這兩個表示是**等價**的。
* 如果任何維數大於一的表示的所有矩陣都可以用相同的相似變換轉換为相同的塊對角矩陣結構，則稱此表示为**可約表示**，反之稱为**不可約表示**。

形式地說，一個群G的表示乃一同態 \rho :G\rightarrow {\mathrm {GL}}(V)，其中V為給定的有限維向量空間，係數佈於一個域F，通常取F={\mathbb {C}}，但在一般域（如局部域或有限域）上的表示也有重要應用。{\mathrm {GL}}(V)表從V上的自同構，或對一給定的基底來說，是n=\dim V階可逆方陣的集合。若{\mathrm {Ker}}(\rho )是平凡的，則稱此表現是**忠實**的。

若所考慮的群G帶有額外的結構（如拓撲群、李群或群概形），我們通常要求\rho 滿足相應的條件（如連續性、可微性或者要求它是概形間的態射）；在有限群及緊緻群以外的情況，通常也須考慮無窮維表示。

一個群G的所有有限維表示構成一個張量範疇，記為{\mathrm {Rep}}\_{G}；其態射定義如下：

{\mathrm {Hom}}\_{G}((\rho ,V),(\sigma ,W)):=\{f\in {\mathrm {Hom}}\_{F}(V,W):f(\rho (g)v)=\sigma (g)f(v)\}

它等價於有限維F[G]-模所構成的範疇。不難驗證表示間的同構確由矩陣的相似變換給出。一個表示被稱作**不可約**的，若且唯若它沒有在G的作用下不變的非平凡子空間。若一個表示能表成不可約表示的直和，則稱之為**完全可約**的。若取F=\mathbb{C}，則緊緻群的表示均為完全可約的，對於一般的李群及群概形則複雜得多，完全可約與否通常與半單性有關。

特徵標
---

給定G的一個表示，可以得到一個**特徵標**\chi :G\rightarrow F，它是個類函數。特徵標理論在有限群分類中佔關鍵地位；在緊緻群上，特徵標滿足舒爾正交關係，又根據**彼得-外爾定理**，不可約表現的特徵標相對於 L^{{\infty }} 範數在類函數中稠密。請參見特徵標理論。

誘導與限制
-----

設H為G之子群，(G:H)<\infty 。以下將定義兩個函子{\mathrm {Res}}\_{H}^{G}:{\mathrm {Rep}}\_{G}\rightarrow {\mathrm {Rep}}\_{H}（**限制**）與{\mathrm {Ind}}\_{H}^{G}:{\mathrm {Rep}}\_{H}\rightarrow {\mathrm {Rep}}\_{G}（**誘導**）。

* 若\rho :G\rightarrow {\mathrm {GL}}(V)為G的表示，則ρ限制於H給出H的表示，記為{\mathrm {Res}}\_{H}^{G}(V)。
* 若\rho :H\rightarrow {\mathrm {GL}}(V)為H的表示，我們定義V^{G}:=\{f:G\rightarrow V:\forall h\in H\;f(hg)=\rho (h)f(g)\}。G以右乘法作用在V^{G}上。V^{G}仍是有限維，記此表示為{\mathrm {Ind}}\_{H}^{G}(V)。

誘導表示亦可用矩陣直接計算，或定義為某個主齊性空間的截面；後者可推廣至李群與群概形的表示，此時誘導表示的性狀與G/H的幾何構造密切相關。

弗羅貝尼烏斯互反定理言明：若V,W分別為G,H的表示，則有自然的同構{\mathrm {Hom}}\_{H}(W,{\mathrm {Res}}\_{H}^{G}(V))={\mathrm {Hom}}\_{G}({\mathrm {Ind}}\_{H}^{G}(W),V)。換言之：({\mathrm {Ind}}\_{H}^{G},{\mathrm {Res}}\_{H}^{G})為一對伴隨函子。

若以特徵標表之，上述同構化為一個較弱但較具體的等式：(\chi \_{{{\mathrm {Ind}}\_{H}^{G}(W)}},\chi \_{V})=(\chi \_{W},\chi \_{{{\mathrm {Res}}\_{H}^{G}(V)}})。

例子
--

* 任意一個群G都自然地作用在其群代數{\mathbb {C}}[G]上，稱為**正則表現**。
* 對稱群S\_{n}以\sigma \cdot e\_{i}=e\_{{\sigma (i)}}作用在\mathbb{C}^n上。
* {\mathrm {SO}}\_{n}({\mathbb {R}})以g\cdot f(x)=f(g(x))作用於m次調和多項式上。

與物理學的關係
-------

迄今已知的物理定律通常在某個李群的作用下保持不變，如空間的旋轉群{\mathrm {SO}}(3)或其覆蓋{\mathrm {Spin}}(3)，其不可約表示關係到角動量的量子化。進一步的例子是：任何與狹義相對論相容的量子力學系統都帶有G:=AH（半直積）的酉表示，其中A是時空的平移而H是 勞侖茲變換群，藉著研究G的不可約酉表示，可分類粒子的質量和自旋。

參見
--

* 舒尔正交关系
* 特徵標理論

文獻
--

* J.L. Alperin, Rowen B. Bell, *Groups and Representations* (1995), Graduate Texts in Mathematics 162 ,Springer. ISBN 0387945261
* J.C. Jantzen, *Representations of Algebraic Groups* (2003), American Mathematical Society. ISBN 0821835270
* V.S. Varadarajan, *An Introduction to Harmonic Analysis on Semisimple Groups* (1989), Cambridge University Press. ISBN 0-521-34156-6

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
抽象代数相关主题 |
| --- |
|  |
| 代数结构 · 群 · 环 ·  · 有限 · 本原元 · 格 ·  · 等价关系 · 代數中心 · 同态 · 同构 · 商结构（商系统） · 同构基本定理 · 合成列 · 自由對象 |
|  |
| 群论 | 

|  |  |
| --- | --- |
| 群 | 幺半群 · 半群 · 阿贝尔群 · 非阿贝尔群 · 循環群 · 有限群 ·  · 半 ·  · 自由群 · 交换子群（交換子） · 幂零群 · 可解群 · p-群 · 对称群 · 李群 · 伽罗瓦群 |
|  |
| 子群 | 陪集 · 双陪集 · 商群 · 共轭类 · 拉格朗日定理 · 西羅定理 · 正规子群 · 群中心 · 中心化子和正规化子 · 稳定子群 · 置换群 |
|  |
| 其他 | 阶 · 群擴張 · 群同態 · 群同構 · 群表示 · 群作用 · 波利亞計數定理 · 有限生成阿貝爾群 |

 |
|  |
| 環論 | 

|  |  |
| --- | --- |
| 环 | 子環 · 整环 · 除环 · 多项式环 ·  · 商环 · 諾特環 · 局部環 · 賦值環 · 環代數 · 理想 · 主理想环 · 唯一分解整環 · 群環 |
|  |
| 模 | 深度 · 單模 · 自由模 · 平坦模 · 阿廷模 · 諾特模 |
|  |
| 其他 | 幂 · 特征 · 完備化 · 環的局部化 |

 |
|  |
| 論 | 

|  |  |
| --- | --- |
|  | 有限 · 原根 · 代数闭 · 局部 · 分裂 · 分式環 |
|  |
| 扩张 | 单扩张 · 有限扩张 · 超越扩张 · 代数扩张 · 正规扩张 · 可分扩张 · 伽罗瓦扩张 · 阿贝尔扩张 · 伽罗瓦理论基本定理 |

 |

 |