Homologinen algebra

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.

Historia

Ensimmäisiä homologisia algebran menetelmiä käyttivät XX vuosisadan 40-luvulla Dmitri Konstantinovich Faddeev , Samuel Eilenberg ja Saunders MacLane ryhmälaajennusten tutkimuksessa.

Ketjukompleksi

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ä.

Resoluutio

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.

Johdetut funktorit

Kirjallisuus