רדיקל של אידיאל

בתורת החוגים, הרדיקל של אידיאל A בחוג R הוא החיתוך של כל האידיאלים הראשוניים המכילים את A. בחוג קומוטטיבי, הרדיקל כולל את כל האיברים שחזקה כלשהי שלהם שייכת ל- A, ועל-כן מסמנים את הרדיקל של A בסימון ${\displaystyle \ {\sqrt {A}}}$. הרדיקל הוא אידיאל בעצמו, ותמיד ${\displaystyle A\subseteq {\sqrt {A}}}$.

הרדיקל של כל אידיאל הוא אידיאל רדיקלי, כלומר שווה לרדיקל של עצמו. כל אידיאל ראשוני הוא רדיקלי, אבל ההפך אינו נכון (${\displaystyle \ 6\mathbb {Z} }$ רדיקלי אבל אינו ראשוני).

הקשר בין אידיאלים רדיקליים של חוג הפולינומים ${\displaystyle \ F[\lambda _{1},\dots ,\lambda _{n}]}$ לבין יריעות אלגבריות הוא אחד הרעיונות היסודיים בגאומטריה אלגברית (ראו גם - משפט האפסים של הילברט).

תכונות

• אם ${\displaystyle I,J}$ אידיאלים בחוג ${\displaystyle R}$ ו${\displaystyle I\subseteq J}$, אז ${\displaystyle {\sqrt {I}}\subseteq {\sqrt {J}}}$.
• לכל שני אידיאלים ${\displaystyle I,J}$ מתקיים ${\displaystyle {\sqrt {I+J}}={\sqrt {{\sqrt {I}}+{\sqrt {J}}}}}$.

דוגמאות

• בחוג השלמים, הרדיקל של האידיאל ${\displaystyle \ n\mathbb {Z} }$ נוצר על ידי הרדיקל של n: מכפלת הראשוניים השונים המחלקים את n. לדוגמה, ${\displaystyle \ {\sqrt {180\mathbb {Z} }}=30\mathbb {Z} }$. מושג הרדיקל של אידיאל מכליל, לפיכך, את הרדיקל של מספרים שלמים.
• לכל חוג ${\displaystyle R}$, הרדיקל של ${\displaystyle ({x}^{2})}$ בחוג הפולינומים ${\displaystyle R[x]}$ הוא ${\displaystyle (x)}$.