למת הנחש

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

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

נוסח פורמלי

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

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

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

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

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

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

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

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

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

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

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

נגדיר אם כך .

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

טבעיות

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

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

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

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

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

 

אלגברה הומולוגית
משפטים באלגברה