群论方向硕士毕业论文

王淦昌（）生于江苏常熟，核物理学家，中国惯性约束核聚变研究的奠基者。是中国核武器研制的主要科学技术领导人之一。

赵九章（）生于河南开封，地球物理学家和气象学家。是中国地球物理和空间物 理的开拓者，人造卫星事业的倡导者、组织者和奠基人之一。

扩展资料：

“两弹一星”人物简介：

1、王淦昌

作为中国核武器研制的主要科学技术领导人之一、核武器研究试验工作的开拓者，在从事核武器研制期间，指导并参加了中国原子弹、氢弹研制工作。他是原子弹冷试验技术委员会主任委员，指导了中国第一次地下核试验，领导并具体组织了中国第二、第三次地下核试验。

主持指导的爆轰物理试验、炸药工艺、近区核爆炸探测、抗电磁干扰、抗核加固技术和激光模拟核爆炸试验等方面都取得重要成果。1982年获国家自然科学奖一等奖，1985年获两项国家科技进步奖特等奖。

2、赵九章

在中国人造地球卫星研制过程中，赵九章提出了“中国发展人造卫星要走自力更生的道路，要由小到大、由低级到高级”等重要建议，领导开创了利用气象火箭和探空火箭进行高空探测的研究。

探索了卫星发展方向，筹建了环境模拟实验室和开展遥测、跟踪技术研究，组建了空间科学技术队伍。1964年，根据国内运载工具的发展提出了开展人造地球卫星研究工作的建议。

在中国卫星系列发展规划和具体探测方案的制定，中国第一颗人造地球卫星、返回式卫星等总体方案的确定和关键技术的研制等诸方面做出突出贡献。他领导完成了核爆炸试验的地震观测和冲击波传播规律以及有关弹头再入大气层时的物理现象等研究课题。

参考资料来源：百度百科-两弹一星

