ریاضیات

احکام و تعاریفِ تکمیلی درباره‌یِ Spec A

«بسطِ ساختارِ طیف؛ از تعریف تا قضایایِ بنیادین»

۱. تعریفِ دقیقِ طیف

برای یک حلقه‌یِ تعویض‌پذیرِ A، نمادِ Spec A را به مجموعه‌یِ تمامِ ایده‌آل‌هایِ اولِ A اختصاص می‌دهیم. هر عضوِ این مجموعه، یک نقطه‌یِ هندسی در نظر گرفته می‌شود.

۲. مجموعه‌هایِ بسته و بازِ زاریسکی

• مجموعه‌یِ بسته‌یِ V(I): شاملِ تمامِ ایده‌آل‌هایِ اولِ P است که ایده‌آلِ I را در خود جای داده‌اند. یعنی I در P قرار گرفته باشد.
• مجموعه‌یِ بازِ پایه‌یِ D(f): شاملِ تمامِ ایده‌آل‌هایِ اولِ P است که عنصرِ f در آن‌ها نیست. به عبارت دیگر، D(f) مکملِ مجموعه‌یِ بسته‌یِ V(fA) است.

۳. قضایایِ بنیادینِ توپولوژیِ زاریسکی

برای هر دو ایده‌آلِ I و J در حلقه‌یِ A، قضایایِ زیر برقرارند:

1. V(I) برابرِ V(رادیکالِ I) است. یعنی با گرفتنِ رادیکال، شکلِ بسته تغییر نمی‌کند.
2. اجتماعِ دو مجموعه‌یِ بسته‌یِ V(I) و V(J)، برابرِ V(I.J) و همچنین برابرِ V(I اشتراک J) است.
3. اشتراکِ یک خانواده از مجموعه‌هایِ بسته، برابرِ مجموعه‌یِ بسته‌یِ مربوط به مجموعِ آن ایده‌آل‌هاست.
4. V(A) مجموعه‌یِ تهی است و V(صفر) کلِ Spec A را می‌سازد.

۴. نمونه‌هایِ شهودی

• طیفِ یک میدان: اگر A یک میدان باشد، تنها ایده‌آلِ اولِ آن ایده‌آلِ صفر است؛ پس Spec A تنها یک نقطه دارد.
• طیفِ حلقه‌یِ اعداد صحیح: ایده‌آل‌هایِ اولِ حلقه‌یِ اعداد صحیح، دقیقاً ایده‌آل‌هایِ اولِ اعداد اول pZ هستند؛ پس Spec Z شاملِ نقطه‌ای به ازایِ هر عددِ اول است.
• طیفِ حلقه‌یِ چندجمله‌ای‌ها: نقاطِ Spec A در این حالت، متناظر با زیربناهایِ غیرقابلِ تجزیه‌یِ هندسی هستند.

۵. نکته‌یِ کلیدی درباره‌یِ نقاط

در هندسه‌یِ کلاسیک، هر نقطه فقط یک نقطه بود. اما در Spec A، "نقطه" می‌تواند یک نقطه‌یِ عام باشد: ایده‌آلِ صفر، اگر اول باشد، نقطه‌ای است که در همه‌جایِ فضا حضور دارد و حکمِ نقطه‌یِ "عام" یا "ژنریک" را دارد.