ממד פרויקטיבי

מתוך ויקיפדיה, האנציקלופדיה החופשית

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

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

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

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

ראו גם[עריכת קוד מקור | עריכה]