חוג מצומצם

בתורת החוגים, חוג $R$ נקרא חוג מצומצם אם האיבר הנילפוטנטי היחיד בו הוא אפס. באופן שקול, חוג הוא מצומצם אם אין בו איברים שאינם אפס שריבועם הוא אפס, כלומר אם $x^{2}=0$ גורר $x=0$ . אלגברה קומוטטיבית (חילופית) מעל חוג חילופי נקראת אלגברה מצומצמת אם החוג עליו היא בנויה הוא מצומצם.

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

חוג מנה $R/I$ הוא מצומצם אם ורק אם $I$ הוא אידיאל רדיקלי.

תהי $D$ קבוצת כל מחלקי האפס בחוג מצומצם $R$ . אם כן, $D$ הוא האיחוד של כל האידיאלים הראשוניים המינימליים.^[1]

מעל חוג נתרי $R$ , נאמר שמודול נוצר סופית $M$ דרגה קבועה מקומית אם הוא קבוע מקומי (או באופן שקול פונקציה רציפה על הספקטרום של $R$ ). אם כן, $R$ מצומצם אם ורק אם כל מודול נוצר סופית מדרגה קבועה מקומית הוא פרויקטיבי.^[2]

דוגמאות ודוגמאות נגדיות עריכה

תתי חוגים, מכפלות ולוקליזציות של חוגים מצומצמים הם שוב, חוגים מצומצמים.
חוג השלמים $\mathbb {Z}$ הוא חוג מצומצם. כל שדה וכל חוג פולינומים מעל שדה (במספר שרירותי של משתנים) הוא חוג מצומצם.
באופן כללי יותר, בכל תחום ראשי הוא חוג מצומצם מכיוון שכל איבר נילפוטנטי הוא מחלק אפס. מצד שני, לא כל חוג מצומצם הוא תחום ראשי. למשל, החוג $\mathbb {Z} [x,y]/(xy)$ מכיל את $x+(xy)$ ו- $y+(xy)$ כמחלקי אפס, אבל לא איברים נילפוטנטיים שאינם אפס. כדוגמה נוספת, החוג $\mathbb {Z} \times \mathbb {Z}$ מכיל את (1,0), (0,1) כמחלקי אפס, אבל לא מכיל איברים נילפוטנטיים שאינם אפס.
החוג $\mathbb {Z} /6\mathbb {Z}$ הוא מצומצם, עם זאת $\mathbb {Z} /4\mathbb {Z}$ אינו מצומצם: המחלקה $2+4\mathbb {Z}$ היא נילפוטנטית. באופן כללי, $\mathbb {Z} /n\mathbb {Z}$ מצומצם אם ורק אם $n=0$ או שהוא חופשי מריבועים.
אם $R$ הוא חוג חילופי ו- $N$ הוא אידיאל נילרדיקלי של $R$ , אז חוג המנה $R/N$ מצומצם.
חוג חילופי $R$ ממציין $p$ , אם $p$ ראשוני כלשהו, הוא מצומצם אם ורק אם האנדומורפיזם פרובניוס שלו הוא חד חד ערכי, כלומר הוא שדה מושלם.

הכללות עריכה

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

המלצות עריכה

N. Bourbaki, Commutative Algebra, Hermann Paris 1972, פרק 2, סעיף 2.7
N. Bourbaki, Algebra, Springer 1990, פרק 5, סעיף 6.7
Eisenbud, David, Commutative Algebra with a View Toward Algebraic Geometry, Graduate Texts in Mathematics, 150, Springer-Verlag, 1995, ISBN 0-387-94268-8.

ראו גם עריכה

תחום שלמות

הערות שוליים עריכה

^ Proof: let ${\mathfrak {p}}_{i}$ be all the (possibly zero) minimal prime ideals.
$D\subset \cup {\mathfrak {p}}_{i}:$ Let x be in D. Then xy=0 for some nonzero y. Since R is reduced, (0) is the intersection of all ${\mathfrak {p}}_{i}$ and thus y is not in some ${\mathfrak {p}}_{i}$ . Since xy is in all ${\mathfrak {p}}_{j}$ ; in particular, in ${\mathfrak {p}}_{i}$ , x is in ${\mathfrak {p}}_{i}$ .

$D\supset {\mathfrak {p}}_{i}:$ (stolen from Kaplansky, commutative rings, Theorem 84). We drop the subscript i. Let $S=\{xy|x\in R-D,y\in R-{\mathfrak {p}}\}$ . S is multiplicatively closed and so we can consider the localization $R\to R[S^{-1}]$ . Let ${\mathfrak {q}}$ be the pre-image of a maximal ideal. Then ${\mathfrak {q}}$ is contained in both D and ${\mathfrak {p}}$ and by minimality ${\mathfrak {q}}={\mathfrak {p}}$ . (This direction is immediate if R is Noetherian by the theory of associated primes.)
^ Eisenbud, Exercise 20.13.

[1] Proof: let ${\mathfrak {p}}_{i}$ be all the (possibly zero) minimal prime ideals.
$D\subset \cup {\mathfrak {p}}_{i}:$ Let x be in D. Then xy=0 for some nonzero y. Since R is reduced, (0) is the intersection of all ${\mathfrak {p}}_{i}$ and thus y is not in some ${\mathfrak {p}}_{i}$ . Since xy is in all ${\mathfrak {p}}_{j}$ ; in particular, in ${\mathfrak {p}}_{i}$ , x is in ${\mathfrak {p}}_{i}$ .

$D\supset {\mathfrak {p}}_{i}:$ (stolen from Kaplansky, commutative rings, Theorem 84). We drop the subscript i. Let $S=\{xy|x\in R-D,y\in R-{\mathfrak {p}}\}$ . S is multiplicatively closed and so we can consider the localization $R\to R[S^{-1}]$ . Let ${\mathfrak {q}}$ be the pre-image of a maximal ideal. Then ${\mathfrak {q}}$ is contained in both D and ${\mathfrak {p}}$ and by minimality ${\mathfrak {q}}={\mathfrak {p}}$ . (This direction is immediate if R is Noetherian by the theory of associated primes.)

[2] Eisenbud, Exercise 20.13.

[1]

[2]