第二章 · 环与理想

环论是连接群论和域论的桥梁。本章从带两种运算的代数结构出发，建立环、理想、商环和多项式环的完整理论。多项式环 $F[x]$ 的特殊地位在于：它是构造域扩张的基本工具——不可约多项式给出极大理想，极大理想给出域扩张，而域扩张正是 Galois 理论的舞台。

本章导航

节	主题	核心概念
§2.1	环的定义与基本性质	环、交换环、整环、零因子、单位群
§2.2	理想与商环	理想、主理想、商环、环同态基本定理
§2.3	多项式环	$R[x]$ 、带余除法、PID、UFD、Gauss 引理
§2.4	中国剩余定理	CRT、理想分解、幂等元

知识网络

环 (§2.1)
├── 理想 (§2.2)
│   ├── 商环 (§2.2)
│   ├── 极大理想 ──→ 域扩张 (§2.3, Ch3)
│   └── 素理想 ──→ 整环 (§2.2)
├── 多项式环 R[x] (§2.3)
│   ├── 带余除法 ──→ PID (§2.3)
│   ├── 不可约多项式 ──→ 极大理想 (§2.3)
│   ├── 唯一分解 (§2.3)
│   └── Gauss 引理 (§2.3)
└── 中国剩余定理 (§2.4)
    └── 理想分解 ──→ 直积分解 (§2.4)

与前后章的联系

• 从群到环：域的乘法群 $(F^{\ast },\cdot )$ 和加法群 $(F,+)$ 都是交换群，通过分配律联系（[定义]）。
• 从环到域：域是没有非零零因子的交换环，且每个非零元素都有逆。整环的分式域构造给出了从环到域的标准方法。
• 从环到 Galois 理论：不可约多项式 $f(x)\in F[x]$ 生成极大理想 $(f)$ ，从而 $F[x]/(f)$ 是一个域——这正是构造域扩张的基本方法，见 §3 域论基础 和 §5 分裂域。