הצגת המקור של הדף "ממד קרול"

ב[[מתמטיקה]], '''ממד קרול''' הוא שמם המשותף של כמה [[ממד (אלגברה)|ממדים]] של [[חוג (מבנה אלגברי)|חוגים]], המתלכדים עבור [[חוג נתרי]] קומוטטיבי. ממדים אלו קרויים על שמו של [[וולפגנג קרול]], שפיתח את ממד קרול הקטן.

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

== ממד קרול הקטן ==

נניח כי <math>R</math> הוא חוג, וכי <math>P_0,P_1,\dots,P_n</math> הם [[אידיאל ראשוני|אידיאלים ראשוניים]] ב''-<math>R</math>'', כך ש-<math>P_0 \subsetneq P_1 \subsetneq \dots \subsetneq P_n</math>. אז נאמר שאידיאלים ראשוניים אלו יוצרים שרשרת באורך <math>n</math>. '''ממד קרול הקטן''' של ''<math>R</math>'' הוא ה[[חסם עליון|חסם העליון]] של כל אורכי השרשראות של אידיאלים ראשוניים, והוא סופי או שווה לאינסוף. מסמנים אותו ב-<math>\operatorname{k-dim}(R)</math>.

לדוגמה, האידיאלים הראשוניים היחידים בחוג המספרים השלמים <math>\mathbb{Z}</math> הם אידיאלים ראשיים מהצורה <math>p\mathbb{Z}</math> כאשר <math>p</math> [[מספר ראשוני]], וכן אידיאל האפס. כמו כן, אף אידיאל ראשוני (מלבד אידיאל האפס) אינו מוכל באידיאל ראשוני אחר, ולפיכך השרשרת העולה המקסימלית של אידיאלים ראשוניים היא השרשרת <math>(0) \subsetneq p\mathbb{Z}</math>. לפיכך ממד קרול של [[חוג המספרים השלמים]] הוא 1. בדומה לזה, ממד קרול של כל [[תחום ראשי]] הוא 1.  האידיאל הראשוני היחיד ב[[שדה (מבנה אלגברי)|שדה]] הוא אידיאל האפס, לכן ממד קרול של כל שדה הוא 0.

לכל אידיאל ראשוני ב[[חוג PI]] נתרי יש [[גובה של אידיאל|גובה]] סופי (אך ממד קרול הקטן של חוג כזה עשוי להיות אינסופי).

במקרה הכללי <math>k\dim R + 1 \leq k\dim R[x] \leq 2 k\dim R + 1</math>, ואלו החסמים הטובים ביותר האפשריים על הממד של [[חוג הפולינומים]] במשתנה אחד מעל ''<math>R</math>''. לעומת זאת אם ''<math>R</math>'' הוא חוג [[חוג נתרי|נתרי]] מממד ''<math>k</math>'', אז ממד קרול הקטן של <math>R[x]</math> הוא בדיוק <math>k+1</math>. בהמשך לזה, אם <math>K</math> שדה, אז ממד קרול של החוג <math>K[x_1,\dots,x_n]</math> הוא בדיוק ''<math>n</math>''. 

== ממד קרול הקלאסי == 

'''ממד קרול הקלאסי''' עדין יותר. נאמר שאידיאלים מקסימליים הם בעלי עומק 0, ושלאידיאל ראשוני <math>P</math> יש עומק <math>\alpha</math> (כאשר <math>\alpha</math> [[מספר סודר|סודר]]) אם לכל ראשוני המכיל ממש את <math>P</math> יש עומק קטן מ-<math>\alpha</math>. ממד קרול הקלאסי הוא הסודר המינימלי המהווה עומק של כל הראשוניים בחוג. מסמנים אותו <math>\operatorname{cl-K-dim}(R)</math>. לחוג יש ממד קרול קלאסי אם ורק אם הוא מקיים את תנאי השרשרת העולה על אידיאלים ראשוניים. 

== ממד קרול == 