伽罗华 伽罗华（Évariste Galois，公元1811年-公元1832年）是法国对函数论、方程式论和数论作出重要贡献的数学家，他的工作为群论（一个他引进的名词）奠定了基础；所有这些进展都源自他尚在校就读时欲证明五次多项式方程根数解（Solution by Radicals）的不可能性（其实当时已为阿贝尔（Abel）所证明，只不过伽罗华并不知道），和描述任意多项式方程可解性的一般条件的打算。虽然他己经发表了一些论文，但当他于1829年将论文送交法兰西科学院时，第一次所交论文却被柯西（Cauchy）遗失了，第二次则被傅立叶（Fourier）所遗失；他还与埃科尔综合技术学院（école Polytechnique）的口试主考人发生顶撞而被拒绝给予一个职位。在父亲自杀后，他放弃投身于数学生涯，注册担任辅导教师，结果因撰写反君主制的文章而被开除，且因信仰共和体制而两次下狱。他第三次送交科学院的论文亦为泊松（Poisson）所拒绝。伽罗华死于一次决斗，可能是被保皇派或警探所激怒而致，时年21岁。他被公认为数学界两个最具浪漫主义色彩的人物之一。Galois小传：1832年5月30日清晨，在巴黎的葛拉塞尔湖附近躺着一个昏迷的年轻人，过路的农民从枪伤判断他是决斗后受了重伤，就把这个不知名的青年抬到医院。第二天早晨十点，这个可怜的年轻人离开了人世，数学史上最年轻、最富有创造性的头脑停止了思考。后来的一些著名数学家们说，他的死使数学的发展被推迟了几十年，他就是伽罗华。天才的童年1811年10月25日，伽罗华出生于法国巴黎郊区拉赖因堡伽罗瓦街的第54号房屋内。现在这所房屋的正面有一块纪念牌，上面写着：“法国著名数学家埃瓦里斯特•伽罗瓦生于此，卒年20岁，1811～1832年”。纪念牌是小镇的居民为了对全世界学者迄今公认的、曾有特殊功绩的、卓越的数学家——伽罗瓦表示敬意，于1909年6月设置的。伽罗瓦的双亲都受过良好的教育。在父母的熏陶下，伽罗瓦童年时代就表现出有才能、认真、热心等良好的品格。其父尼古拉•加布里埃尔•伽罗瓦参与政界活动属自由党人，是拿破仑的积极支持者。主持过供少年就学的学校，任该校校长。又担任拉赖因堡15年常任市长，深受市民的拥戴。伽罗瓦曾向同监的难友勒斯拜——法国著名的政治家、化学家和医生说过：“父亲是他的一切”。可见父亲的政治态度和当时法国的革命热潮对伽罗瓦的成长和处事有较大的影响。伽罗瓦的母亲玛利亚•阿代累达•伽罗瓦曾积极参与儿子的启蒙教育。作为古代文化的热烈爱好者，她把从拉丁和希腊文学中汲取来的英勇典范介绍给她儿子。1848年发表在《皮托雷斯克画报》上有关伽罗瓦的传记中，特别谈到“伽罗瓦的第一位教师是他的母亲，一个聪明兼有好教养的妇女，当他还在童稚时，她一直给他上课”。这就为伽罗瓦在中学阶段的学习和以后攀登数学高峰打下了坚实的基础。1823年l0月伽罗瓦年满12岁时，离开了双亲，考入有名的路易•勒•格兰皇家中学。从他的老师们保存的有关他在中学生活的回忆录和笔记中，记载着伽罗瓦是位具有“杰出的才干”，“举止不凡”，但又“为人乖僻、古怪、过分多嘴”性格的人。我们认为这种性格说明他有个性，而且早已显露出强烈的求知欲的标志。伽罗瓦在路易•勒•格兰皇家中学领奖学金，完全靠公费生活。在第四、第三和第二年级时他都是优等生，在希腊语作文总比赛中也获得好评，并且在1826年l0月转到修辞班学习。但是第二学季一开始(伽罗瓦这时刚满15岁)，由于教师们认为他的体格不够强壮，校长认为他的判断力还有待“成熟”，他不得不回到二年级。重修二年级，使伽罗瓦有机会毫无阻碍地被批准去上初级数学的补充课程。自此他把大部分时间和主要精力用来研究、探讨数学课本以外的高等数学。伽罗华经常到图书馆阅读数学专著，特别对一些数学大师，如勒让德的《几何原理》和拉格朗日的《代数方程的解法》、《解析函数论》、《微积分学教程》进行了认真分析和研究，但他并未失去对其他科目的兴趣。因此，当1827年伽罗瓦回到修辞班时，他的全面发展甚至比他的数学的天分在同学之中更加出人头地了。但是他对其它科目的教科书的内容以及教师所采用的教学法之潦草马虎感到愤怒。所以有的教师认为他被数学的鬼魅迷住了心窍，有的教师用七个字“平静会使他激怒”来形容他的行为。这时伽罗瓦已经熟悉欧拉、高斯、雅可比的著作，这更提高了他的信心，他认为他能够做到的，不会比这些大数学家们少。到了学年末，他不再去听任何专业课了，而在独立地准备参加取得升入综合技术学校资格的竞赛考试。结果尽管考试失败，但1828年10月，他仍然从中学初级数学班跳到里夏尔的数学专业班。路易•勒•格兰中学的数学专业班教师里夏尔，在科学史上，他作为一个很有才华的教师使人追念。里夏尔不仅讲课风格优雅，而且善于发掘天才。他遗留下的笔记中记载着：“伽罗瓦只宜在数学的尖端领域中工作”，“他大大地超过了全体同学”。里夏尔帮助伽罗瓦于1828年在法国第一个专业数学杂志《纯粹与应用数学年报》三月号上，发表了他的第一篇论文—《周期连分数一个定理的证明》，并说服伽罗瓦向科学院递送备忘录。1829年，伽罗瓦在他中学学年快要结束时，把他研究的初步结果的论文提交给法国科学院。1829年，中学学年结束后，伽罗瓦刚满18岁，他在报考巴黎综合技术学校时，由于在口试中主考的教授比内和勒费布雷•德•富尔西对伽罗瓦阐述的见解不理解，居然嘲笑他。伽罗瓦在提及这次考试时，曾写道，他不得不听“主考人的狂笑声”。据说“由于被狂笑声所激怒”，他把黑板擦布扔到主考人头上，或是因为他拒绝回答有关关于对数这样的过于简单的问题，所以再次遭到落选，伽罗瓦仍然是一个非正式的预备生。1829年7月2日，正当伽罗瓦准备入学考试时，他的父亲由于受不了天主教牧师的攻击、诽谤而自杀了。这给了伽罗华很大的触动，他的思想开始倾向于共和主义。其后不久，伽罗华听从里夏尔的劝告决定进师范大学，这使他有可能继续深造，同时生活费用也有了着落。1829年10月25日伽罗华被作为预备生录取入学。进入师范大学后的一年对伽罗瓦来说是最顺利的一年，1828年他的科学研究获得了初步成果。伽罗瓦写了几篇大文章，并提出自己的全部著作来应征科学院的数学特奖。但在这里，他又一次遭到了新挫折：伽罗瓦的手稿原来交给科学院常任秘书傅立叶，傅立叶收到手稿后不久就去世了。因而文章也被遗失了。这些著作的某些抄本落到数学杂志《费律萨克男爵通报》的杂志社手里，并在1830年的4月号和6月号上把它刊载了出来。在师范大学学习的第一年，伽罗瓦结认了奥古斯特•舍瓦利叶，舍瓦利叶直到伽罗瓦临终前一直是他的唯一亲近的朋友。1830年7月，伽罗瓦将满19岁。他在师范大学的第一年功课行将结束。他这时写成的数学著作，已经使人有可能对他思想的独创性和敏锐性作出评价。数学世界的顽强斗士19世纪初，有一些数学问题一直困扰着当时的数学家们，而如何求解高次方程就是其中之一。历史上人们很早就已经知道了一元一次和一元二次方程的求解方法。关于三次方程，我国在公元七世纪，也已经得到了一般的近似解法，这在唐朝数学家王孝通所编的《缉古算经》就有叙述。到了十三世纪，宋代数学家秦九韶在他所著的《数书九章》的“正负开方术”里，充分研究了数字高次方程的求正根法，也就是说，秦九韶那时候已得到了高次方程的一般解法。在西方，直到十六世纪初的文艺复兴时期，才由意大利的数学家发现一元三次方程解的公式——卡当公式。在数学史上，相传这个公式是意大利数学家塔塔里亚首先得到的,后来被米兰地区的数学家卡尔达诺(1501～1576)骗到了这个三次方程的解的公式，并发表在自己的著作里。所以现在人们还是叫这个公式为卡尔达诺公式(或称卡当公式)，其实，它应该叫塔塔里亚公式。三次方程被解出来后，一般的四次方程很快就被意大利的费拉里(1522～1560)解出。这就很自然的促使数学家们继续努力寻求五次及五次以上的高次方程的解法。遗憾的是这个问题虽然耗费了许多数学家的时间和精力，但一直持续了长达三个多世纪，都没有解决。法国数学家拉格朗日更是称这一问题是在“向人类的智慧挑战”。1770年，拉格朗日精心分析了二次、三次、四次方程根式解的结构之后，提出了方程的预解式概念，并且还进一步看出预解式和方程的各个根在排列置换下的形式不变性有关，这时他认识到求解一般五次方程的代数方法可能不存在。此后，挪威数学家阿贝尔利用置换群的理论，给出了高于四次的一般代数方程不存在代数解的证明。伽罗瓦通过改进数学大师拉格朗日的思想，即设法绕过拉氏预解式，但又从拉格朗日那里继承了问题转化的思想，即把预解式的构成同置换群联系起来的思想，并在阿贝尔研究的基础上，进一步发展了他的思想，把全部问题转化或归结为置换群及其子群结构的分析。这个理论的大意是：每个方程对应于一个域，即含有方程全部根的域，称为这方程的伽罗华域，这个域对应一个群，即这个方程根的置换群，称为这方程的伽罗华群。伽罗华域的子域和伽罗华群的子群有一一对应关系；当且仅当一个方程的伽罗华群是可解群时，这方程是根式可解的。1829年，伽罗华在他中学最后一年快要结束时，把关于群论初步研究结果的论文提交给法国科学院，科学院委托当时法国最杰出的数学家柯西作为这些论文的鉴定人。在1830年1月18日柯西曾计划对伽罗华的研究成果在科学院举行一次全面的意见听取会。他在一封信中写道：“今天我应当向科学院提交一份关于年轻的伽罗华的工作报告……但因病在家，我很遗憾未能出席今天的会议，希望你安排我参加下次会议，讨论已指明的议题。”然而，第二周当柯西向科学院宣读他自己的一篇论文时，并未介绍伽罗华的著作，这是一个非常微妙的“事故”。1830年2月，伽罗华将他的研究成果比较详细地写成论文交上去了，以参加科学院的数学大奖评选，希望能够获奖。论文寄给当时科学院终身秘书傅立叶，但傅立叶在当年5月去世了，在他的遗物中未能发现伽罗华的手稿。就这样，伽罗华递交的两次数学论文都被遗失了。1831年1月，伽罗华在寻求确定方程的可解性这个问题上，又得到一个结论，他写成论文提交给法国科学院。这篇论文是伽罗华关于群论的重要著作，当时负责审查的数学家泊阿松为理解这篇论文绞尽脑汁。传说泊阿松将这篇论文看了四个月，最后结论居然是“完全不能理解”。尽管借助于拉格朗日已证明的一个结果可以表明伽罗华所要证明的论断是正确的，但最后他还是建议科学院否定它。对事业必胜的信念激励着年轻的伽罗华。虽然他的论文一再被丢失，得不到应有的支持，但他并没有灰心，他坚持他的科研成果，不仅一次又一次地想办法传播出去，还进一步向更广的领域探索。天才的陨落伽罗华诞生在拿破仑帝国时代，经历了波旁王朝的复辟时期，又赶上路易•腓力浦朝代初期，他是当时最先进的革命政治集团——共和派的秘密组织“人民之友”的成员，并发誓：“如果为了唤起人民需要我死，我愿意牺牲自己的生命”。伽罗瓦敢于对政治上的动摇分子和两面派进行顽强的斗争，年轻热情的伽罗华对师范大学教育组织极为不满。由于他揭发了校长吉尼奥对法国七月革命政变的两面派行为，被吉尼奥的忠实朋友，皇家国民教育委员会顾问库申起草报告，皇家国民教育委员会1831年1月8日批准立即将伽罗瓦开除出师范大学。之后，他进一步积极参加政治活动。1831年5月l0日，伽罗华以“企图暗杀国王”的罪名被捕。在6月15日陪审法庭上，由于共和党人的律师窦本的努力，伽罗瓦被宣告无罪当场获释。七月，被反动王朝视为危险分子的伽罗华在国庆节示威时再次被抓，被关在圣佩拉吉监狱，在这里庆祝过他的20岁生日，渡过了他生命的最后一年的大部分时间。在监狱中伽罗华一方面与官方进行不妥协的斗争，另一面他还抓紧时间刻苦钻研数学。尽管牢房里条件很差，生活艰苦，他仍能静下心来在数学王国里思考。伽罗瓦在圣佩拉吉监狱中写成的研究报告中写道：“把数学运算归类，学会按照难易程度，而不是按照它们的外部特征加以分类，这就是我所理解的未来数学家的任务，这就是我所要走的道路。”请注意到“把数学运算归类”这句话，道出了他的理想、他的道路。毋庸置疑，这句话系指点目前所称的群论。由于其后好几代数学家的工作，最终才实现了伽罗瓦的理想。正是他的著作，标志着旧数学史的结束和新数学史的开始。l832年3月16日伽罗华获释后不久，年轻气盛的伽罗华为了一个舞女，卷入了一场他所谓的“爱情与荣誉”的决斗。伽罗华非常清楚对手的枪法很好，自己难以摆脱死亡的命运，所以连夜给朋友写信，仓促地把自己生平的数学研究心得扼要写出，并附以论文手稿。他不时的中断，在纸边空白处写上“我没有时间，我没有时间”，然后又接着写下一个极其潦草的大纲。他在天亮之前那最后几个小时写出的东西，为一个折磨了数学家们几个世纪的问题找到了真正的答案，并且开创了数学的一片新的天地。伽罗华对自己的成果充满自信，他在给朋友舍瓦利叶的信中说：“我在分析方面做出了一些新发现。有些是关于方程论的；有些是关于整函数的……。公开请求雅可比或高斯，不是对这些定理的正确性，而是对这些定理的重要性发表意见。我希望将来有人发现，这些对于消除所有有关的混乱是有益的。”第二天上午，在决斗场上，伽罗华被打穿了肠子。死之前，他对在他身边哭泣的弟弟说：“不要哭，我需要足够的勇气在20岁的时候死去”。他被埋葬在公墓的普通壕沟内，所以今天他的坟墓已无踪迹可寻。他不朽的纪念碑就是他的著作，由两篇被拒绝的论文和他在死前那个不眠之夜写下的潦草手稿组成。历史学家们曾争论过这场决斗是一个悲惨遭的爱情事件的结局，还是出于政治动机造成的，但无论是哪一种，一位世界上最杰出的数学家在他20岁时被杀死了，他研究数学才只有五年。群论——跨越时代的创造伽罗华死后，按照他的遗愿，舍瓦利叶把他的信发表在《百科评论》中。他的论文手稿过了十四年后，也就是1846年，才由法国数学家刘维尔领悟到这些演算中迸发出的天才思想，他花了几个月的时间试图解释它的意义。刘维尔最后将这些论文编辑发表在他的极有影响的《纯粹与应用数学杂志》上，并向数学界推荐。1870年法国数学家约当根据伽罗华的思想，写了《论置换与代数方程》一书，在这本书里伽罗华的思想得到了进一步的阐述。伽罗华最主要的成就是提出了群的概念，并用群论彻底解决了根式求解代数方程的问题，而且由此发展了一整套关于群和域的理论，为了纪念他，人们称之为伽罗华理论。正是这套理论创立了抽象代数学，把代数学的研究推向了一个新的里程。正是这套理论为数学研究工作提供了新的数学工具—群论。它对数学分析、几何学的发展有很大影响，并标志着数学发展现代阶段的开始。伽罗瓦非常彻底地把全部代数方程可解性问题，转化或归结为置换群及其子群结构分析的问题。这是伽罗瓦工作中的第一个“突破”，他犹如划破黑夜长空的一颗瞬间即逝的彗星，开创了置换群论的研究，确立了代数方程的可解性理论，即后来称为的“伽罗瓦理论”，从而彻底解决了一般方程的根式解难题。作为这个理论的推论，可以得出五次以上一般代数方程根式不可解，以及用圆规、直尺(无刻度的尺)三等分任意角和作倍立方体不可能等结论。对伽罗华来说，他所提出并为之坚持的理论是一场对权威、对时代的挑战，他的“群”完全超越了当时数学界能理解的观念。也许正是由于年轻，他才敢于并能够以崭新的方式去思考，去描述他的数学世界。也正因如此，他才受到了冷遇。在这里，我们后人感受到的是一种孤独与悲哀，一种来自智慧的孤独与悲哀。但是，历史的曲折并不能埋没真理的光辉。今天由伽罗华开始的群论，不仅对近代数学的各个方向，而且对物理学、化学的许多分支都产生了重大的影响。 克莱罗 Clairaut，Alexis-Claude（1713～1765）法国数学家，物理学家。又译克莱洛。1713年5月7日生于巴黎，1765年5月17日卒于同地。9岁时，父亲就教他学习解析几何和微积分学，16岁被选入法国科学院。他在研究天体力学三体问题时，第一个给出了这个问题的近似解(1752～1754)。1705年，E.哈雷曾预测哈雷彗星将在 1758年或1759年出现。克莱罗于1758年提前半年相当精确地计算了哈雷彗星到达近日点的日期，为此获彼得堡科学院的奖。克莱罗是最早研究二重曲率曲线的人之一，他还研究了曲面的平面截线。他在1734年建立了克莱罗微分方程。1739～1740年间证明了混合二阶偏导数的求导次序的可交换条件，还证明了一阶线性微分方程的积分因子的存在性问题。他在力学方面的工作还包括单摆振动等时性的证明和对运动中物体的动力学和相对运动的研究。

