کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
401727 675446 2008 22 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Standard bases in K[[t1,…,tm]][x1,…,xn]s
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
Standard bases in K[[t1,…,tm]][x1,…,xn]s
چکیده انگلیسی

In this paper we study standard bases for submodules of K[[t1,…,tm]][x1,…,xn]s respectively of their localisation with respect to a -local monomial ordering. The main step is to prove the existence of a division with remainder generalising and combining the division theorems of Grauert–Hironaka and Mora. Everything else then translates naturally. Setting either m=0 or n=0 we get standard bases for polynomial rings respectively for power series rings as a special case. We then apply this technique to show that the t-initial ideal of an ideal over the Puiseux series field can be read of from a standard basis of its generators. This is an important step in the constructive proof that each point in the tropical variety of such an ideal admits a lifting.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Symbolic Computation - Volume 43, Issue 11, November 2008, Pages 765-786