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

اگر$ I= < x^{2} _{1} , x^{2} _{2} , x^{2} _{3} > $ اعداد بتی $ I^{Lex} $را بدست آورید.(در واقع اصل سوال اینه که بتی نامبرای دو ایده آل رو مقایسه کنیم.$I$ که پایدار نیست پس مستقیم محاسبه میشه.ولی چون $ I^{lex} $ پایداره از فرمول خاص پایدارا استفاده میکنیم.تو نوشتنش یه ابهام دارم.)

1 پاسخ

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

از آنجایی که $ I$ دارای 3 مولد از درجه 2 است لذا $ I^{Lex}=( x_{1}^{2}, x_{1} x_{2}, x_{1} x_{3} ) $

از آنجایی که $ I^{Lex}$ پایدار است از قضیه الیاهو و کرویر داریم: $ \beta_{i, i+j}= \sum_{u \in G(I)_{j}} {m(u)-1\choose{i}} $

مقادیر $i$ که معلومه از صفر شروع میشه و تا بعد تصویری ادامه می یابد. که در اینجا $i < max\{ m(u) \mid u \in G(I) \}$

اما همانطور که از سوال برمی آید برای $ j $ باید یک مینیمال مولد از درجه ی $ j $ داشته باشیم که اینجا مولدمینیمال ها فقط از درجه $2$ هستند لذا همواره $j=2$ $$\beta_{0,0+2}= \sum_{u \in G(I)_{2}} {m(u)-1\choose{0}}=\sum_{u \in G(I)_{2}} 1=3$$

$$\beta_{1,1+2}= \sum_{u \in G(I)_{2}} {m(u)-1\choose{1}}=\sum_{u \in G(I)_{2}} m(u)-1$$ 3 مولد داریم $ x_{1}^{2} $ که $m(x_{1}^{2} )=1 $ همچنین$ x_{1} x_{2} $ که $m(x_{1} x_{2} )=2 $ و در نهایت$ x_{1} x_{3} $ که $m(x_{1} x_{3} )=3 $ پس مجموع بالا برابر خواهد بود با $1-1+2-1+3-1=1+2=3$

$$\beta_{2,2+2}= \sum_{u \in G(I)_{2}} {m(u)-1\choose{2}}={0\choose{2}}+{1\choose{2}}+{2\choose{2}}=1$$
برای ترجمه ی یک جمله از انگلیسی به فرانسوی دو چیز ضروری است. اول، باید جمله ی انگلیسی را تماما بفهمیم. دوم، باید با اصطلاحات ویژه ای که در زبان فرانسوی هستند آشنا باشیم. این وضعیت خیلی شبیه هنگامی است که سعی داریم شرط را که با کلمات بیان شده است با نمادهای ریاضی بیان کنیم. اول، باید آن را تمام درک کنیم. دوم، باید با اصطلاحات ریاضی ریاضی آشنا باشیم.
...