השערת קתה – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
בארי 27 (שיחה | תרומות)
שורה 16:
 
השקילות לניסוח האחרון נובעת ממשפט של Smoktunowicz, לפיו אידיאלים פרימיטיביים בחוגי פולינומים מעל חוגים ניליים הם הומוגניים. עם זאת, יצוין כי קיים חוג ''<math>R</math>'' השווה לרדיקל ג'ייקובסון של עצמו, אך חוג הפולינומים מעליו פרימיטיבי.
בדיאגרמה משמאל, השערת קתה (בגרסה "אם ''<math>R</math>'' נילי אז חוג הפולינומים מעליו נילי"), עם תוצאות קרובות. הרדיקלים המופיעים בדיאגרמה הם [[הרדיקל של ג'ייקובסון]], רדיקל Behrnes השווה לחיתוך הגרעינים של הומומורפיזמים לחוגים עם [[אידמפוטנט]], ו[[רדיקל בראון-מקוי]]. החץ בירוק: השערת קתה. החצים המרוסקים מתארים גרירות טריוויאליות. החצים בכחול, משפטים (מלמעלה למטה: תוצאות של עמיצור, של Beidar-Fong-Puczylowsi 2001 ושל A.Smoktunowicz[[אגטה סמוקטונוביץ'|סמוקטונוביץ']] 1999). החצים באדום: גרירות שאינן נכונות (הבניה של חוג נילי שחוג הפולינומים מעליו אינו נילי היא של A.Smoktunowicz[[אגטה סמוקטונוביץ'|סמוקטונוביץ']] 2000).
 
הגרסה הלא-אסוציאטיבית של השערת קתה אינה נכונה: ב[[אלגברה לא אסוציאטיבית|אלגברה הלא-אסוציאטיבית]] הנוצרת על ידי שני איברים ''<math>x,y</math>'' תחת היחסים: ''<math>xy=y,yx=x,x^2=y^2=0</math>'', האיברים ''<math>x</math>'' ו-''<math>y</math>'' יוצרים אידיאלים שמאליים ניליים, אך סכומם אינו נילי.