前回の記事の続きです. box-white.hatenablog.com前回の記事で次のような問題が提示されました. 問3:イデアルの生成元を適切に選んで,仮想次元に整合的にすることはできるか?答えは簡単で被約グレブナー基底をつくれば,そのような仮想次元をすべて求めること…

グレブナー基底の教科書[1]の中にある次の記述が気になりました.p144 イデアルを三つの多項式で生成されるイデアルとする.このときの被約グレブナー基底のうちにはが含まれる.残念ながらこの元の論文にアクセスすることはできませんでした.そこでこの記述の…