什么是群论群论一般说来，群指的是满足以下四个条件的一组元素的集合：（1）封闭性 （2）结合律成立 （3）单位元存在 （4）逆元存在。群论是法国传奇式人物Golois的发明。他用该理论解决了五次方程问题。今天，群论经常应用于物理领域。粗略地说，我们经常用群论来研究对称性，这些对称性能够反映出在某种变化下的某些变化量的性质。在物理上，置换群是很重要的一类群。置换群包括S3群，二维旋转群，三维旋转群以及和反应四维时空相对应的洛仑兹群。洛仑兹群加上四维变换就构成了Poincare群。在研究群时，使用表象而非群元是较方便的，因为群元一般来说都是抽象的事物。表象可以看成矩阵，而矩阵具有和群元相同的性质。不可约表象和单位表象是表象理论中的重要概念。人们在寻找五次方程的解法中，一个新的数学分支--群论诞生了！伽罗瓦是第一个使用群的系统地研究群的数学家。他在19岁时，就使用群的思想解次了五次方程的问题。伽罗瓦1811年10月26日出生在法国巴黎一个小市镇上，他小时候和高斯正好相反，根本没有人认为他是"神童"。他的教师曾说伽罗瓦"没有智慧，不然就是把智慧藏得太深了，我没法去发现。"有的教师干脆说："伽罗瓦什么也不懂。"其实伽罗瓦在中学时代就对数学表现了非凡的天赋。他从16岁起就致力于五次方程各五次以上方程的根式解法的研究。教科书满足不了人求知的欲望，他就直接深入学习和了解数学专著。前辈数学家勒让德的《几何原理》，拉格朗日的《论方程的代数解法》、《解析函数论》，欧拉和高斯等数学大师的著作使他乐而忘返。尤其是对同辈挪威数学家阿贝尔成果的研究，更直接影响了伽罗瓦群论思想的产生。阿贝尔是一位富于创造才能的数学家，当他还是中学生时就开始着手探讨高次方程的可解性问题。但命运不济，他写的关于椭圆函数的论文被巴黎科学院打入了冷宫，阿贝尔并没有放弃，终于又在不久以后发表论文证明了一般五次以上的代数方程，它们的根式解法是不存在的，只有某些特殊的五次以上的方程，可以用根式解法。阿贝尔的成果轰动了世界，使延续了3个世纪的五次方程难题解决了。但由于过于劳累，年仅278岁的阿贝尔就在贫病交加中逝世了。同时，也留下了问题给世人，究竟哪些方程可用根式解，哪些不能？完成这个艰巨任务的就是伽罗瓦。伽罗瓦17岁开始研究方程可解性问题，提出群的用于处理可解性问题，获得了重大成果。但他性格倔强，比阿贝尔更加生不逢时，3次把研究论文交法国科学院审查，都未能得到及时的肯定。不仅如此，由于伽罗致词热烈支持和参与法国"七月革命"，人在进入巴黎高等师范学校的第一年就被开除学籍；之后又两次被抓进监狱，获释后的一个月，1832年5月31日，在和反动军官的决斗中，伽罗瓦被击中要害，第二天--1832年5月31日早晨，一颗数学新星殒落了。死时还不满21岁，决斗前夕，伽罗瓦把他的研究工作写成信件，托朋友转交《百科评论》杂志。然而不幸的是，伽罗瓦的群论思想由于超越时代太远而未及时地被人们理解和接受，以致埋没了10年多，幸好手稿保存下来。1843年9月，法国数学家刘维尔重新整理了伽罗瓦的数学手稿，向法国科学院作了报告，并于1846年，在他自己办的数学杂志上发表了它，这才引起了数学界的注意。数学家们在伽罗瓦群论思想的基础上，开始追踪、研究和发展，逐渐开创了一个新的数学分支--抽象代数学。它包括群论、环论域论、布尔代数等。伽罗瓦是不幸的，生前他没有得到他应有的荣誉和地位。但人那颗被冷遇的倍爱创伤的心，却始终充满着对未来的热情、期待和对追求。

