Было предложено объединить Симплициальное коммутативное кольцо с этой статьей. ( Обсудить ) Предлагается с июля 2024 года. |
В математике, точнее, в теории симплициальных множеств , симплициальная группа — это симплициальный объект в категории групп . Аналогично, симплициальная абелева группа — это симплициальный объект в категории абелевых групп . Симплициальная группа — это комплекс Кана (в частности, его гомотопические группы имеют смысл). Соответствие Дольда–Кана гласит, что симплициальная абелева группа может быть отождествлена с цепным комплексом . Фактически можно показать, что любая симплициальная абелева группа неканонически гомотопически эквивалентна произведению пространств Эйленберга–Маклейна , [1]
Коммутативный моноид в категории симплициальных абелевых групп — это симплициальное коммутативное кольцо .
Экман (1945) обсуждает симплициальный аналог того факта, что класс когомологий на кэлеровом многообразии имеет единственного гармонического представителя , и выводит из этих наблюдений законы цепи Кирхгофа .