课程 · 资源记录
Algebra I
介绍群、子群、陪集、同态、商群、群作用与线性群，并以对称性连接抽象结构和具体计算。
为什么重要
用于核对 M14 群论部分的定义、同构定理、轨道稳定子关系、例题和练习条件。
阅读前提
教材中的引用位置
- M14 · 第 1 章 群、子群与循环结构
支持的主张：MIT OpenCourseWare 18.701 Algebra I 的群、子群和陪集材料可作为进一步演算来源。阅读外部材料时，应同时核对运算记号、左或右陪集约定以及有限性假设，避免把只对有限群成立的计数论证无条件推广。
- M14 · 第 2 章 群同态、商群与群作用
支持的主张：MIT OpenCourseWare 18.701 Algebra I 的同态、商群和群作用材料可用于补充证明与习题。核对外部推导时，应明确左或右作用约定、正规性假设、群与集合是否有限，以及计数是在带标签构型集合还是轨道集合中进行。
- M14 · 第 3 章 环、理想与商环
支持的主张：MIT 18.701 的环与同态内容支撑本章的核心判据：子集只有对环中任意元素乘法封闭时才是理想，环同态的核因此天然满足该条件，而商环乘法的良定义性也恰由理想保证。第一同构定理随后把原环模掉核与同态像联系起来；这些结论都按保持单位元的约定逐项核对。
- M14 · 第 4 章 域扩张、多项式与有限域
支持的主张：MIT 18.701 的群、环、域与多项式材料在本章支撑从整除到扩域的基础链条：域上多项式可以带余除法，Euclid 算法给出最大公因式与 Bézout 表示，不可约多项式生成的商结构才可能成为域。这些结果用于核验最小多项式和扩张次数的定义，同时明确它们不能直接搬到含零因子的任意系数环上。
- M14 · 第 5 章 模、线性表示与结构定理
支持的主张：MIT 18.701 在本章支撑“模是把向量空间的标量域推广为环”这一结构观点：加法群、标量作用和同态相容性给出模的定义，核与像导出商模和同构定理，线性表示则把群元素送到可逆线性算子。该基础解释了为什么域上的基理论不能原样用于一般环上的模，也说明 PID 条件在结构分解中不可省略。
- M14 · 第 6 章 群、环、域与 Galois 思想综合复习
支持的主张：MIT OpenCourseWare 18.701 Algebra I 的官方课程材料覆盖群、群作用与线性代数结构，可用于核对本章关于同态、商群、自同构和对称作用的先修内容。