1. 这门课到底在讲什么：从“补天”说起
“近世代数”这四个字，第一次听到的人多半会愣一下——比“高等代数”多了个“近世”，听起来像是某种历史分期。其实它更常见的名字是抽象代数，英文叫 Abstract Algebra。之所以叫“近世”，是相对于“古典”而言的：古典代数研究的是多项式方程怎么解、根怎么表示，而近世代数研究的是代数结构本身——群、环、域这些东西的普遍性质。
我在学期中段才真正意识到这门课的分量。前面几周讲群论的时候，我还觉得挺轻松，无非就是验证四条公理、算算置换的乘积。到了环和域的部分，概念开始密集轰炸：理想、商环、素理想、极大理想、唯一分解整环、欧几里得整环、域扩张、代数元、极小多项式、分裂域……每一个名词背后都是一整套定理体系，而且它们之间还互相勾连。你少听了一节课，下一节就可能完全跟不上。
所谓“补天”，是学生之间的黑话，意思是在期末前把一学期欠下的债集中还清。这个词用在这里特别贴切，因为近世代数的知识结构就像一张网——你漏掉一个洞，整张网就兜不住东西。补天不是简单地背公式，而是要把断裂的逻辑链接回去。
这篇文章面向的是正在学近世代数、或者即将面对期末考核的人。不管你之前是认真跟课还是全程摸鱼，只要你想在有限时间内把核心内容串起来、把典型题型拿下，下面的内容都能直接参考。我会按知识模块拆解，把每个概念的动机、定义、典型操作、常见考法讲清楚，再配上我实际复习时用过的记忆方法和踩过的坑。
需要说明的是，不同教材的章节顺序和符号约定会有差异。我参考的是国内高校常用的那套体系：群→环→域，先讲群论基础，再进入环与理想，最后是域扩张和伽罗瓦理论初步。如果你的课程顺序不同，按模块对照即可，核心内容是一致的。
2. 群论：一切结构的起点
2.1 群的定义与第一批例子
群的定义看起来简单：一个集合配上一种运算，满足封闭性、结合律、有单位元、每个元素有逆元。但考试不会只考你背定义，它会给你一个具体的集合和运算，让你判断是不是群。这时候容易翻车的地方在于运算的封闭性和逆元的存在性。
我总结了一个判断流程，实测下来很稳：
- 先看运算是否封闭——任意两个元素的运算结果是否还在集合里。这一步最容易出错，尤其是矩阵集合、函数集合这类。
- 验证结合律——大多数常见运算天然满足，但矩阵乘法、函数复合都满足，不用太担心。真正需要验证结合律的是那些自定义的运算。
- 找单位元——单位元必须也在集合里。比如正实数在乘法下，单位元是1，在集合里，没问题；但如果集合是大于1的实数，那就没有单位元，直接不是群。
- 验证每个元素都有逆元——逆元也必须在集合里。整数在加法下每个元素都有逆元（相反数），但在乘法下只有±1有逆元，所以整数在乘法下不构成群。
常见的群例子必须烂熟于心：整数加法群、有理数加法群、非零实数乘法群、n阶可逆矩阵的一般线性群、n次对称群、n次交错群、模n的剩余类加法群、模n的单位群。这些例子在后续讲同态、讲子群、讲商群的时候会反复出现，你如果对它们不熟，后面每一步都会卡。
注意：判断一个集合配运算是不是群，先检查单位元和逆元，这两条最容易出问题。封闭性和结合律反而通常是满足的。
2.2 子群、陪集与拉格朗日定理
子群的判定有一个常用捷径：如果H是G的非空子集，且对任意a,b∈H都有ab⁻¹∈H，那么H就是子群。这个判定定理比逐条验证四条公理快得多，考试时优先用这个。
陪集的概念是群论里第一个真正抽象的东西。左陪集aH的定义是{a*h | h∈H}，右陪集Ha类似。陪集不一定构成子群，但所有左陪集构成G的一个划分——每个元素恰好属于一个左陪集。这个划分性质是拉格朗日定理的基础。
拉格朗日定理说：有限群G的阶等于子群H的阶乘以H在G中的指数。换句话说，子群的阶整除群的阶。这个定理的推论非常常用：如果一个群的阶是素数，那它没有非平凡子群，因此是循环群。考试里经常给你一个阶为素数的群，让你证明它是循环群，用的就是这个推论。
但要注意，拉格朗日定理的逆命题不成立。也就是说，如果d整除|G|，不一定存在阶为d的子群。最小的反例是12阶交错群A₄，它没有6阶子群。这个反例经常出现在判断题里。
2.3 正规子群与商群
正规子群的定义是：对任意g∈G，都有gH=Hg。等价的说法是gHg⁻¹=H。正规子群的重要性在于，只有正规子群才能做商群。商群G/H的元素是陪集，运算是(aH)(bH)=abH。这个运算良定义的条件正是H正规。
判断正规子群有几个常用技巧：交换群的子群都正规；指数为2的子群一定正规；群的中心一定正规；同态的核一定是正规子群。这几个结论在证明题里反复用到。
商群的概念是后面同态基本定理的基础。同态基本定理说：如果φ:G→G‘是群同态，那么G/ker(φ)≅Im(φ)。这个定理把同态、核、像、商群串在一起，是群论部分最重要的定理之一。考试里证明两个群同构，很多时候就是构造一个同态，然后验证核和像。
2.4 循环群与置换群
循环群是最简单的群，由一个元素生成。循环群的结构完全清楚：无限循环群同构于整数加法群，有限n阶循环群同构于模n的剩余类加法群。循环群的子群也是循环群，而且对每个整除阶的d，恰好有一个d阶子群。
置换群是群论里最具体的例子。n次对称群Sₙ有n!个元素，每个元素可以写成轮换的乘积，而且这个分解在不计顺序的情况下唯一。轮换的阶等于轮换的长度，多个不相交轮换乘积的阶等于各轮换长度的最小公倍数。这个结论在计算元素阶的时候非常常用。
置换的奇偶性由它分解成对换的个数的奇偶性决定。偶置换构成交错群Aₙ，它是Sₙ的正规子群，指数为2。Aₙ在n≥5时是单群，这个结论是证明五次以上方程没有根式解的关键。
实操心得：置换的轮换分解一定要练熟。考试里给你一个置换，让你求它的阶、判断奇偶性、求它的逆，这些都是基本操作。我当初就是轮换分解练得不够，考试时在这上面丢了分。
3. 环与理想：从数到结构的飞跃
3.1 环的定义与典型例子
环是有两种运算的代数结构：加法和乘法。加法构成交换群，乘法满足结合律，乘法对加法满足分配律。如果乘法还满足交换律，就叫交换环；如果有乘法单位元，就叫含幺环。
环的例子比群更丰富：整数环、多项式环、矩阵环、模n的剩余类环、四元数环。每个例子都有不同的性质，考试里经常让你判断某个环是不是整环、是不是域、是不是欧几里得整环。
整环是交换含幺环，且没有零因子。零因子是指非零元素a,b使得ab=0。整数环是整环，模n的剩余类环是整环当且仅当n是素数。矩阵环不是整环，因为两个非零矩阵相乘可能得到零矩阵。
域是交换含幺环，且每个非零元素都有乘法逆元。域一定是整环，但整环不一定是域。整数环是整环但不是域，因为2没有乘法逆元。有理数环、实数环、复数环都是域。模p的剩余类环是域当且仅当p是素数。
3.2 理想与商环
理想是环论里对应正规子群的概念。加法子群I如果对任意r∈R，都有rI⊆I且Ir⊆I，就叫理想。交换环里左右理想是一样的，所以只需要验证rI⊆I。
理想的作用是构造商环。商环R/I的元素是陪集，运算是(a+I)+(b+I)=(a+b)+I，(a+I)(b+I)=ab+I。这个运算良定义的条件正是I是理想。
理想的类型有：主理想（由一个元素生成）、素理想、极大理想。素理想的定义是：如果ab∈P，则a∈P或b∈P。极大理想的定义是：不存在真包含P的理想。在交换含幺环里，极大理想一定是素理想，但素理想不一定是极大理想。
商环的性质和理想的性质对应：R/P是整环当且仅当P是素理想；R/M是域当且仅当M是极大理想。这两个对应关系是考试的重点，几乎每年都考。
3.3 唯一分解整环与欧几里得整环
唯一分解整环（UFD）是每个非零非单位元素都能唯一分解成不可约元素乘积的整环。整数环是UFD，多项式环在域上的也是UFD。
欧几里得整环（ED）是带有欧几里得函数的整环，可以做带余除法。欧几里得整环一定是主理想整环（PID），主理想整环一定是唯一分解整环。但反过来不成立：有PID不是ED的例子，也有UFD不是PID的例子。
这个链条是：ED ⇒ PID ⇒ UFD。考试里经常让你判断某个环属于哪一类，或者证明某个环不是PID。判断的关键是看它有没有非主理想。比如整数系数多项式环Z[x]不是PID，因为理想(2,x)不是主理想。
注意：UFD、PID、ED的包含关系是单向的，不要记反。ED最强，UFD最弱。证明一个环是UFD，通常先证明它是PID，或者直接用唯一分解的性质。
3.4 多项式环与不可约性判定
多项式环是环论里最重要的例子之一。域F上的多项式环F[x]是欧几里得整环，因此是PID和UFD。这意味着F[x]里的每个多项式都能唯一分解成不可约多项式的乘积。
判断多项式是否不可约有几个常用方法：一次多项式一定不可约；二次或三次多项式不可约当且仅当没有根；更高次的需要用艾森斯坦判别法或者模p约化。
艾森斯坦判别法说：如果存在素数p，使得最高次项系数不被p整除，其他系数都被p整除，常数项不被p²整除，那么多项式在有理数域上不可约。这个判别法用起来很方便，但要注意它只是充分条件，不是必要条件。
模p约化法是把整系数多项式模p约化，如果约化后的多项式在模p域上不可约，那么原多项式在有理数域上也不可约。这个方法在考试里经常用来处理艾森斯坦判别法用不了的情况。
4. 域扩张与伽罗瓦理论初步
4.1 域扩张的基本概念
域扩张是域论的核心内容。如果F是E的子域，就说E是F的扩张，记作E/F。E作为F上的向量空间的维数叫做扩张次数，记作[E:F]。如果[E:F]有限，就叫有限扩张。
代数元是满足某个F上多项式方程的E中元素。极小多项式是满足条件的次数最低的首一多项式。代数元的次数就是极小多项式的次数。如果E中每个元素都是F上的代数元，就叫代数扩张。
单扩张F(α)是由F和α生成的最小域。如果α是F上的代数元，那么F(α)≅F[x]/(p(x))，其中p(x)是α的极小多项式。这个同构是构造域扩张的基本工具。
分裂域是包含多项式所有根的域扩张。分裂域的存在性和唯一性（在同构意义下）是伽罗瓦理论的基础。考试里经常让你求某个多项式的分裂域和扩张次数。
4.2 伽罗瓦扩张与伽罗瓦群
伽罗瓦扩张是正规且可分的代数扩张。对于有限扩张，伽罗瓦扩张等价于扩张次数等于自同构群的阶。伽罗瓦群是E上保持F不动的自同构群，记作Gal(E/F)。
伽罗瓦理论基本定理建立了伽罗瓦扩张的中间域和伽罗瓦群的子群之间的一一对应。这个对应是反序的：较大的中间域对应较小的子群。正规子群对应正规扩张，商群对应子扩张的伽罗瓦群。
这个定理是近世代数最深刻的结果之一，它把域的问题转化为群的问题。考试里经常让你求某个多项式的伽罗瓦群，或者判断某个扩张是不是伽罗瓦扩张。
4.3 尺规作图与根式解
伽罗瓦理论的两个经典应用是尺规作图和根式解。尺规作图能做出的长度必须属于某个2的幂次扩张，因此三等分任意角、倍立方、化圆为方这三个古典问题都是不可能的。
根式解的问题是：多项式方程的根能不能用系数的根式表示？伽罗瓦的答案是：能当且仅当伽罗瓦群是可解群。五次以上的一般多项式方程没有根式解，因为Sₙ在n≥5时不是可解群。
这两个应用是伽罗瓦理论最漂亮的部分，也是考试里经常出现的证明题。你需要记住可解群的定义和基本性质，以及Sₙ在n≥5时不可解的证明思路。
实操心得：伽罗瓦理论是近世代数最难的部分，但考试里通常只考基本概念和简单计算。如果你时间不够，优先掌握伽罗瓦扩张的定义、伽罗瓦群的计算、基本定理的表述，以及尺规作图和根式解的基本结论。
5. 期末复习的实操路线图
5.1 时间分配与优先级
如果你只剩两周，我建议这样分配：第一周集中攻克群论和环论，第二周处理域论和伽罗瓦理论初步。群论和环论占考试分数的60%以上，而且它们是域论的基础，必须先搞定。
具体到每一天：前两天把群论的定义、例子、子群、陪集、拉格朗日定理过一遍；第三天到第四天搞正规子群、商群、同态基本定理；第五天到第六天处理环的定义、理想、商环；第七天到第八天搞UFD、PID、ED和多项式环；第九天到第十天看域扩张和伽罗瓦理论；最后几天做真题和查漏补缺。
这个安排的前提是你每天能投入4-6小时。如果时间更紧，就砍掉伽罗瓦理论的细节，只记基本结论。
5.2 核心题型与解题模板
近世代数的考试题型相对固定，我整理了几类高频题：
证明某集合构成群：按封闭性、结合律、单位元、逆元的顺序验证。优先用ab⁻¹∈H的判定定理。
求子群的阶和指数：用拉格朗日定理，注意指数等于群的阶除以子群的阶。
证明两个群同构：构造同态，验证核和像，用同态基本定理。
判断理想类型：先看是不是主理想，再看是不是素理想或极大理想。用商环的性质反推。
判断多项式不可约：先试有理根，再用艾森斯坦判别法，最后用模p约化。
求分裂域和扩张次数：先求极小多项式，再求分裂域，最后算维数。
求伽罗瓦群：先验证是伽罗瓦扩张，再求自同构群，注意自同构由根的置换决定。
这些题型覆盖了考试的大部分内容。你把每类题做5-10道，基本就能应付考试了。
5.3 常见错误与避坑指南
我在复习和考试中踩过不少坑，这里列几个最典型的：
混淆群的阶和元素的阶：群的阶是元素个数，元素的阶是使它等于单位元的最小正整数。拉格朗日定理说的是子群的阶整除群的阶，不是元素的阶整除群的阶（虽然元素的阶确实整除群的阶，但这是推论）。
忘记验证运算良定义：在商群和商环里，运算是在陪集上定义的，必须验证与代表元的选择无关。这一步在证明题里不能省。
把理想和子环搞混：理想一定是子环，但子环不一定是理想。理想对乘法有额外的吸收性质。
记反UFD、PID、ED的包含关系：ED ⇒ PID ⇒ UFD，不是反过来。证明一个环是UFD，不能只证明它是PID。
伽罗瓦对应记反方向：较大的中间域对应较小的子群。这个反序关系容易记混，做题时画个图辅助。
注意：考试时如果卡在一道题上超过10分钟，先跳过去做后面的。近世代数的题往往前后关联，后面的题可能给你前面的提示。
5.4 记忆技巧与理解方法
近世代数的概念多且抽象，死记硬背效率很低。我用的方法是用例子驱动理解：每学一个概念，先找一个具体的例子，然后看这个概念在这个例子里是什么样子。
比如学正规子群，先看交换群——所有子群都正规，再看S₃——A₃正规但其他子群不正规。学理想，先看整数环——理想就是(n)，再看多项式环——理想是(f(x))。学域扩张，先看Q(√2)/Q——扩张次数是2，伽罗瓦群是Z₂。
另一个方法是画关系图：把群、环、域的各种类型画成一张图，标出包含关系。比如群下面有交换群、循环群、置换群；环下面有整环、UFD、PID、ED、域。这张图贴在书桌前，每天看一遍，自然就记住了。
最后是做题驱动：近世代数的题不是靠看能看会的，必须动手做。我复习时把教材课后题做了三遍，第一遍全做，第二遍只做错题，第三遍只做标记的难题。三遍下来，基本题型就刻在脑子里了。
6. 考场上的实战策略
6.1 答题顺序与时间管理
拿到试卷后，先花两分钟浏览全卷，把题目分成三类：一眼就会的、需要想一想的、完全没思路的。然后按顺序做：先做一眼就会的，再做需要想一想的，最后攻完全没思路的。
近世代数的证明题往往有多个小问，前面的小问可能是后面的提示。即使你第一问不会，也可以假设第一问的结论去做第二问，有时候能拿到部分分。
时间分配上，一道10分的题不要超过15分钟。如果超时，先跳过，做完其他题再回来。我见过太多人在一道题上死磕，结果后面会做的题没时间做。
6.2 证明题的书写规范
近世代数的证明题要求逻辑严密，每一步都要有依据。我总结了一个书写模板：
- 明确要证明的结论。
- 写出用到的定义和已知定理。
- 逐步推导，每一步注明依据。
- 得出结论，验证是否满足题目要求。
比如证明一个子群是正规子群，标准写法是：任取g∈G和h∈H，证明ghg⁻¹∈H。或者证明gH=Hg。两种写法都可以，选你顺手的。
书写时注意符号的一致性。如果你用e表示单位元，就全文都用e，不要一会儿e一会儿1。如果你用Z表示整数环，就全文都用Z，不要一会儿Z一会儿Z。
6.3 遇到不会的题怎么办
近世代数的考试里，遇到不会的题很正常。这时候不要空着，能写多少写多少。即使你不会完整证明，也可以写出相关的定义和定理，有时候能拿到步骤分。
如果一道题完全没思路，试着从定义出发。把题目中涉及的概念的定义写出来，看看能不能推出什么。很多时候，定义本身就包含了证明的关键。
如果还是不行，试着举一个具体的例子。有时候例子能给你灵感，让你看出一般情况的证明思路。
实操心得：我考试时遇到一道证明UFD的题，完全没思路。后来我把UFD的定义写出来，然后试着用PID的性质去推，居然推出来了。所以千万不要空着，写定义也有分。
7. 补天之后的长期价值
近世代数这门课，很多人学的时候觉得抽象、没用，考完就忘。但如果你以后要学代数数论、代数几何、表示论、编码理论、密码学，近世代数是绕不过去的基础。群论在物理里的对称性分析、环论在编码理论里的应用、域论在密码学里的应用，都是实实在在的。
即使你不做这些方向，近世代数训练的是抽象思维和逻辑推理能力。它逼着你从具体例子中提取共性，用公理化的方式建立理论体系。这种能力在任何需要严密思考的领域都有用。
我补天的时候，一开始只是为了应付考试。但当我真正理解了群、环、域之间的内在联系，理解了伽罗瓦理论如何把域的问题转化为群的问题，我开始觉得这门课有意思了。那种从混乱中看出秩序的感觉，是其他课给不了的。
如果你现在还在补天的痛苦中，我想说：坚持住。把核心概念搞清楚，把典型题型练熟，考试一定能过。而且过了之后，你会发现自己的思维方式上了一个台阶。这个台阶，值得你花时间去爬。
最后分享一个我复习时用的小技巧：把每章的核心概念和定理写在一张A4纸上，用箭头标出它们之间的关系。一张纸就是一个知识模块，几张纸拼起来就是整门课。考前只看这几张纸，比翻教材快得多。这个方法我用了一个学期，从期中不及格到期末优秀，亲测有效。
