instEpiModuleCatH2π — Mathlib

English

The quotient map H2π A is surjective in the category of k-modules; every homology class has a representative as a 2-cycle.

Русский

Картa H2π A сюръективна в категории упорядоченных модулярных объектов; любой класс гомологии имеет представителя как 2-цикл.

LaTeX

$$$\\operatorname{Im}(H_2^{\\pi}A) = H_2(A).$$$

Lean4

instance : Epi (H2π A) := by unfold H2π; infer_instance

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