השערת קתה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות) מ בוט החלפות: \1איברים |
Matanyabot (שיחה | תרומות) מ בוט החלפות: אידיאל |
||
שורה 1:
'''השערת קֶתֶה''' היא השערה מפורסמת ב[[תורת החוגים]] העוסקת ב[[
== השערת קתה ==
[[קובץ:Koethe2.svg|300px|ממוזער|שמאל|תכונות של חוג R ושל חוג הפולינומים מעליו (ראו הסבר בגוף הטקסט).]]
השערת קתה שואלת האם בכל חוג (אסוציאטיבי):
*
השערה זו שקולה לכל אחת מההשערות הבאות:
* הסכום של שני
* אם בחוג אין [[
* לכל חוג R מתקיים <math>\ N(R) = \overline{N}(R)</math>, כאשר <math>\ N(R)</math> הוא סכום
* לכל חוג נילי, גם חוג המטריצות <math>\operatorname{M}_2(R)</math> נילי.
* לכל חוג נילי R, חוג הפולינומים <math>\ R[x]</math> קוואזי-הפיך (כלומר שווה ל[[רדיקל ג'ייקובסון]] של עצמו; ידוע שחוג הפולינומים של חוג נילי שווה לרדיקל בראון-מק'קוי של עצמו).
שורה 15:
*אם R חוג נילי אז <math>R[x]</math> איננו פרימיטיבי.
השקילות לניסוח האחרון נובעת ממשפט של Smoktunowicz, לפיו
בדיאגרמה משמאל, השערת קתה (בגרסה "אם R נילי אז חוג הפולינומים מעליו נילי"), עם תוצאות קרובות. הרדיקלים המופיעים בדיאגרמה הם [[הרדיקל של ג'ייקובסון]], רדיקל Behrnes השווה לחיתוך הגרעינים של הומומורפיזמים לחוגים עם אידמפוטנט, ו[[רדיקל בראון-מקוי]]. החץ בירוק: השערת קתה. החצים המרוסקים מתארים גרירות טריוויאליות. החצים בכחול, משפטים (מלמעלה למטה: תוצאות של עמיצור, של Beidar-Fong-Puczylowsi 2001 ושל A.Smoktunowicz 1999). החצים באדום: גרירות שאינן נכונות (הבניה של חוג נילי שחוג הפולינומים מעליו אינו נילי היא של A.Smoktunowicz 2000).
הגרסה הלא-אסוציאטיבית של השערת קתה אינה נכונה: ב[[אלגברה לא אסוציאטיבית|אלגברה הלא-אסוציאטיבית]] הנוצרת על ידי שני איברים x,y תחת היחסים: xy=y,yx=x,x^2=y^2=0, האיברים x ו- y יוצרים
== מקרים שבהם ההשערה מתקיימת ==
השערת קתה מתקיימת בחוג R אם לכל
* ב[[חוג נתרי|חוגים נתריים]] (לפי משפט לויצקי: בחוג נתרי, כל
* בכל [[חוג עם זהויות]] <math>\ \overline{N}(R) = \operatorname{Nil}_*(R)</math>{{הערה|McConnel and Robson, 13.2.6}} (בחוג עם זהויות הנוצר סופית מעל חוג קומוטטיבי נתרי, אפילו <math>\ \operatorname{Jac}(R) = \operatorname{Nil}_*(R)</math>, משפט Razmyslov-Kemer-Braun).
* בחוגים שבהם רדיקל ג'ייקובסון נילי (משום שכל
** באלגברה אלגברית מעל שדה;
** באלגברה R שממדה מעל F קטן ממש מהעוצמה של F;
שורה 31:
* באלגברה מונומיאלית נוצרת סופית (משום שרדיקל ג'ייקובסון הוא נילפוטנטי מקומית, Beidar and Fong, 1998).
לפי משפט של עמיצור, רדיקל ג'ייקובסון של כל חוג <math> R[x]</math> הוא מהצורה <math> I[x]</math> כאשר I
== מקורות ==
|