1 基本概念
群表示是把群的抽象元素映射到线性变换、矩阵或算子中的一种方法。借助这种方式，原本只描述对称关系的群，可以转化为线性代数框架下的问题，从而便于计算与分类。群表示既保留了群运算的结构，又为研究群的性质提供了可视化、可操作的工具。
1.1 群与线性变换
群表示的基本思想，是让群元素对应某个线性空间上的变换。这样，群的乘法关系便可通过变换复合来体现。由于线性变换具有明确的代数表达，群表示常被写成矩阵形式，或更一般地写成算子形式。
1.1.1 群同态
表示在本质上是一类群同态，即把群中的乘法结构保持地映射到线性变换群中。若群元素对应的映射满足单位元对应恒等变换、乘积对应变换复合，则该映射就体现了群结构在另一空间中的实现。群同态的存在与性质，决定了表示的基本行为。
1.1.2 线性群与矩阵表示
线性群通常指某个向量空间上线性变换组成的群，常见形式为可逆矩阵群。矩阵表示就是把群元素具体写成矩阵，并用矩阵乘法描述群运算。由于矩阵计算规则清晰，这种表示方式成为群表示中最常用的具体模型之一。
1.2 表示的定义
表示可以理解为群到线性变换群的结构保持映射。给定一个群和一个向量空间，每个群元素都对应一个可逆线性算子，这组算子共同构成该群的表示。表示的定义强调的是结构对应，而不是单纯的符号替换。
1.2.1 表示空间
表示空间是群作用所在的向量空间，也是承载线性变换的场所。这个空间可以是有限维的，也可以是无限维的；可以是实向量空间、复向量空间，甚至更一般的模结构。不同表示空间会导致不同的表示类型和分析方法。
1.2.2 表示次数与维数
表示次数通常指表示空间的维数，反映表示的规模。低维表示往往结构较直观，便于直接计算；高维表示则可能包含更丰富的信息，能够揭示群的复杂对称性。维数是描述表示时最基本的数值特征之一。
1.2.3 忠实表示
忠实表示是指不同群元素在表示下对应不同的线性变换，即表示映射是单射的。忠实性说明该表示能够完整保留群的信息，没有把不同元素混同起来。对于研究群的具体结构而言，忠实表示尤其重要。
1.3 等价表示
不同表示有时虽然形式不同，但本质上描述的是同一群作用。若两个表示之间可以通过某种线性同构相互转化，则称它们是等价的。等价表示体现的是表示的内在一致性，而不是外在写法的差异。
1.3.1 表示间的同构
若两个表示空间之间存在保持群作用的线性同构，那么这两个表示被视为同构。此时，群元素在两个空间上的作用方式虽然表面不同，但在结构上完全一致。同构关系使得表示分类能够按本质而非按形式进行。
1.3.2 换基与共轭
在有限维情形中，表示矩阵的改变通常对应于基底的变换。换基后，表示矩阵会通过共轭变换得到另一组矩阵。若两个表示仅相差一个可逆矩阵的共轭变换，它们就属于等价表示。
1.4 子表示与不变子空间
当表示空间中存在对群作用保持不变的子空间时，原表示可以分解出更小的表示结构。这样的子空间对应子表示，是研究表示分解与结构层次的重要起点。通过子空间的分析，可以逐步理解复杂表示的组成方式。
1.4.1 不变子空间的判定
若某个子空间在群中每个元素作用下仍保持不变，则它是不变子空间。判定这类子空间，通常要检查群中生成元的作用是否都将其映回自身。不变子空间的存在，往往意味着表示可以进一步拆分。
1.4.2 商表示
当存在不变子空间时，可以在商空间上诱导出新的表示，这称为商表示。商表示保留了原表示中未被子空间吸收的那部分信息。它与子表示相互补充，共同构成表示分解的重要工具。
2 群表示的类型
群表示按表示空间的维数、所用线性结构以及群本身的性质，可以分为多种类型。不同类型的表示适用于不同问题，在几何、物理与代数中各有侧重。分类的目的在于把表示放入合适的框架中加以研究。
2.1 线性表示
线性表示是最基本的一类表示，即群元素对应线性变换。它强调群作用与向量空间结构的兼容性，是整个表示论的核心形式。矩阵表示和算子表示都属于这一范畴。
2.1.1 矩阵表示
矩阵表示把群元素直接写成矩阵，并用矩阵乘法描述群运算。对于有限维向量空间，这种形式最直观，也最便于计算。许多群的表示问题，都可以归结为矩阵的分解、对角化或共轭分类。
2.1.2 算子表示
算子表示则更强调抽象线性算子，而不必拘泥于具体矩阵。在线性空间较大或结构更复杂时，这种表示形式更灵活。它常见于函数空间、Hilbert空间以及算子代数相关研究中。
2.2 有限维表示
有限维表示是指表示空间维数有限的一类表示。由于其矩阵形式可完全写出，因此在分类和计算上最为成熟。许多经典定理首先就是在有限维框架下建立的。
2.2.1 低维表示
低维表示通常指一维、二维或较小维数的表示。它们结构简单，常用于描述基本对称性，例如旋转、翻转或周期性关系。很多群的整体结构，可以通过这些低维表示得到初步认识。
2.2.2 高维表示
高维表示能够容纳更复杂的群作用，往往包含更丰富的分解信息。随着维数增加，表示之间的关系也更为复杂，常需要借助角色、模和分支规则等工具分析。高维表示在物理与组合问题中尤为常见。
2.3 无限维表示
无限维表示的表示空间维数不再有限，常出现在函数空间、微分方程和拓扑群研究中。它扩展了有限维表示的思想，使群表示能够处理更广泛的连续结构。由于技术要求更高，这类表示通常与分析方法结合更紧密。
2.3.1 函数空间上的表示
函数空间上的表示是指群作用于函数集合，例如通过平移、旋转或变量变换来实现。此类表示在调和分析中十分重要，可用于研究波动、频率和对称性之间的联系。它把群作用与函数变换自然地结合起来。
2.3.2 拓扑群表示
拓扑群表示关注带有拓扑结构的群在连续空间上的作用。除代数一致性外，它还要求表示与拓扑结构相容，例如连续性条件。该类型表示在李群、紧群和泛函分析中占有重要地位。
2.4 单位表示
单位表示要求群元素对应的算子保持内积不变。由于这类表示与长度、角度和正交性密切相关，因此在几何与物理中非常常见。单位表示往往具有良好的分解性质，也便于建立正交理论。
2.4.1 内积空间上的表示
在内积空间中，群作用若保持内积不变，就形成单位表示。这样的表示使得范数和正交关系在群作用下保持稳定。它在信号处理、量子理论与傅里叶分析中都有广泛应用。
2.4.2 保长度变换
保长度变换指不改变向量长度的线性变换，通常对应正交或酉矩阵。若群的表示由这类变换组成，则该表示具有几何上的稳定性。此类结构特别适合描述旋转、反射等对称操作。
3 重要理论
群表示理论的核心在于分析不可约成分、分解方式以及与群结构相关的代数规律。若表示能够完全拆成简单部件，就可以通过这些部件理解整体。角色理论和Maschke定理等结果，为这一研究提供了系统框架。
3.1 不可约表示
不可约表示是指不存在非平凡的不变子空间的表示。它相当于表示理论中的“基本积木”，许多复杂表示都可由不可约表示组合而成。研究不可约表示，是理解群表示结构的关键步骤。
3.1.1 判定方法
判定一个表示是否不可约，通常要检查其是否存在非平凡不变子空间。也可以借助角色、中心化子或投射算子等工具进行分析。不同群和不同域上，判定方法会有所差异。
3.1.2 分解定理
分解定理说明，在适当条件下，表示可以拆解为若干不可约表示的直和。该结论使表示研究从整体问题转化为对基本成分的研究。不可约分量的类型和重数，构成表示分类的重要内容。
3.2 完全可约性
完全可约性指一个表示可以分解为不可约表示的直和，而不留下复杂的不可分解部分。具备这种性质的类别，往往更易于分类和计算。有限群在合适条件下通常具有较好的完全可约结构。
3.2.1 直和分解
直和分解是将表示空间拆成若干互补的不变子空间，使群作用在每一部分上分别成立。这样原表示就被分成若干更简单的块。直和结构是表示论中最常见的分解方式之一。
3.2.2 半单结构
半单结构指表示或代数能够分解成简单对象的直和。具有半单性质的系统通常具有较清晰的分类图景。群表示中的半单性，常与完全可约性密切对应。
3.3 角色理论
角色理论通过记录表示矩阵的迹来研究表示本身。由于迹在共轭下保持不变，角色能够在等价表示之间提供稳定的不变量。它是有限群表示论中最有效的工具之一。
3.3.1 角色函数
角色函数把群元素映射到对应表示矩阵的迹。它不仅反映表示的某些整体特征，也便于区分不同表示。对于不可约表示，角色函数具有特别强的分类能力。
3.3.2 正交关系
角色之间满足一系列正交关系，这些关系可用于计算分解重数和识别不可约成分。正交性使角色表具有类似向量空间基底的性质。它是角色理论中最具计算价值的结果之一。
3.3.3 特征标表
特征标表是把群的共轭类与不可约角色系统整理成表格的工具。它能集中展示群表示的核心数据。对于有限群而言，特征标表几乎是理解其表示结构的标准入口。
3.4 Maschke定理
Maschke定理是有限群表示论中的基本定理之一，说明在一定条件下表示具有完全可约性。它奠定了有限群表示可以分解为不可约成分的理论基础。该定理在经典表示论中占有核心地位。
3.4.1 适用条件
Maschke定理通常要求群是有限群，并且底域的特征不整除群的阶。满足这些条件时，投影平均化方法可以正常使用。若条件不满足，表示结构可能变得更复杂。
3.4.2 证明思路
证明通常通过构造群平均投影，将某个不变子空间的补空间也变成不变子空间。这样就能把整个表示空间拆为直和。该方法体现了有限群平均化技术的典型思路。
4 具体群的表示
不同类型的群具有不同的表示特征。通过研究经典群的表示，可以获得具体而直观的实例，也有助于检验一般理论。循环群、对称群、置换群和二面体群都是表示论中的常见样本。
4.1 循环群的表示
循环群结构最简单，是由一个生成元反复作用得到的群。它的表示通常也较容易分类，尤其在复数域上几乎可以完全用特征根描述。循环群常作为入门例子。
4.1.1 一维表示
循环群的一维表示把生成元映射为标量，这些标量通常是某些根单位。由于维数最小，这类表示最容易写出，也最便于展示表示与字符之间的关系。许多基本概念都可从一维情形直观理解。
4.1.2 复数域上的分类
在复数域上，有限循环群的表示可通过根单位进行完整分类。每个不可约表示都对应一个复数单位根，从而形成清晰的参数化。这样的分类结果简洁而典型，常被用作其他群表示研究的参照。
4.2 对称群的表示
对称群描述有限集合的置换，是组合数学与代数中的核心对象。它的表示结构极其丰富，也最能体现群表示论与组合方法的结合。对称群表示在计数组合对象和研究对称性方面都很重要。
4.2.1 Young图表
Young图表是对称群表示分类的重要组合工具。它通过分拆和图形结构来编码不可约表示的信息。借助Young图表，可以系统地组织对称群的角色与分支关系。
4.2.2 标准表示
标准表示通常指从自然置换表示中剥离出平凡成分后得到的基本非平凡表示。它在研究对称群的基础结构时十分常见。该表示在维数和结构上都具有较好的代表性。
4.3 置换表示
置换表示来源于群对集合的作用。群元素通过置换集合中的元素而诱导出线性表示，因此它把离散动作转化为线性代数问题。置换表示是连接群作用与表示论的重要桥梁。
4.3.1 群作用与轨道
群作用把群元素看作集合上的变换，而轨道则记录某个元素在群作用下可达的全部位置。轨道分解常能直接影响表示的分块结构。通过分析群作用，可获得置换表示的基本信息。
4.3.2 表示分解
置换表示往往可以分解为若干不可约表示的直和。分解方式与轨道结构、稳定子和群的具体性质有关。对称群和有限群的许多经典表示，都是从置换表示开始研究的。
4.4 二面体群的表示
二面体群描述正多边形的旋转与翻转对称，是几何表示中的典型对象。它的表示结构相对清晰，既包含一维表示，也包含低维不可约表示。作为几何群的代表，它在初等表示论中非常常见。
4.4.1 低维不可约表示
二面体群的不可约表示通常维数较低，便于显式写出矩阵。其一维表示反映了旋转与翻转的简单符号信息，二维表示则对应平面中的几何动作。该群因此常用于展示表示与几何之间的联系。
4.4.2 角色表
二面体群的角色表能够清楚列出各共轭类上的角色值。通过角色表，可以迅速看出其不可约表示的数量、维数和相互关系。对于较小阶的二面体群，这种表格尤其直观。
5 构造方法
表示论不仅研究已有表示，还关心如何从已知对象构造新表示。诱导、限制、张量积和对偶等方法，构成了表示构造的基本工具箱。它们使不同群、不同空间之间的表示能够相互联系。
5.1 诱导表示
诱导表示是从子群的表示出发，在整体群上构造更大表示的方法。它把局部信息扩展到全局结构，因而在群论和表示论中都很重要。许多复杂表示都可由诱导过程生成。
5.1.1 子群到整体群的提升
诱导表示的核心，是将子群上的作用推广到整个群。通过选取陪集并定义合适的群作用，可以得到一个新的表示空间。这个过程常被看作从局部对称性向整体对称性的提升。
5.1.2 Frobenius互反律
Frobenius互反律描述了诱导表示与限制表示之间的对应关系。它表明某些同态空间的维数在两种操作下保持一致，从而建立了构造与分解之间的联系。该律是诱导表示理论中的基本工具。
5.2 限制表示
限制表示是把大群的表示收缩到其子群上考察。这样可以从整体结构中提取局部行为，也有助于研究表示在不同层次之间如何变化。限制表示常与分支规则一起使用。
5.2.1 从大群到子群
当一个表示定义在大群上时，只需把群作用限制到子群元素，就得到子群的表示。这个过程保留了原表示的部分结构，同时降低了研究复杂度。限制表示是分析嵌套群关系的自然手段。
5.2.2 分支规则
分支规则描述一个表示限制到子群后如何分解为若干成分。它回答了“上层表示如何拆到下层”这一关键问题。对称群及其子群之间的分支关系，是该理论的重要应用场景。
5.3 张量积表示
张量积表示把两个表示组合起来，形成一个新的表示。它能够表达复合系统中的联合对称性，因此在数学和物理中都很常用。张量积往往引出更复杂的分解问题。
5.3.1 复合表示
若两个群表示分别作用于不同空间，则它们的张量积表示可描述二者的联合作用。该构造在多粒子系统、复合结构和多变量问题中都很自然。它是把简单表示合成为复杂表示的重要方法。
5.3.2 Clebsch-Gordan分解
Clebsch-Gordan分解描述张量积表示如何拆成不可约成分。它在旋转群、李群及物理角动量理论中尤为重要。分解结果通常以系数形式记录，是表示组合规则的经典例子。
5.4 对偶表示
对偶表示来自对偶空间上的自然群作用。它与原表示相互对应，反映了线性函数如何随群作用变化。对偶表示在双线性形式、配对关系和自反性研究中很常见。
5.4.1 线性对偶空间
线性对偶空间由原空间上的线性函数构成。群作用在原空间上给出后，可诱导出对偶空间上的反向作用。这样，对偶表示就把原表示的结构转移到函数层面。
5.4.2 双对偶关系
双对偶关系研究一个空间与其对偶再取对偶后的联系。对于有限维空间，原空间通常与双对偶空间自然同构。这个性质使对偶表示在有限维表示论中具有良好的对称性。
6 表示论中的代数工具
群表示的深入研究离不开代数结构的辅助。群代数、模论以及中心化子等工具，为表示的抽象化与系统化提供了统一语言。借助这些工具，表示论能够与更广泛的代数分支相互连接。
6.1 群代数
群代数把群元素线性化，形成一个代数结构。它将群表示问题转化为模论问题，便于使用环与代数的方法处理。群代数是连接群论与线性代数的重要桥梁。
6.1.1 定义与结构
群代数由群元素作为基底，并允许有限线性组合构成。其乘法由群乘法线性延拓得到，因此兼具群与代数的性质。该结构为研究表示提供了统一的代数平台。
6.1.2 模与表示的对应
群代数的模与群表示之间存在天然对应。一个群表示可看成群代数上的模，而反过来，模结构也可还原为群作用。这个对应使表示论能够借助模论语言精炼表达。
6.2 模论基础
模论研究环上的线性结构，是表示论的重要背景。很多表示问题可翻译为模的分解、简单性与生成问题。模论的概念为群表示的抽象研究提供了坚实基础。
6.2.1 简单模与半单模
简单模指没有非平凡子模的模，类似于不可约表示；半单模则可分解为简单模的直和。二者分别对应表示论中的基本成分与完全可约结构。通过模论语言，这些概念得以统一描述。
6.2.2 投射模与内射模
投射模和内射模是模论中处理扩张与提升问题的两类重要对象。它们在构造分解、研究同调性质时具有特殊作用。表示论中的某些深层结构，也常依赖这类模的性质。
6.3 交换代数方法
交换代数方法在表示论中常用于研究中心、分解和不变量结构。通过分析某些交换子代数，可以理解表示的内在对称性。此类方法让表示论与环论、代数几何产生联系。
6.3.1 伴随环
伴随环是与表示或线性算子自然相关的环结构。它记录了群作用下的代数关系，并可用于分析表示是否可分解。伴随环常出现在更高层次的结构研究中。
6.3.2 中心与中心化子
中心是与所有元素都可交换的元素集合，中心化子则描述与给定对象相交换的部分。它们在表示中反映对称性的“稳定核心”。通过研究中心与中心化子，常可得到表示的分解信息。
7 应用与关联领域
群表示并不局限于纯代数内部，而是广泛出现在几何、物理、数论与分析之中。它为各种对称性问题提供统一语言，也帮助不同领域之间建立联系。许多具体应用都依赖表示的分解与分类。
7.1 对称性分析
群表示最直接的用途之一，是分析系统中的对称性。只要对象具有某种变换不变性，就可能对应一个群作用。表示论可以帮助识别这种对称性，并将其转化为线性代数问题。
7.1.1 几何变换
几何中的旋转、反射、平移等变换常构成群。通过表示，这些几何动作可被写成矩阵或算子，进而研究图形、空间和结构的对称特征。几何表示是群表示最直观的来源之一。
7.1.2 组合结构
在组合数学中，许多对象如图、排列、格局都带有自然对称群作用。表示论可以用来计数、分类或比较这些组合结构。它使离散对象的对称性得到系统刻画。
7.2 量子力学中的表示
在量子理论中，状态空间与对称群的表示关系密切。系统的对称性往往通过单位表示体现，并直接影响可观测量的结构。表示论因此成为理解量子系统的重要数学语言。
7.2.1 态空间对称性
量子态通常位于复内积空间中，对称变换对应保持概率结构的算子。群表示描述了这些对称性如何作用于态空间。借此可以分析系统的能级简并与态的分类。
7.2.2 守恒量与算符
对称性常与守恒量相关，而守恒量通常由算符表达。群表示帮助说明某些算符为何在对称变换下保持不变。这样，对称与守恒之间的联系就被清晰地代数化。
7.3 数论中的表示
数论中也广泛使用群表示，尤其在研究代数扩张、局部性质与整体性质时。表示论可将数论对象的对称结构转化为可分析的代数信息。它在现代数论中具有基础地位。
7.3.1 Galois作用
Galois作用描述域扩张中的自同构如何作用于相关结构。通过表示，可以研究这种作用对向量空间、模和其他代数对象的影响。它是连接域理论与表示论的重要纽带。
7.3.2 局部与整体方法
数论中的局部与整体方法常通过不同层次的表示来衔接。局部信息关注某一处的结构，整体信息则涉及全局性质。表示论有助于把这些分散信息组织成统一框架。
7.4 调和分析
调和分析研究函数如何分解为基本波形，而群表示正是其基础工具之一。特别是在群上的傅里叶分析中，表示论提供了频率分解的代数语言。非交换群的情形则进一步扩展了分析范围。
7.4.1 群上的傅里叶分析
在群上做傅里叶分析，实质上是利用群表示将函数分解为不同“频率”成分。对于阿贝尔群，这一过程与经典傅里叶变换密切相关。表示论把这种分解推广到更一般的群。
7.4.2 非交换调和分析
非交换调和分析处理的是群运算不满足交换律的情形。此时，分解不再只是标量频率，而要借助更复杂的不可约表示。它在李群、对称空间和现代分析中占有重要位置。
8 历史与发展
群表示理论经历了从具体计算到抽象结构的长期演进。它的形成与矩阵理论、群论和现代代数的发展密切相关。随着学科融合加深，表示论逐渐成为多个数学分支的交汇点。
8.1 早期起源
群表示的早期思想，来自对对称变换和方程解结构的研究。最初人们更多关注具体矩阵和置换，而后逐步上升为抽象理论。这个阶段为后来的系统化奠定了基础。
8.1.1 群概念的形成
群概念的形成与19世纪代数学的发展有关，起初用于研究方程可解性和变换集合。随着抽象群定义的建立，群表示也开始从具体对象中抽象出来。群论的成熟直接推动了表示论的发展。
8.1.2 矩阵方法的出现
矩阵方法的引入，使群元素可以被具体计算和比较。通过矩阵运算，研究者能够更加直观地分析对称性与结构关系。矩阵表示由此成为表示论早期最重要的技术基础。
8.2 20世纪发展
20世纪中，群表示从若干具体技巧发展为完整的理论体系。抽象代数、模论和李群理论的成熟，使表示论形成独立而广阔的研究领域。许多核心定理也在这一时期得到系统整理。
8.2.1 抽象表示论的建立
抽象表示论把表示看作群到线性群的结构映射，并用统一语言研究分类、分解与构造。它不再局限于具体矩阵，而是强调普遍性质。此后，表示论逐渐成为现代代数学的核心分支之一。
8.2.2 现代分类理论
现代分类理论致力于按不可约成分、角色和参数化方式整理表示。对有限群、李群及代数群的分类不断深入，形成了多层次的结构图景。分类理论使表示研究从个别计算走向整体框架。
8.3 现代研究方向
当代表示论继续向几何化、算法化和跨学科方向扩展。研究对象从传统有限群延伸到更复杂的群、代数和空间。新的方法不断涌现，推动该领域持续发展。
8.3.1 几何表示论
几何表示论把表示问题与几何对象联系起来，借助流形、簇和层等工具研究群作用。它强调表示的几何来源和空间结构。该方向已成为现代数学中非常活跃的领域之一。
8.3.2 算法表示论
算法表示论关注表示的计算、实现与自动化处理。它研究如何有效求解角色表、分解成分与构造过程。随着计算能力提升，这一方向在理论与应用中都越来越重要。