Gröbner基方法入门第II部分:Gröbner基和Buchberger算法

Gröbner基方法入门第II部分:Gröbner基和Buchberger算法

在之前的博客文章中我介绍了一些多项式代数的基本概念,在这篇文章中我们将介绍Gröbner基的基本理论和计算Gröbner基的Buchberger算法;

---

Gröbner基和Buchberger算法

Gröbner基的概念来源于B.Buchberger的博士论文.考虑最简单的情形,$\mathcal{K}$为域,$\mathcal{K}[\mathbf{x}]$是一元多项式环.$\mathcal{J}$为$\mathcal{K}[\mathbf{x}]$上的理想,理想$\mathcal{J}$中存在次数极小的多项式,因为$\mathcal{J}$中多项式的次数构成$N$(非负整数)的一个子集.设$A(x)\in \mathcal{J}$是次数极小多项式,则对任意$B(x)\in \mathcal{J}$,有$Q,R\in K[X]$,使得$B=QA+R$,其中$deg(R)<deg(A)$,必有$R=0$,否则与$A(x)$是次数极小的多项式矛盾.由上述分析可知,$\mathcal{J}=⟨A⟩$,即$A$是$\mathcal{J}$的理想基,$\mathcal{J}$中的任何多项式都可以被$A$约化到$0$,具有这种性质的理想基称为Gröbner基.

Gröbner基

• $△$定义2.1:
  多项式组 $\mathbb{G}\subset \mathcal{K}[\mathbf{x}]$ 称为给定项序 $<$ 下的Gröbner基,简称为Gröbner基,如果范式nform$(G,\mathbb{G})$对所有 $G\in \mathcal{K}[\mathbf{x}]$ 都是惟一的.
  称$\mathbb{G}$为多项式组$\mathbb{P}\subset \mathcal{K}[\mathbf{x}]$或理想$⟨\mathbb{P}⟩$的Gröbner基,如果$\mathbb{G}$是Gröbner基,且 $⟨\mathbb{P}⟩=⟨\mathbb{G}⟩$;

利用上一部分提到的Dickson引理我们可以证明如下的Hilbert 基定理,并进而证明理想的升链条件;

• $♡$定理2.2(Hilbert 基定理):
  每个多项式理想$\mathcal{J}\subseteq \mathcal{K}[\mathbf{x}]$ 都是有限生成的,即存在 $H_1,\cdots ,H_s\in \mathcal{J}$,使得 $\mathcal{J}=⟨H_1,\cdots ,H_s⟩$;

下面的理想的升链条件常用于证明算法的终止性;

• $♡$定理2.3(理想的升链条件):
  设 ${\mathcal{J}}_1\subset {\mathcal{J}}_2\subset \cdots \subseteq \mathcal{K}[x]$ 为理想升链,则存在正整数 $N$,使得对任意 $i>N$ 都有${\mathcal{J}}_i={\mathcal{J}}_N$(即不存在无限递增的理想升链);

• $♡$定理2.4:
  给定项序,下列条件是等价的:

i) $\mathbb{G}$是 $\mathcal{K}[\mathbf{x}]$ 中的 Gröbner 基;
ii) 对任意非零多项式 $F\in ⟨\mathbb{G}⟩$,nform $(F,\mathbb{G})=0$
iii) 对 $\mathcal{K}[\mathbf{x}]$ 中的所有多项式 $F_1$ 和 $F_2$:

$$F_1-F_2\in ⟨\mathbb{G}⟩⟺\mathrm{nform}(F_1,\mathbb{G})=\mathrm{nform}(F_2,\mathbb{G})$$

iv) 每个非零多项式 $F\in ⟨\mathbb{G}⟩$ 对 $\mathbb{G}$ 都是可约的
v) 对每个非零多项式 $F\in ⟨\mathbb{G}⟩$,存在多项式 $G\in \mathbb{G}$ 使 $\mathrm{lt}(G)\mid \mathrm{lt}(F)$
vi) 对所有多项式 $F\in \mathcal{K}[\mathbf{x}]$,

$F\in ⟨\mathbb{G}⟩⟺F={\sum }_{G\in \mathbb{G}}{H}_{G}G$, 而 $\mathrm{lt}(F)={\max }_{G\in \mathbb{G}}\mathrm{lt}\left(H_G\right)\cdot \mathrm{lt}(G)$

vii) ⟨ { l t ( G ) ∣ G ∈ G } ⟩ = ⟨ { lt ⁡ ( F ) ∣ F ∈ ⟨ G ⟩ } ⟩ \langle\{\mathrm{lt}(G) \mid G \in \mathbb{G}\}\rangle=\langle\{\operatorname{lt}(F) \mid F \in\langle\mathbb{G}\rangle\}\rangle ⟨{lt(G)∣G∈G}⟩=⟨{lt(F)∣F∈⟨G⟩}⟩

