מודול פרויקטיבי
ויקיפדיה האנציקלופדיה encyclopedia
באלגברה הומולוגית, מודול פרויקטיבי מעל חוג הוא מודול בעל התכונה הבאה: כל הומומורפיזם מתפצל דרך כל הטלה ; כלומר - במקרה כזה תמיד קיים הומומורפיזם כך ש-.
מודולים פרויקטיביים מהווים הכללה של המודולים החופשיים (אלו שיש להם בסיס): כל מודול חופשי הוא פרויקטיבי. ההגדרה של מודולים פרויקטיביים בשפה של מורפיזמים מאפשרת גמישות רבה, והופכת אותם למרכיב יסודי באלגברה הומולוגית. מנקודת המבט הזו, התכונה המרכזית היא שמודול הוא פרויקטיבי אם ורק אם הפונקטור הוא מדויק.
חוג הוא פשוט למחצה אם ורק אם כל המודולים שלו פרויקטיביים. כל מודול חסר פיתול מעל חוג דדקינד הוא פרויקטיבי.