代数学(卷名：数学)
algebra
数学中一个重要的、基础的分支，由于人类生活、生产、技术、科学和数学本身的需要而发生和发展，历史悠久。它在研究对象、方法和中心问题上经历了重大的变化。初等代数学（或称古典代数学）是更古老的算术的推广和发展，抽象代数学（曾称近世代数学）则是在初等代数学的基础上产生、发展而于20世纪形成的。
初等代数学，研究数字和文字的代数运算(加法、减法、乘法、除法、乘方、开方)的理论和方法;更确切点说，研究实数或复数和以它们为系数的多项式的代数运算的理论和方法。它的研究方法是高度计算性的。它的中心问题是实或复系数的多项式方程(或称代数方程)和方程组的解（包括解的公式和数值解）的求法及其分布的研究，因此它也可简称方程论。它的演变历史久远，中国和其他文明古国都有贡献，而在欧洲则于16世纪（文艺复兴后期）、17世纪系统地建立起这门学科，并继续发展到19世纪的前半叶。随着电子计算机的广泛而深入的使用，有些内容的新发展已归入计算数学的范围，形成了“数值代数”。（见算术、多项式、行列式、线性方程组、矩阵、代数基本定理）
抽象代数学是在初等代数学的基础上，通过数系的概念的进一步推广或者可以实施代数运算的对象的范围的进一步扩大，逐渐发展而形成的；它自18、19世纪之交萌芽、不断成长而于20世纪20年代建立起来。它研究的对象是非特定的任意元素集合和定义在这些元素之间的、满足若干条件或公理的代数运算，也就是说，它以各种代数结构（或称系统）的性质的研究为中心问题。它的研究方法主要是公理化的。自20世纪40年代中期起，抽象代数学的研究对象又有一些新的拓广。详细点讲，考虑任意一些元素α，b，с，…组成的一个非空集合S 和一个或几个运算，例如记作。，…等。假设S 中任意两个元素α，b(也可相同)依着次序用运算。联结起来的结果α。b仍然是S 中一个完全确定的元素X(封闭性)，并且假设对S 中元素实施的运算单独地或相联系地遵守着通常四则或有理运算所适合的一些法则或公理（如加法或乘法有结合律，有交换律，有0或1，有负或逆，有加法分配律等），则集合S 对于运算。，…成为一个代数结构。由各种代数结构的公理出发研究它们的性质，就是所谓抽象代数学。
至今，已有群、环、域、模、代数、格以及泛代数、同调代数、范畴等重要代数结构。
群、环、域、模、代数、格简介 群 G是只具有一个运算G的代数结构，除假设G中任二元素α，b经过运算。结合所得结果α。b仍是G中元素（封闭性）外，还假设三条公理：
G1结合律成立。对g中任三元素α，b，с有(α。b)。с=α。(b。с)；
G2存在单位元素。g中有一个元素e，称作g的单位元素，使得对于g中任意元素α，有α。e=e。α=α；
G3存在逆元素。对于g中任一元素α都有g中一元素α′，叫做α的逆元素，使得α。α′=α′。α=e。
通常就简写α。b为αb。
一般群中交换律不一定成立，若对G 交换律成立，即对G中任二元素α，b都有αb=bα，则称G为交换群或阿贝尔群，否则称为非交换群。若G中元素的个数有限，则称为有限群，否则称为无限群。
例如，所有的整数、有理数、实数、复数的集合对于加法都是群。所有的非零的有理数、实数、复数的集合对于乘法也都是群。所有这些群都还是无限交换群。这些群（对于确定运算）的元素集合，有的包括在另一个群（对于同一运算）的元素集合里，就叫做后者的子群。
把由n（任意正整数）个文字1，2，…，n到它们自己的一个排列α1，α2，…，αn的变换叫做一个n元置换，记作
。对于任意两个置换α和b定义对1，2，…，n依次实施α、b，即先用α作用，再用b作用的运算为α、b的乘法，并将所得的置换с称为α、b之积。若有一些n元置换的非空集合G，若是G中任二元集α、b之积仍在 G中（封闭性），则G即为一置换群。注意，此时G 对乘法必有结合律，G中必有单位元素
，G中元素α必有逆无素
也在G中。特别，所有n!个n元置换成一群，称为n个文字的对称群Sn。Sn是有限(当n≥3)非交换群。任一n元置换群都是Sn的子群。(见置换群)环 R是具有两个运算（加法＋和乘法·）的代数结构，如是之R 中元素对加法＋是一个交换群，R 中元素对乘法·有封闭性和结合律，并且对于R 任三元素α，b，с都有双边加法分配律成立：
。适合乘法交换律的环叫做交换环。例如，所有的整数、有理数、实数、复数的集合对于加法和乘法都是交换环。环R的元素的子集合R1，如对R的两个运算也成环，则R1称为R 的子环。这里的整数环是有理数环、实数环、复数环等的子环。
域F也是一个具有两个运算加法(+)和乘法(·)的代数结构，它至少包含两个不同的元素0和1，并且F 对加法(+)是交换群，F 除0外对乘法(·)也是交换群，且加法分配律成立，即对F 中任三元素α、b、X 都有
域是环的特例。若乘法交换律不成立，则称为非交换域。它与域合称体或除环。例如，所有的有理数、实数、复数的集合对于加法和乘法都是域，通常记作Q，R，C。域F的元素的子集合F1，如对F 的两个运算也成域，则F1称为F的子域，而F 称为F1的扩域。所有
（α、b为有理数）、α+bi（α、b为有理数或实数）的集合也是域。这些都是 C 的子域，简称数域。考虑仅有两个元素0、1的集合F2。定义F2中的两个二元运算＋及×如下：
则F2对＋及×成为一域，并称为一有限域。一般地讲，对任一（正）素数p，所有整数模p 的剩余类对模p 的加法及乘法成一域Fp，恰是有p个元素的有限域。考虑系数在一域F中的所有一元多项式
(其中α0，α1，…，αn皆在F 中，且 α0≠0，若n>0，而x为不定元)的集合F[x]。对于多项式的加法和乘法，F[x]组成一个交换环，称为域F上的多项式环。考虑所有这样两个多项式的有理分式 (分母不为0)的集合，则得到一个域F(x)，称为域F上的有理分式域。假设非空元素集合S 对加法＋是一个交换群，又设非空元素集合R 对加法＋(通常使用同一符号)和乘法·是一个环。以α，β，…表示S 的元素，α，b，…表示R 的元素。假设α与α可结合为αα 仍在S 中（称为数乘）且满足以下条件或公理：α(α+β)＝αα+αβ， (α+b)α＝αα+bα，(αb)α=α(bα)，则S 称为一个左R 模，也可定义右R 模。
例如，设F 为域。考虑所有的F中n 元素组α＝(α1，α2，…，αn)，α1，α2，…，αn在F 中，并称为向量的集合Fn。定义
，X在F 中，则 Fn对加法及数乘组成一（左）F 模，通常称为F上n维向量空间或线性空间。设A为一环，同时又为一交换环K上的左K模，并设环A与模A 有同一的加法。若对A中任二元素α、b和K 中任意元素k有k(αb)=(kα)b=α(kb)，则A 称为交换环K上的（线性结合）代数。若A为除环，则称为可除代数。若A的乘法不适合结合律，则称为非结合代数。代数旧称超复数系。
例如，设F为域，考虑F上n阶矩阵A＝（αij）的集合Mn(F)，αij(i，j=1，2，…，n)在F 中。定义
，
，
，с在F中，则Mn(F)为F上（线性结合）代数，称为矩阵代数，当n>1时非交换。设L是一个非空集合，在L中定义两种二元素的运算∪（求并）和∩（求交），适合下列公理:
则称L为一个格。例如，考虑任意一集合S 的一切子集合所组成的集合，记为P(S)，定义任二子集合的求并为∪，求交为∩，则P(S)为一格。
在各类代数结构的研究中，同类中两个代数结构的同构及其推广的同态的概念是基本的。由于各类代数结构所牵涉到的一个给定集合的元素、和元素之间的运算(对于模和代数的数乘，说法要作一些小的修改)都是一般的，主要考虑的是两个元素与它们经过运算所得到的同一集合中的元素之间的关系，由此产生了同构和同态的概念。为了便于说明，首先考虑群，这时只有一个运算，两个元素间的运算符号略去不写。设g 和g′为两个群，若有一个由G到G′的一一映射ƒ，使（G中的）g→g′（在G′中）且对G 中任意α、b使α′b′=(αb)′，则ƒ 称为由G 到G′的同构，而G 称为同构于G′，记为G≌G′。若只假设ƒ 为一个由G 到G′的一般的多一映射，则ƒ称为由G 到G′的同态，而G 称为同态于G′，记为G～G′。考虑对G中给定α和H (G 的子群)中所有元素h 的集合｛αh｝和｛hα｝，称为G 对H 的左陪集αH 和右陪集Hα。特别，若对G中任意的α，αH=Hα，则H 称为G的一个正规子群，记为
。这时，G 对H 的所有陪集αH（=Hα）依照αH·bH =αbH 的乘法组成群，称为G 对H 的商群G/H ，且G～G/H。一般地，对任一代数结构的研究都可以包括这样一些问题：同构、同态、子结构、特殊子结构、商结构以至结构的合成与分解、自同构群等。例如，通常考虑一种特殊的子环即理想：一个环R 的子环M称为R 中理想，若对R 中任意r和M中任意m 都有rm和mr仍在M中。发展简史(包括泛代数、同调代数、范畴简介) 在欧洲，Algebra一词最初来源于9世纪阿拉伯数学家和天文学家花拉子米的重要著作的名称。原义是还原(al-jabr)与相消(almuquabalah)的科学，简称为algebra。清初输入中国时，译为阿尔热巴拉（梅瑴成，1761），后改译为代数学（李善兰，1835）。
中国古代在初等代数学方面，有光辉的成就。初等代数学中的正负数加减运算和求联立一次方程组与正系数的二次方程的数值解是中国古代数学家的发明创造，且早就见之于《九章算术》（成书不迟于公元 1世纪）和魏晋刘徽的《九章算术》注(263)。求正系数的三次方程的数值解，在唐初王孝通《缉古算经》(626)中已经出现。中国古代代数学在11～13世纪宋、元间达到了发展的高峰。作为例子，可以提出：①1247年秦九韶在《数书九章》中创造了高次多项式方程的一般数值解法，这种方法在原则上和所谓的鲁菲尼-霍纳方法(1804，1819)是一致的。同时代的李冶相互独立地在《测圆海镜》(1248)和《益古演段》(1259)中，根据应用问题的条件列出方程，称之为《天元术》，作出了重要贡献。②1261年杨辉在《详解九章算法纂类》中引用出自贾宪(约1050)的增乘开方法和二项式展开系数表，后者是世界上已知最早的这种表。③朱世杰1303年在《四元玉鉴》中，研究了始于宋沈括《梦溪笔谈》（1086年或稍后）中的高阶等差级数论和多元联立方程组与消去法（所谓四元术）。中国古代在代数学方面的工作，与实际应用问题紧密联系，着重数值计算，风格独特。虽已用天、地、人、物表示未知数，但没有发展为文字代数学。在漫长的一千多年的岁月里，中国与印度、阿拉伯国家、朝鲜、日本在数学（包括代数学）方面是有相互交流和影响的。
古代巴比伦、埃及、希腊、印度、阿拉伯等文明古国也对初等代数学的发展，作出了重要贡献。例如希腊丢番图的一次与二次不定方程的解法(250年左右)； 印度婆罗摩笈多（ 7世纪）和婆什迦罗第二（12世纪）的二次方程一般解，后者认识到负根的存在;阿拉伯的花拉子米的二次方程一般解法(允许无理数的存在)、奥马·海亚姆（12世纪）的三次方程的圆锥曲线求解法等。
至于文字表示法的引进和发展，通常归之于16和17世纪的法国数学家F.韦达和R.笛卡儿。从这时起，代数学就成为各种数量(用文字来代表)以至多项式的计算的理论。16世纪初，意大利数学家S.dal费罗、N.塔尔塔利亚、G.卡尔达诺、L.费拉里等先后成功地得到了三次和四次多项式方程的解的一般公式，在18世纪进一步使用了“复数”。典型的著作是L.欧拉的《代数学引论》(1770)。
到了18世纪以至19世纪初，由于实际应用和科学工作（包括辅助计算数字表）及理论发展的需要(例如，C.F.高斯在成功地解决谷神星的轨道的工作中，就计算了一个8次多项式方程的根)。高次多项式方程的解法（即根的计算和分布）的问题逐渐成为当时代数学的中心问题。很多数学家一起创造出多项式方程论，如对实系数多项式的P.鲁菲尼、W.G.霍纳和I.牛顿(1669)求实根的近似值的方法和格雷夫(1837)、H.И.罗巴切夫斯基(1834) 求复根的近似值的方法，限制或确定正根或负根、实根的个数的笛卡儿符号法则(1637)和斯图姆定理(1835)等结果。
18、19世纪之交，高斯对于复数及其运算的几何表示有深入的讨论，并证明了（事实上严格的证明一直到1920年才完成）代数基本定理，即任意一个复系数一元n次方程必定有一个复数根，从而也就恰有n个复数根(相同的根按重数计）。 用现代的术语说，复数域是一个代数封闭域。这时人们为了求解多项式方程而扩大数的范围的要求，就在一定程度上得到满足了。
也就是在这个时期，一些著名的数学家企图对五次以上的方程求出用系数通过一系列有理运算和开某些方根而得的结果，或简单说用根式表示根的公式，所作的大量努力，均徒劳无效。可是在J.-L.拉格朗日(1770)对二、三、四次方程的求根公式所作的分析中，也已孕育着正确解决这个问题所需的新概念──置换群和数域。继鲁菲尼(1813)之后，N.H.阿贝尔终于在1824～1826年间证明了五次以上的一般方程用根式求解的不可能性。他在工作中，实质上引进了在给定数域中不可约多项式的概念，即系数在域F 中的一元多项式不能表示成两个系数在F 中的次数较低的多项式的乘积。1832年，E.伽罗瓦更对于高次方程是否可以用根式求解的问题给出彻底的解答。他引进了置换群的正规子群和数域的扩域以及群的同构等概念，并证明了由方程的根的某些置换所构成的群(即方程的伽罗瓦群)的“可解性”（见有限群）是可以用根式求解的充分必要条件。由于一般n次方程的伽罗瓦群是对称群Sn，当且仅当n≤4时Sn为可解，因此一般五次以上方程不可能用根式求解（见伽罗瓦理论）。
E.伽罗瓦的遗稿是在1832年决斗致死前赶写而成的，J.刘维尔1846年才把它编辑出版。J.A.塞雷特在他1866年出版的《高等代数教程》第 3版中才对伽罗瓦的工作做了介绍。对于伽罗瓦理论的第一个全面而清晰的阐述，是C.若尔当在1870年的专著《置换和代数方程专论》中给出的。这本名著综合已有结果，得到新的重要结果，大大地推进了置换群论的研究的开展。若尔当深刻地研究了由Fn的一些可逆线性变换组成的线性变换群。他还引进了商群的概念，并证明了今天通称为若尔当-赫尔德定理的一部分。此外，他首先研究了无限群，后来，M.S.李、（C.）F.克莱因和（J.-）H.庞加莱，在微分方程论、几何学（埃尔朗根纲领）、自守函数论等的研究中，都依赖于无限变换群(连续或离散)、无限群的理论同时得到发展（见群）。至于抽象群的概念虽曾早在1854年为A.凯莱接触到，但只限于有限群。一直到19世纪80年代，抽象群的定义才得到通用。这里所说的由有限置换群的概念的产生到抽象群的定义的形成这一发展过程，正是最终引向建立抽象代数学的第一个根源。
第二，在数论一方面，首先在18、19世纪之交，在拉格朗日和高斯关于整系数二次型 αx2+2bxy+сy2的研究中，对判别式D=αd-bс取固定值的二次型，引进了在整数系数且行列式为1的二元变换下等价的概念，并阐明只有有限多个等价类。对于这些类引进它们的“复合”作为运算，这样就在实质上得到了一个有限交换群。其次，从高斯关于复数α+bi（α、b为有理数或整数）的研究开始，在德国数学家P.G.L.狄利克雷、E.E.库默尔、L.克罗内克、J.W.R.戴德金、D.希尔伯特等对代数数论的研究中，域、理想、模等概念被引入并起着重要的作用。由于研究费马大问题（见费马大定理），导致库默尔第一个提出理想数的概念，后来戴德金建立起理想的理论，用以完成通常整数惟一分解定理对代数整数（整数系数一元方程的（复数）根称为代数数，首项系数为1的改称为代数整数）的推广。戴德金还首先引进格的概念来研究理想。
第三，在线性代数和代数方面的工作，对于引向抽象代数学的建立起了很大的推动作用。早在1830～1850年间，就由英国数学家G.布尔在研究思维规律中建立起逻辑代数或布尔代数（一种特殊的格），W.R.哈密顿建立起向量代数、四元数非交换代数和一般代数，A.凯莱建立起矩阵代数和八元数非结合代数。还有德国数学家A.F.麦比乌斯和H.G.格拉斯曼关于向量代数、线性代数和外代数的工作。再在19、20世纪之交，更有英美德法许多数学家在这方面做了大量工作。如J.J.西尔维斯特、W.K.克利福德、B.皮尔斯和C.S.皮尔斯、L.E.迪克森、J.H.M.韦德伯恩、K.（T.W.）外尔斯特拉斯、戴德金、F.G.弗罗贝尼乌斯、T.莫利恩、E.N.拉盖尔、É.(-J.)嘉当等。作为重要成果，可以提出韦德伯恩在1907年关于一般线性结合代数的构造理论和É.嘉当1894年关于复数域上单纯李代数的完全分类工作。上面这些代数的元素对于乘法运算，有的不适合交换律，有的不适合结合律，有的有零因子（即α≠0，b≠0，而αb=0，矩阵代数就是这样），就大大地扩充了过去代数学进行运算的主要对象。如向量、四元数等更由于与力学、物理学的联系而得到发展。
可以说，从19世纪初起，抽象代数就在萌芽并进而成长。到了19世纪末叶，群以及紧相联系着的不变量的概念，在几何和分析上，在力学和理论物理上，都起了重大的影响。深刻地研究群以及其他相关的概念，如域、环、模、代数等，应用到代数学各部分，从许多分散出现的具体研究对象抽象出它们的共同特征来进行公理化的研究，这样就形成了抽象代数学的更进一步的演进，完成了以前相对于独立发展着的三个主要方面（群论、代数数论、线性代数以及代数）的综合，与差不多同时发展的数学公理化运动相互促进。对这一步统一的工作，近代德国学派起了主要的作用。由戴德金和希尔伯特于19世纪末叶工作开始，在H.韦伯的三卷巨著《代数教程》(Ⅰ，1894；Ⅱ，1896；Ⅲ，1891)的影响下，E.施泰尼茨于1911年发表的重要论文“域的代数理论”对于代数学抽象化工作贡献很大。自20世纪20年代起，以（A.）E.诺特和E.阿廷及她和他的同事、学生们为中心，抽象代数学的发展极为灿烂。在群论、域论、阿廷的形式实域理论(与O.施赖埃尔合作)、希尔伯特第17问题的解决、类域论、诺特(交换)环的理想理论、诺特的模论及应用（建立起有限群的表示理论与代数的构造理论之间的联系）、代数的理论到阿廷环的推广等方面，都有重要的成果。德国学派的H.哈塞、R.（D.）布饶尔、E.诺特与美国学派的A.A.阿尔伯特证明了一个主定理：代数数域上的中心单纯代数都是中心上的循环代数(1930～1931)。 它是这时期一个最突出的成就(见结合代数)。B.L.范·德·瓦尔登根据诺特和阿廷的讲稿于30年代初写成《近世代数学》，综合当时抽象代数学各方面的工作于一书，对于抽象代数学的传播和发展起了巨大的推动作用。自50年代第4版起，该书改称《代数学》。
综合上面概括地讲，抽象代数学就是以研究数字、文字和更一般元素的代数运算的规律和由这些运算适合的公理而定义的各种代数结构（群、环、域、模、代数、格等）的性质为其中心问题的。由于代数运算贯穿在任何数学理论和应用问题里，也由于代数结构及其元素的一般性，抽象代数学的研究在数学中是具有基本性的。它的方法和结果渗透到那一些与它相接近的各个不同的数学领域中，成为一些有新面貌和新内容的数学领域，如代数数论、代数几何、拓扑代数、李群和李代数以至代数拓扑学、泛函分析等。这样，抽象代数学就对于全部现代数学的发展有着显著的相互影响，并且对于一些其他的科学领域，如理论物理、结晶学等，也有重要的影响。
随着数学中各分支理论的发展和应用的需要，抽象代数学得到启发和促进而不断发展。20世纪30年代所谓抽象代数学的一些基本内容，现在已经成为每个现代数学工作者必备的理论知识，有的还是某些领域的科学技术工作者需要掌握的有力的数学方法。在1933～1938年间，经过G.伯克霍夫、J.冯·诺伊曼、Л.Β.坎托罗维奇、O.奥尔、M.H.斯通等人的工作，格论才确立在代数中以至在数学中的地位。而自20世纪40年代中叶起，作为线性代数的推广的模论得到进一步的发展和产生深刻的影响，泛代数、同调代数、范畴等新领域被建立和发展起来，它们都是在抽象代数学中起统一作用的概念，在它们的各自研究中人们能够从某一方面同时研究许多代数结构，甚至其他数学结构。
泛代数的思想作为各种代数结构的比较性研究，肇源于A.N.怀特海1898年的专著，但是直到在20世纪三四十年代才得到有深刻意义的结果（G.伯克霍夫、A.塔尔斯基、B.琼森等）。泛代数对数理逻辑尤其是模型论有重要应用，又以数理逻辑为它的重要研究工具。它的一个基本概念是所谓的Ω代数，即一些代数结构S，T，…等的集合配备着一些有限元运算 ω，…等的集合Ω，并有一些映射，如ƒ:S→T，保持Ω中运算ω，即ƒω=ωƒ。现在泛代数的某些内容可通过范畴的观点来处理。
同调代数于40年代被引入代数学，最先出现的群的上同调和同调是由代数拓扑学家W.赫维茨的问题(1936)的解决（H.霍普夫、H.弗勒登塔尔、B.埃克曼、S.艾伦伯格、S.麦克莱恩等）所引起的，并导致艾伦伯格和麦克莱恩于1945年定义了群的(系数在任意域中的)上同调群，同时G.赫希施尔德引进了结合代数的上同调群。J.L.科斯居尔和C.谢瓦莱、S.艾伦伯格发展了李代数的上同调理论。这些分别的理论于1956年为H.嘉当、艾伦伯格用范畴的语言统一起来。同调代数在数论和群论中，以至在代数几何学和代数拓扑学中都有重要的作用。
范畴的概念于 1945年在艾伦伯格-麦克莱恩引进同调代数的工作中产生。它的概念包括两个不同的成分:一类对象和一类它们之间的态射(如两个集合间的映射，两个群间的同态等)，而且这些态射可以结合起来又成为一个新态射，态射的结合适合结合律，有单位态射。范畴的定义把对象和态射放在同样的地位，与通常把着重点放在对象上的作法不同。范畴的语言和基础部分现在已渗透到数学的很多领域中，并在它们的一些深刻的新的发展中起到了重要的作用（例如代数几何学、代数拓扑学等）。
在上面这些新理论发生和发展的同时，由于电子技术的发展和电子计算机的广泛使用，代数学（包括泛代数和范畴这样的新领域）的一些成果和方法被直接应用到某些工程技术中去，如代数编码学、语言代数学和代数语义学(特别与计算机程序理论的联系)、代数自动机理论、系统学的代数理论等新的应用代数学的领域，也相继产生和发展。代数学又是离散性数学的重要组成部分，并对组合数学的蓬勃发展起着重要的作用。这些新的应用，促进了近世应用代数学的形成，包括半群、布尔代数、有限域等。
近年来各抽象代数结构的研究也取得一系列深入的和突破性的成果。如P.德利涅1973年证明的有限域上的黎曼-韦伊猜想，对于代数几何学和数论等学科都有重要的影响。1983年G.法尔廷斯用深入的代数几何的结果和方法，证明了费马大问题(xn+yn=zn，n≥4)只能有有限多个解。这是对费马大问题的最终解决的一个突破。另一个出色的成就是1981年初有限单群分类问题的完全解决。这些，都使抽象代数学的研究兴旺发达。
近代中国数学家首先在抽象代数学方面工作的是曾炯之。他曾受教于E.诺特。他的一个主要贡献是证明了：设Ω为代数封闭域，则Ω(x)上所有以Ω(x)为中心的可除代数只有Ω(x)自己(1933～1934)。1936年他引进了Ci域的概念（域F 称为Ci域，如对任意正整数d，任一系数在F 中的n元d次齐次多项式 ƒ(x1，x2，…，xn)， 若n>di，必在
中有一个非全零解）， 并证明了一个重要定理:若Ω为代数封闭域，则Ω(x1，x2，…，xn)为一 Ci域。惜已早逝，工作中断。这个定理在1951年为S.兰重新独立发现，现被称为曾-兰定理，而Ci称为曾层次。这个定理是大多数关于超越扩张的布饶尔群的研究的基础，而且对阿廷-施赖埃尔形式实域上二次型理论有重要应用。在近代中国，代数学的发展实始自华罗庚。从1938年秋起，他领导了一个抽象代数学讨论班，从有限群论开始，他和讨论班的其他参加者得到了一些有限群论的结果。自40年代初至50年代间，华罗庚在体论、矩阵几何、典型群三方面进行了系统而深入的研究，作出了重要的贡献。他运用（华）恒等式的技巧，证明了著名的(华)定理：体的半自同构必为自同构或反自同构(1949)，从而证明了特征不为 2的体上的一维射影空间的基本定理。他对矩阵几何的研究，从初期的域推广到体而更加完整。在体上的矩阵几何，是体上的代数几何学的开端。他运用独特的矩阵方法，在体或整数环上的典型群的自同构和构造的研究方面，特别是对较困难的低维情况，取得了优于其他已知方法的结果。由于他和在他影响下其他数学工作者在这方面取得的一系列结果，在国际上被称为中国学者的矩阵方法。还应指出，华罗庚在多元复变函数论方面的重要贡献，与群表示论有密切的联系。
周炜良在代数几何方面有重要贡献。(见代数几何)
中国代数学家还在群及其表示论、李群和李代数、环论和代数论、代数数论等方面取得了一些有意义和重要的结果。