instGroupZeroCochain

Mathlib.CategoryTheory.Sites.NonabelianCohomology.H1

URI: https://scilib.ai/kg/mathlib#CategoryTheory.PresheafOfGroups.instGroupZeroCochain

English

The collection of zero-cochains forms a group under pointwise multiplication.

Русский

Набор нулевых кочейн образует группу под покомпонентным умножением.

LaTeX

$$$\mathrm{ZeroCochain}(G,U)\ \text{is a group with }(\gamma_1\cdot\gamma_2)(i)=\gamma_1(i)\gamma_2(i).$$$

Lean4

instance : Group (ZeroCochain G U) :=
  Pi.group

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

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

Разделы

Аффилиация

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