Cotriple homologiyasi - Cotriple homology

Algebrada kategoriya berilgan C bilan qovurg'a, n- kotriple homologiyasi ob'ektning X yilda C funktsiyadagi koeffitsientlar bilan E bo'ladi n-chi homotopiya guruhi ning E dan induksiya qilingan kattalashtirilgan soddalashtirilgan narsaning X kotriple tomonidan. "Gomologiya" atamasi, chunki abeliya misolida Dold-Kan yozishmalari, homotopiya guruhlari mos keladigan zanjir kompleksining homologiyasi.

Misol: Keling N halqa ustida chap modul bo'ling R va ruxsat bering . Ruxsat bering F unutuvchi funktsiyaning halqalar toifasidan chap qo'shimchasi bo'ling O'rnatish; ya'ni bepul modul funktsiyasi. Keyin kotriple va the belgilaydi n- ning kotriple homologiyasi bo'ladi n- ning chapdan olingan funktsiyasi E da baholandi M; ya'ni, .

Misol (algebraik K-nazariyasi ):[1] Yozaylik GL funktsiya uchun . Oldingi kabi, bilan halqalar toifasida kotriplezni belgilaydi F bepul halqa funktsiyasi va U unutuvchan. Uzuk uchun R, bitta:

 

chap tomonda joylashgan n-chi K- guruh R. Ushbu misol nonabelian homologik algebra.

Izohlar

  1. ^ Oqqush, Richard G. (1972). "Yuqori K-funktsiyalar o'rtasidagi ba'zi munosabatlar". Algebra jurnali. 21: 113–136. doi:10.1016/0021-8693(72)90039-7.

Adabiyotlar

Qo'shimcha o'qish