Aconnection on an formula_4-module formula_5 is definedas an formula_4-module morphism: formula_13such that the first order differential operators formula_14 onformula_5 obey the Leibniz rule: formula_16Connections on a module over a commutative ring always exist.
Связность на formula_4-модуле formula_5 определяется как морфизм formula_4-модулей: formula_13такой что дифференциальные операторы первого порядка formula_14 наformula_5 удовлетворяют правилу Лейбница: formula_16Связность на модуле над коммутативным кольцом всегда существует.