群表示

群表示将群的元素实现为向量空间的可逆线性变换，从而将群论转化为线性代数，并通过特征标揭示其结构。

Definition

群G在向量空间V上的表示是从G到V上的可逆线性算子群的同态，等价地，它是群代数G上的一个模。

Scope

本主题涵盖表示及其等价性、不可约表示、Maschke定理（关于完全可约性）、Schur引理、特征标和正交关系，以及在特征为零的域上表示的分解。它是有限群表示论的入门。

Core questions

• 群如何通过作用于向量空间的矩阵来建模？
• 表示何时能分解为不可约部分？
• 特征标捕获了表示的哪些信息？
• 正交关系如何对有限群的不可约表示进行分类？

Key theories

Maschke定理

在一个特征不整除群阶的域上，有限群的每个表示都是完全可约的，可以分解为不可约表示的直和。

Schur引理

不可约表示之间的任何同态要么是零同态，要么是同构；在一个代数闭域上，不可约表示的自同态是标量，这是特征标理论的基石。

特征标正交关系

有限群的不可约复表示的特征标构成了类函数空间的标准正交基，因此不可约表示的数量等于共轭类的数量，并且每个表示都由其特征标确定。

Clinical relevance

表示论通过线性代数使有限群变得可计算，在量子力学和光谱学（对称适应基和选择规则）、晶体学、物理学中的对称性分析以及通过伽罗瓦群的表示在数论中都不可或缺。

History

Frobenius在19世纪90年代引入了有限群的特征标和表示，Schur、Burnside和Weyl将该理论发展成为一个强大的结构工具。Maschke定理和正交关系使该学科形成了今天所教授的形式，并将其与对称性物理学联系起来。

Key figures

• Georg Frobenius
• Issai Schur
• William Burnside
• Hermann Weyl

Seminal works

• serre1977
• dummit2004
• lang2002

Frequently asked questions

为什么要用矩阵来表示群？

线性代数比抽象群论更具可计算性，特征标将表示简化为单个类函数。Frobenius的特征标理论使数学家能够证明一些深奥的结果，例如Burnside关于仅能被两个素数整除的群的定理，这些结果在其他情况下是无法获得的。

表示不可约意味着什么？

不可约表示没有被每个群元素保留的非零真子空间；它是一个基本构建块。Maschke定理指出，在良好的特征下，每个表示都是这些构建块的直和。