Гомологічна алгебра

Гомологічна алгебра — розділ алгебри, що вивчає алгебраїчні об'єкти, запозичені з алгебраїчної топології. При вивченні розширень груп, першими гомологічні методи у алгебрі застосували у 40-х роках XX століття Шаблон:Нп і Шаблон:Нп.

Гомологічна алгебра відіграє важливу роль в алгебричній топології, застосовується в багатьох розділах алгебри, таких як теорія груп, теорія алгебр, алгебрична геометрія, теорія Галуа.

Ланцюговий комплекс

Шаблон:Main Ланцюговий комплекс це градуйований модуль $M=\underset{n=0}{\overset{\mathrm{\infty }}{⨁}}{M}_n$ з диференціалом $d:M\to M$, $d^2=0$ (що не виконується для півсфери, яка є проєкцією 4-вимірного об'єкта), що знижує градуювання для ланцюгового комплексу, $d(M_n)\subset M_{n-1}$, або підвищує градуювання для коланцюгового комплексу, $d(M_n)\subset M_{n+1}$.

Одним з основних понять гомологічної алгебри є ланцюговий комплекс. Ланцюгові комплекси присутні у різних розділах математики, в алгебричній топології, комутативній алгебрі, алгебричній геометрії, вивчення загальних властивостей комплексів є однією з основних завдань гомологічної алгебри.

Резольвента

Проективною резольвентою модуля $A$, називається лівий комплекс $\dots ⟶X_n\stackrel{d_n}{⟶}{X}_{n-1}⟶\dots \stackrel{d_1}{⟶}{X}_0\stackrel{\epsilon }{⟶}A⟶0$, у якому всі $X_n$ є проективними і гомології якого дорівнюють нулю, окрім нульових.

Проективні резольвенти використовуються для обчислення функторів $To{r}_n(A,C)$ и $Ex{t}^n(A,C)$. Резольвенти виникли в алгебраїчній топології для обчислення гомологій топологічного добутку за гомологіями множників за формулою Кюнетта.

Література

• А. Картан, С. Эйленберг, «Гомологическая алгебра», 1960 год.
• С. Маклейн, «Гомология», 1966 год.
• Р. Годеман «Алгебраическая топология и теория пучков», 1961 год.
• Бурбаки, «Гомологическая алгебра», 1987 год.