למת הנחש

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

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

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

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

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

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

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

בנוסף, אם הוא מונומורפיזם, אז גם החץ הוא מונומורפיזם. כמו כן, אם הוא אפימורפיזם אז גם החץ הוא אפימורפיזם.

הסיבה לשם למת הנחש, הוא האופן בו נבנית הסדרה המדויקת מתוך הדיאגרמה:

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

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

נתאר את בניית ההעתקה עבור המקרה של חבורות אבליות או מודולים מעל חוג: יהי .

נתבונן בשיכון הטבעי , ונשתמש בכך ש- העתקה על. אז יש שעבורו .

מהתחלפות הדיאגרמה נובע כי , כאשר השוויון האחרון הוא כי .

מהיות השורה התחתונה מדויקת, נובע שקיים המקיים , והוא יחיד מההנחה כי חח"ע.

נגדיר אם כך .

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

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

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

commutative diagram with exact rows

כאשר בנוסף להתחלפות של הדיאגרמה בעלת האינדקס 1 והדיאגרמה בעלת האינדקס 2, יש גם התחלפות של כל הדיאגרמה התלת-ממדית.

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

commutative diagram with exact rows

כאשר זו דיאגרמה מתחלפת.

קישורים חיצוניים[עריכת קוד מקור | עריכה]

ויקישיתוף מדיה וקבצים בנושא למת הנחש בוויקישיתוף
  • למת הנחש, באתר MathWorld (באנגלית)