π

Mathlib.RepresentationTheory.Homological.GroupHomology.Basic

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

← MathLib Explorer

English

There is a natural map π_n: Z_n(G,A) → H_n(G,A) from cycles to group homology.

Русский

Существует естественное отображение π_n: Z_n(G,A) → H_n(G,A).

LaTeX

$$π(n) : Z_n(G,A) ⟶ groupHomology(A,n)$$

Lean4

/-- The natural map from `n`-cycles to `n`th group homology for a `k`-linear
`G`-representation `A`. -/
abbrev π (n : ℕ) : cycles A n ⟶ groupHomology A n :=
  (inhomogeneousChains A).homologyπ n

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

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

Разделы

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

Аффилиация

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