现代科技综述知识文库：群表示论.pdf

现代科技综述系列—— 群群表表示示论论 科技是人类区别于动物的重要文明之一， 是人类对自然规律研究 利用的学科。 本文提供对科技基本概念 “群表示论” 的解读，以供大家了解。 群群表表示示论论 群G在一个范畴D上的表示，是指G到范畴D 中某个对 象A的自同构群的同态。 通过群表示，人们将一个需要加以研究的群G与另一个 比较具体的群H联系起来，并由H 的性质来探究G的性 质，或者通过G对A的作用来研究A的性质，这一理论 就是群表示论。 群表示论是现代数学的重要理论分支，它不但应用于 数学各个领域而且还应用于量子化学、理论物理等许 多学科。 线性表示与置换表示是最重要的2种表示。 线性表示是群G到一个向量空间上的线性变换群的同 态，而置换表示是群G到一个置换群的同态。 下面我们的讨论仅限于有限群表示。 有限群表示的基本概念可推广到无限群，但无限群表 示所关心的对象主要是拓扑群，特别是局部紧拓扑 群，目前这一领域已发展成为现代分析的一个重要分 支。 群表示论是19世纪末德国G ．Frobenius创立的，此后 Frobenius与W ．Burnside、I．Schur发展了复表示理 论，并利用特征标研究群的结构得到了丰富的结果， 着名的Burnside定理，即仅含2个不同素因子的有限群 是可解群，就是利用特征标理论证明的。 直到70年代初才出现这一定理的纯群论证明，但纯群 论证法仍不及表示论证明简洁。 第1部系统论述群表示的着作是Burnside19 11年的 《有 限群理论》。 其后对群表示论作出最重要贡献的是德国R ．Brauer 。 从20世纪 0年代开始直到1977年Brauer去世的40多年 中，Brauer 他的学生们发展了有限群的模表示理论， 其主要内容包括Brauer块论三大定理。 这 个主要定理将对于群G的块及块中特征标的研究归 结于对G的某些局部子群的块及块中特征标的研究。 194 1年Brauer得到了亏数为1的块的常特征标与模特征 标的结构。 25年之后J ．G ．Thompson将不可分解模的顶与源的概 念，以及Green对应应用于具有循环亏群的块的研究， 1966年E ．C ．Dade在Thompson工作的基础1－完成了 循环块的结构理论。 Brauer工作的一个特点是在建立投射模的基本性质之后 尽量避免模的理论而主要讨论特征标的性质，并把它 应用于群的结构的讨论。 模表示被成功地应用于有限单群分类理论，有限单群 分类工作于1981年完成，这是群论诞生100多年来最出 色的成就。 1959年J ．A ．Green开始对群代数的不可分解模进行系 统的研究，1964年得到的Green对应是研究群代数不可 分解模的基本工具。 Green还证明块的Brauer对应与块代数作为双边G模的 Green对应一致。 不可分解模的理论至今仍是群表示理论中所关心的重 要问题。 1979年J ．L ．Alperin与M ．Broué在Brauer关于块熔合 理论的基础上提出了局部表示论的方法，继之Broué与 LPuig对于幂零块的特征标进行了详细的刻划，Puig进 一步引入点群与源代数的概念，并于1988年求出了幂 零块的源代数。 这些结果是继循环块的理论之后模表示论中最深入最 完整的理论。 局部表示论是目前活跃的研究领域。 Alperin 1984年的着作 《局部表示论》是这一领域的重 要着作。 1987年Alperin在有限李型群结构的启发下提出一般有 限群的权猜想。 这一猜想如果成立，可以推断模表示中许多过去难以 证明的结果。 目前已经证明这一猜想对于p －可解群、李型群以及对 称群是成立的，但一般情况下这一猜想仍