به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
+1 امتیاز
404 بازدید
در دانشگاه توسط 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,881 امتیاز)
انتخاب شده توسط 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) مراجعه نمایید.

ریاضیدان، کسی است که شباهت ها را بین قضایا دریابد. ریاضیدان بهتر کسی است که بتواند شباهت بین برهان ها را ببیند. بهترین ریاضیدان کسی است که بتواند به شباهت بین نظریه ها توجه کند. و می توان تصور کرد که ریاضیدان نهایی کسی است که بتواند شباهت بین شباهت ها را مشاهده کند.
...