ایدهآلهایِ اول و جهانِ مجموعههایِ ضربیبسته
در ادامهیِ کاوش در جبرِ تعویضپذیر، به مرزِ نهاییِ «تجزیهناپذیری» میرسیم: ایدهآلِ اول. این ایدهآلها، همان «ذراتِ بنیادی» هستند که هندسهیِ جبری بر شانههایِ آنها بنا میشود.
۱. ایدهآلِ اول: حقیقتِ ضرب
ایدهآلِ I در حلقه ی A را «اول» مینامیم هرگاه خاصیتِ زیر را داشته باشد: اگر حاصلضربِ دو عضو (a ضربدر b) در ایدهآل باشد، حتماً یکی از آن دو عضو (یا a یا b) در ایدهآل بوده است. این همان سرشتِ اعدادِ اول است که در لباسِ مجموعهها ظاهر شده.
۲. مجموعههایِ ضربیبسته (S)
مجموعهیِ S را ضربیبسته مینامیم اگر با ضربِ هر دو عضوِ آن، نتیجه نیز در خودِ مجموعه باقی بماند. پیوندِ عمیقی میانِ این مجموعهها و ایدهآلهایِ اول وجود دارد:
- اگر I یک ایدهآلِ اول باشد، مکملِ آن (مجموعهیِ اعضایی که در I نیستند)، یک مجموعهیِ ضربیبسته را تشکیل میدهد.
- این رابطه، کلیدِ فهمِ «موضعیسازی» (Localization) در حلقههاست؛ گویی ما با حذفِ یک ایدهآلِ اول، دنیایِ جدیدی در اطرافِ آن میسازیم.
۳. برهانِ وجود (نگاهی به هندسهیِ تصاویر)
در تصویر، برهانی بسیار زیبا با استفاده از «لمِ زورن» ترسیم شده است. ما به دنبالِ ایدهآلی هستیم که با مجموعهیِ S اشتراک نداشته باشد. این برهان به ما میگوید:
«اگر مجموعهای داشته باشیم که نسبت به ضرب بسته باشد، همواره ایدهآلی وجود دارد که حداکثرِ دوری را از این مجموعه دارد (بیشینه نسبت به خاصیتِ عدمِ اشتراک)، و جالب آنکه این ایدهآلِ بیشینه، حتماً یک ایدهآلِ اول است.»
این ساختار، قلبِ تپندهیِ «طیفِ حلقه» (Spec A) است؛ جایی که ما نقاطِ فضا را دقیقاً همین ایدهآلهایِ اول تعریف میکنیم.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.