Homologinen algebra on algebran haara , joka tutkii algebrallisesta topologiasta lainattuja algebrallisia objekteja .
Homologisella algebralla on tärkeä rooli algebrallisessa topologiassa; sitä käytetään monilla algebran aloilla, kuten ryhmäteoria, algebrateoria, algebrallinen geometria, Galois'n teoria.
Ensimmäisiä homologisia algebran menetelmiä käyttivät XX vuosisadan 40-luvulla Dmitri Konstantinovich Faddeev , Samuel Eilenberg ja Saunders MacLane ryhmälaajennusten tutkimuksessa.
Ketjukompleksi on lajiteltu moduuli , jossa on differentiaali , , joka alentaa ketjukompleksin arvosanaa tai nostaa kochainkompleksin arvosanaa , .
Yksi homologisen algebran peruskäsitteistä on ketjukompleksi. Ketjukomplekseja syntyy matematiikan eri aloilla: algebrallisessa topologiassa, kommutatiivisessa algebrassa ja algebrallisessa geometriassa. Kompleksien yleisten ominaisuuksien tutkiminen on yksi homologisen algebran päätehtävistä.
Moduulin projektiivista resoluutiota kutsutaan vasemmaksi kompleksiksi , jossa kaikki ovat projektiivisia ja jonka homologia on yhtä suuri kuin nolla, paitsi nolla.
Projektiivisia resoluutioita käytetään Tor n ( A , C ) ja Ext n ( A , C ) -funktioiden laskemiseen. Algebrallisessa topologiassa syntyi liuottimia topologisen tuotteen homologioiden laskemiseksi tekijöiden homologioista Künnethin kaavan avulla.
Matematiikan alat | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
Portaali "Tiede" | ||||||||||
Matematiikan perusteet joukko teoria matemaattinen logiikka logiikan algebra | ||||||||||
Lukuteoria ( aritmetiikka ) | ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
|