cocycle

Mathlib.Algebra.Homology.HomotopyCategory.HomComplex

URI: https://scilib.ai/kg/mathlib#CochainComplex.HomComplex.cocycle

← MathLib Explorer

English

The cocycles form a subgroup of the cochains: Cocycle(F,G,n) is the kernel of δ_hom at (n,n+1).

Русский

Кокцикл образует подгруппу коцептов: Cocycle(F,G,n) = ker(δ_hom n (n+1)).

LaTeX

$$Cocycle(F,G,n) = \ker(δ_{n,n+1})$$

Lean4

/-- The subgroup of cocycles in `Cochain F G n`. -/
def cocycle : AddSubgroup (Cochain F G n) :=
  AddMonoidHom.ker (δ_hom ℤ F G n (n + 1)).toAddMonoidHom

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru