منزلِ نخست
پایهگذاریِ فرض و ساختِ ایدهآلِ ضرایبِ پیشرو
از دلسپردن به نوتریبودنِ حلقه تا مهارِ درجاتِ چندجملهایها
۱. فرضِ بنیادین: فرض کنید ایدهآلی دلخواه از حلقهیِ چندجملهایها در اختیار داریم، در حالی که حلقهیِ پایهای ما یک حلقهیِ نوتری است (یعنی هر ایدهآل در آن متناهیتولید است). مقصود آن است که نشان دهیم این ایدهآلِ چندجملهای نیز متناهیتولید است.
۲. رصدِ ضرایبِ پیشرو: مجموعهای از تمامِ ضرایبِ پیشروی چندجملهایهایِ موجود در آن ایدهآل را در نظر میگیریم. این مجموعه شاملِ بالاترین ضریبِ هر چندجملهای است.
۳. نوتریبودنِ ایدهآلِ ضرایب: به روشنی مشخص است که این مجموعهیِ ضرایب، خود یک ایدهآل در حلقهیِ پایهای تشکیل میدهد. از آنجا که حلقهیِ پایهای نوتری است، پس این ایدهآلِ جدید نیز متناهیتولید خواهد بود؛ یعنی تعدادِ متناهی مولد برای آن وجود دارد.
رازِ گامِ اول:
ما با انتقالِ کثرتِ چندجملهایها به حوزهیِ ضرایبِ پیشرو و بهرهگیری از خاصیتِ نوتریِ حلقهیِ پایه، توانستیم سرنخِ مهارِ درجات را به دست آوریم. این همان تبدیلِ بینهایت به متناهی است.
پایانِ گامِ اول — آماده برای گامِ دوم (برهانِ خلف و اثباتِ تساوی)
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.