11-08-2023
Теорема об универсальных коэффициентах в алгебраической топологии устанавливает связь между целочисленными гомологиями топологического пространства X и его гомологиями с коэффициентами в произвольной абелевой группе A. Она утверждает, что группы целочисленных гомологий полностью определяют группы , причем гомологии могут быть как симплициальными так и сингулярными — это общий результат гомологической алгебры о цепных комплексах свободных абелевых групп.
Рассмотрим тензорное произведение . Теорема утверждает, что существует инъективный гомоморфизм этой группы в с коядром .
Другими словами, существует естественная короткая точная последовательность
Более того, эта последовательность расщепляется, но расщепление не является естественным.
Существует аналогичная теорема для когомологий, вовлекающая функтор Ext, которая утверждает, что существует короткая точная последовательность
Как и в случае гомологий последовательность расщепляется, хотя и не естественным образом.
Теорема об универсальных коэффициентах.