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

برای ترجمه ی یک جمله از انگلیسی به فرانسوی دو چیز ضروری است. اول، باید جمله ی انگلیسی را تماما بفهمیم. دوم، باید با اصطلاحات ویژه ای که در زبان فرانسوی هستند آشنا باشیم. این وضعیت خیلی شبیه هنگامی است که سعی داریم شرط را که با کلمات بیان شده است با نمادهای ریاضی بیان کنیم. اول، باید آن را تمام درک کنیم. دوم، باید با اصطلاحات ریاضی ریاضی آشنا باشیم.
...