Цепной комплекс: различия между версиями

'''Цепной комплекс''' это последовательность <math>(K_\bullet, d_\bullet)</math> [[абелева группа|абелевых групп]] или [[модуль над кольцом|модулей]] и гомоморфизмов[[гомоморфизм]]ов <math>\partial_{n}:K_{n}\to K_{n-1}</math>, называемых граничными операторами, такая что <math>\partial_{n}\partial_{n+1}=0</math>. Элементны <math>K_n</math> наываются n-мерными цепями, элементы <math>Z_n K=ker\partial_n</math> n-мерными циклами, элементы <math>B_n K=Im\partial_{n+1}</math> n-мерными границами.