ایده‌آل‌ها، حلقه‌های خارج‌قسمتی و همریختی‌های حلقه‌ای

یک ایده‌آل همان زیرشیءِ حلقه است که اجازه دارید نسبت به آن خارج‌قسمت بگیرید — قرینهٔ حلقه‌نظری یک زیرگروه نرمال. در حلقهٔ ناجابه‌جایی این مفهوم به سه شاخه تقسیم می‌شود، و تشخیص آن‌ها از یکدیگر (و دانستن اینکه کدام حلقه‌ها آن‌ها را وادار به یکی‌شدن می‌کنند) دقیقاً همان چیزی است که کنکور می‌سنجد. این کارت به بسط ایده‌آل‌های یک‌طرفه در برابر دوطرفه، مشبکهٔ ایده‌آلی حلقه‌های استاندارد ($\mathbb{Z}$، $F[x]$، $M_n(F)$)، و سلسله‌مراتب PID / اقلیدسی / UFD می‌پردازد. برای دستگاه اول در برابر ماکسیمال / خارج‌قسمت یک دامنه یا میدان است و قضیهٔ اول یکریختی، به کارت همراه حلقه‌ها، ایده‌آل‌ها و همریختی‌های حلقه‌ای مراجعه کنید.

۱. ایده‌آل‌های چپ، راست و دوطرفه

فرض کنید $R$ یک حلقه باشد (یکه، نه لزوماً جابه‌جایی). یک زیرگروه جمعی ناتهی $I\subseteq R$:

• ایده‌آل چپ است اگر $RI\subseteq I$ — یعنی $rx\in I$ برای همهٔ $r\in R,\ x\in I$؛
• ایده‌آل راست است اگر $IR\subseteq I$ — یعنی $xr\in I$؛
• ایده‌آل (دوطرفه)، که با $I\trianglelefteq R$ نشان می‌دهیم، اگر هر دو باشد.

تنها یک ایده‌آل دوطرفه به شما اجازه می‌دهد حلقهٔ خارج‌قسمتی $R/I$ را با ضرب خوش‌تعریفِ $(a+I)(b+I)=ab+I$ بسازید؛ هستهٔ هر همریختی حلقه‌ای یک ایده‌آل دوطرفه است، و برعکس هر ایده‌آل دوطرفه هسته است (هستهٔ تصویر $R\to R/I$). تصویر $f(R)$ یک همریختی فقط یک زیرحلقه است، نه یک ایده‌آل.

در حلقهٔ جابه‌جایی هر سه مفهوم در یکی فرومی‌ریزند، و به همین دلیل دوره‌های مقدماتی می‌توانند این تمایز را نادیده بگیرند — اما کنکور عمداً شما را به درون $M_n(F)$ می‌اندازد، جایی که واقعاً تفاوت دارند.

۲. مکانیسم حلقهٔ ماتریسی (قاعدهٔ سطر/ستون)

تمیزترین جا برای مواجهه با ایده‌آل‌های یک‌طرفه $R=M_n(F)$ است. ضرب، سطرها و ستون‌ها را مستقل از یکدیگر جابه‌جا می‌کند:

$(XM)_{i\bullet}=X_{i\bullet}\,M,\qquad (MX)_{\bullet j}=M\,X_{\bullet j}.$

قاعدهٔ جذب را مستقیماً از روی این‌ها بخوانید:

• ضرب از راست $X\mapsto XM$ هر سطر از $XM$ را از همان سطر از $X$ بازمی‌سازد. پس یک مجموعهٔ ثابت از سطرهای صفر حفظ می‌شود $\Rightarrow$ «ماتریس‌هایی با سطرهای صفرِ مقرر» یک ایده‌آل راست است.
• ضرب از چپ $X\mapsto MX$ هر ستون از $MX$ را از همان ستون از $X$ بازمی‌سازد. پس یک مجموعهٔ ثابت از ستون‌های صفر حفظ می‌شود $\Rightarrow$ «ماتریس‌هایی با ستون‌های صفرِ مقرر» یک ایده‌آل چپ است.

چون $F$ یک میدان است (به‌طور کلی‌تر یک حلقهٔ تقسیم)، $M_n(F)$ حلقه‌ای ساده است: تنها ایده‌آل‌های دوطرفهٔ آن $\{0\}$ و کل حلقه‌اند. از این‌رو هر ایده‌آل یک‌طرفهٔ سرهٔ ناصفر — مانند «سطر بالای صفر» — فقط یک‌طرفه است. به‌طور کلی ایده‌آل‌های دوطرفهٔ $M_n(R)$ دقیقاً همان $M_n(J)$ برای $J\trianglelefteq R$ هستند.

مثال کوچک حل‌شده

ایده‌آلِ $I=\left\{\begin{bmatrix}0&0\\ a&b\end{bmatrix}: a,b\in F\right\}$ (ماتریس‌های با سطر بالای صفر) را درون $R=M_2(F)$ رده‌بندی کنید.

آزمون راست. برای هر $M\in R$، سطر اول $XM$ برابر است با $(0,0)\,M=0$، پس $XM\in I$ ✓ — یک ایده‌آل راست. آزمون چپ. بگیرید $M=\begin{bmatrix}0&1\\0&0\end{bmatrix}$ و $X=\begin{bmatrix}0&0\\1&0\end{bmatrix}\in I$:

$MX=\begin{bmatrix}1&0\\0&0\end{bmatrix}\notin I.$

پس $I$ یک ایده‌آل چپ نیست. این یک ایده‌آل راست-اما-نه-چپ است — دقیقاً همان چیزی که سادگیِ $M_2(F)$ پیش‌بینی می‌کند (یک ایده‌آل یک‌طرفهٔ سرهٔ ناصفر هرگز نمی‌تواند دوطرفه باشد).

