S-多项式

若只看单个多项式，首项告诉我们哪些单项式能被它一步消去；两个多项式的首项重叠时，它们可能相互抵消，露出一个原先看不到的更小项。S-多项式选择首单项式的最小公倍数，恰好用最小的乘子制造这次抵消。使用更大的共同倍数也能消去，却只是在 S-多项式上再乘单项式，不会提供更原始的信息。

这个构造是多元 Euclidean 思想的关键修补。一元情形中首项次数全序，除法余式足以控制理想；多元情形中 $x^2$ 与 $xy$ 按整除关系不可比较，来自两条消去路径的冲突必须显式检查。S-pair 正是这种 critical pair：若每个冲突都能回到零，局部约简规则便对整个理想协调。

在 $K[x,y]$ 上取 lex 序 $x\succ y$，令

有 $\mathrm{LM}(f)=x^2$、$\mathrm{LM}(g)=xy$，最小公倍数为 $x^{2}y$，所以

新首项 $x$ 既不被 $x^2$ 整除，也不被 $xy$ 整除，因此对 $\{f,g\}$ 的余式就是它自己。这一非零余式证明原集合尚未控制理想的全部首项；把 $x-y^2$ 加入后，许多后续多项式立刻可以降次。

若两个首单项式互素，product criterion 说明其 S-多项式会对这两个多项式约简为零。例如 $f=x^2+y$、$g=y^2+1$ 的首单项式为 $x^2,y^2$，S-多项式是 $y^3-x^2$；先用 $f$ 消去 $x^2$ 得 $y^3+y$，再用 $g$ 消去便为零。这里“互素”说的是首单项式，不是多项式在环中互素。

首项约定错误会让整个计算失真。若把 LT 与 LM 混用而忘记除首系数，两个最高项可能只消去幂而没有消去系数；若中途改变单项式序，原先的最小公倍数与约简方向都不再匹配。数值近似系数上把很小的首系数舍为零，也会突然改变所有 S-pair，普通精确理论不提供稳定性保证。

Buchberger 算法公理库Buchberger 算法Buchberger algorithm · Buchberger's algorithm反复约简临界 S-pair 并扩张首单项式理想，直至得到给定单项式序下的 Gröbner 基。枚举基元素对，约简它们的 S-多项式，并把非零余式作为新基元素。Buchberger criterion 说，有限集合 $G$ 是 Gröbner 基，当且仅当每对 $g_i,g_j$ 的 S-多项式都能对 $G$ 约简到零。这个有限判据把“理想中无穷多个多项式的首项”压缩为有限 critical pairs。

F4 算法公理库F4 Gröbner 基算法F4 Gröbner basis algorithm · Faugère F4 algorithm以符号预处理收集一批临界对的约简子，并用稀疏 Macaulay 矩阵消元批量产生新首项。没有废弃 S-pair，而是一次选择一批 pair，通过 symbolic preprocessing 收集所需单项式倍数，再把共同消元交给稀疏矩阵。Buchberger 的 chain、product criteria 与后来的 signature criteria 都在减少不必真正处理的 pair；它们优化的是候选集合，不改变 S-多项式为何能发现首项冲突的代数理由。