למת הנחש

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

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

נוסח פורמלי

יהיו  חבורות אבליות או מודולים מעל חוג או באופן כללי יותר אובייקטים של קטגוריה אבלית נתונה, ונניח כי הדיאגרמה הבאה מתחלפת,
קובץ:Snake lemma origin.svg
כאשר  הומומורפיזמים, וכן השורה העליונה והשורה התחתונה מהוות סדרות קצרות מדויקות.

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

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

הסיבה לשם למת הנחש, הוא האופן בו נבנית הסדרה המדויקת מתוך הדיאגרמה:
קובץ:Snake lemma complete.svg

בניית ההעתקות של הסדרה המדויקת

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

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

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

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

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

נגדיר אם כך .

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

טבעיות

כפי שהוזכר לעיל, ההעתקה  היא טבעית. כלומר, נתבונן במצב של דיאגרמה המתארת סיטואציה כפולה מזו שבלמת הנחש,
commutative diagram with exact rows
כאשר בנוסף להתחלפות של הדיאגרמה בעלת האינדקס 1 והדיאגרמה בעלת האינדקס 2, יש גם התחלפות של כל הדיאגרמה התלת-ממדית.

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

קישורים חיצוניים



קטגוריה:אלגברה הומולוגית
קטגוריה:משפטים באלגברה
נחש