ریاضیات

تحویل‌ناپذیریِ خطِ راست و تجلیِ ایده‌آلِ اول

گذر از شهودِ هندسی به ساختارِ جبری در صفحه‌یِ آفین

۱. تابلوی هندسی (خطِ نیمساز):
فرض کنید در صفحه‌یِ حقیقی $\mathbb{R}^2$، مجموعه‌یِ جبریِ $V$ را به عنوانِ صفرگاهِ چندجمله‌ایِ خطیِ $F(x, y) = y - x$ تعریف کنیم. این مجموعه هندساً همان خطِ راستِ مقید به معادله‌یِ $y = x$ است. واضح است که این خط یک‌پارچه است و به اجزای کوچک‌تر شکسته نمی‌شود؛ پس یک چندگونه‌یِ تحویل‌ناپذیر است.

۲. تابلوی جبری (حلقه‌یِ خارج‌قسمتی):
ایده‌آلِ متناظر با این مجموعه به صورتِ $I(V) = \langle y - x \rangle$ است. وقتی حلقه‌یِ دو‌متغیره را بر این ایده‌آل خارج‌قسمت می‌گیریم، ساختارِ آن به حلقه‌یِ تک‌متغیره‌یِ $\mathbb{R}[x]$ فرو می‌کاهد:

۳. فرجامِ تطبیق:
از آن‌جا که حلقه‌یِ چندجمله‌ایِ تک‌متغیره یک دامنه‌یِ صحیح است، ایده‌آلِ مزبور قطعا یک ایده‌آلِ اول خواهد بود؛ و این‌گونه، هم‌ارزیِ میانِ تحویل‌ناپذیریِ هندسی و اول‌بودنِ جبری در یک نمونه‌یِ عینی به اثبات می‌رسد.

هر جا که هندسه از انشعاب و شکستن سرباز زند، جبرِ متناظر با آن نیز در حصارِ ایده‌آلِ اول پناه می‌گیرد تا اصالتِ وحدت حفظ شود.