به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
+1 امتیاز
372 بازدید
در دانشگاه توسط maara (260 امتیاز)
ویرایش شده توسط fardina

فرض کنید $I= \prec x_{1} ^{2} , x_{2} ^{2} , x_{3} ^{2} \succ $ آیا ایده آل $I$ را میتوان به عنوان $ I_{2} ^{Lex} $ در نظر گرفت.؟چون $ x_{3} ^{2} \prec x_{2} ^{2} \prec x_{1} ^{2} $ ? آیا $ I_{2} ^{Lex} $ منحصر به فرد است؟

مرجع: تمرین فصل هفت هرزوگ هیبی

1 پاسخ

+1 امتیاز
توسط erfanm (13,871 امتیاز)
انتخاب شده توسط maara
 
بهترین پاسخ

برای راحتی ابتدا فرض می کنیم $S=K[ x_{1} , x_{2} , x_{3} ]$

برای یافتن $ I_{2} ^{Lex} $ ابتدا $ I_{2} $ را می یابیم و به تعداد مولد های آن اینجا $3 $، باید $ 3 $ جمله اول $${ x_{1} }^{2} \geq x_{1} x_{2} \geq x_{1} x_{3} \geq { x_{2} }^{2} \geq x_{2} x_{3} \geq { x_{3} }^{2}$$ را انتخاب کنیم تا مجموعه $lexsegment $ شود. پس $ I_{2} ^{Lex}=<{ x_{1} }^{2} , x_{1} x_{2} , x_{1} x_{3}>$

پس جواب قسمت اول خیر است.

$I_{2} ^{Lex}$ منحصربفرد است میتوانید به قضیه مربوط(قضیه 6.3.1) مراجعه نمایید.

این چرخ فلک که ما در او حیرانیم<br> فانوس خیال از او مثالی دانیم<br> خورشید چراغ دان و عالم فانوس<br> ما چون صوریم کاندرو حیرانیم
...