我们将 $x_1,\cdots ,x_i$ 简记为 $x_i$.Gröbner 基的下述消元性质有若干应用.

• $♡$定理2.5:
  设 G 为 $\mathcal{K}[\mathbf{x}]$ 中关于变元序 $x_1\prec \cdots \prec x_n$ 所确定的纯字典项序的Gröbner基,那么对任意$1⩽i⩽n$都有

$$⟨\mathbb{G}⟩\cap \mathcal{K}\left[{\mathbf{x}}_i\right]=⟨\mathbb{G}\cap \mathcal{K}\left[{\mathbf{x}}_i\right]⟩$$

式中右边的理想是在 $\mathcal{K}\left[{\mathbf{x}}_i\right]$ 中生成的.

Buchberger算法

对于计算Gröbner基,可以用Buchberger算法:

• $△$定义2.6:
  $\mathcal{K}[x]$ 中两个非零多项式 $F$和$G$ 的S多项式定义为

$$\mathrm{spol}(F,G):=\mathrm{lc}(G)\cdot \mu \cdot F-\mathrm{lc}(F)\cdot \nu \cdot G$$

式中 $\mu$ 和 $\nu$ 是使得 $\mathrm{lt}(F)\cdot \mu =\mathrm{lt}(G)\cdot \nu =\mathrm{lcm}(\mathrm{lt}(F),\mathrm{lt}(G))$ 成立的项.

• $\star$例2.7:
  对例1.10中的多项式$P_1$和 $P_2$,我们有:

$$\begin{array}{rl}\mathrm{spol}\left(P_1,P_2\right)& =\mathrm{lc}\left(P_2\right)\cdot {\mu }_1\cdot P_1-\mathrm{lc}\left(P_1\right)\cdot {\mu }_2\cdot P_2\\ & =2x_1{x}_3{x}_4+2x_3{x}_4-5x_1^2{x}_2{x}_4-2x_1{x}_2{x}_4+5x_1^2{x}_2{x}_3\end{array}$$

其中 ${\mu }_1=x_4,{\mu }_2=x_1$;

• $♡$定理2.8:
  多项式组$G\subset \mathcal{K}[x]$是Gröbner基当且仅当:
  nform $(\mathrm{spol}(F,G),\mathbb{G})=0$ 对所有 $F,G\in \mathbb{G}$ 成立.

定理2.8给出了 Gröbner 基的一个算法特征:多项式组$\mathbb{P}$是否为Gröbner基可以通过考虑有限多对$\mathbb{P}$中的多项式的S多项式来加以检验. 基干定理2.8我们可以将Buchberger算法描述如下.

• $\square$算法2.9(GroBas):
  $\mathbb{G}:=\mathrm{GroBas}(\mathbb{P}$). 任给非空有限多项式组$P\subset \mathcal{K}[\mathbf{x}]$, 本算法计算$\mathbb{P}$的Gröbner基$\mathbb{G}$.
  G1. 命 G : = P , Θ : = { { F , G } ∣ F ≠ G , F , G ∈ P } \mathbb{G}:=\mathbb{P}, \Theta:=\{\{F, G\} \mid F \neq G, F, G \in \mathbb{P}\} G:=P,Θ:={{F,G}∣F​=G,F,G∈P}
  G2. 重复下列步骤直至 $\Theta =\varnothing :$
  G2.1. 设 { F , G } \{F, G\} {F,G} 为 $\Theta$ 中的元素,且命 Θ : = Θ \ { { F , G } } \Theta:=\Theta \backslash\{\{F, G\}\} Θ:=Θ\{{F,G}}
  G2.2. 计算 $R:=\mathrm{nform}(\mathrm{spol}(F,G),\mathbb{G})$
  G2.3. 若 $R\ne 0$,则命

Θ : = Θ ∪ { { R , G } ∣ G ∈ G } , G : = G ∪ { R } \Theta:=\Theta \cup\{\{R, G\} \mid G \in \mathbb{G}\}, \mathbb{G}:=\mathbb{G} \cup\{R\} Θ:=Θ∪{{R,G}∣G∈G},G:=G∪{R}

• $\star$例2.10:
  考虑环$k[x,y]$具有grlex项序,并且令$I=⟨f_1,f_2⟩=$ $\left(x^3-2xy,x^{2}y-2y^2+x\right)$. 可以断言 { f 1 , f 2 } \left\{f_{1}, f_{2}\right\} {f1​,f2​}并非$I$的Gröbner基,这是由于$\mathrm{LT}\left(S\left(f_1,f_2\right)\right)=-x^2\notin ⟨\mathrm{LT}\left(f_1\right),\mathrm{LT}\left(f_2\right)⟩$;

对给定的多项式组$\mathbb{P}$, 其 Gröbner 基不是惟一的. 譬如,对任意$F\in ⟨\mathbb{G}⟩$, 如果$\mathbb{G}$是 Gröbner 基，那么 G ∪ { F } \mathbb{G} \cup\{F\} G∪{F}也是Gröbner 基. 算法 GroBas 的输出通常太大,它包含很多冗余的多项式.

