查看“︁群表示論”︁的源代码

{{NoteTA|G1=Math}}

在[[群論]]中，'''群表示論'''（{{lang-en|Group representation theory}}）是一个非常重要的理論。它包含了[[拓扑群|（局部）緊緻群]]、[[李群]]、[[李代數]]及[[群概形]]的表示等種種分支，近來無限維表示理論也漸露頭角。表示理論在[[量子物理]]與數學的各領域中均有重要應用。

==基本定義==
表示理論早期是藉矩陣的語言描述的，具體定義如下：
* 如果任何非零方陣的集合的乘法關係和给定群的乘法關係相同，则這個矩陣集合形成群的一個'''表示'''，這套矩陣的階稱為表示的'''維數'''。
* 如果兩個同維表示的矩陣以同一[[相似變換]]相關聯，則稱這兩個表示是'''等價'''的。
* 如果任何維數大於一的表示的所有矩陣都可以用相同的相似變換轉換为相同的塊對角矩陣結構，則稱此表示为'''可約表示'''，反之稱为'''不可約表示'''。 

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

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

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

<math>\mathrm{Hom}_G((\rho, V), (\sigma, W)) := \{f \in \mathrm{Hom}_F(V, W) : f(\rho(g)v) = \sigma(g)f(v) \}</math>

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

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

==誘導與限制==
設<math>H</math>為<math>G</math>之子群，<math>(G:H) < \infty</math>。以下將定義兩個[[函子]]<math>\mathrm{Res}^G_H: \mathrm{Rep}_G \rightarrow \mathrm{Rep}_H</math>（'''限制'''）與<math>\mathrm{Ind}^G_H: \mathrm{Rep}_H \rightarrow \mathrm{Rep}_G</math>（'''誘導'''）。

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

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

[[費迪南德·格奧爾格·弗羅貝尼烏斯|弗羅貝尼烏斯]]互反定理言明：若<math>V,W</math>分別為<math>G, H</math>的表示，則有自然的同構<math>\mathrm{Hom}_H (W, \mathrm{Res}^G_H (V)) = \mathrm{Hom}_G(\mathrm{Ind}^G_H (W),V)</math>。換言之：<math>(\mathrm{Ind}^G_H, \mathrm{Res}^G_H)</math>為一對[[伴隨函子]]。

若以特徵標表之，上述同構化為一個較弱但較具體的等式：<math>(\chi_{\mathrm{Ind}^G_H(W)}, \chi_V) = (\chi_W, \chi_{\mathrm{Res}^G_H(V)})</math>。

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

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

==參見==
* [[舒尔正交关系]]
* [[特徵標理論]]

==文獻==
* 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

{{ModernAlgebra}}

[[category:抽象代數|Q]]
[[category:群論|Q]]
[[Category:群表示论|*]]