חוג מצומצם

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

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

חוג מנה  הוא מצומצם אם ורק אם  הוא אידיאל רדיקלי. 

תהי  קבוצת כל מחלקי האפס בחוג מצומצם . אם כן,  הוא האיחוד של כל האידיאלים הראשוניים המינימליים.

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

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

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

 לקריאה נוספת
 N. Bourbaki, Commutative Algebra, Hermann Paris 1972, פרק 2, סעיף 2.7
 N. Bourbaki, Algebra, Springer 1990, פרק 5, סעיף 6.7
 * 

 ראו גם 
 תחום שלמות

הערות שוליים

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