איבר נילפוטנטי

מתוך ויקיפדיה, האנציקלופדיה החופשית

קפיצה אל: ניווט, חיפוש

באלגברה מופשטת, איבר \ x של חוג R הוא נילפוטנטי, אם יש לו חזקה שהיא אפס, כלומר, אם \ x^m=0 עבור m גדול מספיק. המספר הטבעי הקטן ביותר בעל תכונה זו נקרא דרגת הנילפוטנטיות של x.

[עריכה] דוגמאות

אם x נילפוטנטי, אז \ 1-x איבר הפיך: \ (1-x)^{-1} = 1+x+x^2+x^3+\dots; זהו איבר מוגדר היטב משום שהסכום סופי. בחוג קומוטטיבי, הסכום של כל איבר הפיך ואיבר נילפוטנטי הוא הפיך.

[עריכה] אידאלים ניליים ונילפוטנטיים

תת-קבוצה S של חוג, שכל איבריה נילפוטנטיים, נקראת קבוצה נילית (ואם S אידאל - זהו אידאל נילי). אם קיים n כך שהמכפלה \ s_1 \dots s_n מתאפסת לכל \ s_1,\dots,s_n \in S אז S היא קבוצה נילפוטנטית (או אידאל נילפוטנטי). קבוצה נילפוטנטית היא נילית, אבל ההיפך אינו נכון.

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

הספקטרום של חוג קומוטטיבי A הוא מרחב טופולוגי אי פריק אם ורק אם אוסף כל האיברים הנילפוטנטים בחוג הוא אידאל ראשוני.