H0

Mathlib.RepresentationTheory.Homological.GroupHomology.LowDegree

URI: https://scilib.ai/kg/mathlib#groupHomology.H0

← MathLib Explorer

English

Abbreviation: the 0th group homology H0(A) is groupHomology A 0.

Русский

Сокращение: нулевая гомологическая группа H0(A) равна H0 A.

LaTeX

$$$ \text{H0} := \groupHomology A 0$$$

Lean4

/-- Shorthand for the 0th group homology of a `k`-linear `G`-representation `A`, `H₀(G, A)`,
defined as the 0th homology of the complex of inhomogeneous chains of `A`. -/
abbrev H0 :=
  groupHomology A 0

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

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

Разделы

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

Аффилиация

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