另一方面,Gröbner基的性质说明,重要的是它的首项理想.所有满足 $⟨\mathrm{lt}(⟨\mathbb{P}⟩)⟩=⟨\mathrm{l}\mathrm{t}(\mathbb{G})⟩$的$\mathbb{G}$都是$\mathbb{P}$的Gröbner基.对${\mathbf{x}}^{\alpha }\in \mathrm{lt}(\mathbb{G}),⟨\mathbb{P}⟩$ 中首项是${\mathbf{x}}^{\alpha }$的多项式可以有很多,不同的选择也可以导致不同的Gröbner基;

所以我们引进了约化Grobner基,来保证给定的多项式组可以求得其唯一的约化Gröbner基.

• $△$定义2.11:
  称 Gröbner基$\mathbb{G}$为约化Gröbner基,如果每个多项式$G\in \mathbb{G}$都是首一的,且对 G / { G } \mathbb{G}/ \{G\} G/{G}是约化的.

• $♡$定理2.12:
  设 $\mathcal{J}$ 为 $\mathcal{K}[\mathbf{x}]$ 中的理想. 对给定项序,$\mathcal{J}$有惟一的约化Gröbner基.

我们可以将约化Buchberger算法描述如下.

• $\square$算法2.13(RedGroBas):
  ${\mathbb{G}}^{\ast }:=\mathrm{RedGroBas}(\mathbb{G})$.给定 Gröbner 基 $\mathbb{G}\subset \mathcal{K}[\mathbf{x}]$,
  本算法计算$\mathbb{G}$的约化Gröbner基${\mathbb{G}}^{\ast }$.
  R1. 命 $\mathbb{P}:=\mathbb{G},{\mathbb{G}}^{\ast }:=\varnothing$
  R2. 重复下列步骤直至 $\mathbb{P}=\varnothing$ :
  R2.1. 选取多项式 $G\in \mathbb{P},$ 且命 P : = P \ { G } . \mathbb{P}:=\mathbb{P} \backslash\{G\} . P:=P\{G}.
  R2.2. 若 $\mathrm{lt}(P)\nmid \mathrm{lt}(G)$ 对所有 $P\in \mathbb{P}\cup {\mathbb{G}}^{\ast }$ 成立, 则命 G ∗ : = G ∗ ∪ { G } . \mathbb{G}^{*}:=\mathbb{G}^{*} \cup\{G\} . G∗:=G∗∪{G}.
  R3. 重复下列步骤直至${\mathbb{G}}^{\ast }$约化 :
  R3.1. 选取对 G ∗ \ { G } \mathbb{G}^{*} \backslash\{G\} G∗\{G} 可约的$G\in {\mathbb{G}}^{\ast }$,且命 G ∗ : = G ∗ \ { G } \mathbb{G}^{*}:=\mathbb{G}^{*} \backslash\{G\} G∗:=G∗\{G}.
  R3.2. 计算 $R:=$ nform $\left(G,{\mathbb{G}}^{\ast }\right)$.若 $R\ne 0,$ 则命 G ∗ : = G ∗ ∪ { R } \mathbb{G}^{*}:=\mathbb{G}^{*} \cup\{R\} G∗:=G∗∪{R}
  R4. 命 G ∗ : = { G / lc ⁡ ( G ) ∣ G ∈ G ∗ } \mathbb{G}^{*}:=\left\{G / \operatorname{lc}(G) \mid G \in \mathbb{G}^{*}\right\} G∗:={G/lc(G)∣G∈G∗}.

• $\star$例2.14:
  仍然考虑例2.10中的设定,那么计算得到:
  Gröbner基: { f 1 , f 2 , f 3 , f 4 , f 5 } = { x 3 − 2 x y , x 2 y − 2 y 2 + x , − x 2 , − 2 x y , − 2 y 2 + x } \left\{f_{1}, f_{2}, f_{3}, f_{4}, f_{5}\right\}=\left\{x^{3}-2 x y, x^{2} y-2 y^{2}+x,-x^{2},-2 x y,-2 y^{2}+x\right\} {f1​,f2​,f3​,f4​,f5​}={x3−2xy,x2y−2y2+x,−x2,−2xy,−2y2+x};
  约化的Gröbner基:$\left\{x^2,xy,y^2-\frac{x}{2}\right\}$;

(本节完)

---

A Tutorial on Gröbner Bases With Applications in Signals and Systems
<<多项式代数>>王东明/牟晨琪(2011)ISBN: 9787040316988
Ideals, Varieties, and Algorithms (4th ed.) [Cox, Little & O’Shea 2015-06-14]
介绍一下Grobner基的概念和应用？谢谢[知乎问题回答:来自"匿名用户"]