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

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

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

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

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

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

ראו גם

Logo hamichlol 3.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0