グレブナー基底 （２）

代数幾何と可換代数におけるグレブナー基底の有効性