H2 — Mathlib · SciLib

English

Let A be a representation. The second cohomology H2(A) is defined as the second cohomology group of A, i.e., H2(A) = H^2(G, A).

Русский

Пусть A — представление. Вторая когомология H^2(A) определяется как вторая когомология группы G с коэффициентами A, т.е. H2(A) = H^2(G, A).

LaTeX

$$$H2(A) = H^2(G, A)$$$

Lean4

/-- Shorthand for the 2nd group cohomology of a `k`-linear `G`-representation `A`, `H²(G, A)`,
defined as the 2nd cohomology of the complex of inhomogeneous cochains of `A`. -/
abbrev H2 :=
  groupCohomology A 2

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