纯粹数学研究从客观世界中抽象出来的数学规律的内在联系,也可以说是研究数学本身的规律。它大体上分为三大类,即研究空间形式的几何类,研究离散系统的代数类,研究连续现象的分析类研究空间形式的几何类属于第一类的如微分几何、拓扑学。微分几何是研究光滑曲线、曲面等,它以数学分析、微分几何为研究工具。在力学和一些工程问题(如弹性壳结构、齿轮等方面)中有广泛的应用。拓扑学是研究几何图形在一对一的双方连续变换下不变的性质,这种性质称为“拓扑性质”。如画在橡皮膜上的图形当橡皮膜受到变形但不破裂或折叠时,曲线的闭合性、两曲线的相交性等都是保持不变的。研究离散系统的代数类属于第二类的如数论、近世代数。数论是研究整数性质的一门学科。按研究方法的不同,大致可分为初等数论、代数数论、几何数论、解析数论等。近世代数是把代数学的对象由数扩大为向量、矩阵等,它研究更为一般的代数运算的规律和性质,它讨论群、环、向量空间等的性质和结构。近世代数有群论、环论、伽罗华理论等分支。它在分析数学、几何、物理学等学科中有广泛的应用。研究连续现象的分析类属于第三类的如微分方程、函数论、泛函分析。微分方程是含有未知函数的导数或偏导数的方程。如未知函数是一元函数,则称为常微分方程,如未知函数是多元函数,则称为偏微分方程。函数论是实函数论(研究实数范围上的实值函数)和复变函数(研究在复数平面上的函数性质)的总称。泛函分析是综合运用函数论、几何学、代数学的观点来研究无限维向量空间(如函数空间)上的函数、算子和极限理论,它研究的不是单个函数,而是具有某种共同性质的函数集合。它在数学和物理中有广泛的应用。抽象代数就是近世代数,法国数学家伽罗瓦〔1811-1832〕在1832年运用「群」的思想彻底解决了用根式求解代数方程的可能性问题。他是第一个提出「群」的思想的数学家,一般称他为近世代数创始人。他使代数学由作为解方程的科学转变为研究代数运算结构的科学,即把代数学由初等代数时期推向抽象代数即近世代数时期。抽象代数,包含有群论、环论、伽罗瓦理论、格论、线性代数等许多分支,并与数学其它分支相结合产生了代数几何、代数数论、代数拓扑、拓扑群等新的数学学科。抽象代数也是现代计算机理论基础之一。简介抽象代数作为数学的一门学科,主要研究对象是代数结构,比如群、环、域、模、矢量空间和代数。这些代数结构中,有的在19世纪就已经被给出了正式的定义。事实上,对抽象代数的研究是应数学更严格化的要求而发展起来的。对抽象代数的研究还使人们形成了对全部数学和自然科学的基础性逻辑假设(的复杂性)的整体认识,现今,几乎没有那一个数学分支用不到代数学的结论。此外,随着抽象代数的发展,代数学家们发现:明显不同的逻辑结构通过类比可以得到一个很简练的由公理构成的核心。这对深入研究代数的数学家是有益的,并赋予他们更大的本领。“抽象代数”这词,是为了与“初等代数”区别开,后者教授公式和代数表达式的运算方法,其中有实数、复数和未知项。20世纪初,抽象代数有时也称为现代代数,近世代数。在泛代数中有时用抽象代数这一称呼,但作者大多简单的称作“代数”。定义抽象代数是研究各种抽象的公理化代数系统的数学学科。由于代数可处理实数与复数以外的物集,例如向量(vector)、矩阵(matrix)、变换(transformation)等,这些物集的分别是依它们各有的演算定律而定,而数学家将个别的演算经由抽象手法把共有的内容升华出来,并因此而达到更高层次,这就诞生了抽象代数。抽象代数,包含有群(group)、环(ring)、Galois理论、格论等许多分支,并与数学其它分支相结合产生了代数几何、代数数论、代数拓扑、拓扑群等新的数学学科。抽象代数已经成了当代大部分数学的通用语言。创始人及理论被誉为天才数学家的Galois(1811-1832)是近世代数的创始人之一。他深入研究了一个方程能用根式求解所必须满足的本质条件,他提出的“Galois域”、“Galois群”和“Galois理论”都是近世代数所研究的最重要的课题。Galois群理论被公认为十九世纪最杰出的数学成就之一。他给方程可解性问题提供了全面而透彻的解答,解决了困扰数学家们长达数百年之久的问题。Galois群论还给出了判断几何图形能否用直尺和圆规作图的一般判别法,圆满解决了三等分任意角或倍立方体的问题都是不可解的。最重要的是,群论开辟了全新的研究领域,以结构研究代替计算,把从偏重计算研究的思维方式转变为用结构观念研究的思维方式,并把数学运算归类,使群论迅速发展成为一门崭新的数学分支,对近世代数的形成和发展产生了巨大影响。同时这种理论对于物理学、化学的发展,甚至对于二十世纪结构主义哲学的产生和发展都发生了巨大的影响。1843年,Hamilton发明了一种乘法交换律不成立的代数——四元数代数。第二年,Grassmann推演出更有一般性的几类代数。1857年,Cayley设计出另一种不可交换的代数——矩阵代数。他们的研究打开了抽象代数(也叫近世代数)的大门。实际上,减弱或删去普通代数的某些假定,或将某些假定代之以别的假定(与其余假定是兼容的),就能研究出许多种代数体系。1870年,Kronecker给出了有限Abel群的抽象定义;Dedekind开始使用“体”的说法,并研究了代数体;1893年,韦伯定义了抽象的体;1910年,施坦尼茨展开了体的一般抽象理论;Dedekind和Kronecker创立了环论;1910年,施坦尼茨总结了包括群、代数、域等在内的代数体系的研究,开创了抽象代数学。抽象代数奠基人及理论有一位杰出女数学家被公认为抽象代数奠基人之一,被誉为代数女皇,她就是EmmyNoether,1882年3月23日生于德国埃尔朗根,1900年入埃朗根大学,1907年在数学家哥尔丹指导下获博士学位。Noether的工作在代数拓扑学、代数数论、代数几何的发展中有重要影响。1907-1919年,她主要研究代数不变式及微分不变式。她在博士论文中给出三元四次型的不变式的完全组。还解决了有理函数域的有限有理基的存在问题。对有限群的不变式具有有限基给出一个构造性证明。她不用消去法而用直接微分法生成微分不变式,在格丁根大学的就职论文中,讨论连续群(Lie群)下不变式问题,给出Noether定理,把对称性、不变性和物理的守恒律联系在一起。1920~1927年间她主要研究交换代数与交换算术。1916年后,她开始由古典代数学向抽象代数学过渡。1920年,她已引入“左模”、“右模”的概念。1921年写出的整环的理想理论是交换代数发展的里程碑。建立了交换Noether环理论,证明了准素分解定理。1926年发表代数数域及代数函数域的理想理论的抽象构造,给Dedekind环一个公理刻画,指出素理想因子唯一分解定理的充分必要条件。Noether的这套理论也就是现代数学中的“环”和“理想”的系统理论,一般认为抽象代数形式的时间就是1926年,从此代数学研究对象从研究代数方程根的计算与分布,进入到研究数字、文字和更一般元素的代数运算规律和各种代数结构,完成了古典代数到抽象代数的本质的转变。Noether当之无愧地被人们誉为抽象代数的奠基人之一。1927-1935年,Noether研究非交换代数与非交换算术。她把表示理论、理想理论及模理论统一在所谓“超复系”即代数的基础上。后又引进交叉积的概念并用决定有限维Galois扩张的布饶尔群。最后导致代数的主定理的证明,代数数域上的中心可除代数是循环代数。1930年,毕尔霍夫建立格论,它源于1847年的bool代数;第二次世界大战后,出现了各种代数系统的理论和Bourbaki学派;1955年,Cartan等建立了同调代数理论。发展历史抽象代数又称近世代数,它产生于十九世纪。抽象代数是研究各种抽象的公理化代数系统的数学学科。由于代数可处理实数与复数以外的物集,例如向量、矩阵超数、变换等,这些物集的分别是依它们各有的演算定律而定,而数学家将个别的演算经由抽象手法把共有的内容升华出来,并因此而达到更高层次,这就诞生了抽象代数。抽象代数,包含有群论、环论、伽罗瓦理论、格论、线性代数等许多分支,并与数学其它分支相结合产生了代数几何、代数数论、代数拓扑、拓扑群等新的数学学科。抽象代数已经成了当代大部分数学的通用语言。被誉为天才数学家的伽罗瓦(1811-1832)是近世代数的创始人之一。他深入研究了一个方程能用根式求解所必须满足的本质条件,他提出的“伽罗瓦域”、“伽罗瓦群”和“伽罗瓦理论”都是近世代数所研究的最重要的课题。伽罗瓦群理论被公认为十九世纪最杰出的数学成就之一。他给方程可解性问题提供了全面而透彻的解答,解决了困扰数学家们长达数百年之久的问题。伽罗瓦群论还给出了判断几何图形能否用直尺和圆规作图的一般判别法,圆满解决了三等分任意角或倍立方体的问题都是不可解的。最重要的是,群论开辟了全新的研究领域,以结构研究代替计算,把从偏重计算研究的思维方式转变为用结构观念研究的思维方式,并把数学运算归类,使群论迅速发展成为一门崭新的数学分支,对近世代数的形成和发展产生了巨大影响。同时这种理论对于物理学、化学的发展,甚至对于二十世纪结构主义哲学的产生和发展都发生了巨大的影响。1843年,哈密顿发明了一种乘法交换律不成立的代数——四元数代数。第二年,Grassmann推演出更有一般性的几类代数。1857年,凯莱设计出另一种不可交换的代数——矩阵代数。他们的研究打开了抽象代数(也叫近世代数)的大门。实际上,减弱或删去普通代数的某些假定,或将某些假定代之以别的假定(与其余假定是兼容的),就能研究出许多种代数体系。1870年,克隆尼克给出了有限阿贝尔群的抽象定义;狄德金开始使用“体”的说法,并研究了代数体;1893年,韦伯定义了抽象的体;1910年,施坦尼茨展开了体的一般抽象理论;狄德金和克隆尼克创立了环论;1910年,施坦尼茨总结了包括群、代数、域等在内的代数体系的研究,开创了抽象代数学。有一位杰出女数学家被公认为抽象代数奠基人之一,被誉为代数女皇,她就是诺特,1882年3月23日生于德国埃尔朗根,1900年入埃朗根大学,1907年在数学家哥尔丹指导下获博士学位。诺特的工作在代数拓扑学、代数数论、代数几何的发展中有重要影响。1907-1919年,她主要研究代数不变式及微分不变式。她在博士论文中给出三元四次型的不变式的完全组。还解决了有理函数域的有限有理基的存在问题。对有限群的不变式具有有限基给出一个构造性证明。她不用消去法而用直接微分法生成微分不变式,在格丁根大学的就职论文中,讨论连续群(李群)下不变式问题,给出诺特定理,把对称性、不变性和物理的守恒律联系在一起。1920~1927年间她主要研究交换代数与「交换算术」。1916年后,她开始由古典代数学向抽象代数学过渡。1920年,她已引入「左模」、「右模」的概念。1921年写出的整环的理想理论是交换代数发展的里程碑。建立了交换诺特环理论,证明了准素分解定理。1926年发表代数数域及代数函数域的理想理论的抽象构造,给戴德金环一个公理刻画,指出素理想因子唯一分解定理的充分必要条件。诺特的这套理论也就是现代数学中的“环”和“理想”的系统理论,一般认为抽象代数形式的时间就是1926年,从此代数学研究对象从研究代数方程根的计算与分布,进入到研究数字、文字和更一般元素的代数运算规律和各种代数结构,完成了古典代数到抽象代数的本质的转变。诺特当之无愧地被人们誉为抽象代数的奠基人之一。1927-1935年,诺特研究非交换代数与「非交换算术」。她把表示理论、理想理论及模理论统一在所谓“超复系”即代数的基础上。后又引进交叉积的概念并用决定有限维枷罗瓦扩张的布饶尔群。最后导致代数的主定理的证明,代数数域上的中心可除代数是循环代数。诺特的思想通过她的学生范.德.瓦尔登的名著近世代数学得到广泛的传播。她的主要论文收在诺特全集(1982)中。1930年,毕尔霍夫建立格论,它源于1847年的布尔代数;第二次世界大战后,出现了各种代数系统的理论和布尔巴