Cartan-Eilenberg rezolyutsiyasi - Cartan–Eilenberg resolution - Wikipedia

Yilda gomologik algebra, Cartan-Eilenberg rezolyutsiyasi bir ma'noda, a qaror a zanjirli kompleks. U qurish uchun ishlatilishi mumkin giperdan olingan funktsiyalar. U sharafiga nomlangan Anri Kardan va Samuel Eilenberg.

Ta'rif

Ruxsat bering ${ displaystyle { mathcal {A}}}$ bo'lish Abeliya toifasi bilan etarlicha proektivlar va ruxsat bering ${ displaystyle A _ {*}}$ ob'ektlar bilan zanjir majmuasi bo'ling ${ displaystyle { mathcal {A}}}$. Keyin a Cartan-Eilenberg rezolyutsiyasi ning ${ displaystyle A _ {*}}$ yuqori yarim tekislikdir er-xotin kompleks ${ displaystyle P _ {**}}$ (ya'ni, ${ displaystyle P_ {pq} = 0}$ uchun ${ displaystyle q <0}$) ning proektiv ob'ektlaridan tashkil topgan ${ displaystyle { mathcal {A}}}$ va zanjir xaritasi ${ displaystyle varepsilon colon P_ {p0} dan A_ {p}} gacha$ shu kabi

• A_p = 0 shuni anglatadiki pustun nolga teng (P_pq = 0 hamma uchun q).
• Har biriga p, ustun P_{p *} ning proektiv o'lchamlari A_p.
• Har qanday sobit ustun uchun,
  • gorizontal xaritalarning har birining yadrolari boshlanish o'sha ustunda (ular o'zlari kompleks hosil qiladigan) aslida aniq,
  • xuddi shu xaritalarning rasmlari uchun ham amal qiladi va
  • xuddi shu xaritalarning homologiyasi uchun ham amal qiladi.

(Aslida, buni yadrolarga va homologiyaga talab qilish kifoya - rasmlarning holatlari shulardan kelib chiqadi.) Xususan, yadrolar, kokernellar va homologiya proektsion xususiyatga ega bo'lgani uchun, ular yadrolarning proektiv o'lchamlarini beradi. , kokernellar va asl kompleksning homologiyasi A_•

Injektsion rezolyutsiyalari va kokain komplekslari yordamida o'xshash ta'rif mavjud.

Cartan-Eilenberg rezolyutsiyalari mavjudligini isbotlash mumkin taqa lemmasi.

Giperdan olingan funktsiyalar

Huquq berilgan aniq funktsiya ${ displaystyle F colon { mathcal {A}} to { mathcal {B}}}$, ning chap giper-hosila funktsiyalarini aniqlash mumkin F zanjir majmuasida A_∗ Cartan-Eilenberg piksellar sonini tuzish orqali: P_∗∗ → A_∗, murojaat qilish F ga P_∗∗va natijada olingan umumiy kompleksning homologiyasini olish.

Xuddi shu tarzda, chap aniq funktsiyalar uchun o'ng hiperdan olingan funktsiyalarni ham aniqlash mumkin.

Shuningdek qarang

• Giperhomologiya

Adabiyotlar

• Vaybel, Charlz A. (1994), Gomologik algebraga kirish, Kengaytirilgan matematikadan Kembrij tadqiqotlari, 38, Kembrij universiteti matbuoti, ISBN  978-0-521-55987-4, JANOB  1269324