۳. تولید ایده‌آل‌ها؛ حساب ایده‌آل‌ها

در یک حلقهٔ جابه‌جایی، ایده‌آلِ تولیدشده توسط $a$ همان ایده‌آل اصلی

$(a)=aR=\{\,ar:r\in R\,\},$

است، و به‌طور کلی‌تر $(a_1,\dots,a_k)=\{\sum r_i a_i:r_i\in R\}$. عمل‌های مجموعه‌ای استاندارد ایده‌آل بازمی‌گردانند:

$I+J=\{x+y:x\in I,\,y\in J\},\qquad IJ=\Big\{\textstyle\sum_i x_iy_i:x_i\in I,\,y_i\in J\Big\},\qquad I\cap J.$

در $\mathbb{Z}$ هر ایده‌آلی اصلی است، و این‌ها به نظریهٔ اعداد ترجمه می‌شوند: $(a)+(b)=(\gcd(a,b))$، $(a)\cap(b)=(\operatorname{lcm}(a,b))$، و $(a)(b)=(ab)$.

۴. چه هنگام هر ایده‌آلی اصلی است؟ PID / اقلیدسی / UFD

یک دامنهٔ صحیح $R$ یک دامنهٔ ایده‌آل اصلی (PID) است اگر هر ایده‌آلی اصلی باشد. کنکور بر روی این زنجیرهٔ از شمول‌های اکید زندگی می‌کند:

$\text{fields}\subsetneq\text{Euclidean domains}\subsetneq\text{PIDs}\subsetneq\text{UFDs}\subsetneq\text{integral domains}.$

• یک دامنهٔ اقلیدسی یک تابع اندازه با تقسیم-با-باقی‌مانده به همراه دارد (مثلاً $\mathbb{Z}$ با $|\cdot|$، $F[x]$ با $\deg$، $\mathbb{Z}[i]$ با نُرم) و به‌طور خودکار یک PID است: یک ایده‌آل ناصفر توسط هر عنصری با اندازهٔ کمینه تولید می‌شود — هر $f\in I$ را بر آن تقسیم کنید، باقی‌مانده در $I$ قرار می‌گیرد و اکیداً کوچک‌تر است، پس باید $0$ باشد.
• هر PID یک UFD است (تجزیهٔ یکتا به تحویل‌ناپذیرها)، اما برعکس نه.

قضیهٔ حاکم برای حلقه‌های چندجمله‌ای:

$R[x]\text{ is a PID}\iff R\text{ is a field}.$

بنابراین $F[x]$ برای یک میدان $F$ (پس $\mathbb{Q}[x]$، $\mathbb{R}[x]$، $\mathbb{F}_p[x]$) اقلیدسی است، از این‌رو یک PID؛ اما $\mathbb{Z}[x]$ یک PID نیست (و نه $F[x,y]$). شاهد جهانی این است

$(2,x)=\{\,\text{polynomials in }\mathbb{Z}[x]\text{ with even constant term}\,\},$

که اصلی نیست: یک مولد $d$ باید هم $2$ را بشمارد (که $d=\pm1$ یا $\pm2$ را وامی‌دارد) و هم $x$ را بشمارد — که ناممکن است، چون $d=\pm1$ باعث می‌شود $1\in I$ (نادرست: جملهٔ ثابت فرد) در حالی که $d=\pm2$ نمی‌تواند $x$ را بشمارد. جایگزینی $2$ با هر عدد اولِ $p$ همان اثر را می‌دهد؛ در واقع $(p,x)$ در $\mathbb{Z}[x]$ ماکسیمال است با $\mathbb{Z}[x]/(p,x)\cong\mathbb{F}_p$.

۵. خارج‌قسمت‌ها و قضیهٔ تناظر

برای یک ایده‌آل دوطرفهٔ $I$، تصویر $\pi:R\to R/I$ یک همریختی پوشا با $\ker\pi=I$ است، و یک تناظر یک‌به‌یکِ شمول‌نگه‌دار برقرار می‌کند

$\{\text{ideals of }R\text{ containing }I\}\;\longleftrightarrow\;\{\text{ideals of }R/I\},\qquad J\mapsto J/I,$

که به تناظر اول$\leftrightarrow$اول و ماکسیمال$\leftrightarrow$ماکسیمال محدود می‌شود. این‌گونه است که ساختار ایده‌آلی یک خارج‌قسمت را از روی حلقهٔ پایه می‌خوانید — و آزمون‌های اول $\Leftrightarrow$ دامنه / ماکسیمال $\Leftrightarrow$ میدان از کارت همراه را تخصیص می‌دهد.

نکتهٔ کنکوری: در یک حلقهٔ ناجابه‌جایی، پیش از آنکه چیزی را ایده‌آل بنامید همیشه بپرسید «چپ، راست، یا دوطرفه؟». در $M_n(F)$ قاعدهٔ سطر/ستون آن را در دم تعیین می‌کند — سطرهای صفر $\Rightarrow$ ایده‌آل راست، ستون‌های صفر $\Rightarrow$ ایده‌آل چپ — و سادگی به این معناست که یک ایده‌آل یک‌طرفهٔ سره هرگز دوطرفه نیست. برای «آیا هر ایده‌آلی اصلی است؟» به یاد داشته باشید که $R[x]$ یک PID است اگر و تنها اگر $R$ یک میدان باشد، با $(2,x)\trianglelefteq\mathbb{Z}[x]$ به‌عنوان مثال نقض همیشه‌دردسترس.