群在图形上的应用与程序实现

《群在图形上的应用与程序实现》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果.据我所知,除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发表或撰写过的研究成果,也不包含为获得成都理工大学或其他教育机构的学位或证书而使用过的材料.与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意.学位论文作者签名：年月日学位论文版权使用授权书本学位论文作者完全了解成都理工大学有关保留、使用学位论文的规定,有权保留并向国家有关部门或机构送交论文的复印件和磁盘,允许论文被查阅和借阅.本人授权成都理工大学可以将学位论文的全部或部分内容编入有关数据库进

2、行检索,可以采用影印、缩印或扫描等复制手段保存、汇编学位论文.（保密的学位论文在解密后适用本授权书）学位论文作者签名：学位论文作者导师签名：年月日第1章引言第1章引言1.1选题依据及国内外研究现状（研究目的和意义）群论是法国传奇式人物伽罗瓦（Galois,1811~1832年）的发明.他用该理论,具体来说是伽罗瓦群,解决了五次方程问题.在此之后柯西（Augustin-LouisCauchy,1789~1857年),阿贝尔（NielsHenrikAbel,1802~1829年）等人也对群论作出了发展.最先产生的是n个文字的一些置换所构成的置换群,它是在研究当时代数学的中

3、心问题即五次以上的一元多项式方程是否可用根式求解的问题时,经由J.-L.拉格朗日、P.鲁菲尼、N.H.阿贝尔和E.伽罗瓦引入和发展,并有成效地用它彻底解决了这个中心问题.某个数域上一元n次多项式方程,它的根之间的某些置换所构成的置换群被定义作该方程的伽罗瓦群,1832年伽罗瓦证明了：一元n次多项式方程能用根式求解的一个充分必要条件是该方程的伽罗瓦群为“可解群”（见有限群）.由于一般的一元n次方程的伽罗瓦群是n个文字的对称群S.而当n5时S不是可解群,所以一般的五次以nn上一元方程不能用根式求解.伽罗瓦还引入了置换群的同构、正规子群等重要概念.应当指出,A.-L.柯西

4、早在1815年就发表了有关置换群的第一篇论文,并在1844～1846年间对置换群又做了很多工作.至于置换群的系统知识和伽罗瓦用于方程理论的研究,由于伽罗瓦的原稿是他在决斗致死前夕赶写成的,直到后来才在C.若尔当的名著“置换和代数方程专论”中得到很好的介绍和进一步的发展.置换群是最终产生和形成抽象群的第一个最主要的来源.在数论中,拉格朗日和C.F.高斯研究过由具有同一判别式D的二次型类,222即fax2bxycy,其中a,b,c为整数,x,y取整数值.且Dbac为固定值.对于两个型的"复合"乘法,构成一个交换群.J.W.R.戴德金于1858年和L.克罗内克于1

5、870年在其代数数论的研究中也引进了有限交换群以至有限群.这些是导致抽象群论产生的第二个主要来源.在若尔当的专著影响下,（C.）F.克莱因于1872年在其著名的埃尔朗根纲领中指出,几何的分类可以通过无限连续变换群来进行.克莱因和（J.-）H.庞加莱在对"自守函数”的研究中曾用到其他类型的无限群（即离散群或不连续群）.在1870年前后,M.S.李开始研究连续变换群即解析变换李群,1成都理工大学硕士学位论文用来阐明微分方程的解,并将它们分类.这无限变换群的理论成为导致抽象群论产生的第三个主要来源.A.凯莱于1849年、1854年和1878年发表的论文中已然提到接近有限抽象

6、群的概念.F.G.弗罗贝尼乌斯于1879年和E.内托于1882年以及W.F.A.von迪克于1882～1883年的工作也推进了这方面认识.19世纪80年代,综合上述三个主要来源,数学家们终于成功地概括出抽象群论的公理系统,大约在1890年已得到公认.20世纪初,E.V.亨廷顿,E.H.莫尔,L.E.迪克森等都给出过抽象群的种种独立公理系统,这些公理系统和现代的定义一致.在1896～1911年期间,W.伯恩赛德的“有限群论”先后两版,颇多增益.G.弗罗贝尼乌斯、W.伯恩赛德、I.舒尔建立起有限群的矩阵表示论后,有限群论已然形成.无限群论在20世纪初,也有专著,如1916

7、年Ο.ю.施米特的著作.群论的发展导致20世纪30年代抽象代数学的兴起.尤其是近30年来,有限群论取得了巨大的进展,1981年初,有限单群分类问题的完全解决是一个突出的成果.与此同时,无限群论也有快速的进展.时至今日,群的概念已经普遍地被认为是数学及其许多应用中最基本的概念之一.它不但渗透到诸如几何学、代数拓扑学、函数论、泛函分析及其他许多数学分支中而起着重要的作用,还形成了一些新学科如拓扑群、李群、代数群、算术群等,它们还具有与群结构相联系的其他结构如拓扑、解析流形、代数簇等,并在结晶学、理论物理、量子化学以至（代数）编码学、自动机理论等方面,都有