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

למת הארבעה, למת החמישה, למת המחלקה המונוטונית, למת המקומיות של לובאס, למת הנזל, למת הניפוח לשפות חופשיות הקשר, למת הניפוח לשפות חופשיות⁻הקשר, למת הניפוח לשפות רגולריות, למת הסנדוויץ', למת הספירה