Цепной комплекс: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Grag (обсуждение | вклад) Нет описания правки |
Grag (обсуждение | вклад) Нет описания правки |
||
Строка 1:
'''Цепной комплекс''' это последовательность <math>(K_\bullet,
<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>.
|