Buchberger-Algorithmus

Der Buchberger-Algorithmus (nach Bruno Buchberger) ist in der Algebra ein Verfahren zur Berechnung einer Gröbnerbasis eines Ideals in einem Polynomring.

Durch die Möglichkeit, Gröbnerbasen algorithmisch zu bestimmen, sind viele damit lösbare Probleme von Computeralgebrasystemen lösbar, etwa das Idealzugehörigkeitsproblem oder das Lösen bestimmter nicht-linearer Gleichungssysteme (als Beschreibung einer affinen Varietät).

Das Buchberger-Kriterium

Sei

• $K$ ein Körper, und ${\mathcal {P}}=K[X_{1},\ldots ,X_{n}]$ der zugehörige Polynomring in $n$ Symbolen,
• $I\subseteq {\mathcal {P}}$ ein Ideal,
• eine Monomordnung „$\prec$“ auf ${\mathcal {P}}$ gegeben,
• die verallgemeinerte Polynomdivision mit mehreren teilenden Polynomen definiert.

Ferner sei für je zwei Polynome $f,g\in {\mathcal {P}}\setminus \{0\}$

$S(f,g)={\frac {\operatorname {kgV} (\operatorname {LT} (f),\operatorname {LT} (g))}{\operatorname {LT} (f)}}f-{\frac {\operatorname {kgV} (\operatorname {LT} (f),\operatorname {LT} (g))}{\operatorname {LT} (g)}}g$

erklärt, wobei $\operatorname {LT} (f)$ den Leitterm eines Polynoms $f$ bezeichne, also das bezüglich der Monomordnung $\prec$ größte Monom zusammen mit seinem Koeffizienten.

Das Buchbergerkriterium sagt dann, dass ein Erzeugendensystem $H=(h_{1},\dots ,h_{k})$ von $I$ genau dann eine Gröbnerbasis ist, wenn alle $S(h_{i},h_{j})$ bei (verallgemeinerter Polynom-) Division durch $H$ den Rest $0$ liefern.

Der Algorithmus

Der Buchberger-Algorithmus lässt sich dann wie folgt formulieren.

Die Idee ist, dass nach und nach alle $S(h_{i},h_{j})$ gebildet werden (für sämtliche Paare von verschiedenen Erzeugern $h_{i}$ und $h_{j}$) und die von $0$ verschiedenen Reste zum Erzeugendensystem hinzugefügt werden. Mit dem so erweiterten Erzeugendensystem wird das Verfahren so lange wiederholt, bis schließlich alle $S(h_{i},h_{j})$ verschwinden; damit ist das Buchberger-Kriterium erfüllt.

 INPUT: $H=(h_{1},\dots ,h_{s})$
 OUTPUT: Gröbnerbasis $G=(g_{1},\dots ,g_{t})$
 INIT: $G:=H$
 1. DO
 2.     $G':=G$
 3.     FOREACH $p,q\in G',p\neq q$
 4.         $s=Rest(S(p,q),G)$
 5.         IF $s\neq 0$ THEN $G:=G\cup \{s\}$
 6.     NEXT
 7. UNTIL $G=G'$

Da in jedem Durchlauf der inneren Schleife $s\in I$ gilt, ist auch $\langle G\cup \{s\}\rangle =\langle G\rangle =I$, man erhält also am Ende wirklich ein Erzeugendensystem von $I$ (und nicht etwa von einem größeren Ideal). Dass dieses Erzeugendensystem eine Gröbnerbasis ist, folgt dann aus dem Buchberger-Kriterium. Beachte: $s\in I\Rightarrow s=0$ gilt genau dann, wenn durch eine Gröbnerbasis dividiert wird.

Wenn nach dem $j$-ten Durchlauf der äußeren Schleife $I_{j}$ das Ideal ist, das von den Leitmonomen von $G_{j}$ erzeugt wird, so erhalten wir eine Kette $I_{1}\subseteq I_{2}\subseteq \dots \subseteq I$ von Idealen. Da eine Kette von Idealen in ${\mathcal {P}}$ nicht endlos (echt) aufsteigen kann (eine einfache Folgerung aus dem Hilbertschen Basissatz) muss diese Kette schließlich konstant bleiben. Das heißt aber, dass ab dann keine neuen Leitmonome mehr zu $G$ hinzugefügt werden; der Algorithmus terminiert somit an dieser Stelle, d. h. nach endlich vielen Schritten.

Beispiel

Die Gröbnerbasis, die der Algorithmus liefert, wird schnell sehr groß und damit unübersichtlich; außerdem ist auch das Auswerten der Polynomdivisionen recht aufwändig. Daher soll der Algorithmus hier nur für ein sehr kleines und einfaches Beispiel vorgeführt werden: Gegeben seien $h_{1}=X$ und $h_{2}=X^{2}+1$ im $\mathbb {R} [X]$.

Durchlauf der Äußeren Schleife	$G$	$p$	$q$	$s=S(p,q)$	$Rest$
Erster: ein Paar zu prüfen	$(X,X^{2}+1)$	$X$	$X^{2}+1$	${\frac {X^{2}}{X}}X-{\frac {X^{2}}{X^{2}}}(X^{2}+1)=-1$	$-1$
Zweiter: drei Paare zu prüfen	$(X,X^{2}+1,-1)$	$X$	$X^{2}+1$	${\frac {X^{2}}{X}}X-{\frac {X^{2}}{X^{2}}}(X^{2}+1)=-1$	$0$
		$X$	$-1$	${\frac {X}{X}}X-{\frac {X}{-1}}(-1)=0$	$0$
		$X^{2}+1$	$-1$	${\frac {X^{2}}{X^{2}}}(X^{2}+1)-{\frac {X^{2}}{-1}}(-1)=1$	$0$

Somit ist das Buchberger-Kriterium schon erfüllt, nachdem $-1$ als Erzeuger hinzugenommen wurde und der Algorithmus bricht ab, da im zweiten Durchlauf der Schleife kein neuer Erzeuger zu $G$ hinzugefügt wurde.

Siehe auch

• Verfahren nach Quine und McCluskey

Literatur

• David A. Cox, John B. Little, Donal O’Shea: Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra (= Undergraduate Texts in Mathematics). 3. Auflage. Springer, New York 2007, ISBN 978-0-387-35650-1, 2.7. Buchberger's Algorithm.