38.ブッフバーガーのアルゴリズム
用語とかもう少し整理した方が良いのかもしれない。以下はその変更案。
生成の記号は、全体空間がほぼ自明なのでで書く。
のによる割り算アルゴリズムの余り(remainder)をのによる簡約(reduction)と呼ぶ。特にがグレブナー基底なら、適当な組による簡約をのによる簡約と呼ぶ。またをと書く。
-多項式と標準表示
多重指数に対し、と定める。
で定める。これはとの先頭項を打ち消し合うように「掛けて」揃えたものである。
例えばの-多項式は、のdeglex()では
となる。一方grevlexではが「降べき」の順だから、
となる。このように-多項式も項順序によって異なる。
次に多項式の標準表示を定義し、グレブナー基底の判定法を求めよう。
に対し、多項式のによる標準表示(standard representation)とは、 であってが成り立つものをいう。
つまり高次の項が打ち消し合うような表示は標準表示ではない。
定理 (標準表示による判定法) とする。が生成するイデアルに対し、以下は同値である。
(証明)がグレブナー基底なら、のによる簡約はゼロとなり、従っての標準表示を与える。
一方が標準表示を持てばと表せて、更にとなるが存在する。このときが成り立つので、つまりが成り立つ。この逆は明らかなのではのグレブナー基底である。
ブッフバーガーのアルゴリズム
BuchbergerはGrobnerの弟子であり、Grobner基底を初めて導入した偉い人。つまり師の名前を取って名付けたらしい。
定理 とする。が生成するイデアルに対し、以下は同値である。
以下の証明はHassettに依る。
(証明)以下と置く。をグレブナー基底とすれば、のによる簡約はゼロとなる。従ってと表せる。特にが成り立つ。ところでとすればの定義は最高次の項を打ち消し合って出来るのでが成り立つ。これはLCM表示である。
-多項式達が上記の表示を持つとする。先の定理より任意のがの標準表示を持つことを示せば良い。そこで
と置く。だから項順序の整列性よりが存在する。これが等号となることを示せば良い。を取る表示を取り、更にとなるの個数が最小の個となる表示を取る。を仮定する。の元を並び替えて、ならとしてよい。特によりとなることに注意する。さてとしよう。このとき
であり、が成り立つ。ここでより、は共にを割り切る。よってであり、と表せる。そこでと置き、上の式にを掛け、更ににを掛けたものを加えてについて解く。すると
と表せる。これをと置く。
まずであり、である。よってが成り立つ。同様にしてが分かる。またに対してはであり、に対してはも分かる。これはの最小性に反する。
以上で、与えられた生成元からグレブナー基底を構成する準備が整った。Buchbergerのアイディアは、生成元から得られる-多項式を加え続けることでグレブナー基底を得ようというものである。
定理 (Buchbergerのアルゴリズム) とする。をで生成されるイデアルとする。以下の手順は有限回で終了し、出力はのグレブナー基底となる。
- 入力はであり、出力はである。
- まずにを代入する。
- を考え、それをに加えたものをとする。
- 加えた多項式がないとき、つまりであればを出力する。そうでないときは上の操作を繰り返す。
(証明)-多項式達は何れもイデアルに属するから、定理より出力がのグレブナー基底となることは良い。のときであることを示そう。今、新たにが加わったとする。割り算アルゴリズムよりである。ところがよりである。もし真の増大列が存在すれば、はネーター環であるから上昇列は停留するはずなので矛盾する。
所感
-多項式の定義を掛け算のみで定義しようと思ったら最後の証明と合わなくなって意味が無くなった。なかなか簡潔に書けないものだなぁ。