منزلِ نخستاز دلسپردن به نوتریبودنِ حلقه تا مهارِ درجاتِ چندجملهایها
۱. فرضِ بنیادین: فرض کنید ایدهآلی دلخواه از حلقهیِ چندجملهایها در اختیار داریم، در حالی که حلقهیِ پایهای ما یک حلقهیِ نوتری است (یعنی هر ایدهآل در آن متناهیتولید است). مقصود آن است که نشان دهیم این ایدهآلِ چندجملهای نیز متناهیتولید است. ۲. رصدِ ضرایبِ پیشرو: مجموعهای از تمامِ ضرایبِ پیشروی چندجملهایهایِ موجود در آن ایدهآل را در نظر میگیریم. این مجموعه شاملِ بالاترین ضریبِ هر چندجملهای است. ۳. نوتریبودنِ
برچسب:
نویسنده: هستی حیدریان
منزلِ دوماز ساختِ ایدهآلِ فرعی تا شکستِ فرضِ خلف و اثباتِ نوتریبودن
۱. ساختِ ایدهآلِ فرعی: ایدهآلی نوین از چندجملهایهایِ منتخبِ خود در نظر میگیریم. به روشنی مشخص است که این ایدهآلِ بهروز، زیرمجموعهای از ایدهآلِ اصلیِ ماست. مقصودِ نهایی آن است که ثابت کنیم این دو جامعاً با یکدیگر برابرند. ۲. آغازِ برهانِ خلف: برایِ اثباتِ تساوی، فرضِ خلف میکنیم؛ یعنی فرض نماییم که ایدهآلِ بهروز، کوچکتر از ایدهآلِ اصلی باشد. در این صورت، حتماً چندجملهایای در ایدهآلِ اصلی وجود دارد که در ایده
برچسب:
نویسنده: هستی حیدریان
گامِ نخست: برقراریِ فرضِ بنیادین و گامِ دوم: برهانِ خلف در یک خانه.```html
روایتِ جامعِ برهانقضیهیِ پایهیِ هیلبرت — دو منزل، یک فرجاماز نوتریبودنِ حلقهیِ پایه تا متناهیتولید بودنِ حلقهیِ چندجملهایهامنزلِ نخست — پایهگذاریِ فرض و مهارِ ضرایبِ پیشرو۱. فرضِ بنیادین: فرض کنید ایدهآلی دلخواه از حلقهیِ چندجملهایها در اختیار داریم، در حالی که حلقهیِ پایهای ما یک حلقهیِ نوتری است (یعنی هر ایدهآل در آن متناهیتولید است). مقصود آن است که نشان دهیم این ایدهآلِ چندجملهای نیز متناهیتولید
برچسب:
نویسنده: هستی حیدریان
پلی میانِ جبرِ جابجایی و مجموعههای جبری در فضای آفین
۱. نگاشتِ همریختی: فرض کنید همریختیِ پوشایی میان دو حلقه برقرار است. در این صورت، با توجه به قضیههای ایزومورفیسمی، حلقهیِ خارجقسمتی متناظر با هستهیِ این نگاشت، ساختاری همارز و متصل به حلقهیِ مقصد پیدا میکند. ۲. پیشتصویرِ ایدهآلها: اگر ایدهآلی دلخواه در حلقهیِ مقصد در نظر بگیریم، پیشتصویرِ آن تحتِ نگاشتِ همریختی، خود یک ایدهآل در حلقهیِ مبدأ تشکیل میدهد. ۳. انتقالِ خاصیتِ نوتری: از آنجا که حلقهیِ مبدأ نوتری است، پیشت
برچسب:
نویسنده: هستی حیدریان
ثمرهیِ بوستانِ معرفتدستاوردهایِ ساختاری از تلاقیِ جبرِ جابجایی و هندسهی آفین
۱. حکمِ انتقالِ نوتریبودن: نوتریبودن خاصیتی است که از حلقهیِ مبدأ، به واسطهیِ نگاشتهای همریختیِ پوشا و ساختارِ حلقههای خارجقسمتی، به تصویرِ نهایی منتقل میشود؛ به گونهای که کثرتِ ایدهآلها همیشه در بندِ متناهیتولید بودن آرام میگیرد. ۲. خروجییِ قضیهیِ پایهیِ هیلبرت: به استنادِ این قضیهیِ سترگ، حلقهیِ چندجملهایها بر روی هر میدانِ پایهیِ دلخواه، ماهیتی نوتری دارد؛ و در پیِ آن، هر ایدهآل در این حلقه
برچسب:
نویسنده: هستی حیدریان
منزلِ پنجم — هندسهی جبریتجزیهیِ هندسی و پیوندِ ناگسستنی با ساختارِ جبری
۱. ساختارِ اشتراکیِ صفرگاهها و تعریفِ تحویلپذیری تولیدِ متناهی: به استنادِ خاصیتِ نوتری، هر ایدهآلِ $I$ متناهیتولید است و میتوان آن را با چندجملهایهای مشخصی به صورتِ $I = langle F_1, dots, F_m rangle$ نمایش داد. در خروجی، مجموعهیِ صفرگاهِ آن به صورتِ اشتراکِ متناهی از صفحة ترازها درمیآید: V(I) = V(F₁, ..., Fₘ) = V(F₁) ∩ ... ∩ V(Fₘ) تعریفِ تحویلپذیری: یک چندگونهیِ V در فضای آفین، تحویلپذیر نامیده میشود هر
برچسب:
نویسنده: هستی حیدریان
برچسب:
نویسنده: هستی حیدریان
برچسب:
نویسنده: هستی حیدریان
برچسب:
نویسنده: هستی حیدریان
برچسب:
نویسنده: هستی حیدریان
برچسب:
نویسنده: هستی حیدریان
برچسب:
نویسنده: هستی حیدریان

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