Gröbner 基

普通生成集只保证理想中的多项式能写成生成元组合，却不保证沿首项做除法时能看见这份组合。Gröbner 基补齐所有潜在首项冲突，使“属于理想”变成一个方向确定的化简过程：不断消去当前首项，最后余式为零就属于理想，非零规范余式则给出不属于的证据。

可以把 ${\mathcal{L}}_{\prec }(I)$ 看成理想的组合骨架。它忘掉系数和低项，只保留哪些指数区域最终一定可被消去。单项式理想由有限个最小指数向量控制，因此无限理想获得有限可计算边界。不同单项式序像从不同方向照射同一几何对象，影子不同，却都足以恢复成员判定和相应的消元信息。

在 $K[x,y]$ 的 lex 序 $x\succ y$ 下，令

原生成集的首单项式是 $x^2,xy$，但两者的 S-多项式为 $x-y^2\in I$，其首单项式 $x$ 不被二者整除，所以原集合不是 Gröbner 基。继续消去得到

两式都在 $I$ 中：第一式来自上述 S-pair，第二式满足

反过来，原生成元可由 $G$ 表出，且唯一 S-pair 约简为零，因此 $G$ 是该顺序下的基。消元部分 $G\cap K[y]=\{y^3-1\}$ 先给出 $y$ 的可能值，再由 $x=y^2$ 回代。

边界之一是顺序依赖。换成 graded reverse lex，首项与 reduced basis 通常改变；“reduced basis 唯一”从来不是脱离顺序的绝对唯一。边界之二是系数域：在 $\mathbb{Z}[x_1,\dots ,x_n]$ 上首系数未必可逆，域上等价命题和 reduced uniqueness 需要改写。

Gröbner 基也不等于最小理想生成集。它可能为了控制首项加入许多代数上冗余的生成元，而且中间或最终次数可极高。成员判定一旦基已知通常直接，但计算基本身在最坏情况下可出现双指数级次数增长；存在有限算法不等于普遍高效。

Buchberger 算法公理库Buchberger 算法Buchberger algorithm · Buchberger's algorithm反复约简临界 S-pair 并扩张首单项式理想，直至得到给定单项式序下的 Gröbner 基。由任意有限生成集构造 Gröbner 基，F4公理库F4 Gröbner 基算法F4 Gröbner basis algorithm · Faugère F4 algorithm以符号预处理收集一批临界对的约简子，并用稀疏 Macaulay 矩阵消元批量产生新首项。则把一批多项式约简改写为稀疏矩阵消元。得到基后，理想成员判定、两个理想相等性、消元理想、仿射方程组求解和商环标准单项式基都转化为有限计算。

lex elimination 可把多元方程逐变量投影，但投影方程可能包含来自 Zariski 闭包或首项退化的额外信息，实际求解仍需回代与饱和等检查。零维理想下，不被首项理想包含的标准单项式数给出商代数维数，并可构造乘法矩阵；正维情形则产生无限标准单项式，需要 Hilbert 函数描述增长。Gröbner 基由此连接符号算法与代数几何，但不会自动替代根的数值求解或实解可行性判断。