Симплициальная группа

Математическая концепция в топологии

В математике, точнее, в теории симплициальных множеств , симплициальная группа — это симплициальный объект в категории групп . Аналогично, симплициальная абелева группа — это симплициальный объект в категории абелевых групп . Симплициальная группа — это комплекс Кана (в частности, его гомотопические группы имеют смысл). Соответствие Дольда–Кана гласит, что симплициальная абелева группа может быть отождествлена ​​с цепным комплексом . Фактически можно показать, что любая симплициальная абелева группа неканонически гомотопически эквивалентна произведению пространств Эйленберга–Маклейна , [1] А {\displaystyle А} я 0 К ( π я А , я ) . {\ displaystyle \ prod _ {i \ geq 0} K (\ pi _ {i} A, i).}

Коммутативный моноид в категории симплициальных абелевых групп — это симплициальное коммутативное кольцо .

Экман (1945) обсуждает симплициальный аналог того факта, что класс когомологий на кэлеровом многообразии имеет единственного гармонического представителя , и выводит из этих наблюдений законы цепи Кирхгофа .

Смотрите также

Ссылки

  1. ^ Пол Герсс и Рик Жардин  (1999, Гл. 3. Предложение 2.20)
  • симплициальная группа в n Lab
  • Что такое симплициальное коммутативное кольцо с точки зрения теории гомотопий?


Взято с "https://en.wikipedia.org/w/index.php?title=Simplicial_group&oldid=1254532378"