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

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Нет описания правки
Нет описания правки
Строка 1:
'''Цепной комплекс''' это последовательность <math>(K_\bullet, d_\partial_\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-мерными границами.
 
<math>\ldots \xleftarrow{}K_{n-1}\xleftarrow{\partial_{n}}K_{n}\xleftarrow{\partial_{n+1}}K_{n+1}\xleftarrow{}\ldots </math>
 
Цепные комплексы модулей над фиксированным кольцом образуют [[Категория (математика)|категорию]] с мофизмами <math>~\varphi_{\bullet}\colon (K_\bullet, \partial^{K}_\bullet)\to (L_\bullet, \partial^{L}_\bullet)</math>, где <math>\varphi_{\bullet}</math> последовательность морфизмов <math>\varphi_{n}\colon K_n \to L_n</math>, такая что <math>\varphi_{n}</math> коммутирует с дифференциалом, то есть <math>\partial^{L}_{n}\varphi_{n}=\varphi_{n-1}\partial^{K}_{n}</math>.