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

בתורת החוגים, הרדיקל של אידיאל ${\displaystyle A}$ בחוג ${\displaystyle R}$ הוא החיתוך של כל האידיאלים הראשוניים המכילים את ${\displaystyle A}$. בחוג קומוטטיבי, הרדיקל כולל את כל האיברים שחזקה כלשהי שלהם שייכת ל-${\displaystyle A}$, ועל-כן מסמנים את הרדיקל של ${\displaystyle 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} }$ נוצר על ידי הרדיקל של ${\displaystyle n}$: מכפלת הראשוניים השונים המחלקים את ${\displaystyle n}$. לדוגמה, ${\displaystyle {\sqrt {180\mathbb {Z} }}=30\mathbb {Z} }$. מושג הרדיקל של אידיאל מכליל, לפיכך, את הרדיקל של מספרים שלמים.
• לכל חוג ${\displaystyle R}$, הרדיקל של ${\displaystyle ({x}^{2})}$ בחוג הפולינומים ${\displaystyle R[x]}$ הוא ${\displaystyle (x)}$.

קישורים חיצוניים

• רדיקל של אידיאל, באתר MathWorld (באנגלית)