恭喜你毕业了，钱没有白花。。。

ahiusf as ahsfkugsdta zjvhsdg

论题：置换群运算与证明的数学机械化目录摘要ABSTRACT' 科学计算和计算机代数系统.' 论文的主要结果及安排第二章群论知识背景' 置换群' 置换群的运算及其在集合上的作用' 小结第三章置换群运算与证明的计算机实现置换群上运算的实现 置换群证明的计算机实现小结第四章计算对称群的子群数据表示和计算方法对称群中的交换子群.例子第五章结束语杯.1群论和算法对A。为单群的计算机证明的展望.计算机代数系统的局限性致谢参考文献附录A置换群运算的Mathematics程序群论的算法是一个很有意义的问题。在实际应用中遇到的群大都十分复杂，需要借助于计算机来实现其运算。本文用计算机代数系统Mathematica实现了置换群上的运算和证明问题。针对置换群上的基木运算、子群的运算和生成以及群对集合的作用等问题，我们设计了相应的算法并用Mathematica实现了这些算法。把交代群A。的元素按共扼分类，将除单位元所在共扼类之外的其它共辘类的阶数进行所有可能的组合相加，对所得的每个数加上单位元所在共扼类的阶数1，然后用所得结果依次去除{An，如果其中存在某个数k，使得k能够整除{An I，则只有阶数相加为k的那些共扼类的并集所生成的群才有可能成为A。的非平凡的正规子群。从这个理论出发，我们设计了用计算机代数的方法判断A。是否为单群的算法，当n< 10时都能很快地得出An (n } 4)为单群的结论。Caley定理揭示了一个抽象群G和一个具体的群Sn的关系。如果能把Sn中所有不同构的n阶子群都找出来，那么也就能把所有可能存在的n阶群都找出来了。本文讨论了计算对称群的所有子群并对其进行共扼分类的算法，作为例子，我们完成了}S(n_7)的所有子群的共扼分类。论题：置换群_PSL_3_p_PSL_2_7_的次轨道结构目录摘要Abstract .1.引言2.预备知识3.主要定理证明长为7的自阮挤寸次轨道长为8的自配对次轨道长为14的自配对次轨道长为21的自配对次轨道长为24的自配对次轨道长为28的自配对次轨道长为42的自配对次轨道长为56的自瓦织寸次轨道长为84的自配对次轨道参考文献致谢摘要设群G是有限集合几上的传递置换群，对任意aES2，令G。二{9〔G}as二a}是G关于点a的稳定子群.我们称G。在几上作用的轨道为G关于a的次轨道，而次轨道的个数称为G的秩.对任一次轨道△，设as E△，则把as_，所在的次轨道△，称为与△配对的次轨道.当二者重合时，称其为自配对的.决定一个置换群的次轨道结构是置换群理论的基本间题之一，它在组合结构的研究中有着重要的应用.在文!21】中，作者决定了PSL(3,川关于极大子群 PSL(2, 7)的本原置换表示的次轨道，其中p三1(mod 168)，但未研究其次轨道的瓦妞寸情况.而在多数情况下，群在组合结构方面的应用要求决定次轨道的配对情况.本文将决定该置换表示的全体非正则自配对的次轨道.

