表示论在本科抽象代数教学中应用.docVIP

表示论在本科抽象代数教学中应用 　　【摘要】本文通过大量实例说明在本科抽象代数的教学过程中如何自然和较为容易的向初学者传授群表示的思想和方法.这些实例是笔者在实际教学过程中系统总结和应用过的，收到了良好的教学效果.这些内容完全可以系统化的在一个学期的授课过程中讲授完毕，使得学生可以在第一时间接受更为系统的现代代数学思想和方法. 　　【关键词】Sylow定理；群的表示；正规群 　　本文受到国防科学技术大学校预研基金“代数矢量丛的Euler类群研究”项目资助 　　本文受到国防科学技术大学理学院教学改革“数学专业高水平专业课程内容建设可行性研究”项目资助 　　《近世代数》是现代数学的代数学基础，其之于现代数学相当于线性代数之于高等数学.对于大学数学专业本科生而言，这门课程无疑是非常重要的.然而作为现代代数学所包含的最主要的两大思想：“表示的思想”和“同调的思想”，却很少被包括在本科抽象代数教学之中.特别是表示的思想，其将抽象问题具体化的作用可以第一时间降低初学者对抽象概念的畏惧，增强对现代代数学方法的感性认识.然而长久以来，这一内容却很少在数学专业本科代数学核心课程中有所体现.实际上，表示的思想最初已经蕴含在数学专业本科生近世代数课程内容：Sylow定理的证明中了.但是教学内容在此戛然而止，没有上升到表示的方法和应用层面，从而使学生感觉到Sylow定理虽然有着强有力的应用但是没能体会到该定理成立的本质，更不能继续发展这一定理的深刻内涵，应用也仅能局限在对一些特殊群的计算上.本文将介绍针对大学数学专业本科《近世代数》教学内容中体现表示的思想及基本方法的点滴认识，以及本人在教学中渗透和介绍表示思想方法的一些尝试. 　　一、Sylow定理和群的表示 　　Sylow定理和群的表示 　　Sylow定理是有限群的置换表示的基础，同时也是群表示理论最原始的体现.实际上，在本科近世代数有关Sylow定理的证明中就已经引入了“表示”的思想和方法，只是这种表示是局限于群对特定集合的作用.具体的，我们看一下该定理的证明： 　　Sylow定理 　　第一定理：设G为群，|G|=mpn，其中p为??数，p和m互素，则群G一定有pn阶子群H. 　　第二定理：设G为群，则群G的Sylowp-子群皆共轭，即在内自同构作用下属于同一轨道. 　　第三定理： 设G为群，|G|=mpn，其中p为素数，p和m互素，设G的Sylowp-子群的个数为r，则有 　　r|mr≡1（mod p） 　　Sylow定理的一种较为简单的证明是利用群G作用在一定的集合上，（定理一是作用在集合S={s|sG，|s|=pn}上；定理二和定理三第一部分是作用在全体Sylow子群的集合上；定理三的第二部分是作用在Sylow子群的陪集组成的集合上），然后通过计算这些作用后的轨道及稳定子群指标并结合集合本身的指标信息从而得出关于Sylow子群存在和个数的信息.这一证明中实际上已经体现了群表示的思想：给定一个抽象的群G，由于其抽象的“不可见性”，对于其子群等性质很难把握.所以我们令其作用在一个集合上，通过计算和分析作用后的轨道等信息反过来得到关于抽象群G的信息.简单地说就是通过将抽象群G表示为一个在集合上的作用，使得“不可见”的抽象群G的信息通过“可见的”集合轨道等表现出来. 　　一方面，一般情况下我们当然趋于使用具有一定群结构的“表示元”来表示抽象的群G. 　　另一方面，我们自然应当取相对已知群N对未知群G进行“表示”.相对来说，最一般已知的群有两个：置换群Sn和一般线性群GLn. 　　如此，当我们构造了一个群G在有限集合S上的作用：g∈G，φ（g）s∈S以后.一种方法是我们可以把这种作用当成是S上的元素的置换，从而上面的作用就等价于一个群的同态φ：G→Sn，其中n=|S|.另一种方法是首先以S中元素为基构造一个复的（或实的）线性空间Cn.这时，任意g的作用自然诱导出Cn上的一个可逆线性变换，这显然还是一个一一对应.于是上面的群作用等价于一个群同态φ：G→GLn（C）（或GLn（R））其中GLn（C）（或GLn（R））为C（或R）上一般线性群. 　　由此我们有了群表示的概念： 　　群的表示： 　　给定群G和置换群N（或一般线性群），任意群同态φ：G→N称为一个群G的一个置换表示（或线性表示）. 　　进一步地，由于置换群本身是有限群所以针对一般的无限群（即便是对按拓扑有限的紧群这一观点显然也是站得住脚的）可想而知其“表现”能力也是“有限”的，所以关于群表示理论更一般的是线性表示理论（当然，这里面还有一个原因是相对一般线性群GLn而言，一般置换群Sn则明显还不够“已知”.要知道，如果把所有有限群都自然的看作一般置换群的子群的话，对于一般置换群的完全的“已知”也就蕴含