 Let formula_4 be a commutative ring
and formula_5 an "A"-module.There are different equivalent definitions
of a connection on formula_5.Let formula_7 be the module of derivations of a ring formula_4.