אלגברה הומולוגית
אלגברה הומולוגית היא ענף מתמטי העוסק בחקר שיטות הומולוגיות וקוהומולוגיות בהקשרן הכללי, וגם ביישומים שלהן, בעיקר בתורת הקטגוריות, בטופולוגיה אלגברית ובתורת החוגים.
התחום החל את דרכו כהכללה וגיבוש של שיטות בטופולוגיה אלגברית. למרות שחבורות הומולוגיה וקוהומולוגיה הופיעו במתמטיקה, באופן סמוי, גם קודם לכן, האלגברה ההומולוגית הוכרה כענף עצמאי ב-1956, כאשר אנרי קרטן וסמואל אילנברג פרסמו את ספרם "Homological Algebra".
תורות קוהומולוגיות הוגדרו בענפים שונים של המתמטיקה עבור אובייקטים מתמטיים רבים, כגון מרחבים טופולוגים, אלומות, חבורות, חוגים, אלגבראות לי ואלגבראות סי-כוכב.
בין המושגים הבסיסיים בתחום: קומפלקס שרשרת וסדרה מדויקת. אחד הכלים הקלאסיים באלגברה הומולוגית הוא פונקטורים נגזרים, כגון Ext, הפונקטור הנגזר של Hom ו-Tor, הפונקטור הנגזר של פונקטור המכפלה הטנזורית.
ראו גם
[עריכת קוד מקור | עריכה]קישורים חיצוניים
[עריכת קוד מקור | עריכה]
| אלגברה מופשטת | ||
|---|---|---|
| ענפים | אלגברה ליניארית • אלגברה בוליאנית • אלגברה דיפרנציאלית • אלגברה הומולוגית • גאומטריה אלגברית • טופולוגיה אלגברית • תורת גלואה • תורת החבורות • תורת החוגים • תורת המספרים האלגברית • תורת הקטגוריות • תורת השדות | |
| מבנים אלגבריים | מאגמה • חבורה למחצה • מונואיד • חבורה • חבורה אַבּלִית • חוג • תחום שלמות • שדה • מודול • מרחב וקטורי • אלגברה (מבנה אלגברי) • אלגברת לי • אלגברת הקווטרניונים של המילטון • אלגברה לא אסוציאטיבית | |
| מושגי יסוד | הומומורפיזם • משפטי האיזומורפיזם • תת-חבורה נורמלית • אידיאל • לוקליזציה • מכפלה טנזורית • הצגה ליניארית | |
