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

فرض کنید که $I$ یک ایده آل باشد و ${ x_{1} ^{ d_{1} } ,... x_{n} ^{ d_{n} } }$ قسمتی از مجموعه مولد مینیمال برای $I$ باشد.نشان دهید $$ d_{1} + d_{2} +... d_{n} -n+1 \leq dim \frac{K[ x_{1} ... x_{n} ]}{I} $$

1 پاسخ

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

+2 امتیاز
توسط erfanm
ویرایش شده توسط erfanm

می دانیم که $ u \in Mon(S) $ که $ u \notin Mon(I) $ یک $ K $ پایه بری $ \frac{S}{I} $ تشکیل می دهند.

از اینکه $ { x_{i}}^{d_{i}} $ عضو مینیمال مولد $I $ است نتیجه میگیریم که عناصر $ x_{i} $ و...و $ { x_{i}}^{ d_{i} -1} $ در $ Mon(I) $ نیستند. همچنین $ 1 \notin Mon(I) $ پس این عنصر با عناصر بالا جزو پایه قرار خواهند گرفت که تعداد این عناصر برابر است با $d_{1} -1+...+d_{n} -1+1=d_{1}+...+d_{n} -n +1$

این یعنی حداقل تعداد اعضای پایه برابر $d_{1}+...+d_{n} -n +1 $ است پس $dim _{K} \frac{S}{I} \geq d_{1}+...+d_{n} -n +1$

حمایت مالی


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