הצגת המקור של הדף "רדיקל (תורת החוגים)"

ב[[תורת החוגים]], ה'''רדיקל''' של [[חוג (מבנה אלגברי)|חוג]] הוא [[אידיאל (תורת החוגים)|אידיאל]] מיוחד, המכיל בתוכו את כל האידיאלים ה"בעייתיים" של החוג. הרדיקל שווה לאפס בדיוק כאשר החוג נקי מן הבעיות שהרדיקל אמור למדוד. לרדיקלים השונים יש תפקיד מרכזי בארגז הכלים של חוקר החוגים וה[[מודול (מבנה אלגברי)|מודולים]].

הרדיקל של חוג מוגדר תמיד ביחס למשפחה מסוימת של חוגים או אידיאלים: אם <math>\mathcal{P}</math> היא משפחה של חוגים הכוללת עם כל חוג גם את חוגי המנה שלו, אידיאל <math>P</math> בעל התכונה <math>\mathcal{P}</math> נקרא <math>\mathcal{P}</math>-רדיקל של החוג <math>R</math>, אם הוא מכיל כל אידיאל בעל התכונה הזו, ובחוג המנה <math>R/P</math> אין אידיאלים לא-טריוויאליים בעלי התכונה. הרדיקל ביחס למשפחה נתונה אינו בהכרח קיים בכל חוג, ולכן אחד הצעדים הראשונים בבניה מועילה של רדיקל צריכה להיות אפיון החוגים שבהם הוא קיים. בהכללה אפשר לומר שהרדיקל שימושי ומועיל יותר ככל שהוא מוגדר עבור חוגים כלליים יותר.

את הרדיקל אפשר להגדיר כאידיאל הגדול ביותר השייך למשפחה מסוימת, כחיתוך כל האידיאלים מסוג מסוים, וכדומה. פעמים רבות, כמו ב[[הרדיקל של ג'ייקובסון|רדיקל של ג'ייקובסון]] מתלכדות כמה הגדרות לכלי רב עוצמה יחיד. במקרה היסודי של אלגברות [[אסוציאטיביות]] מממד סופי, כל הרדיקלים החשובים שווים זה לזה.

== רדיקלים של חוגים אסוציאטיביים ==

כל רדיקל שימושי מקיים את שתי התכונות הבאות: אם <math>I</math> אידיאל של החוג <math>R</math> המוכל ברדיקל <math>\operatorname{rad}(R)</math> אז <math>\operatorname{rad}(R/I) = \operatorname{rad}(R)/I</math>; ואם <math>\ \operatorname{rad}(R/I) = 0</math>, אז <math>\operatorname{rad}(R) \subseteq I</math>.

