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

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

באלגברה הומולוגית, מודול פרויקטיבי מעל חוג R הוא מודול P בעל התכונה הבאה: כל הומומורפיזם \ g : P \rightarrow M מתפצל דרך כל הטלה \ f : N \rightarrow M; כלומר - במקרה כזה תמיד קיים הומומורפיזם \ h : P \rightarrow N כך ש- \ g = f \circ h.

מודולים פרויקטיביים מהווים הכללה של המודולים החופשיים (אלו שיש להם בסיס): כל מודול חופשי הוא פרויקטיבי. ההגדרה של מודולים פרויקטיביים בשפה של מורפיזמים מאפשרת גמישות רבה, והופכת אותם למרכיב יסודי באלגברה הומולוגית. מנקודת המבט הזו, התכונה המרכזית היא שמודול P הוא פרויקטיבי אם ורק אם הפונקטור \ \operatorname{Hom}(P,-) הוא מדויק.

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

תכונות בסיסיות[עריכת קוד מקור | עריכה]

אם \ F=P\oplus Q הוא מודול חופשי, אז P פרויקטיבי, ולהיפך - כל מודול פרויקטיבי הוא מחובר ישר של מודול חופשי (וכל מודול פרויקטיבי נוצר סופית הוא מחובר ישר של מודול חופשי נוצר סופית). מכאן נובע שסכום ישר של מודולים הוא פרויקטיבי, אם ורק אם כל אחד מן המחוברים פרויקטיבי. כמו כן נובע מכך שכל מחובר ישר של מודול פרויקטיבי הוא בעצמו פרויקטיבי.

מודול P הוא פרויקטיבי אם ורק אם כל סדרה מדויקת קצרה \ 0 \longrightarrow A \longrightarrow B \longrightarrow P \longrightarrow 0 מתפצלת.

חופשיות מוגדרת לפי בסיס. יש הגדרה דומה למודולים פרויקטיביים: מודול P הוא פרויקטיבי אם ורק אם יש אברים \ x_i \in P והומומורפיזמים \ f_i \in \operatorname{Hom}(P,R) כך שלכל \ x \in P מתקיים \ x = \sum f_i(x)x_i.

תת-מודולים[עריכת קוד מקור | עריכה]

חוג שמעליו פרויקטיביות עוברת בתורשה לתת-מודולים, נקרא חוג תורשתי. אם התורשה פועלת רק על תת-מודולים נוצרים סופית, החוג הוא תורשתי למחצה. קפלנסקי הוכיח שכל מודול פרויקטיבי אפשר לפרק לסכום ישר של מודולים נוצרים-מנייתית. מעל חוג תורשתי למחצה (ואפילו תורשתי למחצה חלש), מודול פרויקטיבי הוא סכום ישר של מודולים נוצרים סופית ‏[1].

החבורה K0[עריכת קוד מקור | עריכה]

את אוסף המודולים הפרויקטיביים של חוג R אפשר ללמוד באמצעות החבורה \ K_0(R), המוגדרת באמצעות הפונקטור K0: זוהי חבורת גרותנדיק של מונואיד המודולים הפרויקטיביים הנוצרים סופית, ביחס לפעולת הסכום הישר.

מעל חוג עם חילוק (לרבות שדה), חוג מקומי (גם אם אינו קומוטטיבי), או חוג שבו כל אידאל שמאלי הוא ראשי (לרבות תחום ראשי), כל מודול פרויקטיבי נוצר סופית הוא חופשי. במקרים כאלה \ K_0(R) \cong \mathbb{Z}.

"הטריק של איילנברג" מראה מדוע מוכרחים להגביל הגדרה זו למודולים נוצרים סופית: אם P פרויקטיבי, אז \ P\oplus Q=F חופשי עבור מודול (פרויקטיבי) מתאים Q, ולכן \ Q \oplus F^{\infty} \cong F^{\infty}; לכן P שקול לאפס בחבורת גרותנדיק של כל המודולים הפרויקטיביים מעל R.

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

מכפלה טנזורית[עריכת קוד מקור | עריכה]

המכפלה הטנזורית \ P \otimes_C Q של שני מודולים פרויקטיביים \ P,Q מעל החוג הקומוטטיבי C, היא מודול פרויקטיבי. פרויקטיביות נשמרת תחת הרחבת סקלרים, במובן הבא: אם P מודול פרויקטיבי מעל החוג הקומוטטיבי C, ו-R אלגברה מעל C, אז \ R \otimes_C P הוא מודול פרויקטיבי מעל \,R.

השערת סר[עריכת קוד מקור | עריכה]

"השערת סר" (Serre), שאותה הוכיחו Quillen ו- Suslin (בנפרד, ב-1976), קובעת שכל מודול פרויקטיבי מעל חוג הפולינומים בכמה משתנים מעל שדה הוא חופשי. ההשערה הייתה אחד הגורמים החשובים בהתפתחות תורת המודולים מעל חוגים קומוטטיביים. אם מחליפים את השדה בחוג עם חילוק, התוצאה אינה נכונה.

תכונות דומות[עריכת קוד מקור | עריכה]

כיסוי פרויקטיבי[עריכת קוד מקור | עריכה]

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

קוואזי-פרויקטיביות[עריכת קוד מקור | עריכה]

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

מודול שאפשר להרים אליו כל אנדומורפיזם של מודול מנה, נקרא דמוי-פרויקטיבי (אנ'). כל מודול קוואזי-פרויקטיבי הוא דמוי-פרויקטיבי.

מודול M הוא \pi-פרויקטיבי, אם לכל פירוק \ M = N+N' (הסכום לאו-דווקא ישר), יש אנדומורפיזם f כך ש-\ f(M)\subseteq X ו-\ (1-f)M \subseteq Y. כל מודול דמוי-פרויקטיבי הוא כזה, וכך גם כל מודול יוניסריאלי (מודול שבין כל שני תת-מודולים שלו אחד מכיל את השני). מעל חוג השלמים, \pi-פרויקטיביות שקולה לדמוי-פרויקטיביות. חוג שמעליו כל מודול הנוצר על ידי שני אברים הוא \pi-פרויקטיבי, הוא פשוט למחצה.

פרויקטיביות נאמנה[עריכת קוד מקור | עריכה]

מודול פרויקטיבי P מעל R הוא "פרויקטיבי בנאמנות" (faithfully projective) אם \ IP \neq P לכל אידאל I של R (השווה למודול נאמן). תכונה זו מועילה למשל כאשר P הוא בעצמו חוג: אם R הוא תת-חוג של P, ו-P הוא פרויקטיבי בנאמנות מעל R, אז R הוא מחובר ישר ב-T ‏[2].

לקריאה נוספת[עריכת קוד מקור | עריכה]

  • Lectures on modules and ring \ T.Y.Lam
  • Wolfraim Math world
  • Handbook of Algebra, Chapter C.20.

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ P.M. Cohn, Free Rings and Their Relations, Sec. 0.3
  2. ^ L.H.Rowen, Ring Theory, 1988, Prop. 2.11.29.