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