Bài tập 7, § 2

Cho $C$ và $C’$ là hai phức, $s$ (tương ứng $s’$) là một phép tách của $C$ (tương ứng $C’$), $u : C' \to C$ là một cấu xạ của các phức. Ta định nghĩa một tự đồng cấu $\sigma$ của Con (u), phân bậc bậc – 1, bằng cách đặt

Bây giờ chứng minh rằng để $\sigma$ là một phép tách của Con (u), điều kiện cần và đủ là $H(u) = 0$.