1.2 理想：方程组的整理术

1.2 理想：方程组的整理术

「理想」（Ideal）这个名词听起来飘渺，来路却很务实：十九世纪的库默尔研究费马大定理时，发现数环里"素分解"会失灵，于是发明理想这一层结构来救场。本节用它干一件更朴素的事：给方程组发身份证。1.1 节末尾留了个烂摊子——平方、乘因子、添冗余方程，解集不变，方程组却五花八门。理想要做的，就是把所有"描述同一形状"的方程组收进同一个抽屉。

理想：交换环 R 的子集 I 称为一个理想，若它对加法封闭、对"乘进环中任意元素"封闭（即对任意 r 属于 R、i 属于 I，都有 r·i 属于 I）。由一组多项式 f₁,…,f_m 生成的理想记作 ⟨f₁,…,f_m⟩，即所有"系数取自环的线性组合"g₁f₁+…+g_mf_m 构成的集合。

定义为什么长这样

理想的封闭条件不是拍脑袋定的，它精确对应"方程的合法变形"。把 f 写进方程组，等价于允许以下两类操作：

1. 随便加减：f 与 g 同时为零，则 f+g 也为零——所以理想对加法封闭。
2. 随便乘：f 为零，则 x·f、y·f、(x+y)²·f 全为零——所以理想对"乘进任意环元素"封闭。

反过来说，从 f₁,…,f_m 出发做这两类操作能得到的所有方程，解集都和原方程组相同；而理想恰好就是把"所有能造出来的方程"打包后的结果。于是出现一个关键判定：两个方程组描述同一形状的代数原因，是它们生成同一个理想。

验证一个最小例子。方程组 {x+y=0, x−y=0} 与 {x=0, y=0}：

⟨x+y, x−y⟩ = ⟨x, y⟩

理由：(x+y)+(x−y)=2x，域特征不是 2 时可除以 2 得 x；同理得 y。所以左边理想包含 x 与 y，右边理想包含 x+y 与 x−y，两个理想互相包含，相等。零点集呢？都是原点。代数身份与几何形象对上了。

图：生成元不唯一，理想唯一

三件趁手工具：和、积、根

理想之间的运算，每一个都有方程组语言的翻译，先记对照表再逐个算：

和的例子最常用：V(I+J) = V(I) ∩ V(J)。把 1.1 节的圆与直线联立，代数上就是算 ⟨x²+y²−1⟩ + ⟨x⟩ = ⟨x²+y²−1, x⟩，化简（把 x=0 代进去）得 ⟨y²−1, x⟩，于是零点集是 (0,1) 与 (0,−1)——代数运算和几何直觉严丝合缝。

根的例子更精彩，它直接解释了 1.1 节"平方不改解集"的现象：

√⟨f²⟩ = ⟨f⟩

因为 f² 落在 ⟨f²⟩ 里，而 f 本身落不进去；但 (f²) 的零点与 f 的零点相同。推而广之，V(I) = V(√I) 永远成立——幂次在几何上不可见。手工算根理想的小练习：

• √⟨x²⟩ = ⟨x⟩（x 的幂进去了，把 x 捞出来）
• √⟨x², xy⟩ = ⟨x⟩ ∩ ⟨x², y⟩……直接观察：x² 与 xy 都被 x 整除，且 x² ∈ ⟨x⟩、xy ∈ ⟨x⟩，故 √I ⊇ ⟨x⟩；又 x ∉ I 但 x² ∈ I，所以 √I = ⟨x⟩。
• √⟨xy⟩ = ⟨x⟩ ∩ ⟨y⟩ = ⟨xy⟩ 本身（xy 无重复因子时已是根理想）。

第三行的 xy=0 马上要在 5.2 节当主角——两条坐标轴十字交叉，是"结点"的入门形态。

有限生成：希尔伯特基定理

还剩一个技术障碍要拆：理想可能由无穷多个多项式生成（无穷多方程！），那"理想=方程组的身份"就成了一句空话。希尔伯特在 1890 年前后证明的基定理拆掉了它：

