instEpiModuleCatGShortComplexH0

Mathlib.RepresentationTheory.Homological.GroupHomology.LowDegree

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

English

The map g in the H0 short complex is an epimorphism in the category of k-modules.

Русский

Отображение g в коротком комплексе H0 является эпиморфизмом в категории k-модулей.

LaTeX

$$$ (shortComplexH0\ A).g \text{ is an epimorphism in } \mathrm{Mod}_k$$$

Lean4

instance : Epi (shortComplexH0 A).g :=
  inferInstanceAs <| Epi ((coinvariantsMk k G).app A)

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

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

Разделы

Аффилиация

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