群表示的定义（线性表示、矩阵表示）

引言

群表示理论是抽象代数的核心分支，它通过将群的元素映射到线性变换或矩阵形式，揭示群结构与向量空间之间的深刻联系。这种表示方法不仅为群的性质提供了代数工具，也为研究群的几何特征和对称性提供了数学框架。本文将系统阐述群表示的定义，重点解析线性表示与矩阵表示的数学本质及其在群论中的应用。

核心内容

群表示的定义与基本性质

群表示是群与向量空间之间的映射关系，其核心在于将群元素转化为线性变换。设$ G $为一个群，$ V $为一个向量空间，若存在一个从$ G $到$ \text{GL}(V) $（一般线性群）的映射$ \rho: G \rightarrow \text{GL}(V) $，使得群运算在表示下保持一致，即$ \rho(g_1g_2) = \rho(g_1)\rho(g_2) $，则称此映射为群$ G $的表示。
群表示的维度由向量空间的维数决定，而表示的类型（如平凡表示、标准表示）则反映群结构的复杂性。例如，循环群$ \mathbb{Z}_n $的表示可通过矩阵变换或向量空间上的线性变换实现，其表示的维度与群的阶数直接相关。

线性表示的数学本质

线性表示是群表示的最基础形式，其核心在于将群元素映射为向量空间中的线性变换。具体而言，若$ V $为$ \mathbb{C} $域上的向量空间，且$ \rho: G \rightarrow \text{GL}(V) $满足群运算的兼容性，则称其为线性表示。
线性表示的关键特征在于其保持群运算的结构，同时允许通过基变换调整变换的表示形式。例如，考虑群$ S_3 $的表示，其线性表示可通过3x3矩阵实现，每个群元素对应一个3x3矩阵，满足群运算的乘法性质。这种表示方式使得群的结构在向量空间中得以可视化，为研究群的对称性提供重要工具。

矩阵表示的构造与应用

矩阵表示是线性表示的特定形式，尤其在有限群中具有显著优势。设$ G $为有限群，$ V $为$ \mathbb{C} $域上的有限维向量空间，若存在一个从$ G $到$ \text{GL}(V) $的映射，且该映射的矩阵表示满足群运算的兼容性，则称其为矩阵表示。
矩阵表示的关键在于选择适当的基底，使得群元素的表示形式能够通过矩阵形式准确描述。例如，群$ \mathbb{Z}_n $的矩阵表示可通过循环矩阵实现，其结构直接反映群的加法性质。此外，矩阵表示的特征值与群的不变子空间密切相关，为研究群的不变子空间提供了数学工具。

群表示的分类与性质

群表示的分类主要基于表示的维度和变换的性质。有限群的表示通常具有有限维特性，而无限群的表示可能涉及无限维向量空间。例如，连续群如$ \text{SL}(n,\mathbb{R}) $的表示可能包含无限维表示，其结构复杂性与群的拓扑性质紧密相关。
表示的类型还包括正交表示、单位表示等。正交表示要求变换矩阵满足$ \rho(g)^* \rho(g) = \rho(e) $，其中$ \rho(e) $为单位矩阵，这种表示在物理应用中尤为常见，如量子力学中的自旋态表示。单位表示则要求变换矩阵在群的单位元处为单位矩阵，适用于对称性研究。

总结

群表示理论通过将群结构映射到线性变换或矩阵形式，为抽象代数提供了强有力的工具。线性表示以向量空间为载体，强调变换的结构保持性，而矩阵表示则通过特定基底的选取，实现群元素的精确映射。两者共同构成了群表示的完整框架，既保留了群的运算性质，又通过向量空间的结构扩展了数学应用的边界。未来研究可进一步探索群表示在量子场论、拓扑物理等领域的应用，深化其理论价值与实践意义。