אידיאל נילי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות)
מ בוט החלפות: אידיאל
מ הגהה, עריכת נוסחאות
שורה 3:
== הגדרות ==
 
איבר <math>a</math> של חוג הוא '''נילפוטנטי''' אם קיים <math>n</math> כך ש- <math>\ a^n=0</math>.
 
תת-קבוצה <math>S</math> של חוג <math>R</math>, שכל איבריה נילפוטנטיים, נקראת '''קבוצה נילית'''. אם קיים <math>n</math> כך שהמכפלה <math>\ s_1 \dots s_n</math> מתאפסת לכל <math>\ s_1,\dots,s_n \in S</math> אז <math>S</math> היא '''קבוצה נילפוטנטית'''. קל לראות שהאידיאל השמאלי <math>\ Ra</math> הוא נילי אם ורק אם האידיאל הימני <math>\ aR</math> הוא כזה.
 
אידיאל הוא '''נילפוטנטי מקומית''', אם תת-החוג הנוצר על ידי מספר יוצרים סופי מאברי האידיאל הוא תמיד נילפוטנטי (אם כי דרגת הנילפוטנטיות עשויה להיות תלויה בבחירת היוצרים). כל אידיאל נילפוטנטי הוא נילפוטנטי מקומית, וכל אידיאל נילפוטנטי מקומית הוא נילי; הטענות ההפוכות אינן נכונות בדרך כלל. עם זאת, ב[[חוג נותרי|חוגים נותריים]], כל אידיאל שמאלי נילי הוא [[אידיאל נילפוטנטי]]{{הערה|1=Ring Theory, L. Rowen, Theorem 2.6.23;