به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
سایت پرسش و پاسخ ریاضی
+1 امتیاز
215 بازدید
در دانشگاه توسط
ویرایش شده توسط AmirHosein

فرض کنیم ‎$I=\langle g_{1},g_{2}\rangle\subseteq K[x_1,x_{2},x_3]$‎ که ‎$ g_{1}=x_{1}^{2}-x_{2} $‎ و ‎$ g_{2}=x_{1}^{3}-x_{3} $‎. چرا ‎$ \lbrace g_{1},g_{2}\rbrace $‎ با ترتیب قاموسی $x_1>x_2>x_3$‎ یک پایه‌ی گروبنر نیست؟

1 پاسخ

می توانید به پاسخ(ها) امتیاز دهید یا آن را انتخاب کنید.

+1 امتیاز
توسط erfanm (13,856 امتیاز)

اگر پایه ی گروبنر باشد آنگاه باید داشته باشیم: $in_{ < }(I)=(in_{ < }( g_{1} ),in_{ < }(g_{2})) $

یعنی به ازای هر عنصر در $ I $ انیش آن عنصر که در $ in_{ < }(I) $ قرار دارد توسط $ in_{ < }( g_{1} )$ یا $in_{ < }( g_{2} ) $ عاد شود(چون $ in_{ < }(I) $ ایده آلی تک جمله ای است)

اما عنصر $h=g_{2}- x_{1} g_{1} = x_{1} x_{2} - x_{3} $ که در $ I $ است دارای انیش $ x_{1} x_{2}$ است که نه $ in_{ < }( g_{1})=x_{1}^{2} $ و نه $ in_{ < }( g_{2})=x_{1}^{3} $ آن را عاد نمی کنند.


حمایت مالی

کانال تلگرام محفل ریاضی
امروز : تاریخ شمسی اینجا نمایش داده می‌شود
...