论文部分内容阅读
In this paper,we prove that a valuation ring($)R($) is archimedean if and only if for any finitely generated ideal I of R[x],the ideal LT}(I) generated by the leading terms of the elements of I is also finitely generated.