36.多項式環のグレブナー基底
少し話題を変えて多項式環の計算理論をやっておく。PDFにするときは別の章にするかもしれない。
項順序と割り算アルゴリズム
以前、一変数多項式環の整除について学んだ。これと同じことを多変数の多項式についても考えたいのだが、一変数の場合と異なり多項式の次数は自然に定まらない。項順序とは割り算を上手く機能させるために導入する順序であり、この下で多項式の整除を定めることができる。
以下は体とする。変数の多項式環はと略記する。に対し、と略記し、の形をした多項式を項(term)と呼ぶ。特にのとき、の形をした項を単項式(monomial term)と呼ぶ。または多重指数(multi-index)と呼ばれ、をその絶対値、をその階乗などと呼ぶ。一般にゼロでない多項式は、幾つかの項の和で表されるが、これらの項を多項式の項成分と呼ぶ。
多重指数に対する順序関係が項順序(term order)であるとは、以下の三条件を満たすことをいう。
- に対しての何れかが成り立つ。(全順序性)
- ならが成り立つ。(加法性)
- が空でないとき、に最小元が存在する。(整列性)
項順序は目的に応じて色々変えるのが普通だが、基本的には次の三種類の何れかを用いる。
辞書式順序(lexicographic order, lex) であることを、で定める。
次数付き辞書式順序(graded lexicographic order, grlex) であることを、、もしくはかつで定める。
次数付き逆辞書式順序(graded reverse lexicographic order, grevlex) であることを、、もしくはかつで定める。(順序の向きに注意)
上から簡単に説明すると、lexでは前が小さければ小さい。grlexではまず絶対値を比較し、その後lexで比較する。grevlexもまず絶対値で比較するが、後ろが大きければ小さい。
項順序が与えられているとき、ゼロでない多項式に対し次を定める。まず項順序で最大の項成分をで表し、先頭項(leading term)と呼ぶ。先頭項の係数(leading coefficient)はで表し、先頭項の係数をイチとしたもの(leading monomial)をで表す。更にのときをの次数(degree)と呼ぶ。
定理(割り算アルゴリズム) 項順序が与えられた多項式環を考える。多項式及びに対して、次を満たす多項式及びは一意的に定まる。(正確には順序付きのに対して一意に定まる。)
- が成り立つ。
- のとき、任意のに対してはの項成分を割り切らない。
- のとき、をの項成分とすると、任意のに対してはを割り切らない。
- のとき、が成り立つ。特にならの最大がに一致する。
(証明)以下のアルゴリズムで実行する。
- 入力はであり、出力はである。
- まず及びにゼロを代入し、にを代入する。
- (A) もしなら終了する。
- そうでないなら、がを割り切るようなを考え、その全体をとする。
- もしが空ならにを代入し、にを代入し(A)に戻る。
- 空でないなら、としてにを代入し、にを代入し(A)に戻る。
この操作では、とならない限りの次数は真に減少していく。もしアルゴリズムが止まらないとすれば、を考えれば整列性より最小元が存在するため矛盾する。従ってこの操作は有限回で停止する。
とする。の辞書式順序で割り算を実行してみよう。である。以下に途中計算を挙げる。
故にとなる。
項イデアルとグレブナー基底
項イデアル(term ideal)あるいは単項式イデアルとは、単項式から成る生成系を持つイデアルのことを指す。即ちが存在してと表せるイデアルのことを意味する。これを簡単になどと表す。
命題 を項イデアル、を多重指数とする。以下は同値となる。
- である。
- あるが存在してが成り立つ。
(証明)とする。あるが存在してと表せる。ここでと置くと、が成り立つ。故にあるが存在してとなるのでとなる。下から上は明らか。
命題 を項イデアル、とする。以下は同値となる。
- である。
- ならが成り立つ。
(証明)とする。先ほどと同様にと表せる。ならとなるが存在するのでより上の命題からが成り立つ。下から上は明らか。
補題 (ディクソンの補題) を項イデアルとする。このときあるが存在してが成り立つ。
(証明)既にがネーター環であることは示してあるのでは有限生成となる。そこでをその生成元とすれば、と有限個のを用いて表せる。はにより生成されるので、題意を満たす。
因みに直接この補題を示すこともできる。
さて、集合に対し、と置く。も同様に定義する。
先頭項イデアル(leading term ideal)とはのイデアルに対し、で生成されるイデアルのことを指す。
は体なので、一般にが成り立つことに注意する。またイデアルに対しが成り立つ。
定義 をイデアルとする。がのグレブナー基底(Grbner basis)であるとは、
を満たすことをいう。
定理 グレブナー基底は存在する。
が成り立つ。左辺はに等しく、右辺はに等しいので題意が示される。
所感
グレブナー基底があると何が嬉しいかは次回。またグレブナー基底の存在は示したが、その計算方法については何も述べていない。証明を見るとの計算に帰着されてはいるが、一見すると問題は全然簡単になっていないように思える。グレブナー基底を考案したグレブナーの弟子ブッフバーガーが偉いのは、これを計算するアルゴリズムを主張したことにある。計算量的には膨大で、当時はとても人の手に余るものだったが、今はコンピュータが高性能になり計算だけでなく様々な応用が可能となった。