H2π

Mathlib.RepresentationTheory.Homological.GroupCohomology.LowDegree

URI: https://scilib.ai/kg/mathlib#groupCohomology.H2π

← MathLib Explorer

English

The projection map H2π takes a 2-cocycle to its cohomology class in H2(A).

Русский

Проекция H2π переводит 2-коцикл в его когомологическую класс в H2(A).

LaTeX

$$$H2\pi_A: \; cocycles_2(A) \to H^2(A)$$$

Lean4

/-- The quotient map from the 2-cocycles of `A`, as a submodule of `G × G → A`, to `H²(G, A)`. -/
def H2π : ModuleCat.of k (cocycles₂ A) ⟶ H2 A :=
  (isoCocycles₂ A).inv ≫ π A 2

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

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

Разделы

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

Аффилиация

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