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

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

נניח כי ${\displaystyle R}$ הוא חוג, וכי ${\displaystyle P_{0},P_{1},\dots ,P_{n}}$ הם אידיאלים ראשוניים ב-${\displaystyle R}$, כך ש-${\displaystyle P_{0}\subsetneq P_{1}\subsetneq \dots \subsetneq P_{n}}$. אז נאמר שאידיאלים ראשוניים אלו יוצרים שרשרת באורך ${\displaystyle n}$. ממד קרול הקטן של ${\displaystyle R}$ הוא החסם העליון של כל אורכי השרשראות של אידיאלים ראשוניים, והוא סופי או שווה לאינסוף. מסמנים אותו ב-${\displaystyle \operatorname {k-dim} (R)}$.

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

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

במקרה הכללי ${\displaystyle k\dim R+1\leq k\dim R[x]\leq 2k\dim R+1}$, ואלו החסמים הטובים ביותר האפשריים על הממד של חוג הפולינומים במשתנה אחד מעל ${\displaystyle R}$. לעומת זאת אם ${\displaystyle R}$ הוא חוג נתרי מממד ${\displaystyle k}$, אז ממד קרול הקטן של ${\displaystyle R[x]}$ הוא בדיוק ${\displaystyle k+1}$. בהמשך לזה, אם ${\displaystyle K}$ שדה, אז ממד קרול של החוג ${\displaystyle K[x_{1},\dots ,x_{n}]}$ הוא בדיוק ${\displaystyle n}$.

ממד קרול הקלאסי עדין יותר. נאמר שאידיאלים מקסימליים הם בעלי עומק 0, ושלאידיאל ראשוני ${\displaystyle P}$ יש עומק ${\displaystyle \alpha }$ (כאשר ${\displaystyle \alpha }$ סודר) אם לכל ראשוני המכיל ממש את ${\displaystyle P}$ יש עומק קטן מ-${\displaystyle \alpha }$. ממד קרול הקלאסי הוא הסודר המינימלי המהווה עומק של כל הראשוניים בחוג. מסמנים אותו ${\displaystyle \operatorname {cl-K-dim} (R)}$. לחוג יש ממד קרול קלאסי אם ורק אם הוא מקיים את תנאי השרשרת העולה על אידיאלים ראשוניים.

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

למודול נתרי יש ממד קרול (אבל לא לכל מודול). ממד קרול של החוג ${\displaystyle R}$ הוא הממד שלו כמודול מעל עצמו, אם הוא קיים. בפרט, לכל חוג נתרי יש ממד קרול. כל סודר יכול להיות ממד קרול של חוג נתרי קומוטטיבי, וממד קרול של תחום ראשי שמאלי.

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

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

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

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

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

• משפט האידיאל הראשי

• ממד קרול, באתר MathWorld (באנגלית)