希尔伯特基定理：若 R 是诺特环（每个理想都有限生成），则多项式环 R[x₁,…,xₙ] 也是诺特环。域 k 上，k[x₁,…,xₙ] 的任何理想都由有限多个多项式生成。

从此"无穷方程组"这个词作废：任何方程组都存在一个有限的等价代表队。这条定理是全册一切"算法化"的地基——4.2 节算次数、7.2 节跑格罗布纳基，第一步都靠它保证"有限个生成元"存在。

动手：用计算机系统一处理理想

现代计算代数系统把理想当一等公民。下面是 Singular 风格的会话，语法不重要，看流程——定义环、造理想、做运算：

// Singular 会话（概念演示）
> ring R = 0, (x,y), dp;        // 有理数系数、变元 x,y 的多项式环
> ideal I = (x+y)*(x-y), x^2;   // 生成元：x^2-y^2 与 x^2
> I;
ideal I =
x2-y2,
x2
> std(I);                        // 格罗布纳基：理想的"规范形"
_[1]=y2
_[2]=x2
> radical(I);                    // 根理想
_[1]=y
_[2]=x
​

读法：I 的生成元化简后其实是 ⟨x², y²⟩；它的根理想是 ⟨x, y⟩。几何翻译：V(I) 是"两个坐标轴方向都被压到零"的点集，即原点——x²=0 与 y²=0 都只在原点成立。注意 std(I) 输出的是格罗布纳基，一种让"成员判定、消元、求交"全部机械化的规范生成元组；它的原理与用法放在 7.2 节专讲，这里只需知道：**理想的身份，最终能落在一组算得动的生成元上**。

再算三个理想：速算与对账

理想运算的手感靠例题堆出来，这里补三笔，难度递增。第一笔：⟨x−1, y⟩ 的零点集是点 (1, 0)，它是极大理想的原型——任何"过点 (a,b) 的所有为零多项式"都生成 ⟨x−a, y−b⟩ 这类理想。1.3 节的零点定理会宣布：代数闭域上所有极大理想都长这样。

第二笔：⟨x²−y, y²−x⟩，两条抛物线互套。令两式相减：x²−y−(y²−x) = x²−y²+x−y = (x−y)(x+y+1)。于是公共解要么 x=y，代入得 x²−x=0，x 取 0 或 1，得 (0,0) 与 (1,1)；要么 x+y=−1，联立同法再得两点。几何上两条抛物线交四点，代数上理想 ⟨x²−y, y²−x, (x−y)(x+y+1)⟩ 的零点集是四个点。注意这题的解法路线：**理想里造新元素（做差、因式分解）来缩小零点集**——这正是"整理方程组"的含义，也是第 7 章格罗布纳基自动化做的事。

第三笔最颠覆直觉：⟨x²+y²⟩ 在实系数与复系数下身份不同。复数域上 x²+y²=(x+iy)(x−iy) 分解，零点集是两条相交直线；实数域上无法分解，零点集只有原点一点。同一个理想写法、不同系数域，几何翻译完全两样——字典的每一页都印着"限代数闭域"的水印，这是最后一次提醒，1.3 节见分晓。

易错点与本节位置

三个易错点。其一，理想不是子环的别名：子环只要求对乘法封闭，理想要求"乘进任意环元素"，条件强得多——k[x] 里由所有常数项为零的多项式构成的集合是理想，而整数集不是 k[x] 的理想。其二，⟨f,g⟩ 与 ⟨f+g⟩ 一般不相等，别把"合并方程"想当然。其三，积与交不同：⟨x⟩·⟨y⟩=⟨xy⟩，而 ⟨x⟩∩⟨y⟩=⟨xy⟩ 恰好相等纯属偶然，换成 ⟨x²,y⟩∩⟨x⟩=⟨x⟩ 就不一样了，初学阶段遇到交就老老实实按定义算。

本节承接 1.1 的现象、给方程组发下理想这张身份证；但"理想与零点集是否一一对应、哪些理想恰好来自几何"还悬着——这正是 1.3 节零点定理要盖章的事。学完下一节，代数与几何的双向字典才算正式开张。