לצד הרדיקל של ג'ייקובסון, יש כמה רדיקלים חשובים אחרים הקיימים בכל חוג (אסוציאטיבי), מן הקטן לגדול:
* '''הרדיקל הנילי התחתון''' <math>\operatorname{Nil}_*(R)</math> (נקרא גם '''הרדיקל הראשוני''' או '''רדיקל Baer''') הוא חיתוך כל האידיאלים הראשוניים של החוג. זהו ה[[אידיאל ראשוני למחצה|אידיאל הראשוני למחצה]] הקטן ביותר של החוג. אפשר לבנות אותו ב[[אינדוקציה טרנספיניטית]], כסכום כל האידיאלים הנילפוטנטיים בחוג המנה ביחס לצעד הקודם (הסכום <math>N_1(R)</math> של כל האידיאלים הנילפוטנטיים בחוג <math>R</math> שווה לסכום האידיאלים השמאליים הנילפוטנטים, אבל בדרך-כלל אינו נילפוטנטי בעצמו; ב[[חוג PI|חוגי PI]] <math>N_3=N_2</math>). הרדיקל הזה מתאפס אם ורק אם החוג [[חוג ראשוני למחצה|ראשוני למחצה]], כלומר, אין בו [[אידיאל נילפוטנטי|אידיאלים נילפוטנטיים]]. בחוג קומוטטיבי, הרדיקל הנילי התחתון הוא אוסף האיברים הנילפוטנטים בחוג, היינו ה[[רדיקל של אידיאל]] האפס. במקרה הכללי, אברי הרדיקל הם האיברים הנילפוטנטים בחזקה (<math>a</math> הוא נילפוטנטי בחזקה אם כל סדרה <math>a_{i+1} \in a_i R a_i</math> המתחילה ב-<math>a_1 = a</math> מוכרחה להתאפס). הרדיקל הנילי התחתון של תת-חוג <math>S \subseteq R</math> מקיים <math>S \cap \operatorname{Nil}_*(R) \subseteq \operatorname{Nil}_*(S)</math>.
* '''רדיקל לויצקי''' (על-שם [[יעקב לויצקי]]) הוא סכום האידיאלים הנילפוטנטים-מקומית, השווה גם לסכום האידיאלים השמאליים הנילפוטנטיים-מקומית (והוא האידיאל הנילפוטנטי-מקומית הגדול ביותר; אידיאל הוא נילפוטנטי מקומית אם לכל קבוצה סופית של איברים בו, יש n כזה שמכפלת כל n איברים בקבוצה היא אפס).
* '''הרדיקל הנילי העליון''' של קתה, <math>\operatorname{N}(R)</math>, <math>\operatorname{Nil}(R)</math> או <math>\operatorname{Nil}^*(R)</math>, הוא סכום ה[[אידיאל נילי|אידיאלים הניליים]] (והוא האידיאל הנילי הגדול ביותר). הרדיקל שווה לחיתוך כל האידיאלים הראשוניים שבחוג המנה ביחס אליהם אין אידיאלים ניליים. אם <math>\operatorname{Nil}(R)=0</math>, אז <math>J(R[\lambda])=0</math> ([[שמשון עמיצור|עמיצור]]).
*<math>\overline{N}(R)</math> הוא סכום האידיאלים השמאליים הניליים (השווה לסכום האידיאלים הימניים הניליים). [[השערת קתה]] שואלת האם רדיקל זה שווה לרדיקל הנילי העליון (לא ידועות דוגמאות נגדיות).
* [[רדיקל ג'ייקובסון]] <math>J(R)</math> שווה לחיתוך האידיאלים השמאליים המקסימליים, והוא האידיאל הקוואזי-הפיך הגדול ביותר (אידיאל הוא קוואזי-הפיך אם לכל איבר <math>x</math> שלו, <math>1-x</math> הפיך).
* '''רדיקל בהרנס (Behrens)''' של חוג, המסומן <math>\beta(R)</math>, הוא האידיאל הגדול ביותר של החוג, שלא ניתן להעתיקו הומומורפית על חוג עם [[אידמפוטנט]] שונה מאפס.
* '''[[רדיקל בראון-מקוי]]''' <math>\operatorname{BM}(R)</math> הוא חיתוך כל האידיאלים <math>M</math> כך ש-<math>R/M</math> פשוט עם יחידה (אם ב-<math>R</math> יש יחידה, זה חיתוך ה[[אידיאל מקסימלי|אידיאלים המקסימליים]]).

בין הרדיקלים האלו מתקיים תמיד היחס הבא: <math>\operatorname{Nil}_*(R) \subseteq L(R) \subseteq \operatorname{Nil}(R) \subseteq \overline{N}(R) \subseteq J(R) \subseteq \operatorname{BM}(R)</math>. בחוגים ארטיניים (ובפרט באלגברות מממד סופי), כולם מתלכדים. ב[[חוג נותרי|חוגים נותריים]] וב[[חוג עם זהויות|חוגים עם זהויות]], <math>\operatorname{Nil}_*(R) = \overline{N}(R)</math>{{הערה|עבור חוגים נותריים: משפט Levitzki (ראה Herstein 1961); בחוגי זהויות, ראה Noncommutative Noetherian Rings, McConnel-Robson, Cor. 13.2.6}}. בחוג עם זהויות שהוא אפיני מעל חוג נותרי קומוטטיבי, <math>\operatorname{Nil}_*(R) = \operatorname{Jac}(R)</math> (משפט Razmyslov-Kemer-Braun). באלגברה מונומיאלית נוצרת סופית מעל שדה, <math>L(R) = \operatorname{Jac}(R)</math> אבל ייתכן ש-<math>\operatorname{Nil}_*(R) \subset L(R)</math>{{הערה|Smoktunovitcz, On some results related to Kothe's conjecture, Serdica, 2001; p. 165|כיוון=שמאל}}.

הרדיקלים לעיל מתאפסים, לפי הסדר, אם: אין אידיאלים נילפוטנטיים; אין אידיאלים ניליים מקומית; אין אידיאלים ניליים; אין אידיאל שמאלי נילי; אין אידיאל קוואזי הפיך (החוג [[חוג פרימיטיבי למחצה|פרימיטיבי למחצה]]); החוג הוא מכפלה תת-ישרה של חוגים פשוטים עם יחידה.

=== תאוריה כללית של רדיקלים ===

בשנות החמשים של המאה ה-20 פיתחו [[שמשון עמיצור]] ו[[אלכסנדר קורוש]] {{אנ|Aleksandr Gennadievich Kurosh}} תאוריה כללית של רדיקלים, היוצקת תשתית פורמלית לגישה הרואה ברדיקל של חוג אידיאל "בעייתי" שיש לסלק. לפי תאוריה זו, '''מחלקה רדיקלית''' היא מחלקה <math>\gamma</math> של חוגים בלי יחידה, הסגורה תחת המעבר לתמונות הומומורפיות, תחת איחוד של שרשראות, ותחת הרחבות (אם <math>I,R/I \in \gamma</math> אז <math>R \in \gamma</math>). בהינתן מחלקה רדיקלית <math>\gamma</math>, אפשר להגדיר את ה-<math>\gamma</math>-רדיקל <math>\gamma(R)</math> של חוג <math>R</math> להיות סכום כל האידיאלים של <math>R</math> השייכים למחלקה. המחלקה מאפיינת שתי תכונות מנוגדות: חוג <math>R</math> הוא <math>\gamma</math>-רדיקלי אם <math>R = \gamma(R)</math>, ו-<math>\gamma</math>-פשוט-למחצה אם <math>\gamma(R) = 0</math> (את קבוצת החוגים הפשוטים למחצה ביחס ל-<math>\gamma</math> מסמנים ב-<math>{\mathcal S}\gamma</math>; מחלקה כזו נקראת '''מחלקה פשוטה למחצה'''). את הרדיקל <math>\gamma(R)</math> אפשר גם לאפיין כחיתוך כל האידיאלים <math>I</math> שעבורם <math>\gamma(R/I)=0</math>, והמנה <math>R/\gamma(R)</math> היא תמיד <math>\gamma</math>-פשוטה-למחצה. לכל מחלקה רדיקלית, אם <math>I</math> אידיאל של חוג <math>R</math>, אז גם <math>\gamma(I)</math> אידיאל של <math>R</math> (זהו משפט Anderson-Divinsky-Sulinski).

מחלקה של חוגים הכוללת מנה שונה מאפס של כל חוג (בלי יחידה), נקראת '''מחלקה רגולרית'''; בפרט, כל מחלקה פשוטה למחצה היא רגולרית. בכיוון ההפוך, אם <math>\sigma</math> מחלקה רגולרית, אז המחלקה <math>{\mathcal U}\sigma</math> של חוגים שאין להם אף תמונה הומומורפית ב-<math>\sigma</math> היא רדיקלית (זוהי המחלקה הרדיקלית הגדולה ביותר שאין לה אף חוג שונה מאפס משותף עם <math>\sigma</math>). לכל מחלקה רדיקלית <math>\gamma</math> מתקיים <math>\gamma = {\mathcal US}\gamma</math>, כך שהמחלקות הרדיקליות מתאימות למחלקות הפשוטות-למחצה. את המחלקות הפשוטות-למחצה אפשר לאפיין ישירות, באופן הבא: מחלקה של חוגים היא פשוטה למחצה אם ורק אם היא תורשתית (אידיאל של חוג במחלקה שייך גם הוא למחלקה), קו-אינדוקטיבית (אם המנה של <math>R</math> ביחס לכל אחד מהאידיאלים בשרשרת יורדת שחיתוכה 0 היא במחלקה, אז גם <math>R</math> במחלקה), וסגורה להרחבות.

===[[השערת קתה]] ותכונת [[שמשון עמיצור|עמיצור]]===
מתברר ש[[השערת קתה]], מן ההשערות הפתוחות החשובות בתורת החוגים שקולה לטענה הבאה: אם <math>R</math> חוג נילי אז <math>R[x]</math> שווה ל[[רדיקל ג'ייקובסון]] של עצמו. בעוד השערה זו עדיין פתוחה, גרסאות שונות שלה נפתרו; בפרט, ידוע כי <math>R[x]</math> לא חייב להיות נילי (גם אם <math>R</math> נילי), אבל תמיד שווה ל[[רדיקל בהרנס]] של עצמו. הגרסה ה'דיפרנציאלית' של השערת קתה שואלת מהי תכונת הרדיקל החזקה ביותר בחוג הפולינומים הדיפרנציאליים <math>R[x;\delta]</math> בהינתן ש-<math>R</math> מקיים תכונת רדיקלים (חזקה יותר). כאן, כל הגרירות ידועות: אם <math>R</math> שווה לרדיקל הראשוני של עצמו אז <math>R[x;\delta]</math> נילפוטנטי מקומית, אך אם <math>R</math> 'רק' נילפוטנטי מקומית, החוג <math>R[x;\delta]</math> לא מוכרח להיות רדיקל ג'ייקובסון.

בכיוון ההפוך, [[שמשון עמיצור]] הוכיח כי [[רדיקל ג'ייקובסון]] של חוג הפולינומים <math>R[x]</math> שווה ל-<math>N(R)[x]</math>, חוג הפולינומים שמקדמיהם ברדיקל הנילי של <math>R</math>. תכונה זו אינה מתקיימת עבור חוג הפולינומים הדיפרנציאלי <math>R[x;\delta]</math>: הוא יכול להיות רדיקל ג'ייקובסון מבלי ש-<math>R</math> נילי; ומצד שני, לאלגברה מעל שדה אינסופי מתקיים תמיד ש-<math>\gamma(R[x;\delta])=I[x]</math> לאידיאל ''כלשהו'' <math>I\triangleleft R</math> (בפרט הדבר נכון עבור חוג הפולינומים, כאשר <math>\delta=0 </math>), וזאת לכל תכונה רדיקלית <math>\gamma</math>.

===רדיקלים ב[[אלגברה מדורגת|אלגברות מדורגות]]===

בהיבטים תורת-מבניים שונים, מבנה מדורג מעניק לאלגברה תכונות מיוחדות. ניתן לראות זאת בראי תורת הרדיקלים. להמשך הסעיף, תהי <math>R</math> אלגברה מדורגת.
* '''הרדיקל הראשוני''' (או: רדיקל בר-מקוי) של <math>R</math>, הוא חיתוך האידיאלים הראשוניים שלה תמיד הומוגני. זאת משום שהליבה ההומוגנית של אידיאל ראשוני ראשונית בעצמה, וכך הראשוניים המינימליים הם הומוגניים.
*'''רדיקל לויצקי''' (או: הרדיקל הנילפוטנטי מקומית) של <math>R</math>, הוא סכום האידיאלים הנילפוטנטיים מקומית של <math>R</math> - הומוגני. תוצאה זו הוכחה על ידי Puczylowski.
*'''הרדיקל הנילי''' של <math>R</math>, הוא סכום האידיאלים הניליים של <math>R</math> הוא הומוגני ([[אגטה סמוקטונוביץ']], 2013).
*'''[[רדיקל ג'ייקובסון]]''' של <math>R</math> הוא הומוגני (Bergman).
*'''[[רדיקל בראון-מקוי]]''' של <math>R</math> הוא הומוגני (Jespers, Puczylowski עבור אלגברה <math>G</math>-מדורגת באשר <math>G</math> חבורה חופשית).

אומרים כי אלגברה היא '''מדורגת-נילית''' אם כל אבר הומוגני הוא נילפוטנטי. לפי משפט של Bergman, רדיקל ג'ייקובסון של אלגברה מדורגת הוא מדורג-נילי. Lance Small ו[[יפים זלמנוב]] שאלו האם ההפך נכון (אולי תחת הנחות מסוימות על שדה הבסיס); שאלה זו נענתה בשלילה על ידי [[אגטה סמוקטונוביץ']], שבנתה אלגברות נוצרות סופית, מדורגות-ניליות שאינן ג'ייקובסון מעל כל שדה.

תופעה זו מגיעה לכדי קיצון במובן הבא: אומרים כי אלגברה היא '''מדורגת-נילפוטנטית''' אם כל תת-חוג שנוצר על ידי איברים הומוגניים מאותה דרגה הוא נילפוטנטי. קיימות אלגברות מונומיאליות, נוצרות סופית מדורגות-נילפוטנטיות ופרימיטיביות (ולכן לא ג'ייקובסון). יצוין כי הדירוג שמושת עליהן איננו הדירוג הטבעי לפי המעלה הכוללת (הנורש מן האלגברה החופשית).

== רדיקל של מודול ==

הרדיקל <math>\operatorname{rad}(M)</math> של מודול <math>M</math> שווה לחיתוך תת-המודולים המקסימליים של <math>M</math>. הרדיקל מתאפס אם ורק אם המודול הוא [[מודול פשוט למחצה]] (כלומר סכום ישר סופי של מודולים פשוטים). הרדיקל של המנה <math>M/\operatorname{rad}(M)</math> הוא תמיד אפס. הרדיקל של סכום ישר שווה לסכום ישר של הרדיקלים המתאימים. כל הומומורפיזם של מודולים <math>f : M \rightarrow N</math> משרה הומומורפיזם <math>f : M/\operatorname{rad}(M) \rightarrow N/\operatorname{rad}(N) \rightarrow N</math>, שהוא על אם ורק אם ההומומורפיזם המקורי הוא על (זו [[הלמה של נקאימה]] למודולים).

מושג הרדיקל של מודול מכליל את [[הרדיקל של ג'ייקובסון|רדיקל ג'ייקובסון]]: אם <math>R</math> הוא חוג, הרדיקל שלו כמודול מעל עצמו שווה ל-<math>\operatorname{Jac}(R)</math>. תורת המודולים הפשוטים למחצה היא למעשה תורה של מודולים מעל חוגים פרימיטיביים למחצה, משום שכל מודול פשוט למחצה מעל חוג <math>R</math> מהווה מודול גם מעל המנה <math>R/\operatorname{Jac}(R)</math>.

== רדיקלים באלגברות לא אסוציאטיביות ==
=== הרדיקל הפתיר ===

אידיאל <math>A</math> של חוג הוא '''אידיאל פתיר''' אם קיים <math>m</math> כך ש-<math>A^{(m)}=0</math>, כשמגדירים <math>A^{(0)}=A</math> ו-<math>A^{(m+1)}=A^{(m)}\cdot A^{(m)}</math>. מכיוון שהסכום של שני אידיאלים פתירים הוא אידיאל פתיר, לכל אלגברה מממד סופי (גם אם [[אלגברה לא אסוציאטיבית|אינה אסוציאטיבית]]) יש אידיאל פתיר מקסימלי יחיד, הנקרא '''הרדיקל הפתיר''' של האלגברה. רדיקל זה מכיל את כל האידיאלים הפתירים, ובחוג המנה ביחס אליו אין אידיאלים פתירים. לרדיקל הפתיר תפקיד מרכזי בתורת המבנה של [[אלגברת לי|אלגברות לי]] מממד סופי וממאפיין אפס (או, באופן כללי יותר, בתורת המבנה של [[אלגברת מלצב|אלגברות מלצב]] מאותו סוג), משום שהמנה ביחס אליו היא, כפי שקורה במחלקות רבות אחרות (אבל לא תמיד), [[אלגברה פשוטה למחצה]].

גם בחבורות אפשר להגדיר רדיקלים שונים; מביניהם, הרדיקל הפתיר, שהוא תת-החבורה הנורמלית הפתירה הגדולה ביותר, הוא כנראה המשמעותי מכולם. סוזוקי הראה שאת הרדיקל הפתיר של חבורה סופית אפשר לזהות מתוך סריג תת-החבורות של החבורה.

=== הרדיקל של פשטות-למחצה ===

'''הרדיקל של פשטות-למחצה''' מוגדר כאידיאל הקטן ביותר <math>\tilde{N}</math> שהמנה ביחס אליו מתפרקת ל[[סכום ישר]] של [[חוג פשוט|חוגים פשוטים]]. הרדיקל הזה קיים בכל אלגברה (לא אסוציאטיבית) מממד סופי, והוא תמיד מכיל את הרדיקל הפתיר, גם אם אינו פתיר בעצמו. בכל המחלקות החשובות של אלגברות לא אסוציאטיביות (אלגברות אלטרנטיביות, אלגברות ז'ורדן ואלגברות מלצב, ובכלל זה אלגברות אסוציאטיביות ואלגברות לי) הרדיקל של הפשטות-למחצה שווה לרדיקל הפתיר.

=== הרדיקל הנילפוטנטי ===

הרדיקל הנילפוטנטי הוא הרדיקל שהגדיר [[ג'וזף ודרברן]] כשייסד את תורת המבנה של החוגים (ראו [[המשפט הראשי של ודרברן]]). עם זאת חשיבותו משנית, משום שהוא אינו קיים בחוגים אסוציאטיביים כלליים, או אפילו באלגברות לא אסוציאטיביות מסוימות מממד סופי.

אידיאל <math>A</math> של חוג הוא '''אידיאל נילפוטנטי''' אם קיים <math>n</math> כך ש-<math>A^{n}=0</math>, כשמגדירים <math>A^{1}=A</math> ו-<math>A^{(n+1)}=A^1 \cdot A^{n} + A^2\cdot A^{n-1}+\cdots + A^n\cdot A^1</math> (במקרה האסוציאטיבי די בהגדרה <math>A^{n+1}=A\cdot A^n</math>). בחוג אסוציאטיבי, הסכום של שני אידיאלים נילפוטנטיים הוא נילפוטנטי, ולכן לאלגברה אסוציאטיבית מממד סופי יש אידיאל נילפוטנטי מקסימלי יחיד, שהוא '''הרדיקל הנילפוטנטי'''; כך גם ב[[אלגברת ז'ורדן|אלגברות ז'ורדן]] וב[[אלגברה אלטרנטיבית|אלגברות אלטרנטיביות]] מממד סופי. הרדיקל הנילפוטנטי של אלגברות ז'ורדן ואלגברות אלטרנטיביות מתלכד עם הרדיקל הפתיר.

באלגברות שאינן אסוציאטיביות, ייתכן שהאידיאל <math>I</math> של <math>A</math> ואלגברת המנה <math>A/I</math> יהיו שניהם נילפוטנטים, אף על פי ש-<math>A</math> עצמה אינה נילפוטנטית; לכן הרדיקל הנילפוטנטי אינו קיים באלגברה לא אסוציאטיבית כללית. אכן, באלגברה לא אסוציאטיבית (ואפילו אם היא קומוטטיבית) יכולים להיות כמה אידיאלים נילפוטנטים מקסימליים שונים זה מזה.

=== הרדיקל הנילי ===

'''הרדיקל הנילי''', שהוא האידיאל הגדול ביותר שכל אבריו [[איבר נילפוטנטי|נילפוטנטים]], קיים בכל [[אלגברה עם חזקות אסוציאטיביות]]. הרדיקל הזה מכיל את הרדיקל הפתיר (אבל אינו בהכרח שווה לו: באלגברות לי, הרדיקל הנילי שווה לאלגברה כולה). באלגברות אלטרנטיביות ובאלגברות ז'ורדן מממד סופי, הרדיקל הנילי הוא נילפוטנטי, ובמקרים אלה הוא שווה לרדיקל הנילפוטנטי.

'''בעיית אלברט''' (שהציע [[אדריאן אלברט]]) שואלת האם הרדיקל הנילי שווה לרדיקל הפתיר בכל אלגברה קומוטטיבית עם חזקות אסוציאטיביות.

== מקורות ==
* Encyclopaedia of Mathematical Scieneces, Vol 57, Algebra VI, A.I. Kostrikin and I.R. Shafarevich (eds.), Part II: non-associative structures, E.N.Kuzmin and I.P. Shestakov.
* The Concise Handbook of Algebra, C.19.

==הערות שוליים==
{{הערות שוליים|יישור=ימין}}

[[קטגוריה:תורת החוגים]]