boundaries₁_le_cycles₁

Mathlib.RepresentationTheory.Homological.GroupHomology.LowDegree

URI: https://scilib.ai/kg/mathlib#groupHomology.boundaries₁_le_cycles₁

English

The 1-boundaries are contained in the 1-cycles: B1(G,A) ≤ Z1(G,A).

Русский

1-границы содержатся в 1-циклах: B1(G,A) ≤ Z1(G,A).

LaTeX

$$B_1(G,A) \le Z_1(G,A)$$

Lean4

theorem boundaries₁_le_cycles₁ : boundaries₁ A ≤ cycles₁ A :=
  mem_cycles₁_of_mem_boundaries₁

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

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

Разделы

Аффилиация

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