论文部分内容阅读
Zero-dimensional valuation rings are one kind of non-Noetherian rings.This paper inves-tigates properties of zero-dimensional valuation rings and prove that a finitely generated ideal over such a ring has a Gr?bner basis.The authors present an algorithm for computing a Gr?bner basis of a finitely generated ideal over it.Furthermore,an interesting example is also provided to explain the algorithm.