'''ממד קרול''' (סתמי) מוגדר עבור מודולים מעל חוג <math>R</math>. למודול האפס ממד 1-. ממד קרול <math>\operatorname{Kdim}(M)</math> שווה ל[[מספר סודר|סודר]] <math>\alpha</math> אם הוא אינו קטן מ-<math>\alpha</math>, ואם לכל שרשרת יורדת <math>\cdots < M_1 < M_0 = M</math>, ממקום מסוים ואילך, <math>\operatorname{Kdim}(M_{i-1}/M_i) < \alpha</math>. בפרט, למודול (שאינו אפס) יש ממד 0 אם ורק אם הוא [[מודול ארטיני|ארטיני]]; למודול (שאינו ארטיני) יש ממד 1 אם ורק אם בכל שרשרת יורדת המנות ארטיניות החל ממקום כלשהו, למודול יש ממד 2 אם ורק אם בכל שרשרת יורדת המנות הן מממד 1 או 0 החל ממקום כלשהו.

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

אם לחוג <math>R[x]</math> יש ממד קרול, אז ''<math>R</math>'' מוכרח להיות נתרי; ולכל ''<math>R</math>'' נתרי, <math>\operatorname{Kdim}(R[x] ) = \operatorname{Kdim}(R)+1</math>.

כל חוג בעל ממד קרול מקיים את [[תנאי השרשרת העולה]] על אידיאלים ראשוניים. בחוג שיש לו ממד קרול, כל אידיאל מכיל מכפלה של מספר סופי של ראשוניים (זוהי תכונה חשובה של חוגים נתריים). בחוג שיש לו ממד קרול מתקיים אי-השוויון <math>k\dim(R) \leq \operatorname{cl-K-dim}(R) \leq \operatorname{Kdim}(R)</math>. בחוג קומוטטיבי מתלכדים ממד קרול וממד קרול הקלאסי, ואם הממד סופי (והחוג קומוטטיבי) הם שווים גם לממד קרול הקטן. 

לחוג שיש לו ממד קרול יש [[ממד יוניפורמי]] סופי; חוג [[חוג ראשוני למחצה]] שיש לו ממד קרול (שמאלי) הוא חוג גולדי (שמאלי).

==הערות ודוגמות==

*ממד קרול אינו גדל תחת תמונות הומומורפיות.
* בחוגים קומוטטיביים (ובכלל, ב[[חוג עם זהויות|חוגים עם זהויות]]) בהרחבה שלמה נשמר ממד קרול. לדוגמה, בתורת המספרים האלגברית משתמשים בכך שחוגי שלמים הם בעלי ממד קרול 1; הדבר נובע לכן ישירות מהגדרתם כהרחבות שלמות של חוג השלמים, שמימדו 1.
* Arnold הראה שקיימים חוגים קומוטטיביים מממד קרול סופי, שחוג טורי החזקות מעליהם (במשתנה אחד) אינו מקיים את תנאי השרשרת העולה על ראשוניים. יתרה מזאת, הוא הראה שאם חוג טורי החזקות הוא בעל ממד קרול סופי אז חוג הבסיס מקיים את תנאי הסופיות SFT: לכל אידיאל, יש תת-אידיאל נוצר סופית כך שחזקות חסומות של אברי האידיאל הרחב שייכות לאותו אידיאל הנוצר סופית.
* Bergman שאל האם באלגברה אפינית [[ממד גלפנד קירילוב]] חוסם את ממד קרול. Bell הראה שהדבר אינו נכון: יש אלגברות אפיניות מממד גלפנד קירילוב 2 וממד קרול שרירותי, לרבות אלגברה כזו שאינה מקיימת את תנאי השרשרת העולה על ראשוניים.

== מקורות == 

* Dimension in Ring Theory, Nastasescu and van Oystaeyen, 1987.
* Krull Dimension, Gordon and Robson, 1973.

== ראו גם ==

* [[משפט האידיאל הראשי]]

==קישורים חיצוניים==
* {{MathWorld}}

[[קטגוריה:תורת החוגים]]
[[קטגוריה:גאומטריה אלגברית]]