ממד קרול – הבדלי גרסאות

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