چندگونه های تحویل پذیر، تحویل ناپذیر و ایده آلِ اول

منزلِ پنجم — هندسه‌ی جبری

تجزیه‌یِ هندسی و پیوندِ ناگسستنی با ساختارِ جبری

۱. ساختارِ اشتراکیِ صفرگاه‌ها و تعریفِ تحویل‌پذیری

تولیدِ متناهی: به استنادِ خاصیتِ نوتری، هر ایده‌آلِ $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 تحویل‌ناپذیر باشد. اگر ایده‌آلِ متناظر، اول نباشد، می‌توان دو چندجمله‌ای خارج از آن یافت که حاصل‌ضربشان در ایده‌آل قرار دارد، در حالی که تفکیکِ نقاط روی مؤلفه‌ها تناقضی آشکار با فرضِ تحویل‌ناپذیری پدید می‌آورد؛ این تقابل، استواریِ حکم را به کرسیِ نشاندن اثبات می‌کند.

فرجامِ سخن:

این پلِ نورانی میانِ هندسه (چندگونه‌های تحویل‌ناپذیر) و جبر (ایده‌آل‌های اول)، زیباترین تقارن را در درکِ ساختارهای ریاضی به ارمغان می‌آورد.

پایان کارِ منزلِ پنجم (تحویل‌ناپذیری و ایده‌آلِ اول) | آماده برای انتشار در وبلاگ