∑

数学知识体系

Observatory Archive of Mathematics
⌕2026/8/31
知识要点 · 大学数学

抽象代数

数学专业 · 本科阶段

群、环、域三大代数结构，商结构与同态定理，伽罗瓦理论初步。

抽象代数是「代数结构」的科学：从群、环、域三大公理化结构出发，研究子结构、商结构与同态定理，最终以伽罗瓦理论收尾——用群的语言回答「五次方程为什么没有根式解」。它把中学以来积累的运算经验统一为结构观点，是现代数学各分支的公共语言。

§ 01

群论

群是「一个运算+四条公理」的结构。核心概念：子群、正规子群、商群、循环群、置换群。拉格朗日定理（子群阶整除群阶）、凯莱定理（任何群同构于置换群）与西罗定理（有限群结构分析的利器）是三大支柱；群同态基本定理 G/ker⁡φ≅im⁡φG/\ker\varphi\cong\operatorname{im}\varphi 贯通全书。
§ 02

环与理想

环是「两个运算」的结构：整环、域、理想、商环。整数环与多项式环是原型；唯一分解整环、主理想整环、欧几里得整环构成「从宽到严」的层次：欧几里得环 ⇒ 主理想环 ⇒ 唯一分解整环。理想对应群的「正规子群」角色，商环通过理想构造。
§ 03

域扩张

域的扩张研究 K⊃FK\supset F 时 KK 作为 FF 上线性空间的维数（扩张次数）。代数元与超越元、单扩张、有限扩张的次数公式 [K:F]=[K:E][E:F][K:F]=[K:E][E:F]；分裂域是使多项式完全分解的最小扩张域。
§ 04

伽罗瓦理论

伽罗瓦对应把域的中间域格与群的子群格一一对应：多项式 ff 的伽罗瓦群是分裂域的自同构群，ff 有根式解当且仅当其伽罗瓦群可解。五次一般方程的伽罗瓦群是 S5S_5（不可解），因而没有根式解——这是十九世纪最深刻的成就之一。

核心公式速查

同态基本定理G/ker⁡φ≅im⁡φG/\ker\varphi\cong\operatorname{im}\varphi
拉格朗日定理∣H∣∣∣G∣, [G:H]=∣G∣∣H∣|H|\mid |G|,\ [G:H]=\dfrac{|G|}{|H|}
次数公式[K:F]=[K:E] [E:F][K:F]=[K:E]\,[E:F]
伽罗瓦对应Gal⁡(E/F)=G⇔EG=F\operatorname{Gal}(E/F)=G\Leftrightarrow E^G=F

学习建议与易错点

  • 判定子群用「闭合+含逆元」，判定正规子群查「共轭封闭性」：gHg−1=HgHg^{-1}=H。
  • 同构定理的证明套路一致：定义映射 → 验证同态 → 说明满射 → 算核 → 用第一同构定理。
  • 环的理想类比群的正规子群：没有正规性就无法做商结构，这是商结构存在的充要条件。
  • 伽罗瓦理论先吃透「三次方程判别式与 A3A_3 对应」这个小例子，再推广到一般情形。