H0 — Mathlib · SciLib

English

H0(A) is defined as the zeroth cohomology of the complex of inhomogeneous cochains of A; in other words, the space of G-invariants in A modulo the trivial coboundaries.

Русский

H0(A) определяется как нулевая когомологија комплекса неоднородных кокозиал A; то есть пространство инвариантов G в A по модулю тривиальных кобоундрарий.

LaTeX

$$$H0(A) := groupCohomology(A,0)$$$

Lean4

/-- Shorthand for the 0th group cohomology of a `k`-linear `G`-representation `A`, `H⁰(G, A)`,
defined as the 0th cohomology of the complex of inhomogeneous cochains of `A`. -/
abbrev H0 :=
  groupCohomology A 0

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