H1 — Mathlib · SciLib

English

H1 is the first group cohomology of A, defined as the first cohomology of the complex of inhomogeneous cochains.

Русский

H1 — первая когомология группы от A, определяемая как первая когомология комплексa гомологических функционалов для неконечных прямых коциклов.

LaTeX

$$abbrev H1 := groupCohomology A 1$$

Lean4

/-- Shorthand for the 1st group cohomology of a `k`-linear `G`-representation `A`, `H¹(G, A)`,
defined as the 1st cohomology of the complex of inhomogeneous cochains of `A`. -/
abbrev H1 :=
  groupCohomology A 1

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