方程论是古典代数的中心课题。直到19世纪中叶，代数仍是一门以方程式论为中心的数学学科，代数方程的求解问题依然是代数的基本问题，特别是用根式求解方程。所谓方程有根式解（代数可解），就是这个方程的解由该方程的系数经过有限次加减乘除以及开整数次方等运算表示出来的。群论也就是起源于对代数方程的研究，它是人们对代数方程求解问题逻辑考察的结果。 一、伽罗瓦群论产生的历史背景 从方程的根式解法发展过程来看，早在古巴比伦数学和印度数学的记载中，他们就能够用根式求解一元二次方程ax2+bx+c=0，给出的解相当于+，，这是对系数函数求平方根。接着古希腊人和古东方人又解决了某些特殊的三次数字方程，但没有得到三次方程的一般解法。这个问题直到文艺复兴的极盛期（即16世纪初）才由意大利人解决。他们对一般的三次方程x3+ax2+bx+c=0，由卡丹公式解出根 x= + ，其中p = ba2，q = a3，显然它是由系数的函数开三次方所得。同一时期，意大利人费尔拉里又求解出一般四次方程x4+ax3+bx2+cx+d=0的根是由系数的函数开四次方所得。 用根式求解四次或四次以下方程的问题在16世纪已获得圆满解决，但是在以后的几个世纪里，探寻五次和五次以上方程的一般公式解法却一直没有得到结果。1770年前后，法国数学家拉格朗日转变代数的思维方法，提出方程根的排列与置换理论是解代数方程的关键所在，并利用拉格朗日预解式方法，即利用1的任意n次单位根 （ n =1）引进了预解式x1+ x2+ 2x3+…+ n-1xn，详细分析了二、三、四次方程的根式解法。他的工作有力地促进了代数方程论的进步。但是他的这种方法却不能对一般五次方程作根式解，于是他怀疑五次方程无根式解。并且他在寻求一般n次方程的代数解法时也遭失败，从而认识到一般的四次以上代数方程不可能有根式解。他的这种思维方法和研究根的置换方法给后人以启示。 1799年，鲁菲尼证明了五次以上方程的预解式不可能是四次以下的，从而转证五次以上方程是不可用根式求解的，但他的证明不完善。同年，德国数学家高斯开辟了一个新方法，在证明代数基本理论时，他不去计算一个根，而是证明它的存在。随后，他又着手探讨高次方程的具体解法。在1801年，他解决了分圆方程xp-1=0（p为质数）可用根式求解，这表明并非所有高次方程不能用根式求解。因此，可用根式求解的是所有高次方程还是部分高次方程的问题需进一步查明。 随后，挪威数学家阿贝尔开始解决这个问题。1824年到1826年，阿贝尔着手考察可用根式求解的方程的根具有什么性质，于是他修正了鲁菲尼证明中的缺陷，严格证明：如果一个方程可以根式求解，则出现在根的表达式中的每个根式都可表示成方程的根和某些单位根的有理数。并且利用这个定理又证明出了阿贝尔定理：一般高于四次的方程不可能代数地求解。接着他进一步思考哪些特殊的高次方程才可用根式解的问题。在高斯分圆方程可解性理论的基础上，他解决了任意次的一类特殊方程的可解性问题，发现这类特殊方程的特点是一个方程的全部根都是其中一个根（假设为x）的有理函数，并且任意两个根q1(x)与q2(x)满足q1q2(x)=q2q1(x)，q1，q2为有理函数。现在称这种方程为阿贝尔方程。其实在对阿贝尔方程的研究中已经涉及到了群的一些思想和特殊结果，只是阿贝尔没能意识到，也没有明确地构造方程根的置换集合（因为若方程所有的根都用根x1来表示成有理函数qj(x1)，j=1,2,3,…,n，当用另一个根xi代替x1时，其中1〈i≤n ，那么qj(xi)是以不同顺序排列的原方程的根，j=1,2,…,n。实际上应说根xi=q1(xi),q2(xi),…,qn(xi)是根x1,x2,…,xn的一个置换），而仅仅考虑可交换性q1q2(x)=q2q1(x)来证明方程只要满足这种性质，便可简化为低次的辅助方程，辅助方程可依次用根式求解。 阿贝尔解决了构造任意次数的代数可解的方程的问题，却没能解决判定已知方程是否可用根式求解的问题。法国数学家伽罗瓦正是处在这样的背景下，开始接手阿贝尔未竞的事业。 二.伽罗瓦创建群理论的工作 伽罗瓦仔细研究了前人的理论，特别是拉格朗日、鲁菲尼、高斯、阿贝尔等人的著作，开始研究多项式方程的可解性理论，他并不急于寻求解高次方程的方法，而是将重心放在判定已知的方程是否有根式解。如果有，也不去追究该方程的根究竟是怎样的，只需证明有根式解存在即可。峰 1.伽罗瓦群论的创建 伽罗瓦在证明不存在一个五次或高于五次的方程的一般根式解法时，与拉格朗日相同，也从方程根的置换入手。当他系统地研究了方程根的排列置换性质后，提出了一些确定的准则以判定一个已知方程的解是否能通过根式找到，然而这些方法恰好导致他去考虑一种称之为“群”的元素集合的抽象代数理论。在1831年的论文中，伽罗瓦首次提出了“群”这一术语，把具有封闭性的置换的集合称为群，首次定义了置换群的概念。他认为了解置换群是解决方程理论的关键，方程是一个其对称性可用群的性质描述的系统。他从此开始把方程论问题转化为群论的问题来解决，直接研究群论。他引入了不少有关群论的新概念，从而也产生了他自己的伽罗瓦群论，因此后人都称他为群论的创始人。 对有理系数的n次方程 x+axn-1+a2xn-2+…+an-1x+an=0 （1） 假设它的n个根x1,x2,…,xn的每一个变换叫做一个置换，n个根共有n!个可能的置换，它们的集合关于置换的乘法构成一个群，是根的置换群。方程的可解性可以在根的置换群的某些性质中有所反映，于是伽罗瓦把代数方程可解性问题转化为与相关的置换群及其子群性质的分析问题。现在把与方程联系起的置换群（它表现了方程的对称性质）称为伽罗瓦群，它是在某方程系数域中的群。一个方程的伽罗瓦群是对于每一个其函数值为有理数的关于根的多项式函数都满足这个要求的最大置换群，也可以说成对于任一个取有理数值的关于根的多项式函数，伽罗瓦群中的每个置换都使这函数的值不变。 2.伽罗瓦群论的实质 我们可以从伽罗瓦的工作过程中，逐步领悟伽罗瓦理论的精髓。首先分析一下他是怎样在不知道方程根的情况下，构造伽罗瓦群的。仍然是对方程（1），设它的根x1,x2,…,xn中无重根，他构造了类似于拉格朗日预解式的关于x1,x2,…,xn的一次对称多项式 △1=a1x1+a2x2+…+anxn，其中ai(i=1,2,3,…,n)不必是单位根，但它必是一些整数且使得n!个形如△1的一次式△1,△2,…,△n!各不相同，接着又构造了一个方程 =0 (2) 该方程的系数必定为有理数（可由对称多项式定理证明），并且能够分解为有理数域上的不可约多项式之积。设f(x)=是的任意一个给定的m次的不可约因子，则方程(1)的伽罗瓦群是指n!个△i中的这m个排列的全体。同时他又由韦达定理知伽罗瓦群也是一个对称群，它完全体现了此方程的根的对称性。但是计算一个已知方程的伽罗瓦群是有一定困难的，因此伽罗瓦的目的并不在于计算伽罗瓦群，而是证明：恒有这样的n次方程存在，其伽罗瓦群是方程根的可能的最大置换群s(n)，s(n)是由n!个元素集合构成的，s(n)中的元素乘积实际上是指两个置换之积。现在把s(n)中的元素个数称为阶，s(n)的阶是n!。 伽罗瓦找出方程系数域中的伽罗瓦群g后，开始寻找它的最大子群h1，找到h1后用一套仅含有理运算的手续（即寻找预解式）来找到根的一个函数。的系数属于方程的系数域r，并且在h1的置换下不改变值，但在g的所有别的置换下改变值。再用上述方法，依次寻找h1的最大子群h2，h2的最大子群h3，…于是得到h1,h2,…,hm，直到hm里的元素恰好是恒等变换（即hm为单位群i）。在得到一系列子群与逐次的预解式的同时，系数域r也随之一步步扩大为r1,r2,…,rm，每个ri对应于群hi。当hm=i时，rm就是该方程的根域，其余的r1,r2,…,rm-1是中间域。一个方程可否根式求解与根域的性质密切相关。例如，四次方程 x4+px2+q=0 (3) p与q独立，系数域r添加字母或未知数p、q到有理数中而得到的域，先计算出它的伽罗瓦群g，g是s(4)的一个8阶子群，g={e，e1，e2，…e7}，其中 e=，e1=，e2=，e3=，e4=，e5=， e6=， e7=。 要把r扩充到r1，需在r中构造一个预解式，则预解式的根，添加到r中得到一个新域r1，于是可证明原方程（3）关于域r1的群是h1，h1={e，e1，e2，e3}，并发现预解式的次数等于子群h1在母群g中的指数8÷4=2（即指母群的阶除以子群的阶）。第二步，构造第二个预解式，解出根 ，于是在域r1中添加得到域r2，同样找出方程（3）在r2中的群h2，h2={e，e1}，此时，第二个预解式的次数也等于群h2在h1中的指数4÷2=2。第三步，构造第三个预解式，得它的根 ，把添加到r2中得扩域r3，此时方程（3）在r3中的群为h3，h3={e}，即h3=i，则r3是方程（3）的根域，且该预解式的次数仍等于群h3在h2中的指数2÷1=2。在这个特殊的四次方程中，系数域到根域的扩域过程中每次添加的都是根式，则方程可用根式解。这种可解理论对于一般的高次方程也同样适用，只要满足系数域到根域的扩域过程中每次都是添加根式，那么一般的高次方程也能用根式求解。 现仍以四次方程（3）为例，伽罗瓦从中发现了这些预解式实质上是一个二次的二项方程，既然可解原理对高次方程也适用，那么对于能用根式求解的一般高次方程，它的预解式方程组必定存在，并且所有的预解式都应是一个素数次p的二项方程xp=a。由于高斯早已证明二项方程是可用根式求解的。因此反之，如果任一高次方程所有的逐次预解式都是二项方程，则能用根式求解原方程。于是，伽罗瓦引出了根式求解原理，并且还引入了群论中的一个重要概念“正规子群”。 他是这样给正规子群下定义的：设h是g的一个子群，如果对g中的每个g都有gh=hg，则称h为g的一个正规子群，其中gh表示先实行置换g，然后再应用h的任一元素，即用g的任意元素g乘h的所有置换而得到的一个新置换集合。定义引入后，伽罗瓦证明了当作为约化方程的群(如由g 约化到h1)的预解式是一个二项方程xp=a (p为素数)时，则h1是g的一个正规子群。反之，若h1是g的正规子群，且指数为素数p，则相应的预解式一定是p次二项方程。他还定义了极大正规子群：如果一个有限群有正规子群，则必有一个子群，其阶为这有限群中所有正规子群中的最大者，这个子群称为有限群的极大正规子群。一个极大正规子群又有它自己的极大正规子群，这种序列可以逐次继续下去。因而任何一个群都可生成一个极大正规子群序列。他还提出把一个群g生成的一个极大正规子群序列标记为g、h、i、j…, 则可以确定一系列的极大正规子群的合成因子[g/h]，[h/i]，[i/g]…。合成因子[g/h]=g的阶数/ h的阶数。对上面的四次方程(3)，h1是g的极大正规子群， h2是h1的极大正规子群，h3又是h2的极大正规子群，即对方程(3)的群g 生成了一个极大正规子群的序列g、h1、h2、h3。 随着理论的不断深入，伽罗瓦发现对于一个给定的方程，寻找它在伽罗瓦群及其极大不变子群序列完全是群论的事。因此，他完全用群论的方法去解决方程的可解性问题。最后，伽罗瓦提出了群论的另一个重要概念“可解群”。他称具有下面条件的群为可解群：如果它所生成的全部极大正规合成因子都是质数。 根据伽罗瓦理论，如果伽罗瓦群生成的全部极大正规合成因子都是质数时，方程可用根式求解。若不全为质数，则不可用根式求解。由于引入了可解群，则可说成当且仅当一个方程系数域上的群是可解群时，该方程才可用根式求解。对上面的特殊四次方程(3)，它的[g/h]=8/4=2，[h1/h2]=2/1=2，2为质数，所以方程(3)是可用根式解的。再看一般的n次方程，当n=3时，有两个二次预解式t2=a和t3=b，合成序列指数为2与3，它们是质数，因此一般三次方程可根式解。同理对n=4，有四个二次预解式，合成序列指数为2，3，2，2，于是一般四次方程也可根式求解。一般n次方程的伽罗瓦群是s(n)，s(n)的极大正规子群是a(n) (实际a(n)是由s(n)中的偶置换构成的一个子群。如果一个置换可表为偶数个这类置换之积，则叫偶置换。)，a(n)的元素个数为s(n)中的一半，且a(n)的极大正规子群是单位群i，因此[s(n)/a(n)]=n!/(n!/2)=2，[a(n)/i]=(n!/2)/1=n!/2， 2是质数，但当n ≥5时，n！/2不是质数，所以一般的高于四次的方程是不能用根式求解的。至此，伽罗瓦完全解决了方程的可解性问题。 顺带提一下，阿贝尔是从交换群入手考虑问题的，他的出发点与伽罗瓦不同，但他们的结果都是相同的，都为了证其为可解群，并且伽罗瓦还把阿贝尔方程进行了推广，构造了一种现在称之为伽罗瓦方程的方程，伽罗瓦方程的每个根都是其中两个根的带有系数域中系数的有理函数。 三.伽罗瓦群论的历史贡献 伽罗瓦创立群论是为了应用于方程论，但他并不局限于此，而是把群论进行了推广，作用于其他研究领域。可惜的是，伽罗瓦群论的理论毕竟太深奥，对十九世纪初的人们来说是很难理解的，连当时的数学大师都不能理解他的数学思想和他的工作的实质，以至他的论文得不到发表。更不幸的是伽罗瓦在二十一岁时便因一场愚蠢的决斗而早逝，我们不得不为这位天才感到惋惜。到十九世纪六十年代，他的理论才终于为人们所理解和接受。 伽罗瓦群理论被公认为十九世纪最杰出的数学成就之一。他给方程可解性问题提供了全面而透彻的解答，解决了困扰数学家们长达数百年之久的问题。伽罗瓦群论还给出了判断几何图形能否用直尺和圆规作图的一般判别法，圆满解决了三等分任意角或倍立方体的问题都是不可解的。最重要的是，群论开辟了全新的研究领域，以结构研究代替计算，把从偏重计算研究的思维方式转变为用结构观念研究的思维方式，并把数学运算归类，使群论迅速发展成为一门崭新的数学分支，对近世代数的形成和发展产生了巨大影响。同时这种理论对于物理学、化学的发展，甚至对于二十世纪结构主义哲学的产生和发展都发生了巨大的影响。