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