אובייקט אינג'קטיבי

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

במתמטיקה, ובמיוחד בתורת הקטגוריות, אובייקט Q בקטגוריה C נקרא אובייקט אינג'קטיבי אם לכל מונומורפיזם ב-C, ובהינתן מורפיזם קיים מורפיזם כך ש- .

לדוגמה, בקטגוריה של מודולים, מודול Q הוא אינג'קטיבי אם קיים הומומורפיזם של מודולים ההופך את הדיאגרמה הבאה (בה השורה העליונה היא סדרה מדויקת) לקומוטטיבית:

commutative diagram defining injective module Q

בהינתן קטגוריה C, אומרים כי ב-C יש מספיק אובייקטים אינג'קטיבים, אם לכל אובייקט X בקטגוריה, יש מונומורפיזם מ-X לאובייקט אינג'קטיבי כלשהו. בקטגוריה אבלית בה יש מספיק אובייקטים אינג'קטיבים ניתן להגדיר פונקטורים נגזרים.

P mathematics.svg ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום למכלול ולהרחיב אותו.
Logo hamichlol 3.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0