37.グレブナー基底の性質
今回はグレブナー基底がどういった性質を持つかについて学ぶ。与えられた生成系がグレブナー基底となるかどうかの判定法、そして与えられた生成系からグレブナー基底を得るためのアルゴリズムについては次回行う。
グレブナー基底による割り算
前節で例に挙げた割り算アルゴリズムについて、割る順序を変えて行ってみよう。即ちをの順で割り算をする。すると
となり、余りが異なる結果になってしまう。イデアルに属すかどうかは生成系の順序は関係ないので、可能ならば割り算の順序に依らず余りが決まると嬉しい。グレブナー基底はそれを可能にする。
定理 イデアルのグレブナー基底をとする。多項式に対し、多項式が一意的に存在し、次を満たす。
- である。
- となるか、そうでないならはのどの項も割り切らない。
(証明)二条件を満たすの存在は割り算アルゴリズムから従うので一意性を示せば良い。とで表せるとする。このときなので、ならを得る。もの元も項だから、あるが存在してとなる。右辺はまたはの項成分のいずれかの定数倍なので、二番目の条件に矛盾する。よってである。割り算の順序によらないことは、の元を適当に並び替えればの一意性より従う。
グレブナー基底に対し、定理より割り算アルゴリズムによる余りがの元の順序に依らず一意的に決まることが分かる。多項式に対する割り算の余りを、と表す。
系 (イデアル所属判定法(Ideal Membership Criterion)) をイデアルのグレブナー基底とする。以下は同値である。
- である。
- である。
(証明)余りをとする。ならであり、逆にならとなるから一意性よりを得る。
グレブナー基底の定義は先頭項イデアルに対する条件であったが、元のイデアルに対する生成系にもなっている。
(証明)とする。上の系よりだからが従う。逆は明白だろう。
極小グレブナー基底
イデアルのグレブナー基底に対し、の元を足したり引いたりしたものをまたに加えても、再びのグレブナー基底となる。つまりグレブナー基底には余分な元が含まれている可能性があり、計算するときには無駄になるため、このような元を取り除くプロセスがあると良い。
グレブナー基底が極小(minimal)であるとは、ならが成り立つことを指す。言い換えればに対し、が成り立つ。
命題 イデアルのグレブナー基底に対し、となるが存在するとする。とすると、はのグレブナー基底となる。
(証明)条件より
が従うのではのグレブナー基底である。
は項に対する言及だから指数を比較すれば直ちに分かる。は有限だから上記の操作は有限回で終わるので、極小グレブナー基底を得るアルゴリズムとなっている。
極小グレブナー基底の定義には、に対しが成り立つことを加えることもある。この場合は上記のプロセスに、をで割るプロセスを加えればよい。またこのとき次が成り立つ。
補題 をイデアルのグレブナー基底(先頭項の係数はイチ)とするとが成り立つ。
(証明)とする。
なので、あるが存在してとなる。に対しても同様にが存在してとなる。よってが成り立ち、極小性と先頭項の係数がイチであることからが従う。故にが成り立つ。つまりが分かる。逆も同様なので一致する。
特に二つの極小グレブナー基底に対し、その元の個数は一致することが分かる。
被約グレブナー基底
極小グレブナー基底は、たとえ先頭項の係数がイチであっても一意的に決まるわけではない。数学的にそれほど本質的な議論というわけではないが*1、割り算計算の軽量化を考えれば、なるべく単純な形の基底が欲しい。実は余分な元だけではなく余分な項も取り除いた、被約グレブナー基底というものを考えることで(イデアルに対し)唯一になる。(項順序には依る。)
定義 イデアルの極小グレブナー基底が以下の二条件を満たすとき、被約(reduced)であるという。
- 任意のに対しが成り立つ。
- 任意のに対し、をの項成分とすると、が成り立つ。
被約なら極小である。
命題 をイデアルの極小グレブナー基底(先頭項の係数はイチ)とする。に対し、による割り算の余りをで表す。(も別のグレブナー基底となっていて、割る順序に依らないことも多分分かるけどあまり重要ではない。)として、と置く。このときはの極小グレブナー基底(先頭項の係数はイチ)であり、のどの項成分もに含まれていない。
(証明)後半は割り算アルゴリズムの定義より従う。は極小だから、である。よって先頭項はそのまま割り算の余りになるためが成り立つ。特に先頭項の係数はイチなのでが成り立つ。従ってとなるため、
を得る。つまりはグレブナー基底であり、更に極小性も自明である。
をイデアルの極小グレブナー基底としてと置く。を(の適当な順)で割った余りをとし、と定め、のをで置き換えたものをと置く。このとき上記の命題により各は極小グレブナー基底(先頭項の係数はイチ)となり、更には被約グレブナー基底となることが分かる。よって極小グレブナー基底から被約グレブナー基底を得るアルゴリズムが得られた。
定理 被約グレブナー基底は一意的である。
(証明)をイデアルの被約グレブナー基底とする。極小性よりである。よってに対してが一意的に存在してが成り立つ。このときとなることを示せば良い。まず先頭項が一致するのでである。そこででを割ると、はのどの項成分も割り切らない。の被約性よりに対してはのどの項成分も割り切らない。となるを考えれば、の被約性より、はのどの項成分も割り切らない。故にのどの項成分も割り切らないため、をで割り算した余りはそのものになる。より余りはゼロ、即ちが従う。
所感
次回はいよいよブッフバーガーによるグレブナー基底を求めるためのアルゴリズムを紹介する。その後は代数幾何の第一歩っぽいことが出来たらいいな。応用とかバリエーションについても勉強したい。
*1:自分が知らないだけで重要な意味があるのかな?
【動画紹介】The Map of Mathematics
こういうの好き。とりあえずメモ。
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)であるとは、
を満たすことをいう。
定理 グレブナー基底は存在する。
が成り立つ。左辺はに等しく、右辺はに等しいので題意が示される。
所感
グレブナー基底があると何が嬉しいかは次回。またグレブナー基底の存在は示したが、その計算方法については何も述べていない。証明を見るとの計算に帰着されてはいるが、一見すると問題は全然簡単になっていないように思える。グレブナー基底を考案したグレブナーの弟子ブッフバーガーが偉いのは、これを計算するアルゴリズムを主張したことにある。計算量的には膨大で、当時はとても人の手に余るものだったが、今はコンピュータが高性能になり計算だけでなく様々な応用が可能となった。