文摘
We construct an example of a finitely generated ideal I of , where V is a one-dimensional valuation ring, whose leading terms ideal is not finitely generated. This gives a negative answer to the open question of whether if V is a valuation ring with Krull dimension ?, then for any finitely generated ideal I of , the leading terms ideal of I is also finitely generated. The valuation rings satisfying this latter property will be called 1-Gr?bner and are studied in this paper.