Homologická homologie - Cotriple homology

V algebře dána kategorie C s kotníková, n-th homriple homologie objektu X v C s koeficienty v funktoru E je n-th homotopická skupina z E rozšířeného zjednodušeného objektu vyvolaného z X u kotlíku. Termín "homologie" je proto, že v případě abelian, tím Dold – Kan korespondence, homotopické skupiny jsou homologií odpovídajícího komplexu řetězce.

Příklad: Let N být levým modulem přes prsten R a nechte . Nechat F být levým adjunktem zapomnětlivého funktoru z kategorie prstenů do Soubor; tj. funktor volného modulu. Pak definuje kotričku a n-tá kotulární homologie je n- levý derivovaný funktor E hodnoceno na M; tj., .

Příklad (algebraická K-teorie ):[1] Napišme GL pro funktora . Jako dříve, definuje kotričku na kategorii prstenů s F volný funktor vyzvánění a U zapomnětlivý. Pro prsten R, jeden má:

 

kde vlevo je n-th K.-skupina R. Tento příklad je instancí nonabelianská homologická algebra.

Poznámky

  1. ^ Swan, Richard G. (1972). „Některé vztahy mezi vyššími K-funktory“. Journal of Algebra. 21: 113–136. doi:10.1016/0021-8693(72)90039-7.

